News and Events
Here we list the news of FMT
Upcoming Events
Past Events
- Sept. 20, 2019: PhD Defense: Jeroen Meijer: Jeroen Meijer
- July 11, 2019: PhD Defense: Wei Zheng: Whei Zheng
- July 10, 2019: PhD Defense: Vincent Bloemen: Vincent Bloemen
- Dec. 12, 2018: PhD Defense: Marcus Gerhold: Choice and Chance - Model-based Testing of Stochastic Behaviour
- Nov. 23, 2018: Inaugural Speech: Mariëlle Stoelinga: A certain risk: quantitative risk management for high-tech systems
- Nov. 22, 2018: Inaugural Speech: Mariëlle Stoelinga: Inaugural speech Marielle Stoelinga
- Oct. 17, 2018: PhD Defense: Rajesh Kumar: Truth or Dare: Quantitative security risk analysis via attack trees
- Sept. 5, 2018: PhD Defense: Qiannan Zhou: The Spectral Analysis of Random Graph Matrices
- Sept. 5, 2018: PhD Defense: Zhiwei Guo: Degree Conditions for Hamiltonian Properties of Claw-free Graphs
- May 25, 2018: PhD Defense: 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
- March 2, 2018: PhD Defense: Saeed Darabi: Verification of Program Parallelization
- March 2, 2018: Presentation: 3 speakers: Workshop on the occassion of the defence of Saeed Darabi
- Feb. 2, 2018: PhD Defense: Ruonan Li: Properly colored cycles in edge-colored graphs
- Jan. 25, 2018: Inaugural Speech: Marieke Huisman: Software Reliability for Everyone
- Jan. 17, 2018: PhD Defense: Afshin Amighi: Title to be announced
- Dec. 21, 2017: Presentation: Tom van Dijk: State of the art parity game solving
- March 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
- Sept. 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
- July 14, 2016: MSc Presentation: Thomas Neele: GPU implementation of Partial-Order Reduction
- July 13, 2016: PhD Defense: Tom van Dijk: Sylvan: Multi-core Decision Diagrams
- June 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
- March 24, 2016: MSc Presentation: David Huistra: Automated Generation of Attack Trees by Unfolding Graph Transformation Systems
- March 24, 2016: MSc Presentation: Niels Wolters: Analysis of Attack Trees with Timed Automata
- Oct. 9, 2015: Presentation: Marcel Verhoef: Formal Verification at ESA
- Oct. 1, 2015: PhD Defense: Marina Zaharieva-Stojanovski: Closer to Reliable Software - Verifying functional behaviour of concurrent programs
- Sept. 29, 2015: Presentation: Stefan Hauck-Stattelmann: Formal Methods for Industrial Control Applications
- Sept. 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. 5, 2015: MSc Presentation: Alessio Parzian: Java Card Bytecode Verification
- July 31, 2015: MSc Presentation: Wytse Oortwijn: Distributed Symbolic Reachability Analysis
- June 29, 2015: Presentation: Masoud Daneshtalab: Towards energy efficient computing
- June 12, 2015: Presentation: Ina Schaefer: Efficient Testing of Software Variants and Versions
- June 5, 2015: PhD Defense: Steven te Brinke: Developing Energy-Aware Software
- June 1, 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 1, 2015: Presentation: David Cok: OpenJML
- April 16, 2015: Presentation: Jurgen Kleverwal: Supervised Text Classification of Medical Triage Reports
- April 9, 2015: Presentation: Christoph Gladisch: Source-code based formal techniques for fault-detection, testing, and specification of Java programs.
- March 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. 4, 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
- Sept. 30, 2014: MSc Presentation: Hristofor Mirchev: Creating a modular AspectJ foundation for simple and rapid extension implementation
- Sept. 24, 2014: Presentation: Printing Thesis Workshop
- Sept. 18, 2014: PhD Defense: Axel Belinfante: JTorX: Exploring Model-Based Testing
- Sept. 16, 2014: Presentation: Frank van der Linden: Formal system development and modelling at Philips Healthcare
- Sept. 5, 2014: Presentation: Martijn Rutten: Dynamic Analysis of Multi-core and Multi-threaded Applications in Embedded Systems
- Sept. 1, 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
- July 3, 2014: BSc Presentation: Alexander Bakker: Comparing Energy Profiles for Android
- June 19, 2014: BSc Presentation: BSc students: Verification engineering project presentation
- June 18, 2014: MSc Presentation: Ivo van Hurne: Towards a Unifying Framework for Modelling and Executing Model Transformations
- June 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 9, 2014: PhD Defense: Alfons Laarman: Scalable multi-core model checking
- May 1, 2014: Presentation: Jan van Erp: Tangible user interaction: high tech human touch.
- May 1, 2014: Presentation: Marcus Gerhold: Embeddings of Weighted Morrey Spaces
- April 17, 2014: PhD Defense: Minh Tri Ngo: Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs
- April 2, 2014: Presentation: Prof. Gabi Dreo: Cyber Security in Europe
- March 27, 2014: MSc Presentation: Jeroen Meijer: Improving Reachability Analysis in LTSmin
- March 11, 2014: Presentation: 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. 4, 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
- Sept. 30, 2013: MSc Presentation: Ferry Olthuis: A comparison of state space reduction techniques in SCOOP
- Sept. 13, 2013: PhD Defense: Mark Timmer: Efficient Modelling, Generation and Analysis of Markov Automata
- June 13, 2013: BSc Presentation: Jeroen Vonk: Formal Specification and Verification of OpenCL Kernel Optimizations
- June 6, 2013: Presentation: Mattias Ulbrich: Algorithm Refinement using Dynamic Logic
- April 5, 2013: MSc Presentation: Vincent de Bruijn: Model-based Testing with Graph Grammars
- Jan. 24, 2013: PhD Defense: Eduardo Zambon: Abstract graph transformation theory and practice
- Dec. 7, 2012: PhD Defense: 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. 9, 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
- July 18, 2012: MSc Presentation: Ruben Oostinga: A Java Bridge for LTSmin
- April 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: Arend Rensink: Graven in software
- Aug. 5, 2011: BSc Presentation: Nils Klatter: Verifying Security Policies by using JML annotations
- July 27, 2011: Presentation: Nico Nachtigall: Modelling the Living Place Project using Algebraic Higher-Order Nets
- July 13, 2011: MSc Presentation: Erik Hegeman: On the Quality of Quality Models
- June 29, 2011: Presentation: Wojciech Mostowski: Midlet Navigation Graphs in JML
- June 12, 2011: Tutorial: Michael Weber and Jaco van de Pol: Problem Solving with Model Checking Techniques
- May 12, 2011: PhD Defense: Machiel van der Bijl: On Changing Models in Model-Based Testing
- March 24, 2011: MSc Presentation: Martijn Adolfsen: Industrial Validation of Test Coverage Quality
- March 18, 2011: MSc Presentation: Elwin Pater: Partial-order reduction for PINS
- Jan. 22, 2010: PhD Defense: Martin Neuhausser: Model checking nondeterministic and randomly timed systems
- Sept. 25, 2009: PhD Defense: Tingting Han: Diagnosis, synthesis, and analysis of probabilistic models
- Oct. 3, 2008: PhD Defense: Harmen Kastenberg: Graph-based Software Specification and Verification
- Sept. 4, 2008: PhD Defense: Jens Calamé: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving
- April 10, 2008: Inaugural Speech: Jaco van de Pol: Multi-core Computing meets Formal Methods
- March 7, 2008: PhD Defense: Ivan Zapreev: Model Checking Markov Chains: Techniques and Tools
- Sept. 24, 2000: Presentation: Printing Thesis Workshop
Third-party Events
The Formal Methods and Tools group was involved in the organisation of the following events:
- Workshop: SynCoP 2019: Synthesis of Complex Parameters (April 6, 2019)
- Other: Inaugural speech (Nov. 23, 2018)
- Symposium: ModelEd, TestEd, TrustEd (Oct. 18, 2017)
- Symposium: GEOBIA 2016 (Sept. 14, 2016)
- Workshop: Dutch Model Checking Day 2016 on Parallel and Symbolic Methods for Model Checking (July 13, 2016)
- Workshop: Integrating Dataflow, Embedded computing and Architecture (IDEA) Workshop 2016 (April 11, 2016)
- Workshop: ENERGY: Efficient desigN of Energy and Resource constrained intelliGent sYstems (April 3, 2016)
- Workshop: Workshop on Realistic Program Verification (Dec. 2, 2015)
- Symposium: Symposium on Industrial Wireless Networking (Nov. 6, 2015)
- Workshop: Closer to reliable software - Verifying Program Behaviour (Oct. 2, 2015)
- Other: End of the year celebration: End of the year celebration (July 3, 2015)
- Other: Exhibition: The Final Exhibition of the Have Fun & Play! Course (July 2, 2015)
- Symposium: IPA course on Formal Methods (June 29, 2015)
- Symposium: Workshop on Energy-Aware Software Engineering (June 5, 2015)
- Symposium: Random Walks in the Quarter-Plane: Invariant Measures and Performance Bounds (May 22, 2015)
- Symposium: Lorentz Center Workshop on JML: Advancing Specification Language Methodologies (March 23, 2015)
- Symposium: MTV informal gathering (Feb. 17, 2015)
- Workshop: Aselsan - Twente Research Cooperation Workshop (Feb. 13, 2015)
- Workshop: 22st Twente Student Conference on IT (Jan. 23, 2015)
- Workshop: Investigating Dataflow in Embedded computing Architectures (IDEA) (Jan. 21, 2015)
- Symposium: Dutch Functional Programming Day (Jan. 9, 2015)
- Symposium: Mini-workshop on modelling & analysis of stochastic systems (Dec. 17, 2014)
- Symposium: Power optimisation for multi-processor dataflow applications (Dec. 3, 2014)
- Symposium: Mini-symposium on Security & Privacy (Nov. 28, 2014)
- Symposium: The University of Twente's 53rd Dies Natalis (Nov. 28, 2014)
- Other: Farewell: Farewell event on the occasion of the retirement of Prof.dr. Krzysztof Apt (Nov. 28, 2014)
- Other: Meeting: Tenure Track 2.0 (Nov. 26, 2014)
- Other: DACS- special Colloquium: Do I need to fix a failed component now, or can I wait until tomorrow? (Nov. 24, 2014)
- Other: Farewell: Farewell to Joke Lammerink: it always is harder to be left behind than to be the one to go... (Nov. 21, 2014)
- Workshop: Dutch Testing Day 2014 (Nov. 17, 2014)
- Workshop: The 26th Benelux Conference on Artificial Intelligence (Nov. 6, 2014)
- Symposium: IPA Fall Days (Nov. 5, 2014)
- Workshop: ICT with Industry 2014 (Oct. 13, 2014)
- Other: Group Photo: Group Photo (Oct. 7, 2014)
- Symposium: Automated Verification of Critical Systems (Sept. 24, 2014)
- Symposium: Mini-symposium Model-Based Testing (Sept. 18, 2014)
- Other: SPES_XT Summer School: Model-based design and analysis of cyber-physical systems (Sept. 17, 2014)
- Other: GOGBOT: GOGBOT2014 (Sept. 12, 2014)
- Zilverling colloquium: Biometric Pattern Recognition - Applications, Theory, and Challenges (July 8, 2014)
- Other: Exhibition: Exhibition of Have Fun & Play! (July 3, 2014)
- Cancelled: Other: EWI Discussion: bespreekt nieuwe strategie UT (June 23, 2014)
- Zilverling colloquium: Opinion dynamics in social networks: modelling, analysis, and control (June 10, 2014)
- Symposium: Towards personalized health services (June 3, 2014)
- Symposium: Theory Day 2014 of the NVTI (Nederlandse Vereniging voor Theoretische Informatica) (May 16, 2014)
- Symposium: Dutch Model Checking Day 2014 (May 9, 2014)
- Cancelled: Other: Administrative lunchmeeting: Various (April 12, 2014)
- Symposium: Mini-symposium on Quantitative Analysis (Sept. 13, 2013)
- Other: Guest presentation: GPUVerify: a Verifier for GPU Kernels (Nov. 15, 2012)
- rg-readgroup: Thread scheduling for multiprogrammed multiprocessors (Nov. 8, 2012)
- dsn-lunchtalk: Modelling Language Evolution (June 11, 2012)
- dsn-lunchtalk: Programmable networks of nanoparticles (May 24, 2012)
- rg-readgroup: Fractional Permissions without the Fractions (May 23, 2012)
- rg-readgroup: Alternation (April 12, 2012)
- Other: Re-scheduled lunchmeeting: Talking Quiescence: a Rigorous Theory that Supports Parallel Composition, Action Hiding and Determinisation (March 22, 2012)
- rg-readgroup: Precise interprocedural dataflow analysis via graph reachability (March 8, 2012)
- dsn-lunchtalk: UV technology modeling & control using Hybrid Systems (Jan. 31, 2012)
- rg-readgroup: Matching Logic: An Alternative to Hoare/Floyd Logic (Jan. 19, 2012)
- Other: Inter-Actief lunchlezing onderwijsprijs: Inter-Actief lunchlezing onderwijsprijs (Jan. 10, 2012)
- Workshop: 17e Nederlandse Testdag (Nov. 29, 2011)
- Other: ISTRICE lunch colloqium: ISTRICE lunch colloqium (Oct. 20, 2011)
- Cancelled: dsn-lunchtalk: Title to be announced (June 29, 2011)
- Symposium: Model-based Testing, from theory to practice and back again (May 13, 2011)
- Workshop: NVTI Theory Day 2011 (March 4, 2011)
- Cancelled: rg-readgroup: Parametric Shape Analysis via 3-valued Logic (Nov. 17, 2010)
- Workshop: Joint ICGT/SPIN Conference, 2010 (Sept. 27, 2010)
- Cancelled: rg-readgroup: Parametric Shape Analysis via 3-valued Logic (Sept. 22, 2010)
- Workshop: NVTI Theory Day 2010 (March 12, 2010)
- Workshop: SRO-DSN Symposium (March 3, 2010)
- Workshop: PDMC 2009: 8th International Workshop on Parallel and Distributed Methods in verifiCation (Nov. 4, 2009)
- Workshop: MOAN-CB: Modelling and Analysis of Cell Behaviour (Sept. 23, 2009)
- Workshop: Fifth European Conference on Model-Driven Architecture Foundations and Applications (June 23, 2009)
- Workshop: Dutch Dependability Day (May 12, 2009)
- Workshop: CeDICT workshop on Dependable ICT Systems (April 24, 2009)
- Workshop: Dutch Model Checking Day 2009 (April 2, 2009)
- Workshop: NVTI Theory Day 2009 (March 20, 2009)
- Workshop: NVTI Theory Day 2008 (March 14, 2008)
- Workshop: AGTIVE-Contest: AGTIVE 2007 Tool Contest (Oct. 12, 2007)
- Workshop: DWFTT2007: The Second Dutch Workshop on Formal Testing Techniques (Sept. 13, 2007)
- Workshop: GT-VC 2007: Graph Transformation for Verification and Concurrency, 2007 (Sept. 3, 2007)
- Workshop: An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006 (Nov. 30, 2006)
- Workshop: GT-VC 2006: Graph Transformation for Verification and Concurrency, 2006 (Aug. 31, 2006)
- Workshop: Testdag2005: 11th Dutch Testing Day, 2005 (Nov. 11, 2005)
- Workshop: GT-VC 2005: Graph Transformation for Verification and Concurrency, 2005 (Aug. 22, 2005)
- Workshop: FIT2005: Foundations on Interface Technologies (Aug. 21, 2005)
- Other: FMT administrative lunch meeting: FMT administrative lunch meeting (June 24, 2000)
- Other: IPA Course: in the IPA course on Software Engineering and Technology (Jan. 23, 2000)