EEMCS

De Nicola, R. and Katoen, J.P. and Latella, D. and Loreti, M. and Massink, M. (2007) Model checking mobile stochastic logic. Theoretical computer science, 382 (1). pp. 42-70. ISSN 0304-3975 *** ISI Impact 0,838 ***

De Nicola, R. and Katoen, J.P. and Latella, D. and Massink, M. (2006) Towards a logic for performance and mobility. In: 3rd Workshop on Quantitative Aspects of Programming Languages, 2-3 Apr 2005, Edinburgh, Scotland. pp. 161-175. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661

Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy. pp. 711-720. IEEE Computer Society. ISBN 0-7695-2052-9

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

Bowman, H. and Faconti, G. and Katoen, J.P. and Latella, D. and Massink, M. (1998) Automatic verification of a lip-synchronisation protocol using Uppaal. Formal Aspects of Computing, 10. pp. 550-575. ISSN 0934-5043 *** ISI Impact 1,170 ***

van den Berg, K.G. and van Berne, H. and Massink, M. and Pilot, A. (1988) Oplossingsprocessen bij het leren funktioneel programmeren [Problem solving processes in the learning of functional programming]. Memorandum Memoranda Informatica INF-88-27, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755