it gb
it gb

Modellazione, Verifica e Riuso di Sistemi

Presentazione

Lo scopo principale della ricerca del gruppo MoVeRe (System Modelling, Verification and Reuse) è di contribuire all’integrazione effettiva senza soluzione di continuità dei metodi formali nelle metodologie di sviluppo del software e dei sistemi. Gli interessi di ricerca del gruppo spaziano dall'investigazione di aspetti fondazionali alla progettazione di strumenti per supportare l’ingegnerizzazione rigorosa di sistemi in ambito industriale.

Gli interessi di ricerca del gruppo includono:

  • 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

2017/04/03
Our paper A Formal Model of Multi SPLs got the FSEN 2017 Best Paper Award (see photo)
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)

Contatti

Ferruccio DAMIANI 

+ 39 011 670 6719

3ncVujwAHYIo8Qxp9Bb]#[gMNCTVdKvFHhv8pc8uT