Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008
Number of items: 41.

2014

Ngo, Minh Tri and Huisman, Marieke (2014) Quantitative security analysis for programs with low input and noisy output. In: 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 February 2014, Munich, Germany.

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security . ISSN 0926-227X

Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying Class Invariants in Concurrent Programs. [Report]

2013

Abbas, Y. and de Graaf, D.B. and Olthuis, W. and van den Berg, A. (2013) Chronopotentiometric chloride sensing using transition time measurement. In: Faraday discussion 164: Electroanalysis at the Nanoscale, 1 - 3 July 2013, Durham (pp. pp. 443-444).

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

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Mostowski, Wojciech and Zaharieva-Stojanovski, Marina (2013) Formal specifications for Java’s synchronisation classes. [Report]

Blom, Stefan and Huisman, Marieke (2013) Witnessing the elimination of magic wands. [Report]

Blom, Stefan and Huisman, Marieke and Mihelcic, Matej (2013) Specification and verification of GPGPU programs. [Report]

Blom, Stefan and Kiniry, Joseph and Huisman, Marieke (2013) How do developers use APIs? A case study in concurrency. In: 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 July 2013, Singapore (pp. pp. 212-221).

Boerema, S.T. and Brul, M. and Willems, C. and Hermens, H.J. (2013) Eliciting caregivers’ needs for remote activity monitoring in early dementia at home. In: 4th Dutch Bio-Medical Engineering conference, 24-25 Jan 2013, Egmond aan Zee, The Netherlands (pp. p. 164).

Cohen, Albert and Donaldson, Alistair F. and Huisman, Marieke and Katoen, Joost-Pieter (2013) Correct and efficient accelerator programming. Dagstuhl Reports, 4 (3). pp. 17-33. ISSN 2192-5283

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

Huisman, Marieke and Mihelcic, Matej (2013) Specification and Verification of GPGPU programs using Permission-based Separation logic. [Report]

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.

Ngo, Tri Minh and Huisman, Marieke (2013) Quantitative security analysis for multi-threaded programs. In: 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 22-23 March 2013, Rome, Italy.

Soleimanifard, S. and Gurov, D. and Huisman, M. (2013) Procedure-modular specification and verification of temporal safety properties. Software and systems modeling . ISSN 1619-1366

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

Zwartjes, D.G.M. and Janssen, M.L.F. and Heida, T. and Van Kranen-Mastenbroek, V. and Bour, L. and Temel, Y. and Visser-Vandewalle, V. and Martens, H.C.F. and Veltink, P.H. (2013) Cortically evoked potentials in the human subthalamic nucleus. Neuroscience Letters, 539 . pp. 27-31. ISSN 0304-3940

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 (pp. pp. 71-82).

Amighi, Afshin and Carvalho Gomes, Pedro de 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 (pp. pp. 33-47).

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 (pp. pp. 3-21).

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 (pp. pp. 50-59).

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 (pp. pp. 31-35).

2011

Amighi, Afshin and Carvalho Gomes, Pedro de 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 (pp. pp. 31-48).

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 (pp. pp. 260-277).

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 (pp. pp. 366-381).

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 (pp. pp. 107-121). (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 (pp. pp. 70-76).

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. pp. 278-297).

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. pp. 136-150).

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 (pp. p. 8).

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. pp. 340-354).

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 (pp. p. 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. pp. 171-187).

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. pp. 147-166).

This list was generated on Wed Jul 23 05:24:40 2014 CEST.