| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolas Markey |
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk).  |
FORMATS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Zhang 0009, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier |
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Guillermo A. Pérez 0001, Gaëtan Staquet, Frits W. Vaandrager |
Automata with Timers. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Spriet, Didier Lime, Olivier H. Roux |
Timed Non-interference Under Partial Observability and Bounded Memory. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhavan Mukund, Adwitee Roy, B. Srivathsan |
A Local-Time Semantics for Negotiations. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier |
Layered Controller Synthesis for Dynamic Multi-agent Systems. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghda El Shehaby, Matthias Függer, Andreas Steininger |
On the Susceptibility of QDI Circuits to Transient Faults. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Petrucci, Jeremy Sproston (eds.) |
Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001, Claudio Antares Mezzina |
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
Maximum Satisfiability of Mission-Time Linear Temporal Logic. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman |
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. |
FORMATS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. A. Main, Mickael Randour, Jeremy Sproston |
Timed Games with Bounded Window Parity Objectives. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao |
Model Checking for Entanglement Swapping. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann 0002 |
Monitoring Timed Properties (Revisited). |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan |
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aline Goeminne, Nicolas Markey, Ocan Sankur |
Non-blind Strategies in Timed Network Congestion Games. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongkai Chen, Shan Lin 0001, Scott A. Smolka, Nicola Paoletti |
An STL-Based Formulation of Resilience in Cyber-Physical Systems. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay |
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol |
Efficient Convex Zone Merging in Parametric Timed Automata. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiming Meng, Jun Liu 0015 |
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames |
MITL Verification Under Timing Uncertainty. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis |
On Neural Network Equivalence Checking Using SMT Solvers. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin |
Bounded Delay Timed Channel Coding. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jarne Ornia, Manuel Mazo 0002 |
Robust Event-Driven Interactions in Cooperative Multi-agent Learning. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Yang, Tom Yamaguchi 0001, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov |
Neural Network Repair with Reachability Analysis. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Luca, Joël Ouaknine, James Worrell 0001 |
Algebraic Model Checking for Discrete Linear Dynamical Systems. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathis Niehage, Anne Remke |
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson |
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, David Parker 0001 (eds.) |
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang 0001 |
DiffRNN: Differential Verification of Recurrent Neural Networks. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus |
On the Complexity of Timed Pattern Matching. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Liu 0015 |
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Dima, Mahsa Shirmohammadi (eds.) |
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen |
An Integer Static Analysis for Better Extrapolation in Uppaal. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Peruffo, Alessandro Abate |
Formal Abstraction and Synthesis of Parametric Stochastic Processes. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Kim, Stanley Bak, Parasara Sridhar Duggirala |
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba |
Stubborn Set Reduction for Timed Reachability and Safety Games. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Mari, Thao Dang 0001, Gregor Gössler |
Explaining Safety Violations in Real-Time Systems. |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova |
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). |
FORMATS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Aline Goeminne |
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Thao Dang 0001, Akshay Mambakam, José-Ignacio Requeno Jarabo |
Learning Specifications for Labelled Patterns. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Parrot, Didier Lime |
Backward Symbolic Optimal Reachability in Weighted Timed Automata. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Serge Haddad |
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Bacci, David Parker 0001 |
Probabilistic Guarantees for Safe Deep Reinforcement Learning. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur |
Incremental Methods for Checking Real-Time Consistency. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid |
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Wimmer 0001, Frédéric Herbreteau, Jaco van de Pol |
Certifying Emptiness of Timed Büchi Automata. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate |
Deep Reinforcement Learning with Temporal Logics. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Nils Jansen 0001 (eds.) |
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff |
On the Semantics of Polychronous Polytimed Specifications. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Léo Henry, Thierry Jéron, Nicolas Markey |
Active Learning of Timed Automata with Unobservable Resets. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Qin, Jyotirmoy V. Deshmukh |
Clairvoyant Monitoring for Signal Temporal Logic. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré |
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic |
Weakness Monitors for Fail-Aware Systems. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongxu Li, Stanley Bak, Sergiy Bogomolov |
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kölbl, Stefan Leue, Robert Schmid |
Dynamic Causes for the Violation of Timed Reachability Properties. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Kempa, Pei Zhang 0009, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier |
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang 0001, Taylor T. Johnson |
Reachability Analysis for High-Index Linear Differential Algebraic Equations. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Marin, Carla Piazza, Sabina Rossi |
Proportional Lumpability. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Wimmer 0001 |
Munta: A Verified Model Checker for Timed Automata. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Bouillard |
Stability and Performance Bounds in Cyclic Networks Using Network Calculus. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias |
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Mariëlle Stoelinga (eds.) |
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ferrère, Oded Maler, Dejan Nickovic |
Mixed-Time Signal Temporal Logic. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo |
ParetoLib: A Python Library for Parameter Synthesis. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister |
Assessing the Robustness of Arrival Curves Models for Real-Time Systems. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Kong 0004, Ezio Bartocci, Yu Jiang 0001, Thomas A. Henzinger |
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate |
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shibashis Guha, Ashutosh Trivedi 0001 |
Expected Reachability-Price Games. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber |
Time to Learn - Learning Timed Automata from Tests. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingzhuo Zhong, Majid Zamani 0001, Marco Caccamo |
Sandboxing Controllers for Stochastic Cyber-Physical Systems. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon Rosenmann |
On the Distance Between Timed Automata. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rehab Massoud, Hoang M. Le, Rolf Drechsler |
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon Rosenmann |
The Timestamp of Timed Automata. |
FORMATS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Mathias Ramparison |
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
Perfect Timed Communication Is Hard. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan |
Stochastic Temporal Logic Abstractions: Challenges and Opportunities. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Sun 0002, Xiyue Zhang |
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate |
Tropical Abstractions of Max-Plus Linear Systems. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare |
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue 0001 |
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arpit Sharma 0002 |
Non-bisimulation Based Behavioral Relations for Markov Automata. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arpit Sharma 0002 |
Trace Relations and Logical Preservation for Markov Automata. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Hanifa Boucheneb |
On Persistency in Time Petri Nets. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Nicolas Basset, Aldric Degorre |
Distance on Timed Words and Applications. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David N. Jansen, Pavithra Prabhakar (eds.) |
Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sunny Raj, Sumit Kumar Jha 0001, Natarajan Shankar |
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Models of Timed Systems. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger |
Monitoring Temporal Logic with Clock Variables. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Salar Moarref, Hadas Kress-Gazit |
Reactive Synthesis for Robotic Swarms. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin |
Online Timed Pattern Matching Using Automata. |
FORMATS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fribourg |
Euler's Method Applied to the Control of Switched Systems. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler |
Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
Efficient Online Timed Pattern Matching by Automata-Based Skipping. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
On the Determinization of Timed Systems. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Tóth, István Majzik |
Lazy Reachability Checking for Timed Automata Using Interpolants. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Matthias Althoff |
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Mariegaard, Kim Guldstrand Larsen |
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Gilles Geeraerts (eds.) |
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings |
FORMATS |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license