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

2015
169 Downloads (Pure)

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs

Zaharieva Stojanovski, M., 1 Oct 2015, Enschede: Universiteit Twente. 236 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Formal logic
Machinery
Testing
Formal verification
6 Citations (Scopus)
72 Downloads (Pure)

History-based Verification of Functional Behaviour of Concurrent Programs

Blom, S., Huisman, M. & Zaharieva, M., 9 Mar 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-15-02)

Research output: Book/ReportReportProfessional

File
9 Downloads (Pure)

History-Based Verification of Functional Behaviour of Concurrent Programs

Blom, S., Huisman, M. & Zaharieva, M., Sep 2015, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). Calinescu, R. & Rumpe, B. (eds.). Switzerland: Springer, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 9276).

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

File
11 Citations (Scopus)
61 Downloads (Pure)

Permission-based separation logic for multi-threaded Java programs

Amighi, A., Haack, C., Huisman, M. & Hurlin, C., Feb 2015, In : Logical methods in computer science. 11, 1, p. 2 65 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2 Citations (Scopus)
6 Downloads (Pure)

Procedure-modular specification and verification of temporal safety properties

Soleimanifard, S., Gurov, D. & Huisman, M., Feb 2015, In : Software and systems modeling. 14, 1, p. 83-100 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citation (Scopus)
45 Downloads (Pure)

Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML

Kandziora, J., Huisman, M., Bockisch, C. & Zaharieva, M., Jul 2015, Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015). Monahan, R. (ed.). New York: Association for Computing Machinery (ACM), p. 8 6 p. 8

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

File
4 Citations (Scopus)
81 Downloads (Pure)

Specification and verification of atomic operations in GPGPU programs

Amighi, A., Darabi, S., Blom, S. & Huisman, M., Sep 2015, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). Calinescu, R. & Rumpe, B. (eds.). Switzerland: Springer, p. 69-83 15 p. (Lecture Notes in Computer Science; vol. 9276).

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

File
9 Citations (Scopus)
54 Downloads (Pure)

Verification of loop parallelisations

Blom, S., Darabi, S. & Huisman, M., Apr 2015, Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015). Egyed, A. & Schaefer, I. (eds.). London: Springer, p. 202-217 15 p. (Lecture Notes in Computer Science; vol. 9033).

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

File
42 Downloads (Pure)

Verification of Loop Parallelisations

Blom, S., Darabi, S. & Huisman, M., 24 Mar 2015, p. IPA-4. 2 p.

Research output: Contribution to conferencePaperAcademic

File
15 Citations (Scopus)
56 Downloads (Pure)

VerifyThis 2012 - A Program Verification Competition

Huisman, M., Klebanov, V. & Monahan, R., Nov 2015, In : International journal on software tools for technology transfer. 17, 6, p. 647-657 11 p.

Research output: Contribution to journalArticleAcademic

File
1 Citation (Scopus)
42 Downloads (Pure)

Witnessing the elimination of magic wands

Blom, S. & Huisman, M., Nov 2015, In : International journal on software tools for technology transfer. 17, 6, p. 757-781 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2014
5 Citations (Scopus)
48 Downloads (Pure)

Effective verification of confidentiality for multi-threaded programs

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 2014, In : Journal of computer security. 22, 2, p. 269-300 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
36 Downloads (Pure)

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Beyer, D., Huisman, M., Klebanov, V. & Monahan, R., 27 Aug 2014, In : Dagstuhl reports. 4, 4, p. 1-19 19 p.

Research output: Contribution to journalArticleAcademic

File
7 Citations (Scopus)
25 Downloads (Pure)

Formal Specifications for Java's Synchronisation Classes

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

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

File
34 Downloads (Pure)

Formal specification with JML

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

Research output: Book/ReportReportProfessional

File
64 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 journalArticleProfessional

Open Access
File
4 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 proceedingConference contributionAcademic

Open Access
File
Theorem proving
Surface mount technology
Model checking
Industry
35 Downloads (Pure)

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T., 17 Apr 2014, Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling
4 Citations (Scopus)

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 proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
14 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

File
33 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 journalArticleAcademic

File
17 Citations (Scopus)
8 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 journalArticleAcademicpeer-review

File
22 Citations (Scopus)
75 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 proceedingConference contributionAcademicpeer-review

File
25 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/ReportReportProfessional

File
1 Citation (Scopus)
20 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 proceedingConference contributionAcademic

File
6 Citations (Scopus)
16 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 proceedingChapterAcademic

Invariance
33 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 proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
38 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/ReportReportProfessional

File
1 Citation (Scopus)
40 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 (ACM), p. 4:1-4:6 6 p.

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

File
1 Citation (Scopus)
38 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 proceedingConference contributionAcademicpeer-review

File
2013
6 Citations (Scopus)

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & 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 proceedingConference contributionAcademicpeer-review

15 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 conferencePaperAcademic

Open Access
File
Technical presentations
Particle accelerators
Computer science
10 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 journalArticleAcademic

Open Access
File
Model checking
Technical presentations
Computer science
35 Downloads (Pure)

Formal specifications for Java’s synchronisation classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva, 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/ReportReportProfessional

File
6 Citations (Scopus)
49 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 proceedingConference contributionAcademicpeer-review

File
12 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/ReportReportProfessional

File
29 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 proceedingConference contributionAcademicpeer-review

Open Access
File
Chemical analysis
Uncertainty
1 Citation (Scopus)
7 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 journalArticleAcademicpeer-review

File
26 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/ReportReportProfessional

File
33 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/ReportReportProfessional

File
27 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/ReportReportProfessional

File
17 Downloads (Pure)

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

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

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Specifications
Computer programming languages
Energy efficiency
Graphics processing unit
33 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/ReportReportProfessional

File
2012
17 Downloads (Pure)

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 proceedingConference contributionAcademic

File
32 Downloads (Pure)

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & 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/ReportReportProfessional

File
5 Citations (Scopus)
14 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 proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
8 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 proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
30 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 proceedingConference contributionAcademicpeer-review

File
15 Citations (Scopus)

The COST IC0701 Verification Competition 2011

Bormer, T., Brockschmidt, M., Distefano, D. S., Distefano, D., Ernst, G., Filliatre, J-C., Grigore, R., Huisman, M., Klebanov, V., Marche, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M., 2012, International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421).

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

8 Citations (Scopus)

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 (ACM), p. 71-82 12 p.

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