Search everything

7 Citations (Scopus)
25 Downloads (Pure)

Formal Specifications for Java's Synchronisation Classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 12 Feb 2014, 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014). Piscataway, NJ: IEEE Computer Society, p. 725-733 9 p. (Proceedings Euromicro International Conference on Parallel, Distributed, and Network-Based Processing; vol. 2014).

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

Synchronization
Application programming interfaces (API)
Formal specification
Semantics
Concretes
57 Downloads (Pure)

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

Open Access
File
Synchronization
Specifications
Data storage equipment
7 Citations (Scopus)
16 Downloads (Pure)

Verification of concurrent systems with VerCors

Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., Jun 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hähnle, R., Broch Johnsen, E. & Schaefer, I. (eds.). Cham: Springer, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Invariance
20 Downloads (Pure)

Formal specifications for Java’s synchronisation classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 11 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-18)

Research output: Book/ReportReportProfessional

Open Access
File
Synchronization
Application programming interfaces (API)
Formal specification
Semantics
Concretes
45 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
4 Citations (Scopus)
106 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
33 Downloads (Pure)

Resource protection using atomics: patterns and verifications

Amighi, A., Blom, S. & Huisman, M., 1 May 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT Technical Report Series; no. TR-CTIT-13-10)

Research output: Book/ReportReportProfessional

File
13 Citations (Scopus)
89 Downloads (Pure)

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

File
85 Downloads (Pure)

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A., 17 Jan 2018, Enschede: University of Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
61 Downloads (Pure)

Software reliability for everyone

Huisman, M., 25 Jan 2018, Enschede: University of Twente. 32 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
2 Citations (Scopus)
66 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 conferencePaper

Open Access
File
File editors
Data structures
27 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
42 Downloads (Pure)

Formal specification with JML

Huisman, M., Ahrendt, W., Bruns, D. & Hentschel, M., 2014, Karlsruhe: Department of Informatics, Karlsruhe Institute of Technology. 51 p. (Karlsruhe Reports in Informatics; no. 2014-10)

Research output: Book/ReportReportProfessional

File
111 Downloads (Pure)

Verification of program parallelization

Darabi, S., 2 Mar 2018, 167 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Parallel programming
Computer programming languages
Semantics