Logotype Mälardalenn University
This web site has been moved.
Please visit our new and improved web site at: http://www.es.mdh.se/
Startpage www.mdh.se

PROGRESS publications

Time period:
Publication type:
Filter:
   

 
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 (MDH master student), Faiz Ul Muram (MDH master student), 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
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2013.02.25