EEMCS

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

EEMCS EPrints Service


Author: Huisman, M.
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
Ngo, Minh Tri and Huisman, M. (2017) Complexity and information flow analysis for multi-threaded programs. The European Physical Journal Special Topics, online pre-publication. pp. 1-18. ISSN 1951-6355 *** ISI Impact 1,417 ***

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
Amighi, A. and Gomes, P. and Gurov, D. and Huisman, M. (2016) Provably correct control flow graphs from Java bytecode programs with exceptions. International journal on software tools for technology transfer, 18 (6). pp. 653-684. ISSN 1433-2779
Gomes, P. and Gurov, D. and Huisman, M. (2016) Specification and Verification of Synchronization with Condition Variables. In: Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), November 14, 2016, Tokyo, Japan. pp. 3-19. Communications in Computer and Information Science 694. Springer Verlag. ISSN 1865-0929 ISBN 978-3-319-53946-1
Gurov, D. and Havelund, K. and Huisman, M. and Monahan, R. (2016) Static and runtime verification, competitors or friends? (Track summary). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 397-401. Lecture Notes in Computer Science 9952. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47165-5
Huisman, M. and Ahrendt, W. and Grahl, D. and Hentschel, M.G.B.G. (2016) Formal specification with the Java modeling language. In: Deductive Software Verification – The KeY Book. Lecture Notes in Computer Science 10001. Springer Verlag, London, pp. 193-241. ISSN 0302-9743 ISBN 978-3-319-49811-9
Huisman, M. and Bos, H. and Brinkkemper, S. and van Deursen, A. and Groote, J.F. and Lago, P. and van de Pol, J.C. and Visser, E. (2016) Software that meets its Intent. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 609-625. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6
Huisman, M. and Klebanov, V. and Monahan, R. and Tautschnig, M. (2016) VerifyThis 2015: A program verification competition. International journal on software tools for technology transfer, oneline pre-publication. pp. 1-9. ISSN 1433-2779
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 ***
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
Wevers, L. and Huisman, M. and van Keulen, M. (2016) Lazy Evaluation for Concurrent OLTP and Bulk Transactions. In: Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016), 11-13 Jul 2016, Montreal, Canada. pp. 115-124. ACM. ISBN 978-1-4503-4118-9

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
Amighi, A. and Haack, C. and Huisman, M. and Hurlin, C. (2015) Permission-based separation logic for multi-threaded Java programs. Logical Methods in Computer Science, 11 (1). 2. ISSN 1860-5974 *** ISI Impact 0,569 ***
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
Huisman, M. and Klebanov, V. and Monahan, R. (2015) VerifyThis 2012 - A Program Verification Competition. International journal on software tools for technology transfer, 17 (6). pp. 647-657. ISSN 1433-2779
Huisman, M. and Mostowski, W.I. (2015) A Symbolic Approach to Permission Accounting for Concurrent Reasoning. In: Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015, 29 Jun - 02 Jul 2015, Limassol, Cyprus. pp. 165-174. IEEE Computer Society. ISBN 978-1-4673-7148-3
Kandziora, J. and Huisman, M. and Bockisch, C.M. and Zaharieva-Stojanovski, M. (2015) Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML. In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), 7 July 2015, Prague, Czech Republic. 8. ACM. ISBN 978-1-4503-3656-7
Soleimanifard, S. and Gurov, D. and Huisman, M. (2015) Procedure-modular specification and verification of temporal safety properties. Software and systems modeling, 14 (1). pp. 83-100. ISSN 1619-1366 *** ISI Impact 0,990 ***
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) A Benchmark for Online Non-Blocking Schema Transformations. In: Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015, 20-22 Jul 2015, Colmar, France. pp. 288-298. SciTePress. ISBN 978-989-758-103-8
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) Analysis of the blocking behaviour of schema transformations in relational database systems. In: Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015, 8-11 Sep 2015, Poitiers, France. pp. 169-183. Lecture Notes in Computer Science 9282. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23134-1

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
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. (2014) SCP special issue on Bytecode 2012 - Preface. Science of Computer Programming, 92A. pp. 1-1. 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
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
Huisman, M. and Stoelinga, M.I.A. (2014) Meer vrouwen in de ict, waarom eigenlijk? Bits en chips, 9 (9). pp. 20-21. ISSN 1879-6443
Ngo, Minh Tri and Huisman, M. (2014) Quantitative security analysis for programs with low input and noisy output. In: Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 Feb 2014, Munich, Germany. pp. 77-94. Lecture Notes in Computer Science 8364. Springer Verlag. ISBN 978-3-319-04896-3
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security, 22 (2). pp. 269-300. ISSN 0926-227X
Wevers, L. and Hofstra, M and Tammens, M and Huisman, M. and van Keulen, M. (2014) Towards Online Relational Schema Transformations. In: Dutch-Belgian Database Day 2014, 17 Oct 2014, Antwerp, Belgium. 1. Dutch-Belgian Database Day. ISBN not assigned
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2014) Towards Online and Transactional Relational Schema Transformations. Technical Report TR-CTIT-14-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying Class Invariants in Concurrent Programs. Technical Report TR-CTIT-14-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
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

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
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
Gurov, D. and Huisman, M. (2013) Reducing Behavioural to Structural Properties of Programs with Procedures. Theoretical computer science, 480. pp. 69-103. ISSN 0304-3975 *** ISI Impact 0,643 ***
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
Ngo, Minh Tri and Huisman, M. (2013) Quantitative Security Analysis for Multi-threaded Programs. In: Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 22-23 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association.
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 Feb - 01 Mar 2013, Paris, France. pp. 107-122. Lecture Notes in Computer Science (7781). Springer Verlag. ISBN 978-3-642-36562-1
Wevers, L. and Huisman, M. and de Keijzer, A. (2013) Parallel transaction processing in functional languages, towards practical functional databases. Technical Report TR-CTIT-13-06, 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
Amighi, A. and de Carvalho Gomes, P. and Gurov, D. and Huisman, M. (2012) Sound Control-Flow Graph Extraction for Java Programs with Exceptions. In: 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), 1-5 Oct 2012, Thessaloniki, Greece. pp. 33-47. Lecture Notes in Computer Science 7504. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33825-0
Bormer, T. and Brockschmidt, M. and Distefano, D. and Ernst, G. and Filliatre, J.-C. and Grigore, R. and Huisman, M. and Klebanov, V. and Marche, C. and Monahan, R. and Mostowski, W.I. and Poiikarpova, N. and Scheben, C. and Schellhorn, G. and Tofan, B. and Tschannen, J. and Ulbrich, M. (2012) The COST IC0701 Verification Competition 2011. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, 5-7 Oct 2011, Turin, Italy. pp. 3-21. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Huisman, M. and Klebanov, V. and Monahan, R. (2012) On the organisation of program verification competitions. In: 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012), 30 June 2012, Manchester, UK. pp. 50-59. CEUR-WS Proceedings 873. Sun SITE Central Europe. ISSN 1613-0073
Huisman, M. and Ngo, Minh Tri (2012) Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. In: 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers, October 5-7, 2011, Turin, Italy. pp. 178-195. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. Technical Report TR-CTIT-13-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
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

Amighi, A. and de Carvalho Gomes, P. and Huisman, M. (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11, 5-7 Oct 2011, Turin, Italy. pp. 31-48. Karlsruhe Reports in Informatics (26). Karlsruhe Institute of Technology. ISSN 2190-4782
Haack, C. and Huisman, M. and Hurlin, C. (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15. pp. 13-23. ISSN not assigned
Huisman, M. and Blondeel, H.-C. (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany. pp. 148-165. Lecture Notes in Computer Science 6993. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-27374-2
Huisman, M. and Ngo, Minh Tri (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. Technical Report TR-CTIT-11-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rebelo, H. and Coelho, R. and Lima, R. and Leavens, G.T. and Huisman, M. and Mota, A. and Castor, F. (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011, 26th of July 2011, Lancaster, UK. 7:1-7:6. ACM. ISBN 978-1-4503-0893-9
Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6

2010

Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5
Soleimanifard, S. and Gurov, D. and Huisman, M. (2010) Procedure-Modular Verification of Control Flow Safety Properties. In: 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010, June 22, 2010, Maribor, Slovenia. 5:1-5:7. ACM. ISBN 978-1-4503-0540-2

2009

Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus. pp. 70-76. Lecture Notes in Computer Science 5475. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02046-9
Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2
Gurov, D. and Huisman, M. (2009) Reducing Behavioural to Structural Properties of Programs with Procedures. In: Verification, Model Checking, and Abstract Interpretation, January 18-20, 2009, Savannah, GA, USA. pp. 136-150. Lecture Notes in Computer Science 5403. Springer Verlag. ISBN 978-3-540-93899-6
Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua. 8:1-8:6. ACM. ISBN 978-1-60558-540-6
Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N. (2009) Foreword. In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam. pp. 3-3. ACM. ISBN 978-1-60558-680-9
Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK. pp. 340-354. Lecture Notes in Computer Science 5503. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00592-3

2008

Haack, C. and Huisman, M. and Hurlin, C. (2008) Reasoning about Java's Reentrant Locks. In: The Sixth ASIAN Symposium on Programming Languages and Systems, 9-11 Dec 2008, Bangalore, India. pp. 171-187. Lecture Notes in Computer Science 5356. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89329-5
Huisman, M. and Aktug, I. and Gurov, D. (2008) Program models for compositional verification. In: 10th International Conference on Formal Engineering Methods, 27-31 Oct 2008. pp. 147-166. Lecture Notes in Computer Science 5256. Springer Verlag. ISBN 978-3-540-88193-3