Projects

Here is a list of past and current projects that have SySMA involvement. The linked websites provide more details about each project.

Projects

Current projects

C3T

C3T - Centre of Competence in Cybersecurity Toscano The Centre of Competence in Cybersecurity To...

SPARTA

Contact Persons: Prof. Rocco De Nicola, Prof. Gabriele Costa WEB: SPARTA Mission Re-imagining ...

IT Matters: Methods and Tools for Trustworthy Smart systems

Principal Investigator: Prof. Rocco De Nicola The goal of the It-Matters is the development and ...

Designing Spatially Distributed Cyber-Physical Systems under Uncertainty

Principal Investigator: Prof. Mirco Tribastone These systems are, and will be more and more, per...

Cyber Range

Principal Investigator: Gabriele Costa Cyber Ranges are virtual environments that replicate real...

TOFFEE

Principal Investigator: Prof. Rocco De Nicola TOFFEE (TOol for Fighting FakEs) is an internal pr...

VeriOSS

Principal Investigator: Gabriele Costa VeriOSS is an internal project, funded by IMT School For ...

Past projects

QUANTICOL

European FP7 STREP Project on Quantitative Approach to Management and Design of Collective and Ad...

DAPS2

Scalable design and performance analysis for long-living software families. Design For Future – M...

BETTY

COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (http://www.behav...

Reversible computation

COST Action IC1405: Extending horizons of computing (http://www.revcomp.eu/)

ASCENS

European FP7 Integrated Project on Autonomic Service Component Ensembles (http://www.ascens-ist.e...

CINA

Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society — MIUR Proje...

Calcolo Età Vascolare

Project funded by the Fondazione Cassa Di Risparmio Di Pisa

WiLIFE

WiLIFE: Project funded by the Tuscany Region on Wireless Technologies and ICT for an integrated, ...