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.

6502 Publications


2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View | DOI
 

Search

Filter Publications