Your Guide to Executive Learning

All experts
AboutVideosBiography

Stavros Tripakis

Professor at Aalto University School of Business

Schools

  • Aalto University School of Business

Links

    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 research

    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

    Conference proceedings

    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 report

    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

    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.

    Something went wrong. We're trying to fix this error.