Aaltodoc
→
Browsing by Author

Browsing by Author "Tripakis, Stavros"

Now showing items 1-5 of 5

Title: Constrained synthesis from component libraries Author(s): Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto Date: 2019-02-15 Series: Science of Computer Programming, Volume 171
Title: Hybrid co-simulation: it’s about time Author(s): Cremona, Fabio; Lohstroh, Marten; Broman, David; Lee, Edward A.; Masin, Michael; Tripakis, Stavros Date: 2019 Series: SOFTWARE AND SYSTEMS MODELING
Title: Mechanically proving determinacy of hierarchical block diagram translations Author(s): Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros Date: 2019-01-01 Series: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 11388 LNCS
Title: The refinement calculus of reactive systems toolset Author(s): Dragomir, Iulia; Preoteasa, Viorel; Tripakis, Stavros Date: 2018-01-01 Series: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 10806 LNCS
Title: The Science of Software and System Design Author(s): Tripakis, Stavros Date: 2018-01-01 Series: IFAC-PapersOnLine, Volume 51, issue 7