Marco Panunzio

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2015
Integrating Formal Timing Analysis in the Real-Time Software Development Process.
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.
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.
J. Syst. Archit., 2014

Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
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.
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.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Ada Ravenscar Code Archetypes for Component-Based Development.
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.
PhD thesis, 2011

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

2010
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.
IEEE Trans. Ind. Informatics, 2010

Bounding the Effects of Resource Access Protocols on Cache Behavior.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

A Component Model for On-board Software Applications.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Preservation of Timing Properties with the Ada Ravenscar Profile.
Proceedings of the Reliable Software Technologiey, 2010

2009
On Component-Based Development and High-Integrity Real-Time Systems.
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.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Fitting Schedulability Analysis Theory into Model-Driven Engineering.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
An Approach to the Timing Analysis of Hierarchical Systems.
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.
Proceedings of the Reliable Software Technologies, 2007


  Loading...