Stavros Tripakis
Professor at Aalto University School of Business
Schools
- Aalto University School of Business
Links
Biography
Aalto University School of Business
My research focuses on the foundations of system design. I am particularly interested in formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools which can be used in application domains such as embedded and cyber-physical systems.
Peer-reviewed scientific articles
Journal article-refereed, Original researchSupervisory Control and Reactive Synthesis: A Comparative Introduction
Ehlers, Ruediger; Lafortune, Stephane; Tripakis, Stavros; Vardi, Moshe2017 in DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS (SPRINGER)ISSN: 0924-6703Runtime enforcement of cyber-physical systems
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden, Reinhard2017 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087Predictive runtime enforcement
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé2017 in FORMAL METHODS IN SYSTEM DESIGN (Springer Netherlands)ISSN: 0925-9856Predictive runtime verification of timed properties
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, Viorel2017 in JOURNAL OF SYSTEMS AND SOFTWARE (ELSEVIER SCIENCE INC)ISSN: 0164-1212When do we not need complex assume-guarantee rules?
Siirtola, Antti; Tripakis, Stavros; Heljanko, Keijo2017 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087Compositionality in the Science of System Design
Tripakis, Stavros2016 in PROCEEDINGS OF THE IEEE (Institute of Electrical and Electronics Engineers Inc.)ISSN: 0018-9219Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
Tripakis, Stavros; Limaye, Rhishikesh; Ravindran, Kaushik; Wang, Guoqiang; Andrade, Hugo; Ghosal, Arkadeb2016 in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY (Springer New York)ISSN: 1939-8018Compositional model-based system design and other foundations for mastering change
Tripakis, Stavros2016 in LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag)ISSN: 0302-9743Optimized implementation of synchronous models on industrial LTTA systems
Natale, M.Di; Zhu, Q.; Sangiovanni-Vincentelli, A.; Tripakis, Stavros2014 in Journal of Systems Architecture (Elsevier)ISSN: 1383-7621Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs
Tripakis, Stavros; Bui, Dai; Geilen, Marc; Rodiers, Bert; Lee, Edward A.2013 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087A modular formal semantics for Ptolemy
Tripakis, Stavros; Stergiou, Christos; Shaver, C.; Lee, Edward A.2013 in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (Cambridge University Press)ISSN: 0960-1295Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Bae, Kyungmin; Ölveczky, Peter ; Feng, Thomas; Lee, Edward A.; Tripakis, Stavros2012 in SCIENCE OF COMPUTER PROGRAMMING (Elsevier)ISSN: 0167-6423A Theory of Synchronous Relational Interfaces
Tripakis, Stavros; Lickly, Ben; Henzinger, Thomas; Lee, Edward A.2011 in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (Association for Computing Machinery (ACM))ISSN: 0164-0925Conference proceedingsConstrained Synthesis from Component Libraries
Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto2017 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-57665-7ISSN: 1611-3349Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions
Pittou, Maria; Tripakis, Stavros2017 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-57665-7ISSN: 1611-3349Type inference of simulink hierarchical block diagrams in isabelle
Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (SPRINGER)ISBN: 9783319602240ISSN: 0302-9743FIDE - An FMI Integrated Development environment
Cremona, Fabio; Lohstroh, Marten; Tripakis, Stavros; Brooks, Christopher; Lee, Edward A.2016 ISBN: 9781450337397Step Revision in Hybrid Co-simulation with FMI
Cremona, Fabio; Lohstroh, Marten; Broman, David; Di Natale, Marco ; Lee, Edward A.; Tripakis, Stavros2016 ISBN: 978-1-5090-2791-0Compositional semantics and analysis of hierarchical block diagrams
Dragomir, Iulia; Preoteasa, Viorel; Tripakis, Stavros2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (SPRINGER)ISBN: 978-3-319-32581-1ISSN: 0302-9743Learning Moore Machines from Input-Output Traces
Giantamidis, Georgios; Tripakis, Stavros2016 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-48988-9ISSN: 0302-9743Predictive runtime enforcement
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand, Hervé2016 ISBN: 9781450337397Compositional runtime enforcement
Pinisetty, Srinivas; Tripakis, Stavros2016 in Lecture Notes in Computer Science (Springer International Publishing)ISBN: 978-3-319-40647-3ISSN: 0302-9743Multi-View Consistency for Infinitary Regular Languages
Pittou, Maria; Tripakis, Stavros2016 ISBN: 978-1-5090-3076-7Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel; Tripakis, Stavros2016 ISBN: 978-1-4503-4391-6 Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations
Vyatkin, Valeriy; Pang, Cheng; Tripakis, Stavros2016 ISBN: 9781479917624Synthesizing Finite-state Protocols from Scenarios and Requirements
Alur, Rajeev; Martin, Milo M.K.; Raghothaman, Mukund; Stergiou, Christos; Tripakis, Stavros; Udupa, Abhishek2015 ISBN: 978-3-319-13337-9Automatic Completion of Distributed Protocols with Symmetry
Alur, Rajeev; Raghothaman, Mukund; Stergiou, Christos; Tripakis, Stavros; Udupa, Abhishek2015 ISBN: 978-3-319-21667-6ISSN: 0302-9743Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
Bogomolov, Sergiy; Greitschus, Marius; Jensen, Peter G.; Larsen, Kim G.; Mikucionis, Marius; Strump, Thomas; Tripakis, Stavros2015 ISBN: 978-91-7685-955-1ISSN: 1650-3686Requirements for hybrid cosimulation standards
Broman, David; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael2015 ISBN: 978-1-4503-3433-4Game theoretic secure localization in wireless sensor networks
Jha, Susmit; Tripakis, Stavros; Seshia, Sanjit A.; Chatterjee, Krishnendu2015 ISBN: 978-1-4799-5154-3When Do We (Not) Need Complex Assume-Guarantee Rules?
Siirtola, Antti Tapani; Tripakis, Stavros; Heljanko, Keijo2015 ISSN: 1550-4808Bridging the semantic gap between heterogeneous modeling formalisms and FMI
Tripakis, Stavros2015 ISBN: 978-1-4673-7311-1 Efficient Distribution of Triggered Synchronous Block Diagrams on Asynchronous Platforms
Yang, Yang; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto L.2015 ISBN: 978-1-4673-7311-1Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control
Ehlers, R.; Lafortune, S.; Tripakis, S.; Vardi, M.2014 Library-Based Scalable Refinement Checking for Contract-Based Design
Iannopollo, A.; Nuzzo, P.; Tripakis, Stavros; Sangiovanni-Vincentelli, A.2014 Are Interface Theories Equivalent to Contract Theories?
Nuzzo, P.; Iannopollo, A.; Tripakis, S.; Sangiovanni-Vincentelli, A.L.2014 Refinement Calculus of Reactive Systems
Preoteasa, Viorel; Tripakis, Stavros2014 ISBN: 978-1-4503-3052-7Basic Problems in Multi-View Modeling
Reineke, J.; Tripakis, Stavros2014 ISBN: 978-3-642-54861-1ISSN: 0302-9743On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations
Tripakis, Stavros; Limaye, R.; Ravindran, K.; Wang, G.2014 Compositional model-based system design as a foundation for mastering change
Tripakis, Stavros2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer-Verlag)ISBN: 9783662452332ISSN: 0302-9743Feedback in Synchronous Relational Interfaces
Tripakis, Stavros; Shaver, C.2014 ISBN: 978-3-642-54847-5ISSN: 0302-9743Determinate composition of FMUs for co-simulation
Broman, David; Brooks, Christopher; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael2013 ISBN: 9781479914432 A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems
Persson, Magnus ; Törngren, Martin ; Qamar, Ahsan ; Westman, Jonas ; Biehl, Matthias ; Tripakis, Stavros; Vangheluwe, Hans ; Denil, Joachim 2013 ISBN: 9781479914425Publications intended for professional communities
Published development or research reportWhat's Decidable about Syntax-Guided Synthesis?
Caulfield, Benjamin; Rabe, Markus N.; Seshia, Sanjit A.; Tripakis, Stavros2015 Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel; Tripakis, Stavros2015 Requirements for Hybrid Cosimulation
Broman, D.; Greenberg, L.; Lee, E.A.; Masin, M.; Tripakis, Stavros; Wetter, M.2014 From Relational Interfaces to Assume-Guarantee Contract
Nuzzo, P.; Iannopollo, A.; Tripakis, Stavros; Sangiovanni-Vincentelli, A.L.2014 Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI
Tripakis, Stavros; Broman, D.2014 Reactive Synthesis vs.Supervisory Control: Bridging the Gap
Ehlers, R.; Lafortune, S.; Tripakis, S.; Vardi, M.2013
Supervisory Control and Reactive Synthesis: A Comparative Introduction
Ehlers, Ruediger; Lafortune, Stephane; Tripakis, Stavros; Vardi, Moshe
2017 in DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS (SPRINGER)ISSN: 0924-6703
Runtime enforcement of cyber-physical systems
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden, Reinhard
2017 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087
Predictive runtime enforcement
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé
2017 in FORMAL METHODS IN SYSTEM DESIGN (Springer Netherlands)ISSN: 0925-9856
Predictive runtime verification of timed properties
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, Viorel
2017 in JOURNAL OF SYSTEMS AND SOFTWARE (ELSEVIER SCIENCE INC)ISSN: 0164-1212
When do we not need complex assume-guarantee rules?
Siirtola, Antti; Tripakis, Stavros; Heljanko, Keijo
2017 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087
Compositionality in the Science of System Design
Tripakis, Stavros
2016 in PROCEEDINGS OF THE IEEE (Institute of Electrical and Electronics Engineers Inc.)ISSN: 0018-9219
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
Tripakis, Stavros; Limaye, Rhishikesh; Ravindran, Kaushik; Wang, Guoqiang; Andrade, Hugo; Ghosal, Arkadeb
2016 in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY (Springer New York)ISSN: 1939-8018
Compositional model-based system design and other foundations for mastering change
Tripakis, Stavros
2016 in LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag)ISSN: 0302-9743
Optimized implementation of synchronous models on industrial LTTA systems
Natale, M.Di; Zhu, Q.; Sangiovanni-Vincentelli, A.; Tripakis, Stavros
2014 in Journal of Systems Architecture (Elsevier)ISSN: 1383-7621
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs
Tripakis, Stavros; Bui, Dai; Geilen, Marc; Rodiers, Bert; Lee, Edward A.
2013 in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (Association for Computing Machinery (ACM))ISSN: 1539-9087
A modular formal semantics for Ptolemy
Tripakis, Stavros; Stergiou, Christos; Shaver, C.; Lee, Edward A.
2013 in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (Cambridge University Press)ISSN: 0960-1295
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Bae, Kyungmin; Ölveczky, Peter ; Feng, Thomas; Lee, Edward A.; Tripakis, Stavros
2012 in SCIENCE OF COMPUTER PROGRAMMING (Elsevier)ISSN: 0167-6423
A Theory of Synchronous Relational Interfaces
Tripakis, Stavros; Lickly, Ben; Henzinger, Thomas; Lee, Edward A.
2011 in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (Association for Computing Machinery (ACM))ISSN: 0164-0925
Constrained Synthesis from Component Libraries
Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto
2017 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-57665-7
ISSN: 1611-3349
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions
Pittou, Maria; Tripakis, Stavros
2017 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-57665-7
ISSN: 1611-3349
Type inference of simulink hierarchical block diagrams in isabelle
Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros
2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (SPRINGER)ISBN: 9783319602240
ISSN: 0302-9743
FIDE - An FMI Integrated Development environment
Cremona, Fabio; Lohstroh, Marten; Tripakis, Stavros; Brooks, Christopher; Lee, Edward A.
2016 ISBN: 9781450337397
Step Revision in Hybrid Co-simulation with FMI
Cremona, Fabio; Lohstroh, Marten; Broman, David; Di Natale, Marco ; Lee, Edward A.; Tripakis, Stavros
2016 ISBN: 978-1-5090-2791-0
Compositional semantics and analysis of hierarchical block diagrams
Dragomir, Iulia; Preoteasa, Viorel; Tripakis, Stavros
2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (SPRINGER)ISBN: 978-3-319-32581-1
ISSN: 0302-9743
Learning Moore Machines from Input-Output Traces
Giantamidis, Georgios; Tripakis, Stavros
2016 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-319-48988-9
ISSN: 0302-9743
Predictive runtime enforcement
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand, Hervé
2016 ISBN: 9781450337397
Compositional runtime enforcement
Pinisetty, Srinivas; Tripakis, Stavros
2016 in Lecture Notes in Computer Science (Springer International Publishing)ISBN: 978-3-319-40647-3
ISSN: 0302-9743
Multi-View Consistency for Infinitary Regular Languages
Pittou, Maria; Tripakis, Stavros
2016 ISBN: 978-1-5090-3076-7
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel; Tripakis, Stavros
2016 ISBN: 978-1-4503-4391-6
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations
Vyatkin, Valeriy; Pang, Cheng; Tripakis, Stavros
2016 ISBN: 9781479917624
Synthesizing Finite-state Protocols from Scenarios and Requirements
Alur, Rajeev; Martin, Milo M.K.; Raghothaman, Mukund; Stergiou, Christos; Tripakis, Stavros; Udupa, Abhishek
2015 ISBN: 978-3-319-13337-9
Automatic Completion of Distributed Protocols with Symmetry
Alur, Rajeev; Raghothaman, Mukund; Stergiou, Christos; Tripakis, Stavros; Udupa, Abhishek
2015 ISBN: 978-3-319-21667-6
ISSN: 0302-9743
Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
Bogomolov, Sergiy; Greitschus, Marius; Jensen, Peter G.; Larsen, Kim G.; Mikucionis, Marius; Strump, Thomas; Tripakis, Stavros
2015 ISBN: 978-91-7685-955-1
ISSN: 1650-3686
Requirements for hybrid cosimulation standards
Broman, David; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael
2015 ISBN: 978-1-4503-3433-4
Game theoretic secure localization in wireless sensor networks
Jha, Susmit; Tripakis, Stavros; Seshia, Sanjit A.; Chatterjee, Krishnendu
2015 ISBN: 978-1-4799-5154-3
When Do We (Not) Need Complex Assume-Guarantee Rules?
Siirtola, Antti Tapani; Tripakis, Stavros; Heljanko, Keijo
2015 ISSN: 1550-4808
Bridging the semantic gap between heterogeneous modeling formalisms and FMI
Tripakis, Stavros
2015 ISBN: 978-1-4673-7311-1
Efficient Distribution of Triggered Synchronous Block Diagrams on Asynchronous Platforms
Yang, Yang; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto L.
2015 ISBN: 978-1-4673-7311-1
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control
Ehlers, R.; Lafortune, S.; Tripakis, S.; Vardi, M.
2014 Library-Based Scalable Refinement Checking for Contract-Based Design
Iannopollo, A.; Nuzzo, P.; Tripakis, Stavros; Sangiovanni-Vincentelli, A.
2014 Are Interface Theories Equivalent to Contract Theories?
Nuzzo, P.; Iannopollo, A.; Tripakis, S.; Sangiovanni-Vincentelli, A.L.
2014 Refinement Calculus of Reactive Systems
Preoteasa, Viorel; Tripakis, Stavros
2014 ISBN: 978-1-4503-3052-7
Basic Problems in Multi-View Modeling
Reineke, J.; Tripakis, Stavros
2014 ISBN: 978-3-642-54861-1
ISSN: 0302-9743
On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations
Tripakis, Stavros; Limaye, R.; Ravindran, K.; Wang, G.
2014 Compositional model-based system design as a foundation for mastering change
Tripakis, Stavros
2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer-Verlag)ISBN: 9783662452332
ISSN: 0302-9743
Feedback in Synchronous Relational Interfaces
Tripakis, Stavros; Shaver, C.
2014 ISBN: 978-3-642-54847-5
ISSN: 0302-9743
Determinate composition of FMUs for co-simulation
Broman, David; Brooks, Christopher; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael
2013 ISBN: 9781479914432
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems
Persson, Magnus ; Törngren, Martin ; Qamar, Ahsan ; Westman, Jonas ; Biehl, Matthias ; Tripakis, Stavros; Vangheluwe, Hans ; Denil, Joachim
2013 ISBN: 9781479914425
Publications intended for professional communities
Published development or research reportWhat's Decidable about Syntax-Guided Synthesis?
Caulfield, Benjamin; Rabe, Markus N.; Seshia, Sanjit A.; Tripakis, Stavros2015 Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel; Tripakis, Stavros2015 Requirements for Hybrid Cosimulation
Broman, D.; Greenberg, L.; Lee, E.A.; Masin, M.; Tripakis, Stavros; Wetter, M.2014 From Relational Interfaces to Assume-Guarantee Contract
Nuzzo, P.; Iannopollo, A.; Tripakis, Stavros; Sangiovanni-Vincentelli, A.L.2014 Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI
Tripakis, Stavros; Broman, D.2014 Reactive Synthesis vs.Supervisory Control: Bridging the Gap
Ehlers, R.; Lafortune, S.; Tripakis, S.; Vardi, M.2013
What's Decidable about Syntax-Guided Synthesis?
Caulfield, Benjamin; Rabe, Markus N.; Seshia, Sanjit A.; Tripakis, Stavros
2015 Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel; Tripakis, Stavros
2015 Requirements for Hybrid Cosimulation
Broman, D.; Greenberg, L.; Lee, E.A.; Masin, M.; Tripakis, Stavros; Wetter, M.
2014 From Relational Interfaces to Assume-Guarantee Contract
Nuzzo, P.; Iannopollo, A.; Tripakis, Stavros; Sangiovanni-Vincentelli, A.L.
2014 Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI
Tripakis, Stavros; Broman, D.
2014 Reactive Synthesis vs.Supervisory Control: Bridging the Gap
Ehlers, R.; Lafortune, S.; Tripakis, S.; Vardi, M.
2013 Videos
Stavros Tripakis: "The science of software and system design"
Read about executive education
Other experts
Omar Merlo
Fellow in Marketing BA, BComm (Hons), PhD (University of Melbourne) Professional experience Dr Merlo is currently Lecturer in Marketing at Imperial College Business School. He is also a Fellow in Marketing at Cambridge Judge Business School and a Fellow of St Edmund's College, and has held Visi...
John Donovan
John Donovan is an Assistant Professor of Accountancy. John researches financial accounting, focusing on the use of accounting and financial reporting in debt and equity markets. He teaches Data Analytics in Accounting in the Mendoza College of Business. Prior to joining the faculty, John worked ...
Elena Reutskaja
Areas of Interest Consumer Behavior Neuromarketing Choice Overload Cross-cultural Differences Elena Reutskaja is an associate professor of marketing at IESE Business School. Elena’s research interests lie at the intersection of behavioral insights, decision-making, marketing and economics, wit...
Looking for an expert?
Contact us and we'll find the best option for you.