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

EEMCS EPrints Service

Research Project: 3TU.BSR: Big Software on the Run
Home Policy Brochure Browse Search User Area Contact Help


Bloemen, V. (2016) Parallel Model Checking of ω-Automata. In: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016), 8 Nov 2016, Limassol, Cyprus. 1. CEUR Workshop Proceedings. ISSN 1613-0073
Bloemen, V. and Laarman, A.W. and van de Pol, J.C. (2016) Multi-Core On-The-Fly SCC Decomposition. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, 12-16 March 2016, Barcelona, Spain. 8. ACM. ISBN 978-1-4503-4092-2
Bloemen, V. and van de Pol, J.C. (2016) Multi-core SCC-Based LTL Model Checking. In: Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 14-17 Nov 2016, Haifa, Israel. pp. 18-33. Lecture Notes in Computer Science 10028. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-49051-9
D'Argenio, P.R. and Hartmanns, A. and Legay, A. and Sedwards, S. (2016) Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In: Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016), 1-5 June 2016, Reykjavík, Iceland. pp. 99-114. Lecture Notes in Computer Science 9681. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-33692-3
Hahn, E. M. and Hartmanns, A. (2016) A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. In: Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), 09-11 Nov 2016, Beijing, China. pp. 85-100. Lecture Notes in Computer Science 9984. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47676-6
Hartmanns, A. and Hermanns, H. and Bungert, M. (2016) Flexible support for time and costs in scenario-aware dataflow. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2
Huisman, M. and Monahan, R. and Müller, P. and Poll, E. (2016) VerifyThis 2016: A Program Verification Competition. Technical Report TR-CTIT-16-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Huisman, M. and van de Pol, J.C. (2016) Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Science of computer programming, 128. pp. 1-1. ISSN 0167-6423 *** ISI Impact 0,828 ***


Chaudhary, K.C. and Fehnker, A. and van de Pol, J.C. and Stoelinga, M.I.A. (2015) Modeling and Verification of the Bitcoin Protocol. In: Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 23 Nov 2015, Suva, Fiji. pp. 46-60. Electronic Proceedings in Theoretical Computer Science 196. Open Publishing Association. ISSN 2075-2180
van de Pol, J.C. (2015) Automated Verification of Nested DFS. In: Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015), 22-23 Jun 2015, Oslo, Norway. pp. 181-197. Lecture Notes in Computer Science 9128. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-19457-8