Silvia Mazzini

According to our database1, Silvia Mazzini authored at least 22 papers between 2003 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




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

Towards a Modeling and Analysis Environment for Industrial IoT systems.
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.
Proceedings of the Quality of Information and Communications Technology, 2021

Model-based Analysis Support for Dependable Complex Systems in CHESS.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Low-code engineering for internet of things: a state of research.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

LOD publication in the archival domain: methods and practices.
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

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

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.
Proceedings of the Euromicro Conference on Digital System Design, 2017

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory.
Proceedings of the Safe and Secure Software Reuse, 2013

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

LodLive, exploring the web of data.
Proceedings of the I-SEMANTICS 2012 - 8th International Conference on Semantic Systems, 2012

EAC-CPF Ontology and Linked Archival Data.
Proceedings of the 1st International Workshop on Semantic Digital Archives, 2011

Extending FeatuRSEB with Concepts from Systems Engineering.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

An MDE methodology for the development of high-integrity real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2009

Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Issues in Mapping HRT-HOOD to UML.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

HRT-UML: Taking HRT-HOOD onto UML.
Proceedings of the Reliable Software Technologies, 2003