Publications
Number of publications matching the search criterion: 30
Doctoral Thesis (3)
Preservation of Extra-Functional Properties in Embedded Systems Development (Feb 2015) Mehrdad Saadatmand
From Models to Code and Back: A Round-trip Approach for Model-driven Engineering of Embedded Systems (Jan 2014) Federico Ciccozzi
Enabling Timing Analysis of Complex Embedded Software Systems (Aug 2010) Johan Kraft
Licentiate Thesis (2)
Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems (May 2012) Mehrdad Saadatmand
Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems (Feb 2012) Federico Ciccozzi
Journal article (3)
Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems (Jun 2013) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin Information and Software Technology
A Solution for Concurrent Versioning of Metamodels and Models (Aug 2012) Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque Journal of Object Technology (JOT)
A hybrid approach for multi-view modeling (Jun 2012) -- Best Paper Award-- Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque Electronic Communications of the EASST (ECEASST)
Conference/Workshop Paper (21)
An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems (Jun 2013) Federico Ciccozzi, Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin The 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'13)
From Models to Code and Back: Correct-by-construction Code from UML and ALF (May 2013) Federico Ciccozzi ACM Student Research Competition (SRC) at ICSE 2013
Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems (Apr 2013) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin 10th International Conference on Information Technology : New Generations (ITNG 2013)
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems (Dec 2012) Mehrdad Saadatmand , Mikael Sjödin The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
Full Code Generation from UML Models for Complex Embedded Systems (Nov 2012) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin Second International Software Technology Exchange Workshop (STEW) 2012
CHESS: a Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems (Sep 2012) Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini , Stefano Puri , Marco Panunzio , Tullio Vardanega , Alessandro Zovi 27th International Conference on Automated Software Engineering (ASE 2012)
Toward Model-Based Trade-off Analysis of Non-Functional Requirements (Sep 2012) Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin 38th Euromicro Conference on Software Engineering and Advanced Applications(SEAA)
Model-driven Dependability Analysis Method for Component-based Architectures (Sep 2012) Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)
Design of Adaptive Security Mechanisms for Real-Time Embedded Systems (Feb 2012) Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin 4th International Symposium on Engineering Secure Software and Systems (ESSoS)
Supporting Incremental Synchronization in Hybrid Multi-View Modelling (Dec 2011) Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque Procs. of the 5th International Workshop on Multi-Paradigm Modeling - MPM11 at the 14th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS)
UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems (Oct 2011) Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin The Sixth International Conference on Software Engineering Advances (ICSEA 2011)
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures Analysis (Sep 2011) Barbara Gallina, Sasikumar Punnekkat International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE 2011)
Towards a Round-Trip Support for Model-Driven Development of Embedded Systems (Aug 2011) -- Best Paper Award-- Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011)
Fuzzy-enabled Failure Behaviour Analysis for Dependability Assessment of Networked Systems (Aug 2011) Barbara Gallina, Aleksandar Dimov, Sasikumar Punnekkat Measurements & Networking (M&N 2011)
Deriving WCET Bounds by Abstract Execution (Jul 2011) Andreas Ermedahl, Jan Gustafsson, Björn Lisper Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)
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 (SIES11)
A Methodology for Designing Energy-aware Secure Embedded Systems (Jun 2011) Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin 6th IEEE International Symposium on Industrial Embedded Systems (SIES11)
An Open-Source Pivot Language for Proprietary Tools Chaining (Apr 2011) Antonio Cicchetti, Federico Ciccozzi, Stefano Cucchiella 8th Int. IEEE Workshop on Model-Based Development for Computer-Based Systems - Covering Domain and Design Knowledge in Models (ECBS-MBD 2011)
On the Need for Extending MARTE with Security Concepts (Mar 2011) Mehrdad Saadatmand , Antonio Cicchetti, Mikael Sjödin 2nd International Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011)
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
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects (Nov 2010) Johan Kraft, Anders Wall, Holger Kienle Proceedings of the First International Conference on Runtime Verification (RV 2010)
Report - MRTC (1)
Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems (Dec 2011) Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
