Research Output per year
Research Output 2008 2018
- 1 - 50 out of 111 results
- Publication Year, Title (descending)
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 › Conference contribution › Academic
Costs
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
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
Software development
Software industry
Formal methods
Software
Mercedes: Maximal Reliability of Concurrent and Distributed Software
Huisman, M., 2018. 1 p.Research output: Contribution to conference › Paper › Academic › peer-review
Open Access
File
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
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
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
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-613Research output: Contribution to journal › Article › Professional
Open Access
File
Quality assurance
Technology transfer
Software engineering
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., 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., 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
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 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
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
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.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
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., 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 proceeding › Conference contribution › Academic › peer-review
Open Access
File
2017
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
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
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
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 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
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. oneline pre-publication, p. 1-9 9 p.Research output: Contribution to journal › Article › Academic › peer-review
File
VerifyThis 2016: A Program Verification Competition
Huisman, M., Monahan, R., Müller, P. & Poll, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-16-07)Research output: Book/Report › Report › Professional
File
2015
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 proceeding › Conference contribution › Academic › peer-review
File
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 proceeding › Conference contribution › Academic › peer-review
File
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 proceeding › Conference contribution › Academic › peer-review
File
Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs
Zaharieva Stojanovski, M., 1 Oct 2015, Enschede: Universiteit Twente. 236 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Formal logic
Machinery
Testing
Formal verification
6
Citations
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/Report › Report › Professional
File
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 proceeding › Conference contribution › Academic › peer-review
File
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 journal › Article › Academic › peer-review
File