Ongoing projects:

Acronym Project Start Date
CONFIDENT Communication Contracts for Distributed Systems Development 01/05/2016
doit Decentralization and Optimization of IoT aware business processes 01/07/2016
SAT-Based Techniques for Automated Graph Construction SAT-Based Techniques for Automated Graph Construction 04/01/2016

Closed projects:

Acronym Project Start Date
ADAAS ADAAS – Assuring Dependability in Architecture-based Adaptive Systems 01/10/2010
ARTS ARTS – Towards Autonomic Road Transport Support Systems 22/09/2011
AssertionTypes Assertion Types for Object-Oriented Programming 01/01/2010
BETTY BETTY – Behavioural types for reliable large-scale software systems 26/10/2012
CALLAS Calculi and Languages for Sensor Networks 01/01/2008
INTERFACES Certified Interfaces for Integrity and Security of Extensible Web Applications 01/05/2009
LIVENESS LIVENESS – Liveness, statically 20/03/2012
MACAW MACAW – Macroprogramming for Wireless Sensor Networks 01/03/2011
MULTICORE MULTICORE – Advanced Type Systems for Multicore Programming 01/01/2012
PASTRAMY Persistent and highly Available Software TRansactional MemorY 01/09/2007
PATI IoT-Aware business Processes 01/01/2010
QUEST A Quest for Reliability in Generic Software Components 01/01/2010
REDICO Dynamic Reconfiguration of Communication Protocols 01/10/2007
SENSORIA SENSORIA – Software Engineering for Service-Oriented Overlay Computers 01/09/2005
Static Verification of Safe Parallelism Static Verification of Safe Parallelism 01/01/2016