Projects

Ongoing projects
Acronym Project Start Date
doit Decentralization and Optimization of IoT aware business processes 01/07/2016
CONFIDENT Communication Contracts for Distributed Systems Development 01/05/2016
Closed projects
Acronym Project Start Date
Static Verification of Safe Parallelism Static Verification of Safe Parallelism 01/01/2016
MULTICORE MULTICORE - Advanced Type Systems for Multicore Programming 01/01/2012
MACAW MACAW - Macroprogramming for Wireless Sensor Networks 01/03/2011
PATI IoT-Aware business Processes 01/01/2010
AssertionTypes Assertion Types for Object-Oriented Programming 01/01/2010
CALLAS Calculi and Languages for Sensor Networks 01/01/2008
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers 01/09/2005