Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
120 Publications
2002 | Published | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. PLDI: Programming Languages Design and Implementation, 315–326.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 4474 | 
Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 12659 |
Burlando P, Pellicciotti F, Strasser U. 2002. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 33(1), 47–74.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Journal Article | IST-REx-ID: 18369
Bronstein MM, Bronstein AM. 2002. Biometrics was no match for hair-raising tricks. Nature. 420(6917), 739–739.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Conference Paper | IST-REx-ID: 18382
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2002. Optimal non-linear line-of-flight estimation in positron emission tomography. The 22nd Convention on Electrical and Electronics Engineers in Israel. Convention on Electrical and Electronics Engineers vol. 2002–January, 341–344.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 18383
Bronstein MM, Bronstein AM, Zibulevsky M, Azhari H. 2002. Application of the NUFFT for reconstruction problems in diffraction tomography. The 22nd Convention on Electrical and Electronics Engineers in Israel. Convention on Electrical and Electronics Engineers vol. 2002–January, 345–347.
View
| DOI