Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Conference/Workshop Paper (2)

Generation of Correct-by-Construction Code from Design Models for Embedded Systems (Jun 2011)
Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola, Mikael Sjödin
6th IEEE International Symposium on Industrial Embedded Systems (SIES’11)

CHESS Tool presentation (Feb 2011)
Antonio Cicchetti, Federico Ciccozzi, Mikael Krekola, Silvia Mazzini , Marco Panunzio , Stefano Puri , Carlo Santamaria , Tullio Vardanega , Alessandro Zovi
1st TOPCASED Days

Items per page:
Apr 2024
Towards Adopting a Digital Twin Framework (ISO 23247) for Battery Systems
Apr 2024
Context Factors Perceived Important when Looking for Similar Experiences in Decision–Making for Software Components – An Interview Study
Apr 2024
An Extension of the Rasmussen Socio-technical System for Continuous Safety Assurance
Apr 2024
Safety of the Intended Functionality: What about Mental Harm?
Apr 2024
Experiences and Challenges from Developing Cyber-Physical Systems in Industry-Academia Collaboration
Apr 2024
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning