2014 |
- BOOKTITLE:
- Tools and Algorithms for the Construction and Analysis of Systems -- TACAS 2014
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 8413
- PAGES:
- 217-232
|
- BOOKTITLE:
- From Programs to Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 8415
- PAGES:
- 249--266
|
- AUTHORS:
- Natale M. Di,
- Zhu Q.,
- Sangiovanni-Vincentelli A.,
- Tripakis S.
- JOURNAL:
- Journal of Systems Architecture - Embedded Systems Design
- VOLUME:
- 60
- PAGES:
- 315-328
|
- BOOKTITLE:
- Proceedings of the 14th ACM & IEEE International Conference on Embedded Software (EMSOFT'14)
|
- AUTHORS:
- Nuzzo P.,
- Iannopollo A.,
-
Tripakis S.,
- Sangiovanni-Vincentelli A. L.
- BOOKTITLE:
- 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
|
- AUTHORS:
- Ehlers R.,
- Lafortune S.,
-
Tripakis S.,
- Vardi M.
- BOOKTITLE:
- 12th IFAC International Workshop on Discrete Event Systems (WODES)
|
|
- AUTHORS:
- Nuzzo P.,
- Iannopollo A.,
-
Tripakis S.,
- Sangiovanni-Vincentelli A. L.
|
- AUTHORS:
- Iannopollo A.,
- Nuzzo P.,
-
Tripakis S.,
- Sangiovanni-Vincentelli A.
- BOOKTITLE:
- Design and Test Europe -- DATE 2014
|
- BOOKTITLE:
- International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XIV
|
|
- AUTHORS:
- Broman D.,
- Greenberg L.,
- Lee E. A.,
- Masin M.,
-
Tripakis S.,
- Wetter M.
|