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
2019
5 Downloads (Pure)

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

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

Open Access
File
Formal methods
Hardware
6 Downloads (Pure)

VerifyThis - Verification Competition with a Human Factor

Ernst, G., Huisman, M., Mostowski, W. & Ulbrich, M., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, p. 176-195 20 p. (Lecture Notes in Computer Science).

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

Open Access
File
Human engineering
2018
13 Downloads (Pure)

Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

Felderer, M., Gurov, D., Huisman, M., Lisper, B. & Schlick, R., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 77-81 5 p. (Lecture Notes in Computer Science; vol. 11247).

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

Open Access
File
Software development
Software industry
Formal methods
Software
1 Citation (Scopus)
2 Downloads (Pure)

On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification

Huisman, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 111-118 8 p. (Lecture Notes in Computer Science; vol. 11244).

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

Open Access
File
2 Citations (Scopus)
11 Downloads (Pure)

Program Correctness by Transformation

Huisman, M., Blom, S., Darabi, S. & Safari, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 365-380 16 p. (Lecture Notes in Computer Science; vol. 11244).

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

Open Access
File
Specifications
11 Downloads (Pure)

Reasoning About JML: Differences Between KeY and OpenJML

Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sep 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, p. 30-46 17 p. 3. (Lecture Notes in Computer Science; vol. 11023).

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

Open Access
File
Specifications
Specification languages
Interoperability
Semantics
Formal verification
12 Downloads (Pure)

Static Code Verification Through Process Models

Joosten, S. J. C. & Huisman, M., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 343-354 12 p. (Lecture Notes in Computer Science; vol. 11246).

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

Open Access
File
Model checking
11 Downloads (Pure)

Towards Reliable Concurrent Software

Huisman, M. & Joosten, S. J. C., 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 129-146 18 p. (Principled Software Development).

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

Open Access
File
Automation
44 Downloads (Pure)

Verification of Shared-Reading Synchronisers

Amighi, A., Huisman, M. & Blom, S., 2018, 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.).

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

Open Access
File
2017
37 Downloads (Pure)

24 Challenges in Deductive Software Verification

Hähnle, R. & Huisman, M., 2017, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Reger, G. & Traytel, D. (eds.). EasyChair, p. 37-41 5 p. (EPiC Series in Computing; vol. 51).

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

Open Access
File
3 Citations (Scopus)
2 Downloads (Pure)

An Abstraction Technique for Describing Concurrent Program Behaviour

Oortwijn, W., Blom, S., Gurov, D., Huisman, M. & Zaharieva, M., 2017, Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Paskevich, A. & Wies, T. (eds.). Springer, p. 191-209 19 p. (Lecture Notes in Computer Science; vol. 10712).

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

Algebra
Specifications
Flow control
Data storage equipment

A verification technique for deterministic parallel programs: Invited abstract

Huisman, M., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. Vanhoof, W. & Pientka, B. (eds.). ACM/Sheridan, p. 3 1 p.

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

3 Citations (Scopus)
1 Downloads (Pure)

A Verification Technique for Deterministic Parallel Programs

Darabi, S., Blom, S. C. C. & Huisman, M., 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Barrett, C., Davies, M. & Kahsai, T. (eds.). p. 247-264 18 p. (Lecture Notes in Computer Science; vol. 10227).

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

Chemical analysis
Fusion reactions
Semantics
5 Citations (Scopus)
3 Downloads (Pure)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Blom, S., Darabi, S., Huisman, M. & Oortwijn, W., 2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 102-110 9 p. (Lecture Notes in Computer Science; vol. 10510).

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

Computer programming languages
Data storage equipment
45 Downloads (Pure)

Verification of Concurrent Software with VerCors

Huisman, M., 2017, Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT). Walden, M. (ed.). p. 2 1 p. (TUCS lecture notes; no. 27).

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

Open Access
File
2016
1 Citation (Scopus)
40 Downloads (Pure)

Future-based Static Analysis of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M., Apr 2016, Proceedings PLACES 2016. Orchard, D. & Yoshida, N. (eds.). p. 65-72 8 p.

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

Open Access
File
Message passing
Static analysis
Emergency services
Network protocols
Air traffic control
29 Downloads (Pure)

Lazy Evaluation for Concurrent OLTP and Bulk Transactions

Wevers, L., Huisman, M. & van Keulen, M., 11 Jul 2016, Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016). New York: Association for Computing Machinery (ACM), p. 115-124 10 p.

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

File
Concurrency control
Data structures
Throughput
Control systems
1 Citation (Scopus)

Software that meets its Intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

2 Citations (Scopus)
14 Downloads (Pure)

Specification and Verification of Synchronization with Condition Variables.

Gomes, P., Gurov, D. & Huisman, M., Nov 2016, Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016). Artho, C. & Ölveczky, P. C. (eds.). London: Springer, p. 3-19 16 p. (Communications in Computer and Information Science; vol. 694).

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

File
1 Citation (Scopus)

Static and runtime verification, competitors or friends? (Track summary)

Gurov, D., Havelund, K., Huisman, M. & Monahan, R., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 397-401 5 p. (Lecture Notes in Computer Science; vol. 9952).

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

Data storage equipment
4 Citations (Scopus)
22 Downloads (Pure)

VerCors: A Layered Approach to Practical Verification of Concurrent Software

Amighi, A., Blom, S. & Huisman, M., Feb 2016, Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). USA: IEEE Computer Society, p. 495-503 9 p.

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

File
2015
1 Citation (Scopus)
61 Downloads (Pure)

A Benchmark for Online Non-Blocking Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 20 Jul 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015. SCITEPRESS, p. 288-298 11 p.

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

File
1 Citation (Scopus)
28 Downloads (Pure)

Analysis of the blocking behaviour of schema transformations in relational database systems

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., Sep 2015, Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015. Berlin: Springer, p. 169-183 15 p. (Lecture Notes in Computer Science; vol. 9282).

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

File
4 Citations (Scopus)
12 Downloads (Pure)

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

Huisman, M. & Mostowski, W., 29 Jun 2015, Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015. USA: IEEE Computer Society, p. 165-174 10 p.

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

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
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
2014
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
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
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
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
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
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
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

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

2011
22 Downloads (Pure)

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

File
3 Citations (Scopus)

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 (ACM), p. 7:1-7:6 6 p.

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

4 Citations (Scopus)

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

35 Downloads (Pure)

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

File