Publications by Stavros Tripakis

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
  • [URL]
  • BOOKTITLE:
  • From Programs to Systems
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 8415
  • PAGES:
  • 249--266
  • [URL]
  • 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)
  • [URL]
  • [URL]
  • AUTHORS:
  • Nuzzo P.,
  • Iannopollo A.,
  • Tripakis S.,
  • Sangiovanni-Vincentelli A. L.
  • [URL]
  • AUTHORS:
  • Iannopollo A.,
  • Nuzzo P.,
  • Tripakis S.,
  • Sangiovanni-Vincentelli A.
  • BOOKTITLE:
  • Design and Test Europe -- DATE 2014
  • AUTHORS:
  • Tripakis S.,
  • Limaye R.,
  • Ravindran K.,
  • Wang G.
  • BOOKTITLE:
  • International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XIV
  • [URL]
  • AUTHORS:
  • Broman D.,
  • Greenberg L.,
  • Lee E. A.,
  • Masin M.,
  • Tripakis S.,
  • Wetter M.
  • [URL]