Home Download Screenshots Documentation Case studies Publications DARTS team Contact us
News
Beta Version
Times 1.3 Beta now available online! Download here.
Times User Group
Has been created on YahooGroups!
Register now!
Tool Paper
Presented at TACAS'02, received ETAPS'02 Best Tool Demo Award.
Available here.
Background Paper
Presented at TACAS'02.
Available here.
Last update:
Thursday, 06 Nov 2008, 10:26:39
Optimized for: Mozilla/5.0 MSIE/6.0+
Publications
  • [PDF][PS.GZ]Pavel Krcál, and Wang Yi. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In proceedings of 10th International Conference, TACAS'04, part of the Joint European Conferences on Theory and Practice of Software, ETAPS'04 (Barcelona, Spain, March 29 - April 2, 2004), pages 236-250, Springer-Verlag, 2004. Lecture Notes in Computer Science, Vol.2988.
  • [PDF][PS.GZ]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, Marseille, France, September 6-7, 2003.
  • [PDF][PS.GZ] Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability Analysis Using Two Clocks. In proceedings of 9th International Conference, TACAS'03, part of the Joint European Conferences on Theory and Practice of Software, ETAPS'03 (Warsaw, Poland, April 7-11, 2003), pages 224-239, Springer-Verlag, 2003. Lecture Notes in Computer Science, Vol.2619.
  • [PDF][PS.GZ] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times - A Tool for Modelling and Implementation of Embedded Systems. In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 (Grenoble, France, April 8-12, 2002), pages 460-464, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
  • [PDF][PS.GZ] Elena Fersman, Paul Pettersson, and Wang Yi. Timed Automata with Asynchronous Processes: Schedulability and Decidability. In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 (Grenoble, France, April 8-12, 2002), pages 67-82, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
  • [PDF][PS.GZ] Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. Code Synthesis for Timed Automata. In Nordic Journal of Computing (NJC), volume 9, number 4, 2002.
    • For more publications please refer to this page:
  • A partial list of publications of the DARTS group at Uppsala University since 1994.

Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us

(C) 2007 DARTS, IT Dept, CS, Uppsala University, Sweden