it gb
it gb

System Modelling, Verification and Reuse

About

The main research goal of the MoVeRe (System Modelling, Verification and Reuse) group is to contribute to an effective seamless integration of Formal Methods into software and system development methodologies. The research interests of the group span from foundational aspects to tools for supporting rigorous engineering of industrial systems.

The research interests of the group include:

  • Computational models and languages
  • Concurrent, distributed, and mobile systems
  • Domain specific languages
  • Static and dynamic analysis techniques
  • System evolution and dynamic software updates
  • Variability modeling and software product lines

News

2016-09-14
Our paper Self-Adaptation to Device Distribution Changes got the SASO 2016 Best Paper Award
2016-03

We have a new project:  EC-COST Action CA15123 EUTypes: The European research network on types for programming and verificationg (see also the page at the COST site)


2015-07

We have a new project:  Ateneo/CSP Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability


2015-07
HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud

2015-02

We have a new project:  EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems


2015-02

We have a new project:  EC-COST Action IC1402 ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site)


2014-06-04
Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award
2013-01

We have a new project :  POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains


2013-01

We have a new project:  Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types


2012-10

We have a new project:   MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society


2012-09-26
Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award

2012-06

We have a new project:   EC-COST Action IC1201 BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site)

Empty Image Block.

Contacts

Ferruccio DAMIANI 

+ 39 011 670 6719

ILlBQHrc9p7dAVeZ1Uo]#[wwWu04YmmW6WyCWM0Bg