| 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 |