Marco Panunzio

According to our database, Marco Panunzio authored at least 19 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems.

Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2015

Integrating Formal Timing Analysis in the Real-Time Software Development Process.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, 2015

2014

A component-based process with separation of concerns for the development of embedded real-time software systems.

Marco Panunzio, Tullio Vardanega

J. Syst. Softw., 2014

An architectural approach with separation of concerns to address extra-functional requirements in the development of embedded real-time software systems.

Marco Panunzio, Tullio Vardanega

J. Syst. Archit., 2014

Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

On Software Reference Architectures and Their Application to the Space Domain.

Marco Panunzio, Tullio Vardanega

Proceedings of the Safe and Secure Software Reuse, 2013

2012

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Ada Ravenscar Code Archetypes for Component-Based Development.

Marco Panunzio, Tullio Vardanega

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Definition, realization and evaluation of a software reference architecture for use in space applications.

Marco Panunzio

PhD thesis, 2011

Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions.

Marco Panunzio, Tullio Vardanega

SIGBED Rev., 2011

2010

Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.

Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio

IEEE Trans. Ind. Informatics, 2010

Bounding the Effects of Resource Access Protocols on Cache Behavior.

Enrico Mezzetti, Marco Panunzio, Tullio Vardanega

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

A Component Model for On-board Software Applications.

Marco Panunzio, Tullio Vardanega

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Preservation of Timing Properties with the Ada Ravenscar Profile.

Enrico Mezzetti, Marco Panunzio, Tullio Vardanega

Proceedings of the Reliable Software Technologiey, 2010

2009

On Component-Based Development and High-Integrity Real-Time Systems.

Marco Panunzio, Tullio Vardanega

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

2008

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.

Matteo Bordin, Marco Panunzio, Stefano Puri

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Fitting Schedulability Analysis Theory into Model-Driven Engineering.

Matteo Bordin, Marco Panunzio, Tullio Vardanega

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

An Approach to the Timing Analysis of Hierarchical Systems.

Marco Panunzio, Tullio Vardanega

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.

Marco Panunzio, Tullio Vardanega

Proceedings of the Reliable Software Technologies, 2007