Juan Antonio de la Puente

According to our database1, Juan Antonio de la Puente authored at least 65 papers between 1991 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.
J. Syst. Softw., 2020

2018
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Comput. Stand. Interfaces, 2017

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Adjusting middleware knobs to suit CPS domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Automated Model-based Testing Based on an Agnostic-platform Modeling Language.
Proceedings of the MODELSWARD 2015, 2015

2013
Static analysis of WCET in a satellite software subsystem.
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

A Model-Based Framework for Developing Real-Time Safety Ada Systems.
Proceedings of the Reliable Software Technologies, 2013

2012
Application of Deadlock Risk Evaluation of Architectural Models.
Softw. Pract. Exp., 2012

A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Gener. Comput. Syst., 2012

Analysis of WCET in an experimental satellite software development.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

A Platform for Real-Time Control Education with LEGO MINDSTORMS.
Proceedings of the 9th IFAC Symposium Advances in Control Education, 2012

2011
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

ORK+/XtratuM: An Open Partitioning Platform for Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Real-time system development in ada using LEGO® mindstorms® NXT.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Design and implementation of real-time distributed systems with the ASSERT Virtual Machine.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Dynamic adaptation mechanisms in multimedia embedded systems.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Time-Predictable Reconfiguration with Contract-Based Resource Management.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
Proceedings of the Reliable Software Technologies, 2009

2008
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.
Proceedings of the Distributed Embedded Systems: Design, 2008

A New Approach to Memory Partitioning in On-Board Spacecraft Software.
Proceedings of the Reliable Software Technologies, 2008

2007
Ada 2005 code patterns for metamodel-based code generation.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Summary.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Handling Temporal Faults in Ada 2005.
Proceedings of the Reliable Software Technologies, 2007

2006
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.
Proceedings of the Reliable Software Technologies, 2006

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

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

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

2004
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
Proceedings of the Reliable Software Technologies, 2004

2003
Execution-time clocks and Ravenscar kernels.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Session: status and future of the Ravenscar profile.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

A Test Environment for High Integrity Software Development.
Proceedings of the Reliable Software Technologies, 2003

2002
Precise response time analysis for Ravenscar kernels.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: safety improvements for consideration.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session on real-time, fault tolerance, and distribution.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

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

2001
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

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

2000
Real-Time Object-Oriented Design and Formal Methods.
Real Time Syst., 2000

A First Assessment of Development Processes with Respect to Product Lines and Component Based Development.
Proceedings of the Software Architectures for Product Families, 2000

The design and implementation of the open Ravenscar kernel.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Implementation of mode changes with the Ravenscar profile.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

An Open Ravenscar Real-Time Kernel for GNAT.
Proceedings of the Reliable Software Technologies, 2000

1999
Real-time programming with GNAT: specialised kernels versus POSIX threads.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998
Architecture Recovery for Software Evolution.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Software Architecture Evaluation Model.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

Analysis of Software Architectures.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

Assessment of Timing Properties of Family Products.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

A Case Study in Quantitative Evaluation of Real-Time Software Architectures.
Proceedings of the Reliable Software Technologies, 1998

1997
Object-oriented programming and real-time (session summary).
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Components for the implementation of fixed priority real-time systems in ADA.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Framework for documenting design decisions in product families development .
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

Object-oriented design of real-time systems with stereotypes.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996
Building Reusable Software Architectures with Ada 95.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.
Proceedings of the Reliable Software Technologies, 1996

1995
Animation of heterogeneous prototypes of real-time systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Dynamic replacement of software in hard real-time systems: practical assessment.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1993
Distributed Execution of Specifications.
Real Time Syst., 1993

The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
Real Time Syst., 1993

Dynamic replacement of software in hard real-time systems.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992
Real time object communication protocol for incremental and distributed prototyping.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Reusable Executives for Hard Real-Time Systems in Ada.
Proceedings of the Ada: Moving Towards 2000, 1992

1991
Constructing a Pilot Library of Components for Avionic Systems.
Proceedings of the Ada: The Choice for '92, Ada-Europe International Conference, 1991


  Loading...