| | |
|
Journals
|
| | Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, Information and Software Technology, Elsevier, August, 2012 |
| | A Solution for Concurrent Versioning of Metamodels and Models, Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque (former), Journal of Object Technology (JOT), AITO, August, 2012 |
| | A hybrid approach for multi-view modeling, Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque (former), ECEASST, EASST, June, 2012 |
|
| | |
|
Theses
|
| | Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems, Mehrdad Saadatmand, Licentiate Thesis, Mälardalen University, May, 2012 |
| | Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems, Federico Ciccozzi, Licentiate Thesis, Mälardalens Högskola, February, 2012 |
| | Enabling Timing Analysis of Complex Embedded Software Systems, Johan Kraft (former), Ph D Thesis, Mälardalen University Press, August, 2010 |
|
| | |
|
Conferences and workshops
|
| | An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems, Federico Ciccozzi, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 16th International Symposium on Component-Based Software Engineering (CBSE) 2013, ACM, Vancouver (Canada), June, 2013 |
| | From Models to Code and Back: Correct-by-construction Code from UML and ALF, Federico Ciccozzi, ACM Student Research Competition (SRC) at ICSE 2013, ACM, San Francisco, USA, May, 2013 |
| | Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, 10th International Conference on Information Technology : New Generations (ITNG 2013), IEEE CS, Las Vegas, Nevada, April, 2013 |
| | Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems, Mehrdad Saadatmand, Mikael Sjödin, The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, December, 2012 |
| | Full Code Generation from UML Models for Complex Embedded Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, Second International Software Technology Exchange Workshop (STEW) 2012, Swedsoft (Online), Kista, Stockholm (Sweden), November, 2012 |
| | CHESS: a Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems, Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini (Intecs SpA), Stefano Puri (Intecs SpA), Marco Panunzio (University of Padova), Tullio Vardanega (University of Padova), Alessandro Zovi (University of Padova), 27th International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September, 2012 |
| | Toward Model-Based Trade-off Analysis of Non-Functional Requirements, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 38th Euromicro Conference on Software Engineering and Advanced Applications(SEAA), Cesme-Izmir, Turkey, September, 2012 |
| | Model-driven Dependability Analysis Method for Component-based Architectures, Barbara Gallina, Muhammad Atif Javed (external), Faiz Ul Muram (external), Sasikumar Punnekkat, Euromicro-SEAA Conference, IEEE Computer Society, Cesme, Izmir, Turkey, September, 2012 |
| | Design of Adaptive Security Mechanisms for Real-Time Embedded Systems, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 4th International Symposium on Engineering Secure Software and Systems (ESSoS), Eindhoven, The Netherlands, February, 2012 |
| | Supporting Incremental Synchronization in Hybrid Multi-View Modelling, Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque (former), Procs. of the 5th International Workshop on Multi-Paradigm Modeling - MPM'11 at the 14th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), Springer, December, 2011 |
| | UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Barcelona, Spain, October, 2011 |
| | FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures Analysis, Barbara Gallina, Sasikumar Punnekkat, International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE ) at Euromicro SEAA, p 493-500, IEEE Computer Society, Oulu, Finland, September, 2011 |
| | Towards a Round-Trip Support for Model-Driven Development of Embedded Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), Oulu, Finland, August, 2011 |
| | Fuzzy-enabled Failure Behaviour Analysis for Dependability Assessment of Networked Systems, Barbara Gallina, Aleksandar Dimov (former), Sasikumar Punnekkat, IEEE International Workshop on Measurement and Networking (M&N) , p 6, IEEE Computer Society, Anacapri, Italy, August, 2011 |
| | Deriving WCET Bounds by Abstract Execution, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011), Austrian Computer Society (OCG), Porto, Portugal, Editor(s):Chris Healy, July, 2011 |
| | Generation of Correct-by-Construction Code from Design Models for Embedded Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola (former), Mikael Sjödin, 6th IEEE International Symposium on Industrial Embedded Systems (SIES’11) , Västerås, Sweden, June, 2011 |
| | A Methodology for Designing Energy-aware Secure Embedded Systems, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 6th IEEE International Symposium on Industrial Embedded Systems (SIES’11) , Västerås, Sweden, June, 2011 |
| | An Open-Source Pivot Language for Proprietary Tools Chaining, Antonio Cicchetti, Federico Ciccozzi, Stefano Cucchiella (external), 8th Int. IEEE Workshop on Model-Based Development for Computer-Based Systems - Covering Domain and Design Knowledge in Models (ECBS-MBD 2011), Las Vegas (Nevada, USA), April, 2011 |
| | On the Need for Extending MARTE with Security Concepts, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin, 2nd International Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Grenoble (France), March, 2011 |
| | CHESS Tool presentation, Antonio Cicchetti, Federico Ciccozzi, Mikael Krekola (former), Silvia Mazzini (Intecs SpA), Marco Panunzio (University of Padova), Stefano Puri (Intecs SpA), Carlo Santamaria (University of Padova), Tullio Vardanega (University of Padova), Alessandro Zovi (University of Padova), 1st TOPCASED Days, Toulouse (France), February, 2011 |
| | Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects, Johan Kraft (former), Anders Wall (former), Holger Kienle (former), Proceedings of the First International Conference on Runtime Verification (RV 2010), Springer-Verlag (Lecture Notes in Computer Science), Malta, November, 2010 |
|
| | |
|
MRTC reports
|
| | Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-257/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, December, 2011 |
|
