Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 14 Similar Profiles
Specifications Engineering & Materials Science
Synchronization Engineering & Materials Science
Model checking Engineering & Materials Science
Technical presentations Engineering & Materials Science
Flow graphs Engineering & Materials Science
Data structures Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Temporal logic Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2018

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

Amighi, A. 17 Jan 2018 Enschede. 206 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Data structures

Verification of program parallelization

Darabi, S. 2 Mar 2018 167 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Parallel programming
Computer programming languages

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: Other research outputReport

Chemical analysis
Fusion reactions

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: Scientific - peer-reviewArticle

Chemical analysis
1 Citations

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 Verlag, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001)

Research output: ScientificChapter

Modeling languages