# Events

## Past Events

- Dec 12, 2018: PhD Defense: Marcus Gerhold MSc: Title to be announced
- Oct 17, 2018: PhD Defense: Rajesh Kumar MSc: Truth or Dare: Quantitative security risk analysis via attack trees
- Sep 05, 2018: PhD Defense: Dan Hu MSc: The Spectral Analysis of Random Graph Matrices
- Sep 05, 2018: PhD Defense: Tao Tian MSc: Degree Conditions for Hamiltonian Properties of Claw-free Graphs
- May 25, 2018: PhD Defense: Dr. Enno Ruijters: Zen and the art of railway maintenance: Analysis and optimization of maintenance via fault trees and statistical model checking
- May 18, 2018: Presentation: Alex Summers: Viper: A Verification Infrastructure for Permission-based Reasoning
- Mar 02, 2018: PhD Defense: Saeed Darabi MSc: Verification of Program Parallelization
- Mar 02, 2018: Presentation: 3 speakers: Workshop on the occassion of the defence of Saeed Darabi
- Feb 02, 2018: PhD Defense: Ruonan Li MSc.: Properly colored cycles in edge-colored graphs
- Jan 25, 2018: Inaugural Speech: prof.dr. Marieke Huisman: Software Reliability for Everyone
- Jan 17, 2018: PhD Defense: Afshin Amighi MSc: Title to be announced
- Dec 21, 2017: Presentation: Tom van Dijk MSc: State of the art parity game solving
- Mar 30, 2017: Presentation: Mozhan Soltani: A guided Genetic Algorithm for Automated Crash Reproduction
- Feb 16, 2017: Presentation: Jun Pang, U Luxembourg: Location Assurance and Privacy in Location-based Services
- Sep 30, 2016: MSc Presentation: Sybe van Hijum: Symbolic Model Checking of Timed Automata using LTSmin
- Aug 30, 2016: BSc Presentation: Jochem Elsinga: On a Framework for Domain Independent Heuristics in Graph Transformation Planning
- Aug 29, 2016: BSc Presentation: Jeroen Vonk: Bisimulation reduction with MapReduce
- Jul 14, 2016: MSc Presentation: Thomas Neele: GPU implementation of Partial-Order Reduction
- Jul 13, 2016: PhD Defense: Tom van Dijk MSc: Sylvan: Multi-core Decision Diagrams
- Jun 20, 2016: Presentation: Alper Sert: MOFCA: Multi-Objective Fuzzy Clustering Algorithm for Wireless Sensor Networks
- May 19, 2016: MSc Presentation: Jenny den Ouden: A quest for the best automated tests: estimating software reliability based on Spec Explorer’s on-the-fly test results
- Mar 24, 2016: MSc Presentation: David Huistra: Automated Generation of Attack Trees by Unfolding Graph Transformation Systems
- Mar 24, 2016: MSc Presentation: Niels Wolters: Analysis of Attack Trees with Timed Automata
- Oct 09, 2015: Presentation: Marcel Verhoef: Formal Verification at ESA
- Oct 01, 2015: PhD Defense: Marina Zaharieva-Stojanovski MSc: Closer to Reliable Software - Verifying functional behaviour of concurrent programs
- Sep 29, 2015: Presentation: Stefan Hauck-Stattelmann: Formal Methods for Industrial Control Applications
- Sep 29, 2015: Presentation: David Huistra: Automated Attack Tree Generation
- Aug 27, 2015: MSc Presentation: Charl de Leur: Permission-based separation logic for concurrent Scala programs
- Aug 24, 2015: MSc Presentation: Stijn Gijsen: Runtime Checking of Concurrent Java Programs using Permissions
- Aug 05, 2015: MSc Presentation: Alessio Parzian: Java Card Bytecode Verification
- Jul 31, 2015: MSc Presentation: Wytse Oortwijn: Distributed Symbolic Reachability Analysis
- Jun 29, 2015: Presentation: Masoud Daneshtalab: Towards energy efficient computing
- Jun 12, 2015: Presentation: Ina Schaefer: Efficient Testing of Software Variants and Versions
- Jun 05, 2015: PhD Defense: ir. Steven te Brinke: Developing Energy-Aware Software
- Jun 01, 2015: MSc Presentation: Vincent Bloemen: On-The-Fly Parallel Decomposition of Strongly Connected Components
- May 22, 2015: Presentation: Daniel Bruns: A Theorem Proving Approach to Secure Information Flow in Concurrent Programs
- May 01, 2015: Presentation: David Cok: OpenJML
- Apr 16, 2015: Presentation: Jurgen Kleverwal: Supervised Text Classification of Medical Triage Reports
- Apr 09, 2015: Presentation: Christoph Gladisch: Source-code based formal techniques for fault-detection, testing, and specification of Java programs.
- Mar 13, 2015: PhD Defense: Yanbo Zhang: Generalized Ramsey Numbers for Graphs
- Jan 30, 2015: MSc Presentation: Atze Bouius: Characterising the ripple effects of introducing energy-awareness functionality in Cyber-Physical Systems software
- Dec 22, 2014: Presentation: Ferhat Erata: Model-driven Development of Composite Content Applications
- Nov 26, 2014: MSc Presentation: Maryam Hajighasemi: Symbolic Model Checking using Zero Suppressed Diagrams
- Nov 24, 2014: MSc Presentation: George de Heer: Instance Pointcuts
- Nov 24, 2014: MSc Presentation: Andre Loker: Evaluating data structures for runtime storage of aspect instances
- Nov 20, 2014: Presentation: Prof.dr. Torkil Clemmensen: Human work interaction design – UX at the workplace
- Nov 04, 2014: MSc Presentation: Ruud Wiegers: A Behavior Description Language for Ontologically Grounded Conceptual Models
- Oct 24, 2014: Presentation: Marie-Collette van Lieshout: Spatial point patterns: Theory and practice
- Sep 30, 2014: MSc Presentation: Hristofor Mirchev: Creating a modular AspectJ foundation for simple and rapid extension implementation
- Sep 24, 2014: Presentation: Printing Thesis Workshop
- Sep 18, 2014: PhD Defense: dr.ir. Axel Belinfante: JTorX: Exploring Model-Based Testing
- Sep 16, 2014: Presentation: Frank van der Linden: Formal system development and modelling at Philips Healthcare
- Sep 05, 2014: Presentation: Martijn Rutten: Dynamic Analysis of Multi-core and Multi-threaded Applications in Embedded Systems
- Sep 01, 2014: Presentation: Güner Orhan: Building a Web of Concepts on a Humanoid Robot
- Aug 29, 2014: MSc Presentation: Vincent Weber: UTFM - a Next Generation Language and Tool for Feature Modeling
- Aug 29, 2014: MSc Presentation: Jorne Kandziora: Runtime assertion checking of multithreaded Java programs
- Jul 03, 2014: BSc Presentation: Alexander Bakker: Comparing Energy Profiles for Android
- Jun 19, 2014: BSc Presentation: BSc students: Verification engineering project presentation
- Jun 18, 2014: MSc Presentation: Ivo van Hurne: Towards a Unifying Framework for Modelling and Executing Model Transformations
- Jun 12, 2014: Presentation: Kristin Neidlinger: Wearable Technology
- May 19, 2014: Presentation: Sibel Sancakli: Effect of Transmission Rate on IEEE 802.11g DCF Multi-Hop Networks
- May 09, 2014: PhD Defense: Alfons Laarman MSc: Scalable multi-core model checking
- May 01, 2014: Presentation: Jan van Erp: Tangible user interaction: high tech human touch.
- May 01, 2014: Presentation: Marcus Gerhold: Embeddings of Weighted Morrey Spaces
- Apr 17, 2014: PhD Defense: Minh Tri Ngo MSc: Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs
- Apr 02, 2014: Presentation: Prof. Gabi Dreo: Cyber Security in Europe
- Mar 27, 2014: MSc Presentation: Jeroen Meijer: Improving Reachability Analysis in LTSmin
- Mar 11, 2014: Presentation: prof.dr.ir. Joost-Pieter Katoen: Quantitative Analysis of Safety-Critical Systems
- Feb 20, 2014: Presentation: Rajesh Kumar: Dynamic Provisioning of Radio Spectrum in Next generation Wireless Communication
- Feb 17, 2014: MSc Presentation: Ruud Welling: Conflict Detection and Analysis for Single-Pushout High-Level Replacement
- Dec 20, 2013: MSc Presentation: Freark van der Berg: Model Checking LLVM IR using LTSmin
- Dec 18, 2013: MSc Presentation: Maks Verver: Practical Improvements to Parity Game Solving
- Dec 04, 2013: PhD Defense: Haihan Yin: Defusing the Debugging Scandal— Dedicated Debugging Technologies for Advanced Dispatching Languages
- Oct 14, 2013: MSc Presentation: Jelmer ter Wal: Specification and verification of selected parts of the Java Collections Framework using JML* an KeY
- Sep 30, 2013: MSc Presentation: Ferry Olthuis: A comparison of state space reduction techniques in SCOOP
- Sep 13, 2013: PhD Defense: dr.ir. Mark Timmer: Efficient Modelling, Generation and Analysis of Markov Automata
- Jun 13, 2013: BSc Presentation: Jeroen Vonk: Formal Specification and Verification of OpenCL Kernel Optimizations
- Jun 06, 2013: Presentation: Mattias Ulbrich: Algorithm Refinement using Dynamic Logic
- Apr 05, 2013: MSc Presentation: Vincent de Bruijn: Model-based Testing with Graph Grammars
- Jan 24, 2013: PhD Defense: Eduardo Zambon MSc: Abstract graph transformation theory and practice
- Dec 07, 2012: PhD Defense: drs. Wouter Kuijper: Compositional Synthesis of Safety Controllers
- Nov 19, 2012: MSc Presentation: Rob Bamberg: ND-GSPNs and their analysis
- Nov 16, 2012: MSc Presentation: Harold Bruintjes: Bridge GROOVE to the world using an abstracted language model
- Nov 09, 2012: MSc Presentation: Thijs ten Hoeve: Model Based Testing of a PLC Based Interlocking System
- Oct 19, 2012: MSc Presentation: Ronald Burgman: Partial-order reduction based on Probe sets
- Aug 28, 2012: MSc Presentation: Lesley Wevers: A Persistent Functional Language for Concurrent Transaction Processing
- Aug 24, 2012: MSc Presentation: Gerjan Stokkink: Quiescent Transition Systems
- Jul 18, 2012: MSc Presentation: Ruben Oostinga: A Java Bridge for LTSmin
- Apr 27, 2012: MSc Presentation: Tom van Dijk: The parallelization of BDD operations for model checking
- Feb 24, 2012: MSc Presentation: Tien-Loong Siaw: Saturation for LTSmin
- Dec 14, 2011: Presentation: Matej Mihelčić: Correctness proof of Davis-Putnam and Davis-Putnam-Lovgemann-Loveland algorithm
- Nov 10, 2011: Inaugural Speech: prof.dr.ir. Arend Rensink: Graven in software
- Aug 05, 2011: BSc Presentation: Nils Klatter: Verifying Security Policies by using JML annotations
- Jul 27, 2011: Presentation: Nico Nachtigall: Modelling the Living Place Project using Algebraic Higher-Order Nets
- Jul 13, 2011: MSc Presentation: Erik Hegeman: On the Quality of Quality Models
- Jun 29, 2011: Presentation: Wojciech Mostowski: Midlet Navigation Graphs in JML
- Jun 12, 2011: Tutorial: Michael Weber and Jaco van de Pol: Problem Solving with Model Checking Techniques
- May 12, 2011: PhD Defense: ir. Machiel van der Bijl: On Changing Models in Model-Based Testing
- Mar 24, 2011: MSc Presentation: Martijn Adolfsen: Industrial Validation of Test Coverage Quality
- Mar 18, 2011: MSc Presentation: Elwin Pater: Partial-order reduction for PINS
- Jan 22, 2010: PhD Defense: dr. Martin Neuhausser: Model checking nondeterministic and randomly timed systems
- Sep 25, 2009: PhD Defense: dr. Tingting Han: Diagnosis, synthesis, and analysis of probabilistic models
- Oct 03, 2008: PhD Defense: dr.ir. Harmen Kastenberg: Graph-based Software Specification and Verification
- Sep 04, 2008: PhD Defense: Jens Calamé: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving
- Apr 10, 2008: Inaugural Speech: prof.dr. Jaco van de Pol: Multi-core Computing meets Formal Methods
- Mar 07, 2008: PhD Defense: dr. Ivan Zapreev: Model Checking Markov Chains: Techniques and Tools
- Sep 24, 2000: Presentation: Printing Thesis Workshop

