Research Output 2008 2018

Filter
Article
2017

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

Scheduling
Chemical analysis
2016
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 18, 6, p. 653-684 32 p.

Research output: Scientific - peer-reviewArticle

Flow graphs
Flow control
Model checking
Specifications

VerifyThis 2015: A program verification competition

Huisman, M., Klebanov, V., Monahan, R. & Tautschnig, M. Oct 2016 oneline pre-publication, p. 1-9 9 p.

Research output: Scientific - peer-reviewArticle

2015
7 Citations

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

Joining
2 Citations

Procedure-modular specification and verification of temporal safety properties

Soleimanifard, S., Gurov, D. & Huisman, M. Feb 2015 14, 1, p. 83-100 18 p.

Research output: Scientific - peer-reviewArticle

Specifications
Temporal logic
Finite automata
Flow control
5 Citations

VerifyThis 2012 - A Program Verification Competition

Huisman, M., Klebanov, V. & Monahan, R. Nov 2015 17, 6, p. 647-657 11 p.

Research output: ScientificArticle

Formal methods

Witnessing the elimination of magic wands

Blom, S. & Huisman, M. Nov 2015 17, 6, p. 757-781 25 p.

Research output: Scientific - peer-reviewArticle

Specifications
Data structures
Mathematical operators
2014
5 Citations

Effective verification of confidentiality for multi-threaded programs

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M. 2014 22, 2, p. 269-300 31 p.

Research output: Scientific - peer-reviewArticle

Model checking

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Beyer, D., Huisman, M., Klebanov, V. & Monahan, R. 27 Aug 2014 In : Dagstuhl reports. 4, 4, p. 1-19 19 p.

Research output: ScientificArticle

Technical presentations
Demonstrations

Meer vrouwen in de ict, waarom eigenlijk?

Huisman, M. (ed.), Huisman, M. (ed.), Stoelinga, M. I. A. (ed.) & Stoelinga, M. I. A. (ed.) 7 Nov 2014 In : Bits en chips. 9, 9, p. 20-21 2 p.

Research output: ProfessionalArticle

SCP special issue on Bytecode 2012 - Preface

Huisman, M. Oct 2014 In : Science of computer programming. 92, Part A, p. 1-1 1 p.

Research output: ScientificArticle

12 Citations

Specification and verification of GPGPU programs.

Blom, S., Huisman, M. & Mihelcic, M. 1 Dec 2014 In : Science of computer programming. 95, Part 3, p. 376-388 13 p.

Research output: Scientific - peer-reviewArticle

Computer programming languages
Energy efficiency

The association of fatigue, comorbidity burden, disease activity, disability and gross domestic product in patients with rheumatiod arthritis. Results from 34 countries participating in the Quest-RA programme

Grøn, K. L. , Ørnbjerg, L. M. , Hetland, M. L. , Aslam, F. , Khan, N. A. , Jacobs, J. W. G. , Henrohn, D. , Rasker, J. J. , Kauppi, M. J. , Lang, H. C. , Mota, L. M. H. , Aggarwal, A. , Yamanaka, H. , Badsha, H. , Gossec, L. , Cutolo, M. , Ferraccioli, G. , Gremese, E. , Bong Lee, E. , Inanc, N. & 17 others Direskeneli, H., Taylor, P., Huisman, M., Alten, R., Pohl, C., Oyoo, O., Stropuviene, S., Drosos, A. A., Kerzberg, E., Ancuta, C., Mofti, A., Bergman, M., Detert, J., Selim, Z. I., Abda, E. A., Rexhepi, B. & Sokka, T. 2014 In : Clinical and experimental rheumatology. 32, 6, p. 869-877

Research output: ProfessionalArticle

Gross Domestic Product
Fatigue
Comorbidity
Rheumatoid Arthritis
Physiologic Monitoring
2013

Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)

Huisman, M. (ed.), Jobstmann, B., Jobstmann, B. (ed.), Schaefer, I. (ed.), Schaefer, I. & Stoelinga, M. I. A. (ed.) 2013 In : Dagstuhl reports. 2, 12, p. 64-88 25 p.

Research output: ScientificArticle

Model checking
Technical presentations
Computer science
4 Citations

Implementation-level verification of algorithms with KeY

Huisman, M. (ed.), Bruns, D., Mostowski, W., Klebanov, V. (ed.), Monahan, R. (ed.) & Ulbrich, M. 17 Nov 2013 17, 6, p. 729-744 16 p.

Research output: Scientific - peer-reviewArticle

Formal methods
Computer programming languages
Modeling languages
1 Citations

Reducing Behavioural to Structural Properties of Programs with Procedures

Gurov, D. & Huisman, M. 8 Apr 2013 In : Theoretical computer science. 480, p. 69-103 35 p.

Research output: Scientific - peer-reviewArticle

Flow graphs
Structural properties
2011

Permission-Based Separation Logic for Multithreaded Java Programs

Haack, C., Huisman, M. & Hurlin, C. 2011 15, p. 13-23 11 p.

Research output: ScientificArticle

Joining
2009
7 Citations

Resource Usage Protocols for Iterators

Huisman, M. (ed.), Haack, C., Müller, P. (ed.) & Hurlin, C. Jun 2009 8, 4, p. 55-83 29 p.

Research output: Scientific - peer-reviewArticle

Interfaces (computer)