Personal information

Other IDs

Scopus Author ID: 7101735274
ResearcherID: L-5979-2014

Activities

Collapse all

Employment (1)

Iberia L.A.E.: Madrid, Madrid, ES

1987-01-01 to 1988-04 | Técnico de Grado Superior (Sistemas Sperry)
Employment
Source: Self-asserted source
Juan Zamorano

Education and qualifications (2)

Universidad Politécnica de Madrid: BOADILLA DEL MONTE, Comunidad de Madrid, ES

1995 | Phd Computer Science (Facultad de Informática)
Education
Source: Self-asserted source
Juan Zamorano

Universidad Politécnica de Madrid: Madrid, Comunidad de Madrid, ES

1987 | Computer Science (Facultad de Informática)
Education
Source: Self-asserted source
Juan Zamorano

Works (43)

Model-based Toolchain for Core Flight System (cFS) Embedded Systems

ACM Transactions on Embedded Computing Systems
2024-12-19 | Journal article
DOI: 10.1145/3706587
Contributors: Hugo Valente; Miguel de Miguel; Ángel Pérez-Muñoz; Alejandro Alonso; Juan Zamorano; Juan de la Puente
Source: check_circle
Crossref

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks

2018 | Book chapter
DOI: 10.1007/978-3-319-92432-8_5
Contributors: Jorge Garrido; Juan Zamorano; Alejandro Alonso; Juan A. de la Puente
Source: check_circle
Crossref

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

lecture notes in computer science
2017 | Conference paper
DOI: 10.1007/978-3-319-60588-3 1.
Source: Self-asserted source
Juan Zamorano

In Support of Extending the Ravenscar Profile.

Ada Letters
2016 | Journal article
DOI: 10.1145/2971571.2971579
Source: Self-asserted source
Juan Zamorano

ADA, the programming language of choice for the upmsat-2 satellite

European Space Agency, (Special Publication) ESA SP
2015 | Conference paper
EID:

2-s2.0-84943566184
Contributors: Garrido, J.; Zamorano, J.; De La Puente, J.A.; Alonso, A.; Salazar, E.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Safety concept for a mixed criticality on-board software system

IFAC-PapersOnLine
2015 | Journal article
DOI: 10.1016/j.ifacol.2015.08.138
EID:

2-s2.0-84992489189
Contributors: Alonso, A.; De La Puente, J.A.; Zamorano, J.; De Miguel, M.A.; Salazar, E.; Garrido, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Schedulability analysis of PWM tasks for the UPMSat-2 ADCS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-19584-1_6
EID:

2-s2.0-84947969742
Contributors: Zamorano, J.; Garrido, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Using Internet-based Technologies in a University Satellite Project

IFAC-PapersOnLine
2015 | Journal article
DOI: 10.1016/j.ifacol.2015.11.217
EID:

2-s2.0-84964286170
Contributors: De La Puente, J.A.; Garrido, J.; Salazar, E.; Zamorano, J.; Alonso, A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Argos-ESL: a versatile tool for planning and managing experiments on driving behavior

European Transport Research Review
2014 | Journal article
DOI: 10.1007/s12544-014-0143-3
EID:

2-s2.0-84920255240
Contributors: Pérez, A.; García, M.I.; Nieto, M.; Pedraza, J.L.; Rodríguez, S.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Experience in spacecraft on-board software development

Ada User Journal
2014 | Journal article
EID:

2-s2.0-84898854546
Contributors: De La Puente, J.A.; Alonso, A.; Zamorano, J.; Garrido, J.; Salazar, E.; De Miguel, M.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Model-driven design of real-time software for an experimental satellite

IFAC Proceedings Volumes (IFAC-PapersOnline)
2014 | Conference paper
EID:

2-s2.0-84929746635
Contributors: De La Puente, J.A.; Garrido, J.; Zamorano, J.; Alonso, A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Static analysis of WCET in a satellite software subsystem

OpenAccess Series in Informatics
2013 | Conference paper
DOI: 10.4230/OASIcs.WCET.2013.87
EID:

2-s2.0-84893327637
Contributors: Garrido, J.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

