A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. - Marco Panunzio; Tullio Vardanega (Ada-Europe, 2007)

An Approach to the Timing Analysis of Hierarchical Systems. - Marco Panunzio; Tullio Vardanega (RTCSA, 2007)

Fitting Schedulability Analysis Theory into Model-Driven Engineering. - Matteo Bordin; Marco Panunzio; Tullio Vardanega (ECRTS, 2008)

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. - Matteo Bordin; Marco Panunzio; Stefano Puri (ASE, 2008)

On Component-Based Development and High-Integrity Real-Time Systems. - Marco Panunzio; Tullio Vardanega (RTCSA, 2009)

Preservation of Timing Properties with the Ada Ravenscar Profile. - Enrico Mezzetti; Marco Panunzio; Tullio Vardanega (Ada-Europe, 2010)

A Component Model for On-board Software Applications. - Marco Panunzio; Tullio Vardanega (EUROMICRO-SEAA, 2010)

Bounding the Effects of Resource Access Protocols on Cache Behavior. - Enrico Mezzetti; Marco Panunzio; Tullio Vardanega (WCET, 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)

Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions. - Marco Panunzio; Tullio Vardanega (SIGBED Rev., 2011)

Definition, realization and evaluation of a software reference architecture for use in space applications. - Marco Panunzio (2011)

Ada Ravenscar Code Archetypes for Component-Based Development. - Marco Panunzio; Tullio Vardanega (Ada-Europe, 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 (ASE, 2012)

On Software Reference Architectures and Their Application to the Space Domain. - Marco Panunzio; Tullio Vardanega (ICSR, 2013)

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 (MODELSWARD, 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)

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)

Integrating Formal Timing Analysis in the Real-Time Software Development Process. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (WOSP-C@ICPE, 2015)

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. - Zain Alabedin Haj Hammadeh; Sophie Quinton; Marco Panunzio; Rafik Henia; Laurent Rioux; Rolf Ernst (ECRTS, 2017)