Welkom...

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

Expertises

Specifications
Synchronization
Model Checking
Algebra
Data Structures
Message Passing
Testing
History

Publicaties

Recente Artikelen
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).
Orchard, D. (Ed.), Oortwijn, W. H. M., Yoshida, N. (Ed.), Blom, S., & Huisman, M. (2016). Future-based Static Analysis of Message Passing Programs. 65-72. Paper presented at Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, .DOI: 10.4204/EPTCS.211.7
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
Blom, S., & Huisman, M. (2015). Witnessing the elimination of magic wands. International journal on software tools for technology transfer, 17(6), 757-781. DOI: 10.1007/s10009-015-0372-3
Blom, S., Darabi, S., & Huisman, M. (2015). Verification of Loop Parallelisations. IPA-4. Paper presented at ICT Open 2015, .
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. J. G., 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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede