Author Publications

2013

Amighi, Afshin and Blom, Stefan and Huisman, Marieke (2013) Resource protection using atomics: patterns and verifications. [Report]

Gurov, Dilian and Huisman, Marieke (2013) Reducing behavioural to structural properties of programs with procedures. Theoretical computer science, 480 . pp. 69-103. ISSN 0304-3975

Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 February - 1 March 2013, Paris, France.

Wevers, Lesley and Huisman, Marieke and Keijzer de, Ander (2013) Parallel transaction processing in functional languages, towards practical functional databases. [Report]

2012

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Zaharieva-Stojanovski, Marina (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification, PLPV 2012, 24 January 2012, Philadelphia, PA, USA.

Amighi, Afshin and Carvalho Gomes de, Pedro and Gurov, Dilian and Huisman, Marieke (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 October 2012, Thessaloniki, Greece.

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, October 5-7, 2011, Turin, Italy.

Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary (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.

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. [Report]

Zaharieva-Stojanovski, Marina and Huisman, Marieke and Blom, Stefan (2012) A history of BlockingQueues. In: Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, 19 September 2012, Bertinoro, Italy.

2011

Amighi, Afshin and Carvalho Gomes de, Pedro and Huisman, Marieke (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, October 5-7, 2011, Turin, Italy.

Haack, Christian and Huisman, Marieke and Hurlin, Clement (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15 . pp. 13-23.

Huisman, Marieke and Blondeel, Henri-Charles (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Theory of Security and Applications, TOSCA'11, Affiliated with ETAPS 2011, March 31 - April 1, 2011, Saarbrücken, Germany.

Huisman, Marieke and Ngo, Minh Tri (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. [Report]

Huisman, Marieke and Ngo, Tri Minh (2011) 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, October 5-7, 2011, Turin, Italy.

Rebelo, Henrique and Coelho, Roberta and Lima, Ricardo and Leavens, Gary T. and Huisman, Marieke and Mota, Alexandra and Castor, Fernando (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: 13th Workshop on Formal Techniques for Java-like Programs, FJDP 2011, July 26, 2011, Lancaster, UK.

Soleimanifard, Siavash and Gurov, Dilian and Huisman, Marieke (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, 14-18 November 2011, Montevideo, Uruguay.

2010

Huisman, Marieke and Gurov, Dilian (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, 28-30 June 2010, Paris, France. (In Press)

Soleimanifard, Siavash and Gurov, Dilian and Huisman, Marieke (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. (In Press)

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.

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.

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.

Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua, Italy.

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.

Huisman, Marieke and Aldrich, Jonathan and Barnett, Mike and Giannakopoulou, Dimitra and Leavens, Gary T. and Sharagyna, Natasha (2009) Foreword. In: 8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS, 25 August 2009, Amsterdam, The Netherlands.

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.

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.