Stavros Tripakis

According to our database1, Stavros Tripakis authored at least 149 papers between 1995 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automated Attacker Synthesis for Distributed Protocols.
CoRR, 2020

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

2019
Basic problems in multi-view modeling.
Software and Systems Modeling, 2019

Hybrid co-simulation: it's about time.
Software and Systems Modeling, 2019

Constrained synthesis from component libraries.
Sci. Comput. Program., 2019

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Cross-Layer Interactions in CPS for Performance and Certification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Automated Synthesis of Secure Platform Mappings.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Modeling for Verification.
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

Comparison of Two Theorem Provers: Isabelle/HOL and Coq.
CoRR, 2018

The Refinement Calculus of Reactive Systems Toolset.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Data-driven and model-based design.
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
When Do We Not Need Complex Assume-Guarantee Rules?
ACM Trans. Embedded Comput. Syst., 2017

Runtime Enforcement of Cyber-Physical Systems.
ACM Trans. Embedded Comput. Syst., 2017

Automatic Synthesis of Distributed Protocols.
SIGACT News, 2017

Predictive runtime verification of timed properties.
J. Syst. Softw., 2017

Predictive runtime enforcement.
Formal Methods Syst. Des., 2017

Supervisory control and reactive synthesis: a comparative introduction.
Discret. Event Dyn. Syst., 2017

The Refinement Calculus of Reactive Systems.
CoRR, 2017

Synthesis of Property-Preserving Mappings.
CoRR, 2017

Runtime enforcement of reactive systems using synchronous enforcers.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.
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

Compositionality in the Science of System Design.
Proceedings of the 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

Compositional Semantics and Analysis of Hierarchical Block Diagrams.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Multi-view consistency for infinitary regular languages.
Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

FIDE: an FMI integrated development environment.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Compositional Runtime Enforcement.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Step revision in hybrid Co-simulation with FMI.
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

Learning Moore Machines from Input-Output Traces.
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
Translating Hierarchical Block Diagrams into Composite Predicate Transformers.
CoRR, 2015

What's Decidable about Syntax-Guided Synthesis?
CoRR, 2015

Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Bridging the semantic gap between heterogeneous modeling formalisms and FMI.
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

Requirements for hybrid cosimulation standards.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Automatic Completion of Distributed Protocols with Symmetry.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Optimized implementation of synchronous models on industrial LTTA systems.
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

Basic Problems in Multi-View Modeling.
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

Are interface theories equivalent to contract theories?
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Game theoretic secure localization in wireless sensor networks.
Proceedings of the 4th International Conference on the Internet of Things, 2014

Synthesizing Finite-State Protocols from Scenarios and Requirements.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Feedback in Synchronous Relational Interfaces.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Refinement calculus of reactive systems.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Library-based scalable refinement checking for contract-based design.
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. Embedded Comput. Syst., 2013

A modular formal semantics for Ptolemy.
Math. Struct. Comput. Sci., 2013

Error-Completion in Interface Theories.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

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

On the Verification of Timed Discrete-Event Models.
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

Determinate composition of FMUs for co-simulation.
Proceedings of the International Conference on Embedded Software, 2013

Fault Diagnosis of Timed Systems.
Proceedings of the Communicating Embedded Systems, 2013

2012
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

An overview of the career of Paul Caspi.
Proceedings of the 12th International Conference on Embedded Software, 2012

Static dataflow with access patterns: semantics and analysis.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
A Theory of Synchronous Relational Interfaces.
ACM Trans. Program. Lang. Syst., 2011

The earlier the better: a theory of timed actor interfaces.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Correct and non-defensive glue design using abstract models.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Fault Diagnosis with Dynamic Observers
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

Modal Models in Ptolemy.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Exploring models of computation with ptolemy II.
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009
Checking timed Büchi automata emptiness on simulation graphs.
ACM Trans. Comput. Log., 2009

Conformance testing for real-time systems.
Formal Methods Syst. Des., 2009

A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.
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

Scalable Semantic Annotation Using Lattice-Based Ontologies.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On relational interfaces.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embedded Comput. Syst., 2008

Automatic generation of path conditions for concurrent timed systems.
Theor. Comput. Sci., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers, 2008

Fault Diagnosis with Static and Dynamic Observers.
Fundam. Inform., 2008

Resource-Aware Verification Using Randomized Exploration of Large State Spaces.
Proceedings of the Model Checking Software, 2008

Modular Code Generation from Triggered and Timed Block Diagrams.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Translating data flow to synchronous block diagrams.
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Synchronous Programming.
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

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
Proceedings of the ISoLA 2007, 2007

Test Case Generation for Ultimately Periodic Paths.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Loosely time-triggered architectures based on communication-by-sampling.
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
Folk theorems on the determinization and minimization of timed automata.
Inf. Process. Lett., 2006

Ultimately Periodic Simple Temporal Problems (UPSTPs).
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Deep Random Search for Efficient Model Checking of Timed Automata.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Interesting Properties of the Real-Time Conformance Relation.
Proceedings of the Theoretical Aspects of Computing, 2006

State-Identification Problems for Finite-State Transducers.
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

Communication by sampling in time-sensitive distributed systems.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Monitoring and fault-diagnosis with digital clocks
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Translating discrete-time simulink to lustre.
ACM Trans. Embedded Comput. Syst., 2005

Checking Timed Büchi Automata Emptiness Efficiently.
Formal Methods Syst. Des., 2005

Testing Conformance of Real-Time Applications by Automatic Generation of Observers.
Electron. Notes Theor. Comput. Sci., 2005

An Expressive and Implementable Formal Framework for Testing Real-Time Systems.
Proceedings of the Testing of Communicating Systems, 2005

State Identification Problems for Timed Automata.
Proceedings of the Testing of Communicating Systems, 2005

Generating Path Conditions for Timed Systems.
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

Implementation of Timed Automata: An Issue of Semantics or Modeling?
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

Two-Phase Distributed Observation Problems.
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

Black-Box Conformance Testing for Real-Time Systems.
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

Real-Time Testing with Timed Automata Testers and Coverage Criteria.
Proceedings of the Formal Techniques, 2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.
Proceedings of the EMSOFT 2004, 2004

2003
Building models of real-time systems from application software.
Proceedings of the IEEE, 2003

Automated Module Composition.
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

Translating Discrete-Time Simulink to Lustre.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
Automated Composition of Module Chains.
Electron. Notes Theor. Comput. Sci., 2002

Algorithms for the Multi-constrained Routing Problem.
Proceedings of the Algorithm Theory, 2002

Fault Diagnosis for Timed Automata.
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

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Analysis of Timed Systems Using Time-Abstracting Bisimulations.
Formal Methods Syst. Des., 2001

Timing Analysis and Code Generation of Vehicle Control Software using Taxys.
Electron. Notes Theor. Comput. Sci., 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 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
Timed Diagnostics for Reachability Properties.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Framework for Scheduler Synthesis.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.
Proceedings of the FM'99 - Formal Methods, 1999

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Verifying Progress in Timed Systems.
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

Model Checking of Real-Time Reachability Properties Using Abstractions.
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

Kronos: A Model-Checking Tool for Real-Time Systems.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
On-the-fly symbolic model checking for real-time systems.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Modeling Urgency in Timed Systems.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996
Extending Promela and Spin for Real Time.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Analysis of Timed Systems Based on Time-Abstracting Bisimulation.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
The Tool KRONOS.
Proceedings of the Hybrid Systems III: Verification and Control, 1995


  Loading...