The Formal Methods and Tools group was involved in the organisation of the following events:

- Symposium: ModelEd, TestEd, TrustEd (Oct 2017)
- Symposium: GEOBIA 2016 (Sep 2016)
- Dutch Model Checking Day 2016 on Parallel and Symbolic Methods for Model Checking (Jul 2016)
- Integrating Dataflow, Embedded computing and Architecture (IDEA) Workshop 2016 (Apr 2016)
- ENERGY: Efficient desigN of Energy and Resource constrained intelliGent sYstems (Apr 2016)
- Workshop on Realistic Program Verification (Dec 2015)
- Symposium: Symposium on Industrial Wireless Networking (Nov 2015)
- Closer to reliable software - Verifying Program Behaviour (Oct 2015)
- Symposium: IPA course on Formal Methods (Jun 2015)
- Symposium: Workshop on Energy-Aware Software Engineering (Jun 2015)
- Symposium: Random Walks in the Quarter-Plane: Invariant Measures and Performance Bounds (May 2015)
- Symposium: Lorentz Center Workshop on JML: Advancing Specification Language Methodologies (Mar 2015)
- Symposium: MTV informal gathering (Feb 2015)
- Aselsan - Twente Research Cooperation Workshop (Feb 2015)
- 22st Twente Student Conference on IT (Jan 2015)
- Investigating Dataflow in Embedded computing Architectures (IDEA) (Jan 2015)
- Symposium: Dutch Functional Programming Day (Jan 2015)
- Symposium: Mini-workshop on modelling & analysis of stochastic systems (Dec 2014)
- Symposium: Power optimisation for multi-processor dataflow applications (Dec 2014)
- Symposium: Mini-symposium on Security & Privacy (Nov 2014)
- Symposium: The University of Twente's 53rd Dies Natalis (Nov 2014)
- Dutch Testing Day 2014 (Nov 2014)
- The 26th Benelux Conference on Artificial Intelligence (Nov 2014)
- Symposium: IPA Fall Days (Nov 2014)
- ICT with Industry 2014 (Oct 2014)
- Symposium: Automated Verification of Critical Systems (Sep 2014)
- Symposium: Mini-symposium Model-Based Testing (Sep 2014)
- Zilverling colloquium: Biometric Pattern Recognition - Applications, Theory, and Challenges (Jul 2014)
- Zilverling colloquium: Opinion dynamics in social networks: modelling, analysis, and control (Jun 2014)
- Symposium: Towards personalized health services (Jun 2014)
- Symposium: Theory Day 2014 of the NVTI (Nederlandse Vereniging voor Theoretische Informatica) (May 2014)
- Symposium: Dutch Model Checking Day 2014 (May 2014)
- Symposium: Mini-symposium on Quantitative Analysis (Sep 2013)
- 17e Nederlandse Testdag (Nov 2011)
- Symposium: Model-based Testing, from theory to practice and back again (May 2011)
- NVTI Theory Day 2011 (Mar 2011)
- Joint ICGT/SPIN Conference, 2010 (Sep 2010)
- NVTI Theory Day 2010 (Mar 2010)
- SRO-DSN Symposium (Mar 2010)
- PDMC 2009: 8th International Workshop on Parallel and Distributed Methods in verifiCation (Nov 2009)
- MOAN-CB: Modelling and Analysis of Cell Behaviour (Sep 2009)
- Fifth European Conference on Model-Driven Architecture Foundations and Applications (Jun 2009)
- Dutch Dependability Day (May 2009)
- CeDICT workshop on Dependable ICT Systems (Apr 2009)
- Dutch Model Checking Day 2009 (Apr 2009)
- NVTI Theory Day 2009 (Mar 2009)
- NVTI Theory Day 2008 (Mar 2008)
- AGTIVE-Contest: AGTIVE 2007 Tool Contest (Oct 2007)
- DWFTT2007: The Second Dutch Workshop on Formal Testing Techniques (Sep 2007)
- GT-VC 2007: Graph Transformation for Verification and Concurrency, 2007 (Sep 2007)
- An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006 (Nov 2006)
- GT-VC 2006: Graph Transformation for Verification and Concurrency, 2006 (Aug 2006)
- Testdag2005: 11th Dutch Testing Day, 2005 (Nov 2005)
- GT-VC 2005: Graph Transformation for Verification and Concurrency, 2005 (Aug 2005)
- FIT2005: Foundations on Interface Technologies (Aug 2005)
- Zilverling colloquium: test (Jun 2000)
- Zilverling colloquium: test (Jun 2000)
- Zilverling colloquium: test (Jun 2000)