24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

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

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

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

Anja Schweitzer // Rosa Thormeyer // Hartmut Stanke // Thieß Brammer // Marieke Kregel DEZEMBE RGROSSES HAUS &

Source URL: media02.culturebase.org

How did Homo Heuristicus become ecologically rational? Maria Otworowska ()a, Marieke Sweersa , Robin Wellnera , Marvin Uhlmannb , Todd Warehamc , Iris van Rooija a Radboud University Nijmegen, D

Source URL: ceur-ws.org

Modelling the co-development of word learning and perspective-taking Marieke Woensdregt ()a Simon Kirby a , Chris Cummins b , Kenny Smith a a b

Source URL: mindmodeling.org

Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany

Source URL: fmt.cs.utwente.nl

Hacking History: Automatic Historical Event Extraction for Enriching Cultural Heritage Multimedia Collections! Roxane Segers1 , Marieke van Erp1 , Lourens van der Meij1 , Lora Aroyo1 , Guus Schreiber1 , Bob Wielinga1 , J

Source URL: iswc2011.semanticweb.org

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