Daniel Gracia Pérez
Orcid: 0000-0002-5364-8244Affiliations:
- Thales Research & Technology, Palaiseau, France
- Technical University of Valencia, DSIC/ITI, Spain (former)
- KTH - Royal Institute of Technology, Stockholm, Sweden (former)
- University INRIA Futurs, Paris, France (former)
According to our database1,
Daniel Gracia Pérez
authored at least 28 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.
Proceedings of the Tests and Proofs - 18th International Conference, 2024
2023
J. Syst. Archit., 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Securing Communication in the Field: Protecting Geo-distributed Computing in an Untrusted Environment.
Proceedings of the 30th Computer & Electronics Security Application Rendezvous Conference (C&ESAR 2023) co-located with the 8th European Cyber Week (ECW 2023), 2023
2022
CoRR, 2022
2020
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020
2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
2018
Job-shifting: An algorithm for online admission of non-preemptive aperiodic tasks in safety critical systems.
J. Syst. Archit., 2018
2017
Online admission of non-preemptive aperiodic mixed-critical tasks in hierarchic schedules.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
2014
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014
2012
Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012
2010
Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010
The GIDOC Prototype.
Proceedings of the Pattern Recognition in Information Systems, 2010
Proceedings of the Seamless Care - Safe Care - The Challenges of Interoperability and Patient Safety in Health Care, 2010
2009
Proceedings of the 11th International Conference on Multimodal Interfaces, 2009
Confidence Measures for Error Correction in Interactive Transcription Handwritten Text.
Proceedings of the Image Analysis and Processing, 2009
Proceedings of the 10th International Conference on Document Analysis and Recognition, 2009
2007
Non-invasive lightweight integration engine for building EHR from autonomous distributed systems.
Int. J. Medical Informatics, 2007
UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development.
IEEE Comput. Archit. Lett., 2007
2006
2005
2004
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004
Proceedings of the 2004 Design, 2004