EEMCS

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

EEMCS EPrints Service


Classification: CR-D.2.4
Home Policy Brochure Browse Search User Area Contact Help

2016

van Dijk, T. and van de Pol, J.C. (2016) Multi-core Symbolic Bisimulation Minimisation. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), 2-8 April 2016, Eindhoven, The Netherlands. pp. 332-348. Lecture Notes in Computer Science 9636. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49673-2
Geske, M. and Jasper, M. and Steffen, B. and Howar, F. and Schordan, M. and van de Pol, J.C. (2016) RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (II), ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 787-803. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6
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 ***
Neele, T. and Wijs, A. and Bosnacki, D. and van de Pol, J.C. (2016) Partial-Order Reduction for GPU Model Checking. In: Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, 17-20 Oct 2016, Chiba, Japan. pp. 357-374. Lecture Notes in Computer Science 9938. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-46519-7

2015

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

2014

Amighi, A. and Blom, S.C.C. and Darabi, S. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Verification of concurrent systems with VerCors. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Lecture Notes in Computer Science 8483. Springer Verlag, Berlin, pp. 172-216. ISSN 0302-9743 ISBN 978-3-319-07316-3
Huisman, M. and van de Pol, J.C. (2014) Preface. In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), 24-26 Sep 2014, Enschede, The Netherlands. pp. 1-3. Electronic Communications of the EASST 70. European Association of Software Science and Technology. ISSN 1863-2122
Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying class invariants in concurrent programs. In: Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), 5-13 April, 2014, Grenoble, France. pp. 230-245. Lecture Notes in Computer Science 8411. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54803-1
Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2014) Verifying Functional Behaviour of Concurrent Programs. In: FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 28 Jul 2014, Uppsala, Sweden. 4:1-4:6. ACM. ISBN 978-1-4503-2866-1

2013

Blom, S.C.C. and Huisman, M. (2013) Witnessing the elimination of magic wands. Technical Report TR-CTIT-13-22, Centre for Telematics and Information Technology, University of Twente , Enschede . ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Mihelcic, M. (2013) Specification and verification of GPGPU programs. Technical Report TR-CTIT-13-21, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2012

Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA. pp. 71-82. ACM. ISBN 978-1-4503-1125-0
Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2012) A history of BlockingQueues. In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012), 19 Sep 2012, Bertinoro, Italy. pp. 31-35. Electronic Proceedings in Theoretical Computer Science 94. EPTCS. ISSN 2075-2180

2011

Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. Technical Report arXiv:1104.3119, ArXiv, Ithaca, NY. ISSN not assigned
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: Proceedings of the 18th International SPIN Workshop, SPIN 2011, 14-15 Jul 2011, Snow Bird, Utah. pp. 38-56. Lecture Notes in Computer Science 6823. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-22305-1
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9

2010

Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. 8. Electronic Communications of the EASST 32. European Association of Software Science and Technology (EASST). ISSN 1863-2122
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh. pp. 354-359. Lecture Notes in Computer Science 6174. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14294-9
Ciraci, S. and Havinga, W.K. and Akşit, M. and Bockisch, C.M. and van den Broek, P.M. (2010) A graph-based aspect interference detection approach for UML-based aspect-oriented models. Transactions on Aspect-Oriented Software Development, 6210. pp. 321-374. ISSN 0302-9743 ISBN 978-3-642-16085-1
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 20 Oct - 23 Oct 2010, Lugano, Switzerland. pp. 247-256. IEEE Computer Society. ISBN 978-1-4577-0734-6
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. Technical Report arXiv:1004.2772, ArXiv, Ithaca, NY.
van de Pol, J.C. and Weber, Michael (2010) Preface. In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands. v-vi. Lecture Notes in Computer Science 6349. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16163-6

2008

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3