# Stavros Tripakis

Orcid: 0000-0002-1777-493X
According to our database

Collaborative distances:

^{1}, Stavros Tripakis authored at least 176 papers between 1995 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Softw. Syst. Model., April, 2024

CoRR, 2024

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.

CoRR, 2024

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems.

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Discret. Event Dyn. Syst., December, 2023

Metrics and methods for robustness evaluation of neural networks with generative models.

Mach. Learn., October, 2023

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Inf. Comput., 2022

IEEE Control. Syst. Lett., 2022

CoRR, 2022

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA<sup>+</sup>.

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Int. J. Softw. Tools Technol. Transf., 2021

Formal Methods Syst. Des., 2021

Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

CoRR, 2021

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

2020

Int. J. Softw. Tools Technol. Transf., 2020

Proceedings of the Computer Safety, Reliability, and Security, 2020

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

Softw. Syst. Model., 2019

Softw. Syst. Model., 2019

Sci. Comput. Program., 2019

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Proceedings of the Handbook of Model Checking., 2018

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.

Sci. Comput. Program., 2018

CoRR, 2018

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach.

Proceedings of the Distributed Autonomous Robotic Systems, 2018

Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality.

Proceedings of the Principles of Modeling, 2018

2017

ACM Trans. Embed. Comput. Syst., 2017

ACM Trans. Embed. Comput. Syst., 2017

SIGACT News, 2017

J. Syst. Softw., 2017

Formal Methods Syst. Des., 2017

Discret. Event Dyn. Syst., 2017

CoRR, 2017

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.

J. Signal Process. Syst., 2016

Proc. IEEE, 2016

Compositional Model-Based System Design and Other Foundations for Mastering Change.

LNCS Trans. Found. Mastering Chang., 2016

A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.

CoRR, 2016

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems.

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Proceedings of the FM 2016: Formal Methods, 2016

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

CoRR, 2015

CoRR, 2015

Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms.

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations.

Proceedings of the IECON 2015, 2015

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

J. Syst. Archit., 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations.

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Proceedings of the 4th International Conference on the Internet of Things, 2014

Proceedings of the Hardware and Software: Verification and Testing, 2014

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Proceedings of the 2014 International Conference on Embedded Software, 2014

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.

ACM Trans. Embed. Comput. Syst., 2013

Math. Struct. Comput. Sci., 2013

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems.

Proceedings of the International Conference on Embedded Software, 2013

Proceedings of the International Conference on Embedded Software, 2013

Proceedings of the Communicating Embedded Systems, 2013

2012

Sci. Comput. Program., 2012

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Proceedings of the 12th International Conference on Embedded Software, 2012

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

ACM Trans. Program. Lang. Syst., 2011

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

CoRR, 2010

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009

ACM Trans. Comput. Log., 2009

Formal Methods Syst. Des., 2009

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Modular code generation from synchronous block diagrams: modularity vs. code size.

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Proceedings of the Formal Methods and Software Engineering, 2009

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

ACM Trans. Embed. Comput. Syst., 2008

Theor. Comput. Sci., 2008

IEEE Trans. Computers, 2008

Fundam. Informaticae, 2008

Proceedings of the Model Checking Software, 2008

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Proceedings of the ISoLA 2007, 2007

Proceedings of the Hardware and Software: Verification and Testing, 2007

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Inf. Process. Lett., 2006

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Proceedings of the Theoretical Aspects of Computing, 2006

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

ACM Trans. Embed. Comput. Syst., 2005

Formal Methods Syst. Des., 2005

Proceedings of the Testing of Communicating Systems, 2005

Proceedings of the Testing of Communicating Systems, 2005

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.

Proceedings of the EMSOFT 2005, 2005

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication.

IEEE Trans. Autom. Control., 2004

Undecidable problems of decentralized observation and control on regular languages.

Inf. Process. Lett., 2004

Testing Conformance of Real-Time Applications by Automatic Generation of Observers.

Proceedings of the Fourth Workshop on Runtime Verification, 2004

Proceedings of the Model Checking Software, 2004

Automatic Generation of Path Conditions for Timed Systems.

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Proceedings of the Formal Techniques, 2004

Proceedings of the EMSOFT 2004, 2004

2003

Proc. IEEE, 2003

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.

Proceedings of the 2003 Conference on Languages, 2003

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Proceedings of the Workshop on Software Composition, 2002

Proceedings of the Algorithm Theory, 2002

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.

Proceedings of the Embedded Software, Second International Conference, 2002

Proceedings of the Embedded Software, Second International Conference, 2002

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Formal Methods Syst. Des., 2001

Proceedings of the Workshop on Runtime Verification, 2001

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Proceedings of the FM'99 - Formal Methods, 1999

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice).

PhD thesis, 1998

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos.

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Proceedings of the Hybrid Systems III: Verification and Control, 1995