Welcome...

dr. S.C.C. Blom (Stefan)

Expertise

Specifications
Synchronization
Model Checking
Algebra
Data Structures
Modeling Languages
History
Message Passing
Testing

Publications

Recent Articles
Darabi, S., Blom, S., & Huisman, M. (2017). A Verification Technique for Deterministic Parallel Programs (extended version). (CTIT technical report; No. TR-CTIT-17-01). Enschede: Centre for Telematics and Information Technology (CTIT).
Amighi, A., Blom, S., & Huisman, M. (2016). VerCors: A Layered Approach to Practical Verification of Concurrent Software. In Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016) (pp. 495-503). USA: IEEE Computer Society. DOI: 10.1109/PDP.2016.107
Amighi, A., Darabi, S., Blom, S., & Huisman, M. (2015). Specification and verification of atomic operations in GPGPU programs. In R. Calinescu, & B. Rumpe (Eds.), Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015) (pp. 69-83). (Lecture Notes in Computer Science; Vol. 9276). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-22969-0_5
Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S., & van Dijk, T. (2015). LTSmin: High-Performance Language-Independent Model Checking. In C. Baier, & C. Tinelli (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 692-707). (Lecture Notes in Computer Science; Vol. 9035, No. 9035). London: Springer Verlag. DOI: 10.1007/978-3-662-46681-0_61
Blom, S., Darabi, S., & Huisman, M. (2015). Verification of loop parallelisations. In A. Egyed, & I. Schaefer (Eds.), Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015) (pp. 202-217). (Lecture Notes in Computer Science; Vol. 9033). London: Springer Berlin Heidelberg. DOI: 10.1007/978-3-662-46675-9_14
Blom, S., Huisman, M., & Zaharieva, M. (2015). History-Based Verification of Functional Behaviour of Concurrent Programs. In R. Calinescu, & B. Rumpe (Eds.), Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015) (pp. 84-98). (Lecture Notes in Computer Science; Vol. 9276). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-22969-0_6

UT Research Information System

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands