Silvia Mazzini

According to our database, Silvia Mazzini authored at least 23 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A domain-specific modeling and analysis environment for complex IoT applications.

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

CoRR, 2021

Towards a Modeling and Analysis Environment for Industrial IoT systems.

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.

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

Proceedings of the Quality of Information and Communications Technology, 2021

Model-based Analysis Support for Dependable Complex Systems in CHESS.

Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Cloud-based modeling in IoT domain: a survey, open challenges and opportunities.

Felicien Ihirwe, Arsene Indamutsa, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

Low-code engineering for internet of things: a state of research.

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

LOD publication in the archival domain: methods and practices.

Fabiana Guernaccini, Silvia Mazzini, Giovanni Bruno

Proceedings of the First International Workshop on Open Data and Ontologies for Cultural Heritage co-located with the 31st International Conference on Advanced Information Systems Engineering, 2019

2018

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems.

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

Microprocess. Microsystems, 2018

2017

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.

Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz

Proceedings of the Euromicro Conference on Digital System Design, 2017

2016

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.

Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza

Proceedings of the Computer Safety, Reliability, and Security, 2016

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.

Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.

Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications.

Silvia Mazzini, John M. Mavaro, Laura Baracchi

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.

Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi

Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

2013

Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory.

Silvia Mazzini, John M. Favaro, Tullio Vardanega

Proceedings of the Safe and Secure Software Reuse, 2013

2012

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

LodLive, exploring the web of data.

Diego Valerio Camarda, Silvia Mazzini, Alessandro Antonuccio

Proceedings of the I-SEMANTICS 2012 - 8th International Conference on Semantic Systems, 2012

2011

EAC-CPF Ontology and Linked Archival Data.

Silvia Mazzini, Francesca Ricci

Proceedings of the 1st International Workshop on Semantic Digital Archives, 2011

2009

Extending FeatuRSEB with Concepts from Systems Engineering.

John M. Favaro, Silvia Mazzini

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

An MDE methodology for the development of high-integrity real-time systems.

Silvia Mazzini, Stefano Puri, Tullio Vardanega

Proceedings of the Design, Automation and Test in Europe, 2009

2004

Component-Based Real-Time Design: Mapping HRT-HOOD to UML.

Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Issues in Mapping HRT-HOOD to UML.

Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

HRT-UML: Taking HRT-HOOD onto UML.

Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega

Proceedings of the Reliable Software Technologies, 2003