Tullio Vardanega

Affiliations:
  • University of Padua, Italy
  • European Space Research & Technology Centre, Noordwijk, Netherlands


According to our database1, Tullio Vardanega authored at least 108 papers between 1991 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling.
J. Syst. Archit., 2021

2020
A new start: Introducing the journal-track proceedings of the 24th Ada-Europe conference on reliable software technologies.
J. Syst. Archit., 2020

The effects of coding on children's planning and inhibition skills.
Comput. Educ., 2020

2019
Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey.
ACM Comput. Surv., 2019

The Scalability Challenge of Ethereum: An Initial Quantitative Analysis.
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

A Little Look Outside of the Box.
Proceedings of the Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

2018
Fitting Software Execution-Time Exceedance into a Residual Random Fault in ISO-26262.
IEEE Trans. Reliab., 2018

Reconciling Time Predictability and Performance in Future Computing Systems.
IEEE Des. Test, 2018

DevOps Meets Dynamic Orchestration.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

A two-staged capstone project to foster university-business dialogue.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Designing and Implementing Elastically Scalable Services - A State-of-the-art Technology Review.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

In Pursuit of Architectural Agility: Experimenting with Microservices.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration.
IEEE Trans. Computers, 2017

On uses of extreme value theory fit for industrial-quality WCET analysis.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Software Time Reliability in the Presence of Cache Memories.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Fitting processor architectures for measurement-based probabilistic timing analysis.
Microprocess. Microsystems, 2016

Measurement-Based Timing Analysis of the AURIX Caches.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Mitigating Software-Instrumentation Cache Effects in Measurement-Based Timing Analysis.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore.
Proceedings of the Computer Safety, Reliability, and Security, 2016

An automated framework for the timing analysis of applications for an automotive multicore processor.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016


Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems.
Leibniz Trans. Embed. Syst., 2015

Software-enforced Interconnect Arbitration for COTS Multicores.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Reconciling Service Orientation with the Cloud.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

WCET analysis methods: Pitfalls and challenges on their trustworthiness.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A time-composable operating system for the Patmos processor.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Introduction to partial time composability for COTS multicores.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Experimental Evaluation of Optimal Schedulers Based on Partitioned Proportionate Fairness.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Timing analysis of an avionics case study on complex hardware/software platforms.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Resource usage templates and signatures for COTS multicore processors.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Increasing confidence on measurement-based contention bounds for real-time round-robin buses.
Proceedings of the 52nd Annual Design Automation Conference, 2015

A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 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

Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

SPRINT: Extending RUN to Schedule Sporadic Tasks.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Implementing Elastic Capacity in a Service-Oriented PaaS.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Putting RUN into Practice: Implementation and Evaluation.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
PROARTIS: Probabilistically Analyzable Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2013

Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources.
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Upper-bounding Program Execution Time with Extreme Value Theory.
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Kernel-level time composability for avionics applications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A rapid cache-aware procedure positioning optimization to favor incremental development.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Achieving timing composability with measurement-based probabilistic timing analysis.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Supporting industrial use of probabilistic timing analysis with explicit argumentation.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

On Software Reference Architectures and Their Application to the Space Domain.
Proceedings of the Safe and Secure Software Reuse, 2013

Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory.
Proceedings of the Safe and Secure Software Reuse, 2013

Limited preemptive scheduling of non-independent task sets.
Proceedings of the International Conference on Embedded Software, 2013

Towards a Time-Composable Operating System.
Proceedings of the Reliable Software Technologies, 2013

2012
A Time-composable Operating System.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 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

PaaSSOA: An Open PaaS Architecture for Service Oriented Applications.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Towards a New Paas Architecture Generation.
Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

An MDE approach to address synchronization needs in component-based real-time systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Ada Ravenscar Code Archetypes for Component-Based Development.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

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

Measuring I/O Performance in Xen Paravirtualization Virtual Machines.
Proceedings of the CLOSER 2011, 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

A Multi-Agent System for the Automated Handling of Experimental Protocols in Biological Laboratories.
Proceedings of the 11th WOA 2010 Workshop, 2010

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

Towards a Cache-Aware Development of High Integrity Real-Time Systems.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 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

Cache-Aware Development of High-Integrity Systems.
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

Property Preservation and Composition with Guarantees: From ASSERT to CHESS.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

An MDE methodology for the development of high-integrity real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2009

Requirements on the Target Programming Language for High-Integrity MDE.
Proceedings of the Reliable Software Technologies, 2009

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

Real-time Java from an automated code generation perspective.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.
Proceedings of the Reliable Software Technologies, 2007

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.
Proceedings of the Reliable Software Technologies, 2007

2006
Property-Preserving Reuse-Geared Approach to Model-Driven Development.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Hierarchical Scheduling with Ada 2005.
Proceedings of the Reliable Software Technologies, 2006

2005
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real Time Syst., 2005

Automated Model-Based Generation of Ravenscar-Compliant Source Code.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

A New Strategy for the HRT-HOOD to Ada Mapping.
Proceedings of the Reliable Software Technology, 2005

2004
Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003
Issues in Mapping HRT-HOOD to UML.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

HRT-UML: Taking HRT-HOOD onto UML.
Proceedings of the Reliable Software Technologies, 2003

2002
Engineering software reuse for on-board embedded real-time systems.
Softw. Pract. Exp., 2002

Using Object Orientation in High Integrity Applications: A Case Study.
Proceedings of the Reliable Software Technologies, 2002

2001
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

1999
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems.
Softw. Pract. Exp., 1999

On the Distribution of Control Functions in New-Generation On-Board Embedded Real-Time Systems.
Scalable Comput. Pract. Exp., 1999

A Case Study in the Reuse of On-board Embedded Real-Time Software.
Proceedings of the Reliable Software Technologies, 1999

1998
Productive engineering of predictable embedded real-time systems: the road to maturity.
Inf. Softw. Technol., 1998

On the Construction of New-Generation On-Board Real-Time Systems.
Integr. Comput. Aided Eng., 1998

1996
Tool support for the construction of statically analysable hard real-time Ada systems.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

1995
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
Experience with the Development of Hard Real-Time Embedded Ada Software.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
The use of preemptive priority-based scheduling for space applications.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

1991
An operating system suited for integrated broadband communications networks.
Proceedings of the 16th Conference on Local Computer Networks, 1991


  Loading...