Juan Antonio de la Puente

According to our database1, Juan Antonio de la Puente
  • authored at least 50 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Computer Standards & 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. Exper., 2012

A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Generation Comp. 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
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
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. Embedded Comput. Syst., 2005

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

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

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

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 Systems, 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

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

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

Session 4: 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
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 Systems, 1993

The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
Real-Time Systems, 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...