<< EEMCS (EWI)
HomeNewsIn the MediaResearch   » Projects   » Publications   » ToolsEducationPeopleEventsVacanciesInternalContact

Completed Projects

Completed projects in which FMT participated are listed below. Lists of current projects and upcoming projects are available too.

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
ARTIST2: Advanced Real-Time Systems 2
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
GRASLAND: Graphs for Software Language Definition
GROOVE: Graphs for Object-Oriented Verification
HaaST: Verification of Hard and Softly Timed Systems
HYCON: Hybrid Control
MC=MC: Model Checking Infinite-State Markov Chains
MOQS: Modeling and Analysis of QoS for Component-Based Designs
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