WCET analysis methods: Pitfalls and challenges on their trustworthiness J Abella, C Hernández, E Quiñones, FJ Cazorla, PR Conmy, ... 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015 | 144 | 2015 |
Multi-core devices for safety-critical systems: A survey JP Cerrolaza, R Obermaisser, J Abella, FJ Cazorla, K Grüttner, I Agirre, ... ACM Computing Surveys (CSUR) 53 (4), 1-38, 2020 | 76 | 2020 |
R3TOS: a novel reliable reconfigurable real-time operating system for highly adaptive, efficient, and dependable computing on FPGAs X Iturbe, K Benkrid, C Hong, A Ebrahim, R Torrego, I Martinez, T Arslan, ... IEEE Transactions on computers 62 (8), 1542-1556, 2013 | 67 | 2013 |
A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs X Iturbe, M Azkarate, I Martinez, J Perez, A Astarloa 2009 International Conference on Field Programmable Logic and Applications …, 2009 | 60 | 2009 |
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems S Trujillo, A Crespo, A Alonso, J Pérez Microprocessors and Microsystems 38 (8), 921-932, 2014 | 51 | 2014 |
Codesign and simulated fault injection of safety-critical embedded systems using SystemC J Perez, M Azkarate-Askasua, A Perez 2010 European Dependable Computing Conference, 221-229, 2010 | 44 | 2010 |
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems M Fakih, A Lenz, M Azkarate-Askasua, J Coronel, A Crespo, ... Microprocessors and Microsystems 52, 89-105, 2017 | 32* | 2017 |
IEC-61508 SIL 3 compliant pseudo-random number generators for probabilistic timing analysis I Agirre, M Azkarate-Askasua, C Hernandez, J Abella, J Perez, ... 2015 Euromicro Conference on Digital System Design, 677-684, 2015 | 31 | 2015 |
A safety concept for a wind power mixed-criticality embedded system based on multicore partitioning J Perez, D Gonzalez, S Trujillo, T Trapman, JM Garate 11th International TUV Rheinland Symposium “Functional Safety in Industrial …, 2014 | 30 | 2014 |
Model-driven engineering for trusted embedded systems based on security and dependability patterns B Hamid, J Geisel, A Ziani, JM Bruel, J Perez SDL 2013: Model-Driven Dependability Engineering: 16th International SDL …, 2013 | 26 | 2013 |
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation B Hamid, J Perez Journal of Systems and Software 122, 239-273, 2016 | 23 | 2016 |
GiD v. 13 User Manual A Coll, R Ribó, M Pasenau, E Escolano, J Perez, A Melendo, A Monros, ... Computer Software, 2016 | 23 | 2016 |
A modular safety case for an IEC-61508 compliant generic hypervisor A Larrucea, J Perez, I Agirre, V Brocal, R Obermaisser 2015 Euromicro Conference on Digital System Design, 571-574, 2015 | 22 | 2015 |
A safety concept for an IEC-61508 compliant fail-safe wind power mixed-criticality system based on multicore and partitioning J Perez, D Gonzalez, S Trujillo, T Trapman Ada-Europe International Conference on Reliable Software Technologies, 3-17, 2015 | 21 | 2015 |
European project cluster on mixed-criticality systems S Trujillo, R Obermaisser, K Grüttner, FJ Cazorla, J Perez Design, Automation and Test in Europe (DATE) Workshop 3PMCES, 2014 | 21 | 2014 |
GPU devices for safety-critical systems: A survey J Perez-Cerrolaza, J Abella, L Kosmidis, AJ Calderon, F Cazorla, ... ACM Computing Surveys 55 (7), 1-37, 2022 | 18 | 2022 |
A modular safety case for an IEC 61508 compliant generic COTS processor A Larrucea, J Perez, R Obermaisser 2015 IEEE International Conference on Computer and Information Technology …, 2015 | 18 | 2015 |
A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning J Perez, D Gonzalez, CF Nicolas, T Trapman, JM Garate 2014 17th Euromicro Conference on Digital System Design, 394-400, 2014 | 18 | 2014 |
R3TOS-based autonomous fault-tolerant systems X Iturbe, A Ebrahim, K Benkrid, C Hong, T Arslan, J Perez, D Keymeulen, ... IEEE Micro 34 (6), 20-30, 2014 | 18 | 2014 |
GiD The Personal Pre and Postprocessor R Ribó, M Pasenau, E Escolano, J Pérez, A Coll, A Melendo, S González Reference Manual, 2006 | 17 | 2006 |