Global

Engineering Experts

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

Global Experts from Finland

Global Experts in Subject

Share This Profile
Recent Expert Updates
  • Matthew L Stone
    Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.   Matthew
    Dr. Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone Matthew
    Dr. L Stone Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone
    Dr. L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr. Matthew L Stone
    Dr. Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  R Sameh
    Dr. R Sameh
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   R Ismail,
    Dr. R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Sameh R Ismail,
    Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   Sameh R Ismail,
    Dr. Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   William
    Dr. William
    pediatrics
    Maimonides Medical Center
    United States of America