Research Output per year
Research Output 2008 2019
- 1 - 50 out of 119 results
- Publication Year, Title (descending)
2019
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Hähnle, R. & Huisman, M., 2019, Computing and Software Science : State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 345-373 29 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Trajectories
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 418-436 19 p. (Lecture Notes in Computer Science; vol. 11918).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Practical Abstractions for Automated Verification of Message Passing Concurrency
Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-417 19 p. (Lecture Notes in Computer Science; vol. 11918).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Practical Mutation Testing for Smart Contracts
Honig, J. J., Everts, M. H. & Huisman, M., 2019, Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings. Pérez-Solà, C., Navarro-Arribas, G., Biryukov, A. & García-Alfaro, J. (eds.). Cham: Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 11737).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Testing
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. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)Research output: Book/Report › Book editing › Academic
Open Access
File
4
Citations
(Scopus)
13
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., 1 Jan 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Open Access
File
Formal methods
Formal Methods
Software System
Hardware
Prototype
10
Downloads
(Pure)
VerifyThis2018: A Program Verification Competition
Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019Research output: Book/Report › Report › Academic
Open Access
File
Greece
event
software
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.). Cham: Springer, p. 176-195 20 p. (Lecture Notes in Computer Science; vol. 11429).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Human engineering
2018
A Broader View on Verification: From Static to Runtime and Back (Track Summary)
Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
Open Access
File
Costs
2
Citations
(Scopus)
50
Downloads
(Pure)
An Exercise in Verifying Sequential Programs with VerCors
Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018. 6 p.Research output: Contribution to conference › Paper › Academic › peer-review
Open Access
File
File editors
Data structures
46
Downloads
(Pure)
An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop
Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A., 2018. 7 p.Research output: Contribution to conference › Paper › Academic › peer-review
Open Access
File
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 proceeding › Conference contribution › Academic
Open Access
File
Software development
Software industry
Formal methods
Software
21
Downloads
(Pure)
Mercedes: Maximal Reliability of Concurrent and Distributed Software
Huisman, M., 2018. 1 p.Research output: Contribution to conference › Paper › Academic › peer-review
1
Citation
(Scopus)
7
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
2
Citations
(Scopus)
24
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
Specifications
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
Specifications
Specification languages
Interoperability
Semantics
Formal verification
Software quality tools and techniques presented in FASE’17
Huisman, M. & Rubin, J., 1 Nov 2018, In : International journal on software tools for technology transfer. 20, 6, p. 611-613 3 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Quality assurance
Technology transfer
Software engineering
58
Downloads
(Pure)
Software reliability for everyone
Huisman, M., 25 Jan 2018, Enschede: University of Twente. 32 p.Research output: Book/Report › Inaugural speech › Other research output
Open Access
File
Specification and verification of synchronisation classes in Java: A practical approach
Amighi, A., 17 Jan 2018, Enschede: University of Twente. 206 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
Specification and verification of synchronization with condition variables
Gomes, P. D. C., Gurov, D., Huisman, M. & Artho, C., 1 Oct 2018, In : Science of computer programming. 163, p. 174-189 16 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Synchronization
Specifications
Petri nets
Explosions
Economics
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
Model checking
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Beyer, D. (ed.) & Huisman, M. (ed.), 2018, Springer. (Lecture Notes in Computer Science; vol. 10805)Research output: Book/Report › Book editing › Academic
Open Access
File
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Beyer, D. (ed.) & Huisman, M. (ed.), 2018, Springer. (Lecture Notes in Computer Science; vol. 10806)Research output: Book/Report › Book editing › Academic
Open Access
File
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
Automation
Verification of program parallelization
Darabi, S., 2 Mar 2018, 167 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Parallel programming
Computer programming languages
Semantics
Verification of Shared-Reading Synchronisers
Amighi, A., Huisman, M. & Blom, S., 25 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.). p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Synchronization
Specifications
Data storage equipment
2017
47
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
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 proceeding › Conference contribution › Academic › peer-review
Algebra
Specifications
Flow control
Data storage equipment
10
Downloads
(Pure)
Analysis and Verification of Pointer Programs
Huisman, M., Noll, T. & Tatsuta, M., 2017, Tokyo, Japan: National Institute of Informatics. (NII Shonan Meeting Reports; no. 2017-14)Research output: Book/Report › Report › Academic
Open Access
File
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 proceeding › Conference contribution › Academic
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 proceeding › Conference contribution › Academic › peer-review
Chemical analysis
Fusion reactions
Semantics
74
Downloads
(Pure)
A Verification Technique for Deterministic Parallel Programs (extended version)
Darabi, S., Blom, S. & Huisman, M., 25 Feb 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT technical report; no. TR-CTIT-17-01)Research output: Book/Report › Report › Other research output
File
Complexity and information flow analysis for multi-threaded programs
Ngo, M. T. & Huisman, M., Jan 2017, In : European physical journal. Special topics. online pre-publication, p. 1-18 18 p.Research output: Contribution to journal › Article › Academic › peer-review
information flow
reviewing
scheduling
quantitative analysis
Scheduling
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Huisman, M. (ed.) & Rubin, J. (ed.), 2017, Springer. (Lecture Notes in Computer Science; vol. 10202)Research output: Book/Report › Book editing › Academic
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 proceeding › Conference contribution › Academic › peer-review
Computer programming languages
Data storage equipment
Verification of Concurrent Software
Huisman, M., 2017, In : Electronic proceedings in theoretical computer science. 261, p. 2-2Research output: Contribution to journal › Editorial › Academic › peer-review
64
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 proceeding › Conference contribution › Academic
Open Access
File
VerifyThis 2017: A Program Verification Competition
Huisman, M., Monahan, R., Müller, P., Mostowski, W. & Ulbrich, M., 2017, Karlsruhe: Karlsruhe Institute of Technology. (Karlsruhe Reports in Informatics; no. 2017-10)Research output: Book/Report › Report › Professional
Open Access
File
Sweden
event
software
2016
Formal specification with the Java modeling language
Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M., Dec 2016, Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
File
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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
Message passing
Static analysis
Emergency services
Network protocols
Air traffic control
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Abraham, E. (ed.) & Huisman, M. (ed.), Jun 2016, London: Springer. 538 p. (Lecture Notes in Computer Science; vol. 9681)Research output: Book/Report › Book editing › Academic
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 proceeding › Conference contribution › Academic › peer-review
File
Concurrency control
Data structures
Throughput
Control systems
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)
Huisman, M. (ed.) & van de Pol, J. (ed.), Oct 2016, In : Science of computer programming. 128, p. 1-1 1 p.Research output: Contribution to journal › Article › Academic
File
Theorem proving
Model checking
Security systems
Industry
Provably correct control flow graphs from Java bytecode programs with exceptions
Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M., Nov 2016, In : International journal on software tools for technology transfer. 18, 6, p. 653-684 32 p.Research output: Contribution to journal › Article › Academic › peer-review
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 proceeding › Conference contribution › Academic › peer-review
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 proceeding › Conference contribution › Academic › peer-review
File
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 proceeding › Conference contribution › Academic
Data storage equipment
136
Downloads
(Pure)
Static Verification of Message Passing Programs
Oortwijn, W. H. M., Blom, S. & Huisman, M., Mar 2016. 2 p.Research output: Contribution to conference › Paper › Academic
File
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 proceeding › Conference contribution › Academic › peer-review
File
VerifyThis 2015: A program verification competition
Huisman, M., Klebanov, V., Monahan, R. & Tautschnig, M., Oct 2016, In : International journal on software tools for technology transfer. 19, 6, p. 763–771 9 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File