Stavros Tripakis
Professor
Computer Science
Aalto University
Finland
Biography
Dr. Stavros Tripakis is currently working as a Professor in the Department of computer science, aalto university , Finland. His research interests includes Computer-aided system design, formal methods, cyber-physical systems. He is serving as an editorial member and reviewer of several international reputed journals. Dr. Stavros Tripakis is the member of many international affiliations. He has successfully completed his Administrative responsibilities. He has authored of many research articles/books related to Computer-aided system design, formal methods, cyber-physical systems.
Research Interest
Computer-aided system design, formal methods, cyber-physical systems
Publications
-
Predictive runtime enforcement Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé 2017 FORMAL METHODS IN SYSTEM DESIGN ISSN: 0925-9856
-
Predictive runtime verification of timed properties Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, Viorel 2017 Journal of Systems and Software ISSN: 0164-1212
-
Supervisory Control and Reactive Synthesis: A Comparative Introduction Ehlers, Ruediger; Lafortune, Stephane; Tripakis, Stavros; Vardi, Moshe 2017 DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS ISSN: 0924-6703