EEMCS

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

EEMCS EPrints Service


Research Project: Verification of performance and dependability
Home Policy Brochure Browse Search User Area Contact Help

2007

Krilavičius, T. (2007) Study of Tools Interoperability. Technical Report TR-CTIT-07-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2006

Baier, C. and Hermanns, H., ed. (2006) CONCUR 2006 [Concurrency Theory, 16th International Conference]. Lecture Notes in Computer Science 4137. Springer Verlag, Berlin. ISBN 3-540-37376-4
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B. (2006) Compositional Performability Evaluation for STATEMATE. In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA. pp. 167-176. IEEE Computer Society. ISBN 0-7695-2665-9
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589 *** ISI Impact 1,516 ***

2005

Baier, C. and D'Argenio, P.R. and Größer, M. (2005) Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland. pp. 97-116. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
D'Argenio, P.R. and Gebremichael, B. (2005) The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA. pp. 125-140. Lecture Notes in Computer Science 3653. Springer Verlag. ISBN 3-540-28309-9
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and computation, 203 (2). pp. 115-144. ISSN 0890-5401 *** ISI Impact 0,873 ***