Follow
Christian Menard
Christian Menard
Chair for Compiler Construction, TU Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
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
2482020
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
742021
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
512017
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
342018
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
292020
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
212020
Quantifying and Generalizing the CAP Theorem
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2109.07771, 2021
172021
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
142022
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
132021
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
132017
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
122020
On the Representation of Mappings to Multicores
A Goens, C Menard, J Castrillon
2018 IEEE 12th International Symposium on Embedded Multicore/Many-core …, 2018
112018
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
102023
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
102022
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
82021
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
62023
A language for deterministic coordination across multiple timelines. In 2020 Forum for Specification and Design Languages (FDL)
M Lohstroh, C Menard, A Schulz-Rosengarten, M Weber, J Castrillon, ...
IEEE, 2020
62020
Consistency vs. Availability in Distributed Real-Time Systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2301.08906, 2023
52023
High-level NoC model for MPSoC compilers
C Menard, A Goens, J Castrillon
2016 IEEE Nordic Circuits and Systems Conference (NORCAS), 1-6, 2016
42016
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
32023
The system can't perform the operation now. Try again later.
Articles 1–20