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 |
CONFIDENT |
Communication Contracts for Distributed Systems Development |
01/05/2016 |
doit |
Decentralization and Optimization of IoT aware business processes |
01/07/2016 |
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 |
SAT-Based Techniques for Automated Graph Construction |
SAT-Based Techniques for Automated Graph Construction |
04/01/2016 |
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 |