| Parametric Analyses Of Attack-Fault Trees | 0 | 0.34 | 2021 |
| Cost Problems for Parametric Time Petri Nets | 0 | 0.34 | 2021 |
| Language Preservation Problems in Parametric Timed Automata | 0 | 0.34 | 2020 |
| Backward Symbolic Optimal Reachability in Weighted Timed Automata. | 0 | 0.34 | 2020 |
| Parametric Analyses of Attack-Fault Trees | 0 | 0.34 | 2019 |
| A Game Approach To The Parametric Control Of Real-Time Systems | 0 | 0.34 | 2019 |
| Integrated Model-Checking For The Design Of Safe And Efficient Distributed Software Commissioning | 0 | 0.34 | 2019 |
| Parametric Verification: An Introduction. | 0 | 0.34 | 2019 |
| Parametric Statistical Model Checking of UAV Flight Plan. | 0 | 0.34 | 2019 |
| Control of DES with Urgency, Avoidability and Ineluctability | 0 | 0.34 | 2019 |
| Parametric updates in parametric timed automata. | 0 | 0.34 | 2019 |
| Parametric Timed Broadcast Protocols. | 0 | 0.34 | 2019 |
| On the Expressive Power of Invariants in Parametric Timed Automata | 0 | 0.34 | 2019 |
| TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. | 2 | 0.36 | 2018 |
| Timed Automata with Parametric Updates | 0 | 0.34 | 2018 |
| Optimal-Cost Reachability Analysis Based on Time Petri Nets | 0 | 0.34 | 2018 |
| Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. | 0 | 0.34 | 2017 |
| Reachability in Parametric Interval Markov Chains using Constraints. | 1 | 0.36 | 2017 |
| Towards energy-proportional clouds partially powered by renewable energy. | 7 | 0.53 | 2017 |
| Liveness in L/U-Parametric Timed Automata | 4 | 0.43 | 2017 |
| Coverability Synthesis in Parametric Petri Nets. | 0 | 0.34 | 2017 |
| Lazy Reachability Analysis in Distributed Systems. | 2 | 0.39 | 2016 |
| Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. | 0 | 0.34 | 2016 |
| On the Expressiveness of Parametric Timed Automata. | 5 | 0.48 | 2016 |
| Decision Problems for Parametric Timed Automata. | 8 | 0.52 | 2016 |
| Probabilistic Time Petri Nets. | 1 | 0.36 | 2016 |
| Integer Parameter Synthesis for Real-time Systems | 18 | 0.82 | 2015 |
| Discrete Parameters in Petri Nets | 1 | 0.34 | 2015 |
| Discrete Parameters in Petri Nets (Informal Presentation). | 0 | 0.34 | 2015 |
| The EPOC project: Energy proportional and opportunistic computing system | 3 | 0.45 | 2015 |
| Integer-Complete Synthesis for Bounded Parametric Timed Automata. | 1 | 0.39 | 2015 |
| Blending Timed Formal Models with Clock Transition Systems | 0 | 0.34 | 2014 |
| Interrupt Timed Automata with Auxiliary Clocks and Parameters*. | 1 | 0.35 | 2014 |
| On Time with Minimal Expected Cost! | 10 | 0.58 | 2014 |
| Symbolic unfolding of parametric stopwatch Petri nets | 1 | 0.36 | 2013 |
| On multi-enabledness in time Petri nets | 4 | 0.42 | 2013 |
| Integer parameter synthesis for timed automata | 15 | 0.70 | 2013 |
| Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. | 5 | 0.45 | 2013 |
| Shrinking of Time Petri nets | 3 | 0.43 | 2013 |
| Real-time control with parametric timed reachability games. | 3 | 0.39 | 2012 |
| Robustness of time petri nets under architectural constraints | 1 | 0.36 | 2012 |
| Control And Synthesis Of Non-Interferent Timed Systems | 3 | 0.38 | 2012 |
| Clock Transition Systems. | 2 | 0.38 | 2012 |
| Channel Synthesis For Finite Transducers | 1 | 0.37 | 2011 |
| Symbolic unfolding of parametric stopwatch Petri nets | 5 | 0.41 | 2010 |
| New results on timed specifications | 6 | 0.46 | 2010 |
| Diagnosis using unfoldings of parametric time Petri nets | 8 | 0.50 | 2010 |
| Formal verification of real-time systems with preemptive scheduling | 25 | 0.76 | 2009 |
| Synthesis of Non-Interferent Timed Systems | 6 | 0.52 | 2009 |
| Parametric Model-Checking of Stopwatch Petri Nets | 23 | 0.81 | 2009 |
