Here is a list of past and current projects that have SySMA involvement. The linked websites provide more details about each project.
C3T - Centre of Competence in Cybersecurity Toscano The Centre of Competence in Cybersecurity To...
Contact Persons: Prof. Rocco De Nicola, Prof. Gabriele Costa WEB: SPARTA Mission Re-imagining ...
Principal Investigator: Prof. Rocco De Nicola The goal of the It-Matters is the development and ...
Principal Investigator: Prof. Mirco Tribastone These systems are, and will be more and more, per...
Principal Investigator: Gabriele Costa Cyber Ranges are virtual environments that replicate real...
Principal Investigator: Prof. Rocco De Nicola TOFFEE (TOol for Fighting FakEs) is an internal pr...
Principal Investigator: Gabriele Costa VeriOSS is an internal project, funded by IMT School For ...
European FP7 STREP Project on Quantitative Approach to Management and Design of Collective and Ad...
Scalable design and performance analysis for long-living software families. Design For Future – M...
COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (http://www.behav...
COST Action IC1405: Extending horizons of computing (http://www.revcomp.eu/)
European FP7 Integrated Project on Autonomic Service Component Ensembles (http://www.ascens-ist.e...
Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society — MIUR Proje...
Project funded by the Fondazione Cassa Di Risparmio Di Pisa
WiLIFE: Project funded by the Tuscany Region on Wireless Technologies and ICT for an integrated, ...