EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: DEIRDRE: Deontic Integrity Rules, Deadlines and Real Time in Databases
Home Policy Brochure Browse Search User Area Contact Help

2003

Jansen, D.N. (2003) Extensions of Statecharts with probability, time, and stochastic timing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-57 ISBN 3-9522850-0-5
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2003) A QoS-oriented extension of UML statecharts. In: «UML» 2003: the unified modeling language, 20-24 Oct 2003, San Francisco, Calif., USA. pp. 76-91. Lecture Notes in Computer Science 2863. Springer-Verlag. ISBN 3-540-20243-9

2002

Jansen, D.N. (2002) Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany. pp. 121-131. Technical Report TUM-I0208. Technische Universität München.
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, September 9-12, 2002, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4
Jansen, D.N. and Wieringa, R.J. (2002) Extending CTL with actions and real time. Journal of logic and Computation, 12 (4). pp. 607-621. ISSN 0955-792X *** ISI Impact 0,585 ***

2001

Wieringa, R.J. and Jansen, D.N. (2001) Techniques for reactive system design: the tools in TRADE. In: Advanced information systems engineering: 13th international conference, CAiSE. pp. 93-107. Lecture notes in computer science 2068. Springer-Verlag. ISBN 3-540-42215-3

2000

Jansen, D.N. and Wieringa, R.J. (2000) Extending CTL with Actions and Real-Time. In: International Conference on Temporal Logic, Leipzig. pp. 105-114. s. n..
Jansen, D.N. and Wieringa, R.J. (2000) Reducing the extensions of CTL with actions and real time. Technical Report TR-CTIT-00-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625