Marco Panunzio

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