Visible to the public Biblio

Filters: Keyword is 1329759  [Clear All Filters]
2018-05-14
[Anonymous].  2014.  XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang.  2014.  On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014. :51–58.
[Anonymous].  2014.  12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2014.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
[Anonymous].  2014.  Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedin. Lecture Notes in Computer Science. 8413
Jan Reineke, Stavros Tripakis.  2014.  Basic Problems in Multi-View Modeling. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedin. :217–232.
[Anonymous].  2014.  Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014.
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
[Anonymous].  2013.  Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013.
David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2013.  Determinate composition of FMUs for co-simulation. Proceedings of the International Conference on Embedded Software, {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. :2:1–2:12.