No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082019
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

Filter
Conference contribution
2010
9 Downloads (Pure)

CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties.

Huisman, M. & Gurov, D., 2010, Formal Verification of Object-Oriented Software (FoVeOOS) 2010.. Beckert, B. & Marche, C. (eds.). Berlin: Springer, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 6528).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)
27 Downloads (Pure)

Procedure-Modular Verification of Control Flow Safety Properties

Soleimanifard, S., Gurov, D. & Huisman, M., 2010, 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010. New York: Association for Computing Machinery (ACM), p. 5:1-5:7 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2009
2 Citations (Scopus)

A Formal Connection between Security Automata and JML Annotations

Huisman, M. & Tamalet, A., 2009, Fundamental Approaches to Software Engineering. Checkik, M. & Wirsing, M. (eds.). Berlin: Springer, p. 340-354 15 p. 10.1007/978-3-642-00593-0_23. (Lecture Notes in Computer Science; vol. 5503).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

BML and Related Tools

Chrząszcz, J., Huisman, M. & Schubert, A., 2009, Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). London: Springer, p. 278-297 20 p. 10.1007/978-3-642-04167-9_14. (Lecture Notes in Computer Science; vol. 5751).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., Müller, P. & Wrigstad, T., 2009, Object-Oriented Technology. ECOOP 2008 Workshop Reader. Eugster, P. (ed.). Berlin: Springer, p. 70-76 7 p. 10.1007/978-3-642-02047-6_8. (Lecture Notes in Computer Science; vol. 5475).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2 Citations (Scopus)
24 Downloads (Pure)

On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker

Huisman, M., 2009, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. Banerjee, A. (ed.). New York: Association for Computing Machinery (ACM), p. 8:1-8:6 6 p. 10.1145/1557898.1557906

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)

Reducing Behavioural to Structural Properties of Programs with Procedures

Gurov, D. & Huisman, M., 2009, Verification, Model Checking, and Abstract Interpretation. Jones, N. D. & Müller-Olm, M. (eds.). London: Springer, p. 136-150 15 p. 10.1007/978-3-540-93900-9_14. (Lecture Notes in Computer Science; vol. 5403).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Structural properties
Flow graphs
Acoustic waves
2008
10 Citations (Scopus)

Program models for compositional verification

Huisman, M., Aktug, I. & Gurov, D., 2008, 10th International Conference on Formal Engineering Methods. Berlin: Springer, p. 147-166 20 p. 10.1007/978-3-540-88194-0_11. (Lecture Notes in Computer Science; vol. 5256, no. WoTUG-31).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)

Reasoning about Java's Reentrant Locks

Haack, C., Huisman, M. & Hurlin, C., 1 Sep 2008, The Sixth ASIAN Symposium on Programming Languages and Systems. Ramalingam, G. (ed.). London: Springer, p. 171-187 17 p. 10.1007/978-3-540-89330-1_13. (Lecture Notes in Computer Science; vol. 5356).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review