Marco Panunzio

发表

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

Marco Panunzio, Marco Panunzio, 2011 .

An Approach to the Timing Analysis of Hierarchical Systems

Tullio Vardanega, Marco Panunzio, 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

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

Tullio Vardanega, Marco Panunzio, T. Vardanega, 2014, J. Syst. Archit..

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

Tullio Vardanega, Marco Panunzio, 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

The Component Layer of Cordet On-Board Software Architecture

Tullio Vardanega, Adrian Grenham, Marco Panunzio, 2012 .

Integrating model-based formal timing analysis in the industrial development process of satellite on-board software

Marco Panunzio, Rafik Henia, Laurent Rioux, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Space On-Board Software Reference Architecture

Silvia Mazzini, Marco Panunzio, Andreas Jung, 2010 .

Multiple Viewpoints System/ Software Engineering for Space

Marco Panunzio, Gerald Garcia, Gael Blondelle, 2013 .

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

Tullio Vardanega, Marco Panunzio, 2007, Ada-Europe.

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

Matteo Bordin, Stefano Puri, Marco Panunzio, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Preservation of Timing Properties with the Ada Ravenscar Profile

Tullio Vardanega, Marco Panunzio, Enrico Mezzetti, 2010, Ada-Europe.

Charting the evolution of the Ada Ravenscar code archetypes

Tullio Vardanega, Marco Panunzio, T. Vardanega, 2013, ALET.

Gem #92: code archetypes for real-time programming - part 2

Marco Panunzio, 2012, ALET.

CHESS Tool presentation

Tullio Vardanega, Federico Ciccozzi, Antonio Cicchetti, 2011 .

A Component Model for On-board Software Applications

Tullio Vardanega, Marco Panunzio, 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

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

Tullio Vardanega, Marco Panunzio, 2011, SIGBED.

Gem #89

Marco Panunzio, 2012, ALET.

Bounding the Effects of Resource Access Protocols on Cache Behavior

Tullio Vardanega, Marco Panunzio, Enrico Mezzetti, 2010, WCET.

Ada Ravenscar Code Archetypes for Component-Based Development

Tullio Vardanega, Marco Panunzio, 2012, Ada-Europe.

Fitting Schedulability Analysis Theory into Model-Driven Engineering

Tullio Vardanega, Matteo Bordin, Marco Panunzio, 2008, 2008 Euromicro Conference on Real-Time Systems.

A Reinterpretation of Patterns to Increase the Expressive Power of Model-Driven Engineering

Tullio Vardanega, Matteo Bordin, Marco Panunzio, 2008 .

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

Marco Panunzio, Rafik Henia, Laurent Rioux, 2015, WOSP '15.

Temporal isolation with the ravenscar profile and Ada 2005

Tullio Vardanega, Marco Panunzio, Enrico Mezzetti, 2010, ALET.

On Software Reference Architectures and Their Application to the Space Domain

Tullio Vardanega, Marco Panunzio, T. Vardanega, 2013, ICSR.

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

Tullio Vardanega, Marco Panunzio, 2014, J. Syst. Softw..

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

Tullio Vardanega, Roberto Passerone, Daniela Cancila, 2010, IEEE Transactions on Industrial Informatics.

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

Tullio Vardanega, Federico Ciccozzi, Antonio Cicchetti, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

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

Rolf Ernst, Sophie Quinton, Marco Panunzio, 2017, ECRTS.