Stavros Tripakis
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Known people with the same name:
Bibliography
2026
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning.
CoRR, March, 2026
2024
Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments.
RLJ, 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
Metrics and methods for robustness evaluation of neural networks with generative models.
Mach. Learn., October, 2023
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
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
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
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
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
2016
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 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
2006
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006
2005
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
Proceedings of the EMSOFT 2005, 2005
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
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
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 Formal Methods for Real-Time and Probabilistic Systems, 1999
1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998