, B: its best-case execution time, 2. W : its worst-case execution time
, D: its relative deadline (i. e., the latest time after the release of the task by which it must be completed)
, B, W and D) are replaced with their value in v. Each task can have several instances, i. e., copies of the same task. An instance of task t is written (t, b, w, d) where b ? R + (resp. w ? R + ) is the best-case (resp. worst-case) remaining computation time, we denote by v(t) the task where the parameters in the timings (i. e
, A parametric task automaton is a PTA extended with 1. T : a set of tasks
Formalising Concurrent UML State Machines Using Coloured Petri Nets, Advances in Intelligent Systems and Computing, vol.326, pp.473-486, 2014. ,
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report, Electronic Proceedings in Theoretical Computer Science, vol.150, p.9, 2014. ,
Formalising concurrent UML state machines using coloured Petri nets, Formal Aspects of Computing, vol.28, p.9, 2016. ,
Distributed Behavioral Cartography of Timed Automata, pp.109-114, 2014. ,
Formalizing non-concurrent UML state machines using colored Petri nets, Proceedings of the 5th International workshop UML and Formal Methods (UML&FM), vol.37, p.9, 2012. ,
Modelling Timed Concurrent Systems Using Activity Diagram Patterns, Advances in Intelligent Systems and Computing, vol.326, pp.339-351, 2014. ,
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata, Lecture Notes in Computer Science, vol.9407, pp.319-335, 2015. ,
Activity Diagrams Patterns for Modeling Business Processes, vol.496, pp.197-213, 2013. ,
Preserving Partial Order Runs in Parametric Time Petri Nets, Transactions on Embedded Computing Systems, vol.16, pp.75-78, 2017. ,
, Consistency in Parametric Interval Probabilistic Timed Automata". In: TIME, pp.82-85, 2016.
Behavioral Cartography of Timed Automata ,
, Lecture Notes in Computer Science, vol.6227, pp.76-90, 2010.
Merge and Conquer: State Merging in Parametric Timed Automata ,
, Lecture Notes in Computer Science. Hanoi, vol.8172, pp.381-396, 2013.
An Extension of the Inverse Method to Probabilistic Timed Automata, Formal Methods in System Design, vol.2, p.82, 2013. ,
Liveness in L/U-Parametric Timed Automata ,
, , vol.32, pp.36-40, 2017.
Learning-based compositional parameter synthesis for event-recording automata ,
, Lecture Notes in Computer Science. Best FORTE paper award and best DisCoTec paper award, vol.10321, pp.17-32, 2017.
The language preservation problem is undecidable for parametric event-recording automata, Information Processing Letters, vol.136, pp.17-20, 2018. ,
Language Preservation Problems in Parametric Timed Automata, vol.43, p.42, 2018. ,
Integer-Complete Synthesis for Bounded Parametric Timed Automata, Lecture Notes in Computer Science. Warsaw, vol.9328, pp.53-55, 2015. ,
Decision Problems for Parametric Timed Automata, Lecture Notes in Computer Science, vol.10009, pp.34-37, 2016. ,
On the Expressiveness of Parametric Timed Automata, FORMATS. Ed. by Martin Fränzle and Nicolas Markey, vol.9984, pp.29-32, 2016. ,
TCTL model checking lower/upperbound parametric timed automata without invariants, Lecture Notes in Computer Science. To appear, vol.11022, pp.1-17, 2018. ,
Veriication of Two Real-Time Systems Using Parametric Timed Automata, 2015. ,
Language Preservation Problems in Parametric Timed Automata, FORMATS. Ed. by Sriram Sankaranarayanan and Enrico Vicario, vol.9268, p.79, 2015. ,
Synthèse de contraintes temporisées pour une architecture d'automatisation en réseau ,
, Journal Européen des Systèmes Automatisés 7-9, vol.43, p.42, 2009.
An Inverse Method for Parametric Timed Automata, International Journal of Foundations of Computer Science, vol.20, pp.819-836, 2009. ,
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems, Lecture Notes in Computer Science, vol.7436, p.47, 2012. ,
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems, Lecture Notes in Computer Science. Saint Petersburg, vol.8044, pp.984-989, 2013. ,
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems, Real-Time Systems, vol.50, pp.620-679, 2014. ,
Reachability Preservation Based Parameter Synthesis for Timed Automata, Lecture Notes in Computer Science, vol.9058, pp.61-63, 2015. ,
Controlling Actions and Time in Parametric Timed Automata, vol.81, pp.45-54, 2016. ,
Timed ATL: Forget Memory, Just Count, p.10, 2017. ,
Parametric model checking timed automata under non-Zenoness assumption, Lecture Notes in Computer Science. Mooett Field, vol.10227, pp.78-80, 2017. ,
Dynamic Clock Elimination in Parametric Timed Automata, OpenAccess Series in Informatics (OASIcs). Singapore: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, vol.31, pp.18-31, 2013. ,
Observer Patterns for Real-Time Systems, p.9, 2013. ,
, Parametric Deadlock-Freeness Checking Timed Automata". In: ICTAC. Ed. by Augusto Cesar Alves Sampaio and Farn Wang, vol.9965, pp.40-42, 2016.
A uniied formalism for monoprocessor schedulability analysis under uncertainty, Lecture Notes in Computer Science. Best paper award, vol.10471, pp.91-94, 2017. ,
What's decidable about parametric timed automata?, In: International Journal on Software Tools for Technology Transfer, 2018. ,
EEcient parameter synthesis using optimized state exploration strategies, p.10, 2017. ,
Unifying Patterns for Modelling Timed Relationships in Systems and Properties, vol.1372, pp.25-40, 2015. ,
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs, Lecture Notes in Computer Science, vol.8053, pp.72-75, 2013. ,
Synthesis of Timing Parameters Satisfying Safety Properties, Lecture Notes in Computer Science, vol.6945, pp.70-72, 2011. ,
, The Inverse Method. FOCUS Series in Computer Engineering and Information Technology. 176 pages. ISTE Ltd and, p.9781848214477, 2013.
Classiication based Parameter Synthesis for Parametric Timed Automata, vol.10610, pp.243-261, 2017. ,
An EEcient Algorithm for Learning Event-Recording Automata, Lecture Notes in Computer Science. Taipei, vol.6996, p.65, 2011. ,
Automatic Compositional Veriication of Timed Systems, Lecture Notes in Computer Science, vol.7436, p.66, 2012. ,
Learning Assumptions for Compositional Veriication of Timed Systems, Transactions on Software Engineering, vol.40, pp.137-153, 2014. ,
Toward Parametric Timed Interfaces for Real-Time Components, Electronic Proceedings in Theoretical Computer Science, vol.145, p.97, 2014. ,
Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP, ACM Transactions on Software Engineering and Methodology, vol.22, p.9, 2013. ,
DOI : 10.1145/2430536.2430537
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems ,
DOI : 10.1007/978-3-319-05416-2_14
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SSLAF-ftscs13.pdf
, Communications in Computer and Information Science, vol.419, pp.88-90, 2013.
Dynamic Synthesis of Local Time Requirement for Service Composition, p.10, 2013. ,
Automated Runtime Recovery for QoS-based Service Composition, Korea: ACM SIG Proceedings, p.10, 2014. ,
Optimizing Selection of Competing Services with Probabilistic Hierarchical Renement, p.10, 2016. ,
Parameterized veriication of time-sensitive models of ad hoc network protocols, Theoretical Computer Science, vol.612, p.99, 2016. ,
Robust Simulation for Hybrid Systems: Chattering Bath Avoidance, pp.175-185, 2015. ,
Model-Checking in Dense Real-Time, Information and Computation, vol.104, p.23, 1993. ,
A theory of timed automata, Theoretical Computer Science, vol.126, p.45, 1994. ,
Multi-Clock Timed Networks, LICS, p.99, 2004. ,
Event-Clock Automata: A Determinizable Class of Timed Automata, Theoretical Computer Science, vol.211, pp.253-273, 1999. ,
Time Robustness in MTL and Expressivity in Hybrid System Falsiication, CAV, part II, vol.9207, pp.356-374, 2015. ,
DOI : 10.1007/978-3-319-21668-3_21
Parametric real-time reasoning, vol.17, p.81, 1993. ,
DOI : 10.1145/167088.167242
URL : https://ecommons.cornell.edu/bitstream/1813/6111/1/93-1345.pdf
Model checking of systems with many identical timed processes, Theoretical Computer Science, vol.290, p.99, 2003. ,
Robustness of Time Petri Nets under Guard Enlargement, Fundamenta Informaticae, vol.143, pp.207-234, 2016. ,
DOI : 10.3233/fi-2016-1312
URL : https://hal.archives-ouvertes.fr/hal-00879832
ChatteringFree Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation, p.78, 2016. ,
DOI : 10.1109/cse-euc-dcabes.2016.217
URL : https://hal.archives-ouvertes.fr/hal-01365875
Job-Shop Scheduling Using Timed Automata ,
, Lecture Notes in Computer Science, vol.2102, p.88, 2001.
, Preemptive Job-Shop Scheduling using Stopwatch Automata". In: TACAS. Ed. by Joost-Pieter Katoen and Perdita Stevens, vol.2280, p.88, 2002.
Learning Regular Sets from Queries and Counterexamples, Information and Computation, vol.75, p.65, 1987. ,
Compositional Parameter Synthesis, Lecture Notes in Computer Science, vol.9995, pp.60-68, 2016. ,
Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times, vol.87, 1991. ,
Stack-based Scheduling of Realtime Processes, Real-Time Systems, vol.3, p.88, 1991. ,
On Interleaving in Timed Automata, CONCUR. Ed. by Christel Baier and Holger Hermanns, vol.4137, p.48, 2006. ,
Lower and upper bounds in zone-based abstractions of timed automata, International Journal on Software Tools for Technology Transfer, vol.8, issue.3, pp.204-215, 2006. ,
Language Emptiness of ContinuousTime Parametric Timed Automata, ICALP, Part II, vol.9135, pp.69-81, 2015. ,
Parametric Interrupt Timed Automata, Lecture Notes in Computer Science, vol.8169, p.97, 2013. ,
Mohab Safey El Din, and Mathieu Sassolas, Lecture Notes in Computer Science, vol.9328, p.99, 2015. ,
How to stop time stopping, Formal Aspects of Computing, vol.18, p.78, 2006. ,
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Veriication of Hardware and Software Systems, Science of Computer Programming, vol.72, pp.3-21, 2008. ,
Decision problems for lower/upper bound parametric timed automata, Formal Methods in System Design, vol.35, pp.121-151, 2009. ,
Robust Model-Checking of Timed Automata via Pumping in Channel Machines, FORMATS. Ed. by Uli Fahrenberg and Stavros Tripakis, vol.6919, p.44, 2011. ,
Robustness in timed automata ,
, Lecture Notes in Computer Science, vol.8169, pp.1-18, 2013.
Advances in Parametric Real-Time Reasoning, Lecture Notes in Computer Science, vol.8634, pp.123-134, 2014. ,
Regular Model Checking, Lecture Notes in Computer Science, vol.1855, p.99, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00161119
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor, RealTime Systems, vol.2, pp.301-324, 1990. ,
On OMinimal Hybrid Systems, Lecture Notes in Computer Science, vol.2993, p.98, 2004. ,
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, Lecture Notes in Computer Science. Hanoi, vol.8172, pp.55-70, 2013. ,
DOI : 10.1007/978-3-319-02444-8_6
URL : http://www.lsv.ens-cachan.fr/~doyen/papers/Time-Bounded_Reachability_for_Monotonic_Hybrid_Automata_Complexity_and_Fixed_Points.pdf
Distributed Parametric and Statistical Model Checking, EPTCS. Snowbird, vol.72, p.47, 2011. ,
DOI : 10.4204/eptcs.72.4
URL : http://arxiv.org/pdf/1111.0370
Advances in Petri Nets, Timed Automata: Semantics, Algorithms and Tools". In: Lectures on Concurrency and Petri Nets, vol.3098, pp.87-124, 2003. ,
Veriication of timed circuits with symbolic delays, p.42, 2004. ,
Veriication of Concurrent Systems with Parametric Delays Using Octahedra, In: ACSD. Saint-Malo, p.42, 2005. ,
PRISMPSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems, Lecture Notes in Computer Science, vol.9636, pp.367-384, 2016. ,
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata, QEST, p.82, 2008. ,
DOI : 10.1109/qest.2008.34
URL : http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2008-22.pdf
Timed Veriication of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata, Formal Methods in System Design, vol.34, pp.59-81, 2009. ,
The Impressive Power of Stopwatches, Lecture Notes in Computer Science, vol.1877, pp.138-152, 2000. ,
Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time, Real-Time Systems, vol.2, p.88, 1990. ,
DOI : 10.1007/bf01995676
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata, RTSS, vol.88, p.70, 2008. ,
DOI : 10.1109/rtss.2008.36
URL : http://feanor.sssup.it/%7Eluigi/publications/rtss08.pdf
Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX, p.42, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00110454
Dynamic Scheduling of Real-Time Tasks under Precedence Constraints, Real-Time Systems, vol.2, p.88, 1990. ,
DOI : 10.1007/bf00365326
The Bounded Retransmission Protocol Must Be on Time, Lecture Notes in Computer Science, vol.1217, p.81, 1997. ,
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, Real-Time Systems, vol.35, p.88, 2007. ,
DOI : 10.1007/s11241-007-9012-7
URL : https://link.springer.com/content/pdf/10.1007%2Fs11241-007-9012-7.pdf
Merging DBMs EEciently, p.48, 2005. ,
, Uppaal DBM Library Programmer's Reference, p.48, 2006.
Falsifying Oscillation Properties of Parametric Biological Models, EPTCS. Taormina, Italy, vol.125, p.98, 2013. ,
DOI : 10.4204/eptcs.125.4
URL : http://arxiv.org/pdf/1309.0869
Robust safety of timed automata, Formal Methods in System Design, vol.33, p.51, 2008. ,
Consistency and reenement for Interval Markov Chains, Journal of Logic and Algebraic Programming, vol.81, issue.3, p.82, 2012. ,
Consistency for Parametric Interval Markov Chains, United Kingdom: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, vol.44, p.84, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01140752
Parameter Synthesis for Parametric Interval Markov Chains, vol.9583, pp.372-390, 2016. ,
Robust Parametric Reachability for Timed Automata, In: Information Processing Letters, vol.102, p.24, 2007. ,
Reducing the number of clock variables of timed automata, RTSS, p.49, 1996. ,
Improved Multi-Core Nested Depth-First Search, Lecture Notes in Computer Science, vol.7561, p.47, 2012. ,
Task automata: Schedulability, decidability and undecidability, In: Information and Computation, vol.205, pp.91-93, 2007. ,
Formal Timing Analysis Of Mixed Music Scores, ICMC, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00829821
Parametric Veriication and Test Coverage for Hybrid Automata Using the Inverse Method, International Journal of Foundations of Computer Science, vol.24, p.99, 2013. ,
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, p.10, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00800980
, , vol.26, p.88, 2010.
Dynamic priority scheduling of periodic tasks with extended precedences, p.88, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00638941
, SpaceEx: Scalable Veriication of Hybrid Systems". In: CAV. Ed. by Ganesh Gopalakrishnan and Shaz Qadeer, vol.6806, p.98, 2011.
Robustness Analysis for Scheduling Problems using the Inverse Method, pp.73-80, 2012. ,
EEcient Detection of Zeno Runs in Timed Automata, Lecture Notes in Computer Science. Salzburg, vol.4763, p.78, 2007. ,
Learning of event-recording automata, Theoretical Computer Science, vol.411, p.65, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00459696
Lecture Notes in Computer Science, The Linear Time-Branching Time Spectrum (Extended Abstract)". In: CONCUR. Ed. by Jos C. M. Baeten and Jan Willem Klop, vol.458, p.14, 1990. ,
MAST: Modeling and Analysis Suite for Real Time Applications, ECRTS, p.90, 2001. ,
What's Decidable about Hybrid Automata?, In: Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998. ,
Reducing Quasi-Equal Clocks in Networks of Timed Automata, In: FORMATS. Ed. by Marcin Jurdzinski and Dejan Nickovic, vol.7595, p.68, 2012. ,
, The Expressive Power of Clocks". In: ICALP. Ed. by Zoltán Fülöp and Ferenc Gécseg, vol.944, p.46, 1995.
Communicating Sequential Processes. International Series in Computer Science, p.9, 1985. ,
Veriication of Linear Hybrid Systems by Means of Convex Approximations, Lecture Notes in Computer Science. Namur, vol.864, p.51, 1994. ,
, Lazy Abstractions for Timed Automata". In: CAV. Ed. by Natasha Sharygina and Helmut Veith, vol.8044, p.78, 2013.
DOI : 10.1007/978-3-642-39799-8_71
URL : https://hal.archives-ouvertes.fr/hal-00775924
Linear parametric model checking of timed automata, Journal of Logic and Algebraic Programming, vol.79, p.55, 2002. ,
DOI : 10.1016/s1567-8326(02)00037-1
URL : https://doi.org/10.1016/s1567-8326(02)00037-1
The Model Checking Problem in Networks with Quasi-Equal Clocks, p.68, 2016. ,
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions, Lecture Notes in Computer Science, vol.8762, p.82, 2014. ,
Speciication and Reenement of Probabilistic Processes, LICS, p.82, 1991. ,
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games, Lecture Notes in Computer Science. Hanoi, vol.8172, p.99, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00940988
Integer Parameter Synthesis for Timed Automata, IEEE Transactions on Software Engineering, vol.41, pp.445-461, 1999. ,
Parametric Veriication of Timed Systems, p.23, 2013. ,
, , p.77
Action Synthesis for Branching Time Logic: Theory and Applications, ACM Transactions on Embedded Computing, vol.14, p.81, 2015. ,
Bounded Model Checking for Parametric Timed Automata". In: Transactions on Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, vol.6900, pp.141-159, 2012. ,
Symbolic Model Checking for Probabilistic Timed Automata, Information and Computation 205, vol.7, p.42, 2007. ,
Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction, vol.8044, p.47, 2013. ,
Improving the Timed Automata Approach to Biological Pathway Dynamics". In: Models, Algorithms, Logics and Tools-Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.10460, p.98, 2017. ,
Verifying Parameterized Timed Security Protocols, Lecture Notes in Computer Science. Oslo, vol.9109, p.99, 2015. ,
Scheduling Algorithms for Multiprogramming in a HardReal-Time Environment, Journal of the ACM, vol.20, pp.4-5411, 1973. ,
Model-Checking Timed, Lecture Notes in Computer Science, vol.4202, p.10, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01194617
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security, SEFM. Beijing, p.99, 2004. ,
Parametric probabilistic transition systems for system design and analysis", In: Formal Aspects of Computing, vol.19, p.99, 2007. ,
Automated Veriication of Timed Security Protocols with Clock Drift, Lecture Notes in Computer Science. Limassol, Cyprus, vol.9995, p.99, 2016. ,
On the complexity of xed-priority scheduling of periodic, real-time tasks, Performance Evaluation, vol.2, pp.90024-90028, 1982. ,
Robustness in Real-time Systems, p.51, 2011. ,
A study of the recoverability of computing systems, p.72, 1974. ,
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata, Lecture Notes in Computer Science, vol.1790, p.32, 2000. ,
Computation: nite and innnite machines, vol.32, p.33, 1967. ,
Detecting Quasi-equal Clocks in Timed Automata, Lecture Notes in Computer Science, vol.8053, p.68, 2013. ,
Timed Automata as Task Models for EventDriven Systems, vol.91, p.9, 1999. ,
Uniied Modeling Language Superstructure, Version 2, p.9 ,
Towards a Theory of Time-Bounded Veriication, ICALP Part II, vol.6199, p.23, 2010. ,
Schedulability Analysis for Tasks with Static and Dynamic OOsets, RTSS, vol.90, p.88, 1998. ,
Parameter Synthesis for Markov Models: Faster Than Ever, Lecture Notes in Computer Science. Chiba, Japan, vol.9938, p.99, 2016. ,
Application of the Reachability Analysis for the Iron Homeostasis Study, Lecture Notes in Computer Science, vol.9957, p.98, 2016. ,
Unfolding-based Partial Order Reduction, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, vol.42, p.77, 2015. ,
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation, Lecture Notes in Computer Science, vol.3099, p.74, 2004. ,
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs, Lecture Notes in Computer Science. Hanoi, vol.8172, p.78, 2013. ,
Untimed Language Preservation in Timed Systems, MFCS, vol.6907, pp.556-567, 2011. ,
Symbolic Quantitative Robustness Analysis of Timed Automata ,
URL : https://hal.archives-ouvertes.fr/hal-01244766
, Lecture Notes in Computer Science. London, vol.9035, p.70, 2015.
Shrinking timed automata, Information and Computation, vol.234, pp.107-132, 2014. ,
Modelling biological pathway dynamics with Timed Automata, p.98, 2012. ,
Theory of linear and integer programming, p.12, 1986. ,
Task Period Selection and Schedulability in Real-Time Systems, RTSS, p.90, 1998. ,
Analysis of Deadline Scheduled Real-Time Systems, vol.87, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00073920
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters, Transactions on Software Engineering, vol.42, p.99, 2016. ,
PAT: Towards Flexible Veriication under Fairness, Lecture Notes in Computer Science, vol.5643, p.66, 2009. ,
Parametric Model-Checking of Stopwatch Petri Nets, Journal of Universal Computer Science, vol.15, pp.3273-3304, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00489033
A Parametric Counterexample Reenement Approach for Robust Timed Speciications, Electronic Proceedings in Theoretical Computer Science, vol.87, p.70, 2012. ,
Verifying Progress in Timed Systems, In: ARTS. Ed. by Joost-Pieter Katoen, vol.1601, p.78, 1999. ,
Analysis of Timed Systems Using Time-Abstracting Bisimulations, Formal Methods in System Design, vol.18, p.37, 2001. ,
Checking Timed Büchi Automata Emptiness EEciently, Formal Methods in System Design, vol.26, p.78, 2005. ,
System architecture evaluation using modular performance analysis: a case study, International Journal on Software Tools for Technology Transfer, vol.8, issue.6, p.90, 2006. ,
Are Timed Automata Bad for a Speciication Language? Language Inclusion Checking for Timed Automata ,
, Erika Ábrahám and Klaus Havelund, vol.8413
, , p.69, 2014.
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata, IEEE Transactions on Software Engineering, vol.41, pp.3-18, 2015. ,
Distributed Algorithms for Time Optimal Reachability Analysis, FORMATS. Ed. by Martin Fränzle and Nicolas Markey, vol.9884, p.47, 2016. ,
Time optimal reachability analysis using swarm veriication, vol.68, p.47, 2016. ,