Projects

The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.

No/other funding

ADHOC: Analysis and Design of Hybrid Systems using Optimal Control
AiSHA: Abstraction in Stochastic and Hybrid process Algebra
AMETIST: Advanced Methods for Timed Systems
AOSD: Aspect-Oriented Software Development  (Funded by: (EU NoE))
ARTIST2: Advanced Real-Time Systems 2  (Funded by: (EU NoE))
ATOMYSTE: Atom splitting in embedded Systems testing
CASH: Compositional Analysis and Specification of Hybrid Systems
Côte de Resyste: Conformance Testing for Reactive Systems
DARTS: Design and Analysis of Robust Timed Systems
EC-MOAN: Escherichia Coli - Modeling and Analysis
GRAIL: Graphs for Abstract Interpretation of Languages
GRASLAND: Graphs for Software Language Definition
GROOVE: Graphs for Object-Oriented Verification
HaaST: Verification of Hard and Softly Timed Systems
HYCON: Hybrid Control  (Funded by: (EU NoE))
MCMC: Multi-Core Model Checking
MC=MC: Model Checking Infinite-State Markov Chains
MOCA: Modelling Control Aspects of Embedded Systems
MOQS: Modeling and Analysis of QoS for Component-Based Designs
QUPES: Verifying Quantitative Properties of Embedded Software
SPACE: Specification-based Performability Checking
STRESS: Systematic Testing of Real-time Software Systems
TANGRAM: Model-based integration and testing of complex high-tech products
VeriGEM: A Verification Grid for Enhanced Model Checking
Vernieuwingsimpuls: Stochastic model checking
VOSS II: Validation of Stochastic Systems II
Aselsan - University of Twente cooperation

National funding

SlaLoM: Security by Logic for Multithreaded applications  (Funded by: NWO)
SYRUP: SYmbolic RedUction of Probabilistic Models
VOCHS: Verification of Complex Hierarchical Systems  (Funded by: NWO)
MaDriD: Multicore Decision Diagrams  (Funded by: NWO)
ArRangeer: smARt RAilroad maintenance eNGinEERing with stochastic model checking  (Funded by: STW / ProRail)
ENOFES: Energy Optimization Framework For Embedded Systems  (Funded by: STW)
BEAT: Better Testing with Game Theory  (Funded by: NWO)
StepUp: Test Selection via statistical User Profiles  (Funded by: NWO)
VerDi: Verification of Distributed Software  (Funded by: NWO)
SUMBAT: Supersizing Model-Based Testing  (Funded by: STW / TNO-ESI / Océ / PANalytical)
SamSam: An integral SAfety / Security Analysis fraMework  (Funded by: NWO / Delta Pi)
SEQUOIA: Smart maintenance optimization  (Funded by: STW, ProRail, NS/NedTrain)
SPA: Seamless Personal Authentication  (Funded by: N.V. Nederlandsche Apparatenfabriek)
Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability  (Funded by: NWO)
Mercedes: Maximal Reliability of Concurrent and Distributed Software  (Funded by: NWO)
Atelier for Creative Programming  (Funded by: SURF)
ChEOPS: verified Construction of corrEct and Optimised Parallel Software  (Funded by: NWO)
FormaSig: Formal methods in railway signalling infrastructure standardisation processes  (Funded by: ProRail; DB Netze A.G.)

University funding

Functional Languages for Databases  (Funded by: CTIT, FMT & DB)
3TU.BSR: Big Software on the Run  (Funded by: 3TU.NIRICT)
ViGARO: Verified Generation of Parallel Software  (Funded by: 4TU.NIRICT)
Orchestrating Similar Stream Processing Jobs to Merge Equivalent Subjobs
NIRICT Reconnaissance Topic: Performance and Correctness of GPGPU Applications  (Funded by: NIRICT)
Beauty and Joy of Computing in Dutch  (Funded by: NIRICT)

European funding

CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour  (Funded by: ARTEMIS Embedded Computing Systems Initiative)
INESS: INtegrated European Signalling System
QUASIMODO: Quantitative System Properties in Model-Driven-Design of Embedded Systems
ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
VerCors: Verification of Concurrent Data Structures  (Funded by: European Research Council)
CARP: Correct and Efficient Accelerator Programming  (Funded by: European Commission FP7)
SENSATION: Self Energy-Supporting Autonomous Computation  (Funded by: European Commission FP7)
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
NASCENCE: NAnoSCale Engineering for Novel Computation using Evolution
SUCCESS: SecUre aCCESSibility for the internet of things  (Funded by: CHIST-ERA)
PAMPAS: Parallel Algorithms for Model-checking and Parameter Synthesis  (Funded by: EP NUFFIC - Van Gogh programme)