A platform for real-time control education with LEGO MINDSTORMS®

IFAC Proceedings Volumes (IFAC-PapersOnline)
2012 | Conference paper
DOI: 10.3182/20120619-3-RU-2024.00062
EID:

2-s2.0-84866055891
Contributors: Bradley, P.J.; De La Puente, J.A.; Zamorano, J.; Brosnan, D.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Analysis of WCET in an experimental satellite software development

OpenAccess Series in Informatics
2012 | Conference paper
DOI: 10.4230/OASIcs.WCET.2012.81
EID:

2-s2.0-84880102351
Contributors: Garrido, J.; Brosnan, D.; De La Puente, J.A.; Alonso, A.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Including Hardware/Software co-design in the ASSERT model driven engineering process

Ada User Journal
2012 | Journal article
EID:

2-s2.0-84873365105
Contributors: Ferrero, F.; Alaña, E.; Rodríguez, A.I.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Time and space partition platform for safe and secure flight software

European Space Agency, (Special Publication) ESA SP
2012 | Conference paper
EID:

2-s2.0-84871013606
Contributors: Esquinas, A.; Zamorano, J.; De La Puente, J.A.; Masmano, M.; Crespo, A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Ada user guide for LEGO MINDSTORMS NXT

Ada User Journal
2011 | Journal article
EID:

2-s2.0-80053987933
Contributors: Bradley, P.J.; De La Puente, J.A.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model

Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
2011 | Conference paper
DOI: 10.1109/SEAA.2011.40
EID:

2-s2.0-82955237801
Contributors: Pérez, H.; Gutiérrez, J.J.; Asensio, E.; Zamorano, J.; Puente, J.A.D.L.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

ORK+/XtratuM: An open partitioning platform for Ada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-21338-0_12
EID:

2-s2.0-79960202890
Contributors: Esquinas, Á.; Zamorano, J.; De La Puente, J.A.; Masmano, M.; Ripoll, I.; Crespo, A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Argos: An advanced in-vehicle data recorder on a massively sensorized vehicle for car driver behavior experimentation

IEEE Transactions on Intelligent Transportation Systems
2010 | Journal article
DOI: 10.1109/TITS.2010.2046323
EID:

2-s2.0-77953120951
Contributors: Pérez, A.; García, M.I.; Nieto, M.; Pedraza, J.L.; Rodríguez, S.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Design and implementation of real-time distributed systems with the ASSERT virtual machine

Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010
2010 | Conference paper
DOI: 10.1109/ETFA.2010.5641342
EID:

2-s2.0-78650528501
Contributors: Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Experience in programming device drivers with the Ravenscar profile

Ada User Journal
2010 | Journal article
EID:

2-s2.0-77955399718
Contributors: López, J.; Esquinas, Á.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Real-Time system development in ada using LEGO® Mindstorms® NXT

Proceedings of the ACM SIGAda Annual International Conference; SIGAda
2010 | Conference paper
DOI: 10.1145/1879063.1879077
EID:

2-s2.0-78650856886
Contributors: Bradley, P.J.; De La Puente, J.A.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

A restricted middleware profile for high-integrity distributed real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-01924-1_2
EID:

2-s2.0-69049083737
Contributors: Urueña, S.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

A new approach to memory partitioning in on-board spacecraft software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-68624-8_1
EID:

2-s2.0-45849121791
Contributors: Urueña, S.; Pulido, J.A.; López, J.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Communication paradigms for high-integrity distributed systems with hard real-time requirements

IFIP International Federation for Information Processing
2008 | Book
DOI: 10.1007/978-0-387-09661-2_15
EID:

2-s2.0-47249149793
Contributors: Uruñea, S.; Zamorano, J.; Pulido, J.A.; de la Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Implementing the New Ada 2005 real-time features on a bare board Kernel

Ada User Journal
2008 | Journal article
EID:

2-s2.0-49049095157
Contributors: Urueña, S.; Pulido, J.; Redondo, J.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

The assert virtual machine kernel: Support for preservation of temporal properties

European Space Agency, (Special Publication) ESA SP
2008 | Conference paper
EID:

