EEMCS

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

EEMCS EPrints Service


Research Project: CARP: Correct And Efficient Accelerator Programming
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

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 ***

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

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
Beyer, D. and Huisman, M. and Klebanov, V. and Monahan, R. (2014) Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl reports, 4 (4). pp. 1-19. ISSN 2192-5283
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 ***
Huisman, M. and Ahrendt, W. and Bruns, D. and Hentschel, M. (2014) Formal specification with JML. Technical Report 2014-10, Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe. ISSN 2190-4782

2013

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
Cohen, A. and Donaldson, A.F. and Huisman, M. and Katoen, J.P. (2013) Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl reports 3(4), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. ISSN 2192-5283
Huisman, M. and Jobstmann, B. and Schaefer, I. and Stoelinga, M.I.A. (2013) Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2 (12). pp. 64-88. ISSN 2192-5283
Huisman, M. and Mihelcic, M. (2013) Specification and Verification of GPGPU programs using Permission-based Separation logic. Technical Report TR-CTIT-13-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625