Perez, Jon
1877  results:
Search for persons X
?
 
?
2

SAFEXPLAIN: Safe and Explainable Critical Embedded Systems ..:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),
 
?
3

Optimization Techniques and Formal Verification for the Sof..:

Perez, Jon ; Flores, Jose Luis ; Blum, Christian..
IEEE Transactions on Industrial Informatics.  18 (2022)  1 - p. 620-630 , 2022
 
?
 
?
 
?
8

A Safety Concept for an Automotive Lithium-based Battery Ma..:

, In: 2019 Electric Vehicles International Conference (EV),
 
?
9

Towards Linux for the Development of Mixed-Criticality Embe..:

, In: 2019 15th European Dependable Computing Conference (EDCC),
Allende, Imanol ; Mc Guire, Nicholas ; Perez, Jon... - p. 47-54 , 2019
 
?
10

Modular Development and Certification of Dependable Mixed-C..:

, In: 2017 Euromicro Conference on Digital System Design (DSD),
 
?
 
?
12

Supporting pattern-based dependability engineering via mode..:

Hamid, Brahim ; Perez, Jon
Journal of Systems and Software.  122 (2016)  - p. 239-273 , 2016
 
?
13

SAFEPOWER Project: Architecture for Safe and Power-Efficien..:

, In: 2016 Euromicro Conference on Digital System Design (DSD),
 
?
14

Modeling logical execution time based safety-critical embed..:

, In: 2014 3rd Mediterranean Conference on Embedded Computing (MECO),
 
1-15