Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Computing
• Model checking
• Specification language
• Computer programming
• Correctness
• Formal methods
• Cognitive science

A VERIFICATION TECHNIQUE FOR DETERMINISTIC PARALLEL PROGRAMS MARIEKE HUISMAN UNIVERSITY OF TWENTE, NETHERLANDS JOINT WORK WITH SAEED DARABI AND STEFAN BLOM

Source URL: www.sci.unich.it

Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013

Source URL: eprints.eemcs.utwente.nl

Witnessing the Elimination of Magic Wands Stefan Blom and Marieke Huisman University of Twente November 8, 2013 Abstract. This paper discusses the use and verification of magic wands. Magic wands are used to specify

Source URL: eprints.eemcs.utwente.nl

The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona

Source URL: proval.lri.fr

THE GROUP OF AUTOMORPHISMS OF A REAL RATIONAL SURFACE IS n-TRANSITIVE ´ ERIC ´ JOHANNES HUISMAN AND FRED MANGOLTE

Source URL: math.univ-angers.fr

EVERY CONNECTED SUM OF LENS SPACES IS A REAL COMPONENT OF A UNIRULED ALGEBRAIC VARIETY ´ ERIC ´ JOHANNES HUISMAN AND FRED MANGOLTE

Source URL: math.univ-angers.fr

Predicting and Correcting Scale Induced Biases Resulting from the Application of Regional Orbit and Clock Corrections Lennard Huisman and Peter J.G. Teunissen Abstract

Source URL: gnss.curtin.edu.au