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.

5874 Publications


2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View | DOI
 

Search

Filter Publications