2-s2.0-56349113794
Contributors: Zamorano, J.; De La Puente, J.A.; Pulido, J.A.; Urueña, S.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

The ASSERT Virtual Machine: A predictable platform for real-time systems

IFAC Proceedings Volumes (IFAC-PapersOnline)
2008 | Conference paper
DOI: 10.3182/20080706-5-KR-1001.3469
EID:

2-s2.0-79961018271
Contributors: De La Puente, J.A.; Zamorano, J.; Pulido, J.A.; Urueña, S.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

A framework for lab work management in mass courses. Application to Low Level Input/Output without hardware

Computers and Education
2007 | Journal article
DOI: 10.1016/j.compedu.2004.12.003
EID:

2-s2.0-33750021105
Contributors: Rodríguez, S.; Zamorano, J.; Rosales, F.; Dopico, A.G.; Pedraza, J.L.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Handling temporal faults in Ada 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-37849016657
Contributors: Pulido, J.A.; Urueña, S.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Hierarchical scheduling with Ada 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
DOI: 10.1007/11767077_1
EID:

2-s2.0-33746039677
Contributors: Pulido, J.A.; Urueña, S.; Zamorano, J.; Vardanega, T.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Schedulability analysis of AR-TP, a ravenscar compliant communication protocol for high-integrity distributed systems

20th International Parallel and Distributed Processing Symposium, IPDPS 2006
2006 | Conference paper
DOI: 10.1109/IPDPS.2006.1639400
EID:

2-s2.0-33847127952
Contributors: Urueña, S.; Zamorano, J.; Berjón, D.; Pulido, J.A.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

The Arbitrated Real-Time Protocol (AR-TP): A ravenscar compliant communication protocol for high-integrity distributed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-33746103649
Contributors: Urueña, S.; Zamorano, J.; Berjón, D.; Pulido, J.A.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

On the dynamic semantics and the timing behavior of Ravenscar kernels

Real-Time Systems
2005 | Journal article
DOI: 10.1023/B:TIME.0000048937.17571.2b
EID:

2-s2.0-10444223069
Contributors: Vardanega, T.; Zamorano, J.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Implementing execution-time clocks for the ada ravenscar profile

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
DOI: 10.1007/978-3-540-24841-5_10
EID:

2-s2.0-49049105424
Contributors: Zamorano, J.; Alonso, A.; Pulido, J.A.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

A test environment for high integrity software development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
EID:

2-s2.0-35248872038
Contributors: Alonso, A.; De La Puente, J.A.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Execution-time clocks and Ravenscar kernels

Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
2003 | Conference paper
DOI: 10.1145/959222.959237
EID:

2-s2.0-77953895878
Contributors: De La Puente, J.A.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

GNAT/ORK: An open cross-development environment for embedded Ravenscar-ADA software

IFAC Proceedings Volumes (IFAC-PapersOnline)
2002 | Conference paper
EID:

2-s2.0-84945548236
Contributors: Zamorano, J.; Ruiz, J.F.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001 | Book
EID:

2-s2.0-84944381952
Contributors: Zamorano, J.; Ruiz, J.F.; de la Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

The design and implementation of the open ravenscar kernel

Proceedings of the 10th International Real-Time Ada Workshop, IRTAW 2000
2001 | Conference paper
DOI: 10.1145/374370.374387
EID:

2-s2.0-85012919936
Contributors: De La Puente, J.A.; Zamorano, J.; Ruiz, J.; Fernández, R.; García, R.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

An open ravenscar real-time kernel for GNAT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000 | Book
EID:

2-s2.0-84957031371
Contributors: de la Puente, J.A.; Ruiz, J.F.; Zamorano, J.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier

Building safety-critical real-time systems with reusable cyclic executives

Control Engineering Practice
1997 | Journal article
DOI: 10.1016/S0967-0661(97)00088-9
EID:

2-s2.0-0031193767
Contributors: Zamorano, J.; Alonso, A.; De La Puente, J.A.
Source: Self-asserted source
Juan Zamorano via Scopus - Elsevier
How many people are using ORCID?