Marieke Huisman

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 12 Feb 2014, 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014). Piscataway, NJ: IEEE Computer Society, p. 725-733 9 p. (Proceedings Euromicro International Conference on Parallel, Distributed, and Network-Based Processing; vol. 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 Citations (Scopus)

25 Downloads (Pure)

Formal specification with JML

Huisman, M., Ahrendt, W., Bruns, D. & Hentschel, M., 2014, Karlsruhe: Karlsruhe Institute of Technology. 51 p. (Karlsruhe Reports in Informatics; no. 2014-10)

Research output: Book/Report › Report › Professional

File

293 Downloads (Pure)

Meer vrouwen in de ict, waarom eigenlijk?

Huisman, M. (ed.) & Stoelinga, M. I. A. (ed.), 7 Nov 2014, In: Bits en chips. 9, 9, p. 20-21 2 p.

Research output: Contribution to journal › Article › Professional

Open Access

File

868 Downloads (Pure)

Preface

Huisman, M. & van de Pol, J., Sep 2014, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Huisman, M. & van de Pol, J. (eds.). Berlin: European Association of Software Science and Technology, p. 1-3 3 p. (Electronic Communications of the EASST; vol. 70).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Open Access

File

33 Downloads (Pure)

Quantitative security analysis for programs with low input and noisy output

Ngo, M. T. & Huisman, M., Feb 2014, Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014. London: Springer, p. 77-94 18 p. (Lecture Notes in Computer Science; vol. 8364).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Resource Protection Using Atomics: Patterns and Verification

Amighi, A., Blom, S. & Huisman, M., Nov 2014, Proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014. Garrigue, J. (ed.). Berlin: Springer, p. 255-274 20 p. (Lecture Notes in Computer Science; vol. 8858).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

5 Citations (Scopus)

24 Downloads (Pure)

SCP special issue on Bytecode 2012 - Preface

Huisman, M., Oct 2014, In: Science of computer programming. 92, Part A, p. 1-1 1 p.

Research output: Contribution to journal › Article › Academic

File

117 Downloads (Pure)

Specification and verification of GPGPU programs.

Blom, S., Huisman, M. & Mihelcic, M., 1 Dec 2014, In: Science of computer programming. 95, Part 3, p. 376-388 13 p.

Research output: Contribution to journal › Article › Academic › peer-review

File

34 Citations (Scopus)

29 Downloads (Pure)

The VerCors Tool for Verification of Concurrent Programs

Blom, S. & Huisman, M., May 2014, Proceedings of the 19th International Symposium on Formal Methods, FM 2014. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). Berlin: Springer, p. 127-131 5 p. (Lecture Notes in Computer Science; vol. 8442).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

33 Citations (Scopus)

298 Downloads (Pure)

Towards Online and Transactional Relational Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 3 Nov 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-14-10)

Research output: Book/Report › Report › Professional

File

59 Downloads (Pure)

Towards Online Relational Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 17 Oct 2014, Dutch-Belgian Database Day 2014. Antwerp, Belgium: Dutch-Belgian Database Day, p. 1 1 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

File

1 Citation (Scopus)

47 Downloads (Pure)

Verification of concurrent systems with VerCors

Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., Jun 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hähnle, R., Broch Johnsen, E. & Schaefer, I. (eds.). Cham: Springer, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

13 Citations (Scopus)

16 Downloads (Pure)

Verifying class invariants in concurrent programs

Zaharieva, M. & Huisman, M., Apr 2014, Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014). Gnesi, S. & Rensink, A. (eds.). Berlin: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science; vol. 8411).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

92 Downloads (Pure)

Verifying Class Invariants in Concurrent Programs

Zaharieva, M. & Huisman, M., 17 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-14-01)

Research output: Book/Report › Report › Professional

File

4 Citations (Scopus)

113 Downloads (Pure)

Verifying Functional Behaviour of Concurrent Programs

Zaharieva, M., Huisman, M. & Blom, S., Jul 2014, FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. Pearce, D. (ed.). New York: Association for Computing Machinery, p. 4:1-4:6 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

1 Citation (Scopus)

137 Downloads (Pure)

Verifying parallel loops with separation logic

Blom, S., Darabi, S. & Huisman, M., 12 Apr 2014, Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). New York: Cornell University, p. 47-53 7 p. (EPTCS; vol. 155, no. arXiv:1406.3313).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

1 Citation (Scopus)

93 Downloads (Pure)

2013

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. & Huisman, M., Feb 2013, Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013. London: Springer, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

13 Citations (Scopus)

6 Downloads (Pure)

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P., 2013, p. 17-33.

Research output: Contribution to conference › Paper

Open Access

File

34 Downloads (Pure)

Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)

Huisman, M., Jobstmann, B., Schaefer, I. & Stoelinga, M. I. A., 2013, In: Dagstuhl reports. 2, 12, p. 64-88 25 p.

Research output: Contribution to journal › Article › Academic

Open Access

File

39 Downloads (Pure)

Formal specifications for Java’s synchronisation classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 11 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-18)

Research output: Book/Report › Report › Professional

Open Access

File

37 Downloads (Pure)

How do developers use APIs? A case study in concurrency

Blom, S., Kiniry, J. & Huisman, M., Jul 2013, Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013. USA: IEEE Computer Society, p. 212-221 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

8 Citations (Scopus)

181 Downloads (Pure)

Parallel transaction processing in functional languages, towards practical functional databases

Wevers, L., Huisman, M. & de Keijzer, A., 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. TR-CTIT-13-06)

Research output: Book/Report › Report › Professional

File

30 Downloads (Pure)

Quantitative Security Analysis for Multi-threaded Programs

Ngo, M. T. & Huisman, M., 11 Jun 2013, Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. Bortolussi, L. & Wiklicky, H. (eds.). Australia: Open Publishing Association, p. 34-48 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 117).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

3 Citations (Scopus)

88 Downloads (Pure)

Reducing Behavioural to Structural Properties of Programs with Procedures

Gurov, D. & Huisman, M., 8 Apr 2013, In: Theoretical computer science. 480, p. 69-103 35 p.

Research output: Contribution to journal › Article › Academic › peer-review

File

2 Citations (Scopus)

23 Downloads (Pure)

Resource protection using atomics: patterns and verifications

Amighi, A., Blom, S. & Huisman, M., 1 May 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT Technical Report Series; no. TR-CTIT-13-10)

Research output: Book/Report › Report › Professional

File

72 Downloads (Pure)

Specification and verification of GPGPU programs

Blom, S., Huisman, M. & Mihelcic, M., 8 Nov 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-13-21)

Research output: Book/Report › Report › Professional

File

55 Downloads (Pure)

Specification and Verification of GPGPU programs using Permission-based Separation logic

Huisman, M. & Mihelcic, M., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-12)

Research output: Book/Report › Report › Professional

File

57 Downloads (Pure)

Specification and Verification of GPGPU Programs using Permission-Based Separation Logic

Huisman, M. & Mihelcic, M., 2013. 8 p.

Research output: Contribution to conference › Paper › peer-review

Open Access

File

138 Downloads (Pure)

Witnessing the elimination of magic wands

Blom, S. & Huisman, M., 8 Nov 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 22 p. (CTIT Technical Report Series; no. TR-CTIT-13-22)

Research output: Book/Report › Report › Professional

File

157 Downloads (Pure)

2012

A history of BlockingQueues

Zaharieva, M., Huisman, M. & Blom, S., 19 Sep 2012, Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012). Pace, G. J. & Ravn, A. P. (eds.). London: EPTCS, p. 31-35 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 94).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

File

66 Downloads (Pure)

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

Research output: Book/Report › Report › Professional

Open Access

File

131 Downloads (Pure)

On the organisation of program verification competitions

Huisman, M., Klebanov, V. & Monahan, R., Jun 2012, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012). Klebanov, V., Beckert, B., Biere, A. & Sutcliffe, G. (eds.). Aachen: Sun SITE Central Europe, p. 50-59 10 p. (CEUR-WS Proceedings; vol. 873).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

6 Citations (Scopus)

35 Downloads (Pure)

Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

Huisman, M. & Ngo, M. T., 2012, 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer, p. 178-195 18 p. (Lecture Notes in Computer Science; vol. 7421).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

10 Citations (Scopus)

31 Downloads (Pure)

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M., Oct 2012, 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). Eleftherakis, G., Hinchey, M. & Holcombe, M. (eds.). Berlin: Springer, p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 7504).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

10 Citations (Scopus)

50 Downloads (Pure)

The COST IC0701 Verification Competition 2011

Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J-C., Grigore, R., Huisman, M., Klebanov, V., Marché, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M., 2012, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin, Heidelberg: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

22 Citations (Scopus)

42 Downloads (Pure)

The VerCors Project: Setting Up Basecamp

Amighi, A., Blom, S., Huisman, M. & Zaharieva, M., 24 Jan 2012, Sixth Workshop Programming Languages meets Program Verification (PLPV 2012). New York: Association for Computing Machinery, p. 71-82 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

13 Citations (Scopus)

2 Downloads (Pure)

2011

Model-checking Secure Information Flow for Multi-Threaded Programs

Huisman, M. & Blondeel, H-C., Mar 2011, Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011. Mödersheim, S. & Palamadessi, C. (eds.). Berlin: Springer, p. 148-165 18 p. (Lecture Notes in Computer Science; vol. 6993).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

5 Citations (Scopus)

71 Downloads (Pure)

On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

Rebelo, H., Coelho, R., Lima, R., Leavens, G. T., Huisman, M., Mota, A. & Castor, F., 26 Jul 2011, Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011. Freund, S. (ed.). New York: Association for Computing Machinery, p. 7:1-7:6 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Permission-Based Separation Logic for Multithreaded Java Programs

Haack, C., Huisman, M. & Hurlin, C., 2011, In: Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 15, p. 13-23 11 p.

Research output: Contribution to journal › Article › Academic

File

89 Downloads (Pure)

ProMoVer: Modular Verification of Temporal Safety Properties.

Soleimanifard, S., Gurov, D. & Huisman, M., Nov 2011, Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). Barthe, G., Pardo, A. & Schneider, G. (eds.). Berlin: Springer, p. 366-381 16 p. (Lecture Notes in Computer Science; vol. 7041).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

Provably Correct Control-Flow Graphs from Java Programs with Exceptions

Amighi, A., de Carvalho Gomes, P. & Huisman, M., Oct 2011, Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11. Karlsruhe: Karlsruhe Institute of Technology, p. 31-48 18 p. (Karlsruhe Reports in Informatics; vol. 26, no. 26).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

219 Downloads (Pure)

Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

Huisman, M. & Ngo, M. T., 6 Oct 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-11-22)

Research output: Book/Report › Report › Professional

File

129 Downloads (Pure)

2010

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 proceeding › Conference contribution › Academic › peer-review

File

9 Citations (Scopus)

25 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, p. 5:1-5:7 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

File

3 Citations (Scopus)

117 Downloads (Pure)

2009

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 proceeding › Conference contribution › Academic › peer-review

3 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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Marieke Huisman

Research output

Search results