Stavros Tripakis - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Stavros Tripakis' as author, editor, or advisor:

Multi-view consistency for infinitary regular languagesMaria Pittou, Stavros Tripakis. samos 2016: 148-155 [doi]
When Do We Not Need Complex Assume-Guarantee Rules?Antti Siirtola, Stavros Tripakis, Keijo Heljanko. tecs, 16(2), 2017. [doi]
The Refinement Calculus of Reactive Systems ToolsetIulia Dragomir, Viorel Preoteasa, Stavros Tripakis. STTT, 22(6):689-708, 2020. [doi]
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, CompositionalityStavros Tripakis, Roberto Lublinerman. BIRTHDAY 2018: 449-477 [doi]
On Neural Network Equivalence Checking Using SMT SolversCharis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis. formats 2022: 237-257 [doi]
Undecidable problems of decentralized observation and controlStavros Tripakis. cdc 2001: 4104-4109 [doi]
Viewpoints, formalisms, languages, and tools for cyber-physical systemsDavid Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren. MoDELS 2012: 49-54 [doi]
Cyber-physical system design contractsPatricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren. iccps 2013: 109-118 [doi]
Metrics and methods for robustness evaluation of neural networks with generative modelsIgor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis. ml, 112(10):3977-4012, October 2023. [doi]
Mechanically Proving Determinacy of Hierarchical Block Diagram TranslationsViorel Preoteasa, Iulia Dragomir, Stavros Tripakis. vmcai 2019: 577-600 [doi]
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platformsYang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. samos 2015: 113-122 [doi]
Hybrid co-simulation: it's about timeFabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis. SoSyM, 18(3):1655-1679, 2019. [doi]
On relational interfacesStavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee. emsoft 2009: 67-76 [doi]
The earlier the better: a theory of timed actor interfacesMarc Geilen, Stavros Tripakis, Maarten Wiggers. hybrid 2011: 23-32 [doi]
A Combined On-Line/Off-Line Framework for Black-Box Fault DiagnosisStavros Tripakis. RV 2009: 152-167 [doi]
Decentralized control of discrete-event Systems With bounded or Unbounded Delay communicationStavros Tripakis. tac, 49(9):1489-1501, 2004. [doi]
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010Luca P. Carloni, Stavros Tripakis, editors, ACM, 2010.
Automated Attacker Synthesis for Distributed ProtocolsMax von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru. safecomp 2020: 133-149 [doi]
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systemsMagnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil. emsoft 2013: 1-10 [doi]
Basic Problems in Multi-View ModelingJan Reineke, Stavros Tripakis. TACAS 2014: 217-232 [doi]
Compositional runtime enforcement revisitedSrinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis. fmsd, 59(1):205-252, 2021. [doi]
Decentralized Observation ProblemsStavros Tripakis. cdc 2005: 6-11 [doi]
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphsStavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee. iccps 2010: 199 [doi]
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized ControlRüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi. wodes 2014: 222-227 [doi]
Step revision in hybrid Co-simulation with FMIFabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis. memocode 2016: 173-183 [doi]
Predictive runtime verification of timed propertiesSrinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa. jss, 132:353-365, 2017. [doi]
Decoupled Fitness Criteria for Reactive SystemsDerek Egolf, Stavros Tripakis. SEFM 2023: 85-105 [doi]
A modular formal semantics for PtolemyStavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee. mscs, 23(4):834-881, 2013. [doi]
Runtime Enforcement of Cyber-Physical SystemsSrinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden. tecs, 16(5), 2017. [doi]
A Theory of Synchronous Relational InterfacesStavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee. TOPLAS, 33(4):14, 2011. [doi]
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computationsValeriy Vyatkin, Cheng Pang, Stavros Tripakis. iecon 2015: 1970-1975 [doi]
Formal verification of a distributed dynamic reconfiguration protocolWilliam Schultz, Ian Dardik, Stavros Tripakis. CPP 2022: 143-152 [doi]
Shield Decentralization for Safe Multi-Agent Reinforcement LearningDaniel Melcer, Christopher Amato, Stavros Tripakis. nips 2022: [doi]
Feedback in Synchronous Relational InterfacesStavros Tripakis, Chris Shaver. etaps 2014: 249-266 [doi]
Compositional Semantics and Analysis of Hierarchical Block DiagramsIulia Dragomir, Viorel Preoteasa, Stavros Tripakis. spin 2016: 38-56 [doi]
Error-Completion in Interface TheoriesStavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee. spin 2013: 358-375 [doi]
Compositionality in the Science of System DesignStavros Tripakis. pieee, 104(5):960-972, 2016. [doi]
Synthesis of Distributed Protocols by Enumeration Modulo IsomorphismsDerek Egolf, Stavros Tripakis. ATVA 2023: 270-291 [doi]
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical ApproachYunus Emre Sahin, Necmiye Ozay, Stavros Tripakis. dars 2019: 265-281 [doi]
On the Verification of Timed Discrete-Event ModelsChristos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee. formats 2013: 213-227 [doi]
Scalable Semantic Annotation Using Lattice-Based OntologiesMan-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly. MoDELS 2009: 393-407 [doi]
Game theoretic secure localization in wireless sensor networksSusmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee. iot 2014: 85-90 [doi]
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and HardwareStavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal. vlsisp, 85(1):23-43, 2016. [doi]
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphsStavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee. tecs, 12(3):83, 2013. [doi]
On tolerance of discrete systems with respect to transition perturbationsRômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis. deds, 33(4):395-424, December 2023. [doi]
Adversarial Robustness Verification and Attack Synthesis in Stochastic SystemsLisa Oakley, Alina Oprea, Stavros Tripakis. csfw 2022: 380-395 [doi]
Correct and non-defensive glue design using abstract modelsStavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong. codes 2011: 59-68 [doi]
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling AbstractionsMaria Pittou, Stavros Tripakis. facs2 2017: 73-91 [doi]
Exploring models of computation with ptolemy IIChristopher X. Brooks, Edward A. Lee, Stavros Tripakis. codes 2010: 331-332 [doi]
The Refinement Calculus of Reactive Systems ToolsetIulia Dragomir, Viorel Preoteasa, Stavros Tripakis. TACAS 2018: 201-208 [doi]
Basic problems in multi-view modelingJan Reineke, Christos Stergiou 0001, Stavros Tripakis. SoSyM, 18(3):1577-1611, 2019. [doi]
Verifying hierarchical Ptolemy II discrete-event models using Real-Time MaudeKyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis. SCP, 77(12):1235-1271, 2012. [doi]
Hybrid Co-simulation: It's About TimeFabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis. MoDELS 2018: 368 [doi]
Optimized implementation of synchronous models on industrial LTTA systemsMarco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis. jsa, 60(4):315-328, 2014. [doi]
Data-driven and model-based designStavros Tripakis. icphys 2018: 103-108 [doi]
Supervisory control and reactive synthesis: a comparative introductionRüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi. deds, 27(2):209-260, 2017. [doi]
Requirements for hybrid cosimulation standardsDavid Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. hybrid 2015: 179-188 [doi]
Static dataflow with access patterns: semantics and analysisArkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade. dac 2012: 656-663 [doi]
Predictive runtime enforcementSrinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. fmsd, 51(1):154-199, 2017. [doi]
Automatic Completion of Distributed Protocols with SymmetryRajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa. cav 2015: 395-412 [doi]
Type Inference of Simulink Hierarchical Block Diagrams in IsabelleViorel Preoteasa, Iulia Dragomir, Stavros Tripakis. forte 2017: 194-209 [doi]
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent EnvironmentsDaniel Melcer, Christopher Amato, Stavros Tripakis. atal 2024: 2384-2386 [doi]
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB ReplicationWilliam Schultz, Siyuan Zhou, Stavros Tripakis. wdag 2021: [doi]
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive InferenceGeorgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis. safecomp 2020: 115-129 [doi]
Learning Moore Machines from Input-Output TracesGeorgios Giantamidis, Stavros Tripakis. FM 2016: 291-309 [doi]
Compositional Runtime EnforcementSrinivas Pinisetty, Stavros Tripakis. NFM 2016: 82-99 [doi]
Modal Models in PtolemyEdward A. Lee, Stavros Tripakis. eoolt 2010: 11-21 [doi]
Synthesizing Finite-State Protocols from Scenarios and RequirementsRajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa. hvc 2014: 75-91 [doi]
Cross-Layer Interactions in CPS for Performance and CertificationSamarjit Chakraborty, James H. Anderson, Martin Becker 0001, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar. date 2019: 1439-1444 [doi]
Verifying Ptolemy II Discrete-Event Models Using Real-Time MaudeKyungmin Bae, Peter Csaba Ã–lveczky, Thomas Huining Feng, Stavros Tripakis. icfem 2009: 717-736 [doi]
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementationsStavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang. samos 2014: 51-58 [doi]
Mapping Synthesis for HyperpropertiesTzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis. csfw 2022: 486-500 [doi]
Fault Diagnosis of Timed SystemsFranck Cassez, Stavros Tripakis. In Claude Jard, Olivier H. Roux, editors, Communicating Embedded Systems. pages 107-138, Wiley, 2013. [doi]
Are interface theories equivalent to contract theories?Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. memocode 2014: 104-113 [doi]
Safe Environmental Envelopes of Discrete SystemsRômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis. cav 2023: 326-350 [doi]
Design and Analysis of a Logless Dynamic Reconfiguration ProtocolWilliam Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis. opodis 2022: [doi]
Bridging the semantic gap between heterogeneous modeling formalisms and FMIStavros Tripakis. samos 2015: 60-69 [doi]
Refinement calculus of reactive systemsViorel Preoteasa, Stavros Tripakis. emsoft 2014: 1-10 [doi]
Library-based scalable refinement checking for contract-based designAntonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. date 2014: 1-6 [doi]
Predictive runtime enforcementSrinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. SAC 2016: 1628-1633 [doi]
Compositional Model-Based System Design and Other Foundations for Mastering ChangeStavros Tripakis. fomac, 1:113-129, 2016. [doi]
A service network architecture for a multi-vehicle search missionMarco Zennaro, Jeff Ko, Raja Sengupta 0002, Stavros Tripakis. cdc 2001: 1503-1508 [doi]
The refinement calculus of reactive systemsViorel Preoteasa, Iulia Dragomir, Stavros Tripakis. iandc, 285(Part):104819, 2022. [doi]
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. ProceedingsUli Fahrenberg, Stavros Tripakis, editors, Volume 6919 of Lecture Notes in Computer Science, Springer, 2011. [doi]
Constrained synthesis from component librariesAntonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. SCP, 171:21-41, 2019. [doi]
Runtime enforcement of reactive systems using synchronous enforcersSrinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden. spin 2017: 80-89 [doi]
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive SystemsViorel Preoteasa, Stavros Tripakis. lics 2016: 768-777 [doi]
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contractsAntonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. date 2018: 1574-1579 [doi]
Decentralized Observation of Discrete-Event Systems: At Least One Can TellStavros Tripakis, Karen Rudie. csysl, 6:1652-1657, 2022. [doi]
Automatic Synthesis of Distributed ProtocolsRajeev Alur, Stavros Tripakis. sigact, 48(1):55-90, 2017. [doi]
An overview of the career of Paul CaspiAlbert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi. emsoft 2012: 195-196 [doi]
Automated Synthesis of Secure Platform MappingsEunsuk Kang, Stéphane Lafortune, Stavros Tripakis. cav 2019: 219-237 [doi]
Constrained Synthesis from Component LibrariesAntonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. facs2 2017: 92-110 [doi]
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractionsMaria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis. SCP, 167:1-24, 2018. [doi]
Determinate composition of FMUs for co-simulationDavid Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. emsoft 2013: 1-12 [doi]
When Do We (Not) Need Complex Assume-Guarantee Rules?Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko. acsd 2015: 30-39 [doi]
Decentralized diagnosability of regular languages is undecidableRaja Sengupta, Stavros Tripakis. cdc 2002: 423-428 [doi]
Counterexample ClassificationCole Vick, Eunsuk Kang, Stavros Tripakis. SEFM 2021: 312-331 [doi]
FIDE: an FMI integrated development environmentFabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee. SAC 2016: 1759-1766 [doi]
Learning Moore machines from input-output tracesGeorgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis. STTT, 23(1):1-29, 2021. [doi]
L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice)Stavros Tripakis. PhD thesis, Joseph Fourier University, Grenoble, France, 1998. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Stavros Tripakis's Profile

Unidentified Publications