EEMCS

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

EEMCS EPrints Service


Author: Blom, S.C.C.
Home Policy Brochure Browse Search User Area Contact Help

2017

Darabi, S. and Blom, S.C.C. and Huisman, M. (2017) A Verification Technique for Deterministic Parallel Programs (extended version). Technical Report TR-CTIT-17-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2016

Amighi, A. and Blom, S.C.C. and Huisman, M. (2016) VerCors: A Layered Approach to Practical Verification of Concurrent Software. In: Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19 Feb 2016, Heraklion, Crete, Greece. pp. 495-503. IEEE Computer Society. ISSN 2377-5750 ISBN 978-1-4673-8775-0
Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Static Verification of Message Passing Programs. In: ICT.Open 2016, 21-22 March 2016, Amersfoort, The Netherlands. University of Twente. ISBN not assigned
Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Future-based Static Analysis of Message Passing Programs. In: Proceedings of the Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, 8 April 2016, Eindhoven, The Netherlands. pp. 65-72. Electronic Notes in Theoretical Computer Science 211. Open Publishing Association. ISSN 2075-2180

2015

Amighi, A. and Darabi, S. and Blom, S.C.C. and Huisman, M. (2015) Specification and verification of atomic operations in GPGPU programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, UK. pp. 69-83. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3
Blom, S.C.C. and Darabi, S. and Huisman, M. (2015) Verification of Loop Parallelisations. In: ICT Open 2015, 24-25 March 2015, Amersfoort,The Netherlands. IPA-4. ICT Open 2015. ISBN not assigned
Blom, S.C.C. and Darabi, S. and Huisman, M. (2015) Verification of loop parallelisations. In: Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), 11-18 Apr 2015, London, UK. pp. 202-217. Lecture Notes in Computer Science 9033. Springer Berlin Heidelberg. ISSN 0302-9743 ISBN 978-3-662-46674-2
Blom, S.C.C. and Huisman, M. (2015) Witnessing the elimination of magic wands. International Journal on Software Tools for Technology Transfer, 17 (6). pp. 757-781. ISSN 1433-2779
Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-based Verification of Functional Behaviour of Concurrent Programs. Technical Report TR-CTIT-15-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-Based Verification of Functional Behaviour of Concurrent Programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, United Kingdom. pp. 84-98. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3
Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3

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
Amighi, A. and Blom, S.C.C. and Huisman, M. (2014) Resource Protection Using Atomics: Patterns and Verification. In: Proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, November 17-19, 2014, Singapore. pp. 255-274. Lecture Notes in Computer Science 8858. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12735-4
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Formal Specifications for Java's Synchronisation Classes. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014), 12-14 Feb 2014, Torino, Italy. pp. 725-733. IEEE Conference Publications. IEEE Computer Society. ISSN 1066-6192
Blom, S.C.C. and Darabi, S. and Huisman, M. (2014) Verifying parallel loops with separation logic. In: Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), 12 April 2014, Grenoble, France. pp. 47-53. EPTCS 155 (arXiv:1406.3313). Cornell University. ISSN 2075-2180
Blom, S.C.C. and Huisman, M. (2014) The VerCors Tool for Verification of Concurrent Programs. In: Proceedings of the 19th International Symposium on Formal Methods, FM 2014, 12-16 May 2014, Singapore. pp. 127-131. Lecture Notes in Computer Science 8442. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-06409-3
Blom, S.C.C. and Huisman, M. and Mihelcic, M. (2014) Specification and verification of GPGPU programs. Science of computer programming, 95 (Part 3). pp. 376-388. ISSN 0167-6423 *** ISI Impact 0,828 ***
Guck, D. and Timmer, M. and Blom, S.C.C. (2014) Extending Markov Automata with State and Action Rewards. In: Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), 12-13 April 2014, Grenoble, France. Inria. ISBN not assigned
Meijer, J.J.G. and Kant, G. and Blom, S.C.C. and van de Pol, J.C. (2014) Read, Write and Copy Dependencies for Symbolic Model Checking. In: Proceedings of the 10th International Haifa Verification Conference, HVC 2014, 18-20 Nov 2014, Haifa, Israel. pp. 204-219. Lecture Notes in Computer Science 8855. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-13337-9
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

Amighi, A. and Blom, S.C.C. and Huisman, M. (2013) Resource protection using atomics: patterns and verifications. Technical Report TR-CTIT-13-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2013) Formal specifications for Java’s synchronisation classes. Technical Report TR-CTIT-13-18, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
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
Blom, S.C.C. and Kiniry, J.R. and Huisman, M. (2013) How do developers use APIs? A case study in concurrency. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 Jul 2013, Singapore. pp. 212-221. IEEE Computer Society. ISBN 978-0-7695-5007-7

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

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

2009

Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X *** ISI Impact 0,585 ***
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. Technical Report TR-CTIT-09-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. pp. 32-46. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned

2008

Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833 *** ISI Impact 1,082 ***
Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Blom, S.C.C. and van de Pol, J.C. (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey. pp. 81-95. Lecture Notes in Computer Science 5160. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85761-7

2007

Blom, S.C.C. and Calamé, J.R. and Lisser, B. and Orzan, S. and Pang, J. and van de Pol, J.C. and Torabi Dashti, M. and Wijs, A.J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: Tools and Algorithms for the Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 683-689. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-71208-4
Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2007) TTCN-3 for Distributed Testing Embedded Software. In: Perspectives of Systems Informatics, 27-30 Jun 2006, Novosibirsk, Russia. pp. 98-111. Lecture Notes in Computer Science 4378. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70880-3
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Participants Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 Jul 2007, Berlin, Germany. pp. 17-32. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672