The gem5 simulator: Version 20.0+ J Lowe-Power, AM Ahmad, A Akram, M Alian, R Amslinger, M Andreozzi, ... arXiv preprint arXiv:2007.03152, 2020 | 341 | 2020 |
Toward a Lingua Franca for Deterministic Concurrent Systems M Lohstroh, C Menard, S Bateni, EA Lee ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-27, 2021 | 114 | 2021 |
System simulation with gem5 and systemc: The keystone for full interoperability C Menard, J Castrillon, M Jung, N Wehn 2017 International Conference on Embedded Computer Systems: Architectures …, 2017 | 61 | 2017 |
Achieving determinism in adaptive AUTOSAR C Menard, A Goens, M Lohstroh, J Castrillon 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 822-827, 2020 | 39 | 2020 |
A hardware/software stack for heterogeneous systems J Castrillon, M Lieber, S Klüppelholz, M Voelp, N Asmussen, U Assmann, ... IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2018 | 38 | 2018 |
A Language for Deterministic Coordination Across Multiple Timelines M Lohstroh, C Menard, A Schulz-Rosengarten, M Weber, J Castrillon, ... 2020 Forum for Specification and Design Languages (FDL), 1-8, 2020 | 29 | 2020 |
High-Performance Deterministic Concurrency using Lingua Franca C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ... arXiv preprint arXiv:2301.02444, 2023 | 28 | 2023 |
Quantifying and Generalizing the CAP Theorem EA Lee, S Bateni, S Lin, M Lohstroh, C Menard arXiv preprint arXiv:2109.07771, 2021 | 22 | 2021 |
Pragmatics twelve years later: a report on Lingua Franca R von Hanxleden, EA Lee, H Fuhrmann, A Schulz-Rosengarten, ... International Symposium on Leveraging Applications of Formal Methods, 60-89, 2022 | 20 | 2022 |
Domain-specific hybrid mapping for energy-efficient baseband processing in wireless networks R Khasanov, J Robledo, C Menard, A Goens, J Castrillon ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021 | 16 | 2021 |
Efficient STT-RAM last-level-cache architecture to replace DRAM cache F Hameed, C Menard, J Castrillon Proceedings of the International Symposium on Memory Systems, 141-151, 2017 | 16 | 2017 |
Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach R Wittig, A Goens, C Menard, E Matus, GP Fettweis, J Castrillon 2020 27th International Conference on Telecommunications (ICT), 1-5, 2020 | 14 | 2020 |
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | 13 | 2023 |
Consistency vs. Availability in Distributed Cyber-Physical Systems EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023 | 13 | 2023 |
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ... arXiv preprint arXiv:2207.09555, 2022 | 13 | 2022 |
Mocasin—Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores C Menard, A Goens, G Hempel, R Khasanov, J Robledo, F Teweleitt, ... Proceedings of the 2021 Drone Systems Engineering and Rapid Simulation and …, 2021 | 13 | 2021 |
On the Representation of Mappings to Multicores A Goens, C Menard, J Castrillon 2018 IEEE 12th International Symposium on Embedded Multicore/Many-core …, 2018 | 13 | 2018 |
Dataflow Models of computation for programming heterogeneous multicores J Castrillon, K Desnos, A Goens, C Menard Handbook of Computer Architecture, 1107-1146, 2024 | 8 | 2024 |
Deterministic coordination across multiple timelines M Lohstroh, S Bateni, C Menard, A Schulz-Rosengarten, J Castrillon, ... ACM Transactions on Embedded Computing Systems 23 (5), 1-29, 2024 | 7 | 2024 |
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems EA Lee, S Bateni, S Lin, M Lohstroh, C Menard Intelligent Computing 2, 0013, 2023 | 7 | 2023 |