Marco Panunzio

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 2

Top Venues

Ada-Europe

WOSP-C@ICPE

J. Syst. Softw.

J. Syst. Archit.

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. ECRTS (2017)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
Integrating Formal Timing Analysis in the Real-Time Software Development Process. WOSP-C@ICPE (2015)
Marco Panunzio, Tullio Vardanega
An architectural approach with separation of concerns to address extra-functional requirements in the development of embedded real-time software systems. J. Syst. Archit. 60 (9) (2014)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software. MODELSWARD (2014)
Marco Panunzio, Tullio Vardanega
A component-based process with separation of concerns for the development of embedded real-time software systems. J. Syst. Softw. 96 (2014)
Marco Panunzio, Tullio Vardanega
On Software Reference Architectures and Their Application to the Space Domain. ICSR (2013)
Marco Panunzio, Tullio Vardanega
Ada Ravenscar Code Archetypes for Component-Based Development. Ada-Europe (2012)
Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. ASE (2012)
Marco Panunzio, Tullio Vardanega
Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions. SIGBED Rev. 8 (1) (2011)
Marco Panunzio, Tullio Vardanega
A Component Model for On-board Software Applications. EUROMICRO-SEAA (2010)
Enrico Mezzetti, Marco Panunzio, Tullio Vardanega
Preservation of Timing Properties with the Ada Ravenscar Profile. Ada-Europe (2010)
Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Ind. Informatics 6 (2) (2010)
Enrico Mezzetti, Marco Panunzio, Tullio Vardanega
Bounding the Effects of Resource Access Protocols on Cache Behavior. WCET (2010)
Marco Panunzio, Tullio Vardanega
On Component-Based Development and High-Integrity Real-Time Systems. RTCSA (2009)
Matteo Bordin, Marco Panunzio, Tullio Vardanega
Fitting Schedulability Analysis Theory into Model-Driven Engineering. ECRTS (2008)
Matteo Bordin, Marco Panunzio, Stefano Puri
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. ASE (2008)
Marco Panunzio, Tullio Vardanega
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. Ada-Europe (2007)
Marco Panunzio, Tullio Vardanega
An Approach to the Timing Analysis of Hierarchical Systems. RTCSA (2007)

Marco Panunzio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Panunzio