Find Experts

Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View More
Stavros Tripakis

Professor
Computer Science
Aalto University
Finland

Professor Engineering
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 Intrest

Computer-aided system design, formal methods, cyber-physical systems

List of 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

Global Scientific Words in Engineering

Experts in Finland
Markku Filppula Sozaraj Rasappa Paavo Honkakoski Matthias Finkbeiner Kari Liuhto Martti Vihanto Heikki Kauppi Kaisa Kotakorpi Petri Rikhard Böckerman Elias Oikarinen Pekka Leskinen Elias Hurmekoski Riikonen P Helminen K Samer Abboud Emanuele Curotto Rachel Ditoro Brian Eckenrode Juha Kontio Mr Juha Kontio Ms Anne Norström Mr Janne Roslöf Ms Jaana Kallio-Gerlander Ms Marita Antikainen Ms Marjut Putkinen Liisa Kairisto-Mertanen View More