Silvia Mazzini

26 papers A* 1A 1B 3C 2Misc 3Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2021 Misc conf
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
QUATIC
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
2021 J jnl
A domain-specific modeling and analysis environment for complex IoT applications.
CoRR
Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 — conf
Cloud-based modeling in IoT domain: a survey, open challenges and opportunities.
MoDELS (Companion)
Felicien Ihirwe, Arsene Indamutsa, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 C conf
Model-based Analysis Support for Dependable Complex Systems in CHESS.
MODELSWARD
Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta
2021 — conf
Towards a Modeling and Analysis Environment for Industrial IoT systems.
STAF Workshops
Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 J jnl
Towards a modeling and analysis environment for industrial IoT systems.
CoRR
Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2020 J jnl
Low-code Engineering for Internet of things: A state of research.
CoRR
Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio
2020 — conf
Low-code engineering for internet of things: a state of research.
MoDELS (Companion)
Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio
2020 J jnl
Model-based analysis support for dependable complex systems in CHESS.
CoRR
Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini, Alberto Debiasi, Stefano Tonetta
2019 — conf
LOD publication in the archival domain: methods and practices.
ODOCH@CAiSE
Fabiana Guernaccini, Silvia Mazzini, Giovanni Bruno
2018 J jnl
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems.
Microprocess. Microsystems
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
2017 C conf
The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.
DSD
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
2016 — conf
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.
SAFECOMP Workshops
Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
2016 — conf
CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.
EduSymp/OSS4MDE@MoDELS
Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi
2016 Misc conf
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.
Ada-Europe
Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega
2015 — conf
A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications.
ITSC
Silvia Mazzini, John M. Mavaro, Laura Baracchi
2014 — conf
Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.
CIISE
Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi
2013 B conf
Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory.
ICSR
Silvia Mazzini, John M. Favaro, Tullio Vardanega
2012 A* conf
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.
ASE
Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega
2012 — conf
LodLive, exploring the web of data.
I-SEMANTICS
Diego Valerio Camarda, Silvia Mazzini, Alessandro Antonuccio
2011 — conf
EAC-CPF Ontology and Linked Archival Data.
SDA
Silvia Mazzini, Francesca Ricci
2009 A conf
An MDE methodology for the development of high-integrity real-time systems.
DATE
Silvia Mazzini, Stefano Puri, Tullio Vardanega
2009 B conf
Extending FeatuRSEB with Concepts from Systems Engineering.
ICSR
John M. Favaro, Silvia Mazzini
2004 — conf
Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
EUROMICRO
Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro
2003 Misc conf
HRT-UML: Taking HRT-HOOD onto UML.
Ada-Europe
Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega
2003 B conf
Issues in Mapping HRT-HOOD to UML.
ECRTS
Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega