Stavros Tripakis

Available identifiers

zbMath Open tripakis.stavrosWikidataQ102336448 ScholiaQ102336448MaRDI QIDQ169910

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6128594	2024-04-15	Paper
On tolerance of discrete systems with respect to transition perturbations	2024-03-25	Paper
Automated synthesis of secure platform mappings	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6083447	2023-12-08	Paper
Metrics and methods for robustness evaluation of neural networks with generative models	2023-10-24	Paper
Compositional runtime enforcement revisited	2023-06-29	Paper
Counterexample classification	2023-05-26	Paper
On neural network equivalence checking using SMT solvers	2023-01-18	Paper
The refinement calculus of reactive systems	2022-06-08	Paper
Mechanically proving determinacy of hierarchical block diagram translations	2020-01-23	Paper
Learning Moore machines from input-output traces	2020-01-03	Paper
Modeling for Verification	2018-07-20	Paper
Implementing Synchronous Models on Loosely Time Triggered Architectures	2018-06-12	Paper
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems	2018-04-23	Paper
Supervisory control and reactive synthesis: a comparative introduction	2018-01-31	Paper
Predictive runtime enforcement	2017-09-08	Paper
Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication	2017-07-12	Paper
Requirements for hybrid cosimulation standards	2017-05-19	Paper
The earlier the better	2017-05-16	Paper
Checking timed Büchi automata emptiness on simulation graphs	2015-09-17	Paper
Modular code generation from synchronous block diagrams	2015-07-03	Paper
Feedback in Synchronous Relational Interfaces	2014-07-24	Paper
A modular formal semantics for Ptolemy	2013-08-26	Paper
On the Verification of Timed Discrete-Event Models	2013-08-16	Paper
Verifying hierarchical Ptolemy II discrete-event models using real-time maude	2013-06-06	Paper
Fault Diagnosis for Timed Automata	2011-04-08	Paper
Folk theorems on the determinization and minimization of timed automata	2010-01-29	Paper
Conformance testing for real-time systems	2009-09-25	Paper
Undecidable problems of decentralized observation and control on regular languages	2009-07-21	Paper
Actors without Directors: A Kahnian View of Heterogeneous Systems	2009-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q3602752	2009-02-12	Paper
Automatic generation of path conditions for concurrent timed systems	2008-10-07	Paper
Interesting Properties of the Real-Time Conformance Relation tioco	2008-09-11	Paper
Generating Path Conditions for Timed Systems	2007-11-29	Paper
Model Checking Software	2007-09-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Checking timed Büchi automata emptiness efficiently	2006-02-20	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
Algorithms for the Multi-constrained Routing Problem	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4439565	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4439585	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417937	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3152831	2002-01-01	Paper
Analysis of timed systems using time-abstracting bisimulations	2001-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4503927	2000-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4953384	2000-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4493880	1999-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stavros Tripakis