Sfoglia per Autore
A logical framework to deal with variability
2010 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research)
2010 M.H. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro
A state/event-based model-checking approach for the analysis of abstract system properties.
2011 M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti
Model Checking, cos'è e come si applica
2011 A. Fantechi; S. Gnesi
Design and validation of variability in product lines
2011 Patrizia Asirelli;Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti
On the Adoption of Model Checking in Safety-Related Software Industry
2011 A. Fantechi; S. Gnesi
Variability and Rigour in Service Computing Engineering
2011 Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi;Jose L. Fiadeiro
A model-checking tool for families of services.
2011 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi;
Formal Description of Variability in Product Families
2011 Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi
Model-Based Development and Formal Methods in the Railway Industry
2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning
2013 Felicita Giandomenico;Alessandro Fantechi;Stefania Gnesi;Massimiliano Leone Itria
Formal methods for railway control systems
2014 Alessandro Fantechi; Francesco Flammini; Stefania Gnesi
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems
2015 Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Using FMC for family-based analysis of software product lines
2015 Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Formal methods and safety certification: Challenges in the railways domain
2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
Refinement of Behavioural Models for Variability Description
2016 Fantechi, Alessandro; Gnesi, Stefania
Variability-based design of services for smart transportation systems
2016 ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
2016 ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
Ambiguity defects as variation points in requirements
2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Optimizing Feature Interaction Detection
2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A logical framework to deal with variability | 2010 | P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi | |
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) | 2010 | M.H. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro | |
A state/event-based model-checking approach for the analysis of abstract system properties. | 2011 | M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti | |
Model Checking, cos'è e come si applica | 2011 | A. Fantechi; S. Gnesi | |
Design and validation of variability in product lines | 2011 | Patrizia Asirelli;Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti | |
On the Adoption of Model Checking in Safety-Related Software Industry | 2011 | A. Fantechi; S. Gnesi | |
Variability and Rigour in Service Computing Engineering | 2011 | Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi;Jose L. Fiadeiro | |
A model-checking tool for families of services. | 2011 | P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi; | |
Formal Description of Variability in Product Families | 2011 | Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi | |
Model-Based Development and Formal Methods in the Railway Industry | 2013 | Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani | |
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning | 2013 | Felicita Giandomenico;Alessandro Fantechi;Stefania Gnesi;Massimiliano Leone Itria | |
Formal methods for railway control systems | 2014 | Alessandro Fantechi; Francesco Flammini; Stefania Gnesi | |
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems | 2015 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi | |
Using FMC for family-based analysis of software product lines | 2015 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti | |
Formal methods and safety certification: Challenges in the railways domain | 2016 | Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania | |
Refinement of Behavioural Models for Variability Description | 2016 | Fantechi, Alessandro; Gnesi, Stefania | |
Variability-based design of services for smart transportation systems | 2016 | ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura | |
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints | 2016 | ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco | |
Ambiguity defects as variation points in requirements | 2017 | Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura | |
Optimizing Feature Interaction Detection | 2017 | Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile