Qualitative reachability for open interval Markov chains von Sproston, Jeremy

Volltext

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities von Sproston, Jeremy

Volltext

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings von Petrucci, Laure, Sproston, Jeremy

Volltext

Performance analysis of probabilistic timed automata using digital clocks von Kwiatkowska, Marta, Norman, Gethin, Parker, David, Sproston, Jeremy

Volltext

Verification and control for probabilistic hybrid automata with finite bisimulations von Sproston, Jeremy

Volltext

Model Checking Probabilistic Timed Automata with One or Two Clocks von Jurdzinski, Marcin, Laroussinie, Francois, Sproston, Jeremy

Volltext

Model checking for probabilistic timed automata von Norman, Gethin, Parker, David, Sproston, Jeremy

Volltext

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Volltext

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities von Sproston, Jeremy

Volltext

Timed Non-interference Under Partial Observability and Bounded Memory von Spriet, Anthony, Lime, Didier, Roux, Olivier H.

Volltext

On the Susceptibility of QDI Circuits to Transient Faults von Shehaby, Raghda El, Függer, Matthias, Steininger, Andreas

Volltext

Layered Controller Synthesis for Dynamic Multi-agent Systems von Clement, Emily, Perrin-Gilbert, Nicolas, Schlehuber-Caissier, Philipp

Volltext

Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk) von Markey, Nicolas

Volltext

Qualitative Reachability for Open Interval Markov Chains von Sproston, Jeremy

Volltext

Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity von Bernardo, Marco, Mezzina, Claudio A.

Volltext

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol von Kwiatkowska, Marta, Norman, Gethin, Sproston, Jeremy

Volltext

Maximum Satisfiability of Mission-Time Linear Temporal Logic von Hariharan, Gokul, Jones, Phillip H., Rozier, Kristin Yvonne, Wongpiromsarn, Tichakorn

Volltext

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines von Zhang, Pei, Aurandt, Alexis, Dureja, Rohit, Jones, Phillip H., Rozier, Kristin Yvonne

Volltext

Automata with Timers von Bruyère, Véronique, Pérez, Guillermo A., Staquet, Gaëtan, Vaandrager, Frits W.

Volltext

A Local-Time Semantics for Negotiations von Mukund, Madhavan, Roy, Adwitee, Srivathsan, B.

Volltext