Publications
Number of publications matching the search criterion: 8
Journal article (2)
An elucidation of blended modeling from an industrial perspective (Dec 2024) Jörg Holtmann , Federico Ciccozzi, Wim Bast , Joost Van Pinxten Springer Journal on Software and Systems Modeling (SoSym)
Flexible Modelling: a Systematic Literature Review (Jul 2024) Robbert Jongeling, Federico Ciccozzi - (-)
Conference/Workshop Paper (6)
Towards AI-Augmented Co-Compilation for Smart IoT Systems Through Domain-Specific LLMs Federico Ciccozzi 10th INTERNATIONAL CONFERENCE ON SMART AND SUSTAINABLE TECHNOLOGIES (SpliTech25)
A Hybrid Ontology for Identifying Safety Hazards and Security Threats (Nov 2024) Malina Adach, Alessio Bucaioni, Federico Ciccozzi The 8th International Conference on System Reliability and Safety (ICSRS24)
Model-based development and formal verification of a ROS2 multi-robot system using Timed Rebeca (Sep 2024) Hiep Hong Trinh, Marjan Sirjani, Mikael Sjödin, Federico Ciccozzi 40th Anniversary of the IEEE Conference on Robotics and Automation (ICRA@40)
Towards Compact Surface Languages for Specific Modelling Aspects in EAST-ADL (Jun 2024) Imad Berrouyne, Alessio Bucaioni, Federico Ciccozzi, Henrik Lönn 12th Embedded Real-Time Systems Congress (ERTS2024)
Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024) Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)
Timing-aware Variability Resolution in EAST-ADL Product Line Architecture (Dec 2023) Muhammad Waseem Anwar, Alessio Bucaioni, Federico Ciccozzi 30th Asia-Pacific Software Engineering Conference (APSEC2023)
