Please note that IST 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.

5752 Publications


2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. ICCAD: Computer-Aided Design 132–139.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang F. 2002. Games in open systems verification and synthesis, University of California, Berkeley,p.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. EMSOFT: Embedded Software , LNCS, vol. 2491. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. CSL: Computer Science Logic, LNCS, vol. 2471. 292–305.
View | DOI
 

2002 | 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. IFAC: World Congress on Automatic Control vol. 15.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. PLDI: Programming Languages Design and Implementation 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. EMSOFT: Embedded Software , LNCS, vol. 2491. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. ICALP: Automata, Languages and Programming, LNCS, vol. 2380. 644–656.
View | DOI
 

2002 | 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. CAV: Computer Aided Verification, LNCS, vol. 2404. 526–538.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 2002. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 24(1), 51–64.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2002. Lazy abstraction. POPL: Principles of Programming Languages 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. CAV: Computer Aided Verification, LNCS, vol. 2404. 414–427.
View | DOI
 

2002 | 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. CAV: Computer Aided Verification, LNCS, vol. 2404. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic. Journal of the ACM. 49(5), 672–713.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. EMSOFT: Embedded Software , LNCS, vol. 2491. 108–122.
View | DOI
 

2002 | 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 | 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
 

Search

Filter Publications