According to our database1, Silvia Mazzini authored at least 22 papers between 2003 and 2021.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
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
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
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
Proceedings of the I-SEMANTICS 2012 - 8th International Conference on Semantic Systems, 2012
Proceedings of the 1st International Workshop on Semantic Digital Archives, 2011
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003
Proceedings of the Reliable Software Technologies, 2003