Real-Time Systems, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00544464
Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions, 25th IEEE International Real-Time Systems Symposium, 2004. ,
DOI : 10.1109/REAL.2004.35
Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010. ,
DOI : 10.1109/RTAS.2010.38
Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems, 2009 30th IEEE Real-Time Systems Symposium, 2009. ,
DOI : 10.1109/RTSS.2009.10
On optimal scheduling under uncertainty, TACAS'03, 2003. ,
Scheduling a steel plant with timed automata, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999. ,
DOI : 10.1109/RTCSA.1999.811256
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.1351
Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, pp.1149-1172, 2007. ,
DOI : 10.1016/j.ic.2007.01.009
URL : http://doi.org/10.1016/j.ic.2007.01.009
Automata for modeling real-time systems, ICALP'90, 1990. ,
DOI : 10.1007/BFb0032042
On the synthesis of discrete controllers for timed systems, STACS'95, 1995. ,
DOI : 10.1007/3-540-59042-0_76
Uppaal and uppaal-tiga implementations Available: http://igm.univ-mlv.fr ,
Logics of Programs, Workshop, ser, Lecture Notes in Computer Science, vol.131, 1982. ,
Discrete-time control for rectangular hybrid automata, Theoretical Computer Science, vol.221, issue.1-2, pp.369-392, 1999. ,
DOI : 10.1016/S0304-3975(99)00038-9
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997. ,
DOI : 10.1007/s100090050010
UPPAAL-Tiga: Time for Playing Games!, CAV'07, 2007. ,
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466