Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Research Project: Aselsan/TIPS: Time Performance Improvement with Parallel Processing Systems
Home Policy Brochure Browse Search User Area Contact Help


Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625


Rensink, A. (2014) Forever software. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, 11 Oct 2014, Corfu, Greece. pp. 535-537. Lecture Notes in Computer Science 8802. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45233-2
Yildiz, B.M. and Bockisch, C.M. and Rensink, A. and Akşit, M. (2014) A timed-automata approach for critical path detection in a soft real-time application. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session, 12-14 Feb 2014, Turin, Italy. SEA-Johannes Kepler University Linz. ISBN 978-3-902457-39-4