| Interference-Aware Scheduling for Inference Serving D Mendoza, F Romero, Q Li, NJ Yadwadkar, C Kozyrakis Proceedings of the 1st Workshop on Machine Learning and Systems, 80-88, 2021 | 24 | 2021 |
| nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel International Conference on Computer Aided Verification, 383-396, 2023 | 22 | 2023 |
| RISC Compiler and Simulator, Release V0. 6.0: Out-of-Order Parallel Simulatable SystemC Subset G Liu, T Schmidt, Z Cheng, D Mendoza, R Dömer Technical Report CECS-TR-19-04, Center for Embedded and Cyber-physical …, 2019 | 12 | 2019 |
| Pushing the Limits of Parallel Discrete Event Simulation for SystemC. R Dömer, Z Cheng, D Mendoza, E Arasteh A Journey of Embedded and Cyber-Physical Systems, 97-105, 2021 | 3 | 2021 |
| A Tool for Visualization of SystemC Modules D Mendoza, R Dömer Center for Embedded and Cyber-Physical Systems, 2017 | 3 | 2017 |
| Integrating Parallel SystemC Simulation into Simics (R) Virtual Platform D Mendoza, A Dingankar, Z Cheng, R Dömer Proceedings of the Design and Verification Conference in Europe, Munich, Germany, 2019 | 2 | 2019 |
| Lazy event prediction using defining trees and schedule bypass for out-of-order PDES D Mendoza, Z Cheng, E Arasteh, R Domer 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 885-890, 2020 | 1 | 2020 |
