EEMCS

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

EEMCS EPrints Service


Research Project: INESS: INtegrated European Signalling System
Home Policy Brochure Browse Search User Area Contact Help

2012

Ketema, J. (2012) Reinterpreting Compression in Infinitary Rewriting. In: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), 30 May - 01 Jun 2012, Nagoya, Japan. pp. 209-224. Leibniz International Proceedings in Informatics (LIPIcs) 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-38-5

2011

Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. and dos Santos, O.M. (2011) Automated Verification of Executable UML Models. In: Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers, 29 Nov - 01 Dec 2010, Graz, Austria. pp. 225-250. Lecture Notes in Computer Science 6957. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25270-9

2010

Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046