Christian Menard

According to our database, Christian Menard authored at least 39 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deterministic Coordination across Multiple Timelines.

Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jerónimo Castrillón, Edward A. Lee

ACM Trans. Embed. Comput. Syst., September, 2024

Deterministic Reactive Programming for Cyber-physical Systems.

Christian Menard

PhD thesis, 2024

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency.

Shaokai Lin, Erling Rennemo Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jerónimo Castrillón, Sanjit Seshia, Edward A. Lee

CoRR, 2024

Timing enclaves for performance in Lingua Franca.

Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jerónimo Castrillón

Proceedings of the Forum on Specification & Design Languages, 2024

2023

High-performance Deterministic Concurrency Using Lingua Franca.

Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jerónimo Castrillón, Edward A. Lee

ACM Trans. Archit. Code Optim., December, 2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee

CoRR, 2022

Pragmatics Twelve Years Later: A Report on Lingua Franca.

Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Toward a Lingua Franca for Deterministic Concurrent Systems.

Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2021

Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks.

Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jerónimo Castrillón

ACM Trans. Embed. Comput. Syst., 2021

Quantifying and Generalizing the CAP Theorem.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2021

Mocasin - Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores.

Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jerónimo Castrillón

Proceedings of the DroneSE and RAPIDO '21: Methods and Tools, 2021

2020

The gem5 Simulator: Version 20.0+.

Jason Lowe-Power, Abdul Mutaal Ahmad, Ayaz Akram, Mohammad Alian, Rico Amslinger, Matteo Andreozzi, Adrià Armejach, Nils Asmussen, Srikant Bharadwaj, Gabe Black, Gedare Bloom, Bobby R. Bruce, Daniel Rodrigues Carvalho, Jerónimo Castrillón, Lizhong Chen, Nicolas Derumigny, Stephan Diestelhorst, Wendy Elsasser, Marjan Fariborz, Amin Farmahini Farahani, Pouya Fotouhi, Ryan Gambord, Jayneel Gandhi, Dibakar Gope, Thomas Grass, Bagus Hanindhito, Andreas Hansson, Swapnil Haria, Austin Harris, Timothy Hayes, Adrian Herrera, Matthew Horsnell, Syed Ali Raza Jafri, Radhika Jagtap, Hanhwi Jang, Reiley Jeyapaul, Timothy M. Jones, Matthias Jung, Subash Kannoth, Hamidreza Khaleghzadeh, Yuetsu Kodama, Tushar Krishna, Tommaso Marinelli, Christian Menard, Andrea Mondelli, Tiago Mück, Omar Naji, Krishnendra Nathella, Hoa Nguyen, Nikos Nikoleris, Lena E. Olson, Marc S. Orr, Binh Pham, Pablo Prieto, Trivikram Reddy, Alec Roelke, Mahyar Samani, Andreas Sandberg, Javier Setoain, Boris Shingarov, Matthew D. Sinclair, Tuan Ta, Rahul Thakur, Giacomo Travaglini, Michael Upton, Nilay Vaish, Ilias Vougioukas, Zhengrong Wang, Norbert Wehn, Christian Weis, David A. Wood, Hongil Yoon, Éder F. Zulian

CoRR, 2020

Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach.

Robert Wittig, Andrés Goens, Christian Menard, Emil Matús, Gerhard P. Fettweis, Jerónimo Castrillón

Proceedings of the 27th International Conference on Telecommunications, 2020

A Language for Deterministic Coordination Across Multiple Timelines.

Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee

Proceedings of the Forum for Specification and Design Languages, 2020

Achieving Determinism in Adaptive AUTOSAR.

Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

On Compact Mappings for Multicore Systems.

Andrés Goens, Christian Menard, Jerónimo Castrillón

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

2018

A Hardware/Software Stack for Heterogeneous Systems.

Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich

IEEE Trans. Multi Scale Comput. Syst., 2018

The influence of brain iron and myelin on magnetic susceptibility and effective transverse relaxation - A biochemical and histological validation study.

Simon Hametner, Verena Endmayr, Andreas Deistung, Pilar Palmrich, Max Prihoda, Evelin Haimburger, Christian Menard, Xiang Feng, Thomas Haider, Marianne Leisser, Ulrike Köck, Alexandra Kaider, Romana Höftberger, Simon Robinson, Jürgen R. Reichenbach, Hans Lassmann, Hannes Traxler, Siegfried Trattnig, Günther Grabner

NeuroImage, 2018

On the Representation of Mappings to Multicores.

Andres Goens, Christian Menard, Jerónimo Castrillón

Proceedings of the 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018

2017

System simulation with gem5 and SystemC: The keystone for full interoperability.

Christian Menard, Jerónimo Castrillón, Matthias Jung, Norbert Wehn

Proceedings of the 2017 International Conference on Embedded Computer Systems: Architectures, 2017

Efficient STT-RAM last-level-cache architecture to replace DRAM cache.

Fazal Hameed, Christian Menard, Jerónimo Castrillón

Proceedings of the International Symposium on Memory Systems, 2017

2016

High-level NoC model for MPSoC compilers.

Christian Menard, Andres Goens, Jerónimo Castrillón

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2016

2011

A New Home-Based Training System for Cardiac Rehabilitation.

Christian Menard, Raimund Antonitsch

Proceedings of the Wireless Mobile Communication and Healthcare, 2011

2008

Anonymity and Application Privacy in Context of Mobile Computing in eHealth.

Daniel Slamanig, Christian Stingl, Christian Menard, Martina Heiligenbrunner, Jürgen Thierry

Proceedings of the Mobile Response, 2008

Evaluation of the Geometric Accuracy of Automatically Recorded 3D - City Models Compared to GIS-Data.

Gerald Gruber, Christian Menard, Bernhard Schachinger

Proceedings of the European Information Society: Taking Geoinformation Science One Step Further, 2008

2005

Spatial approach in river basin management using decision making strategies.

Christian Menard

Proceedings of the ICINCO 2005, 2005

1999

On Estimating the Position of Fragments on Rotational Symmetric Pottery.

Robert Sablatnig, Christian Menard

Proceedings of the 2nd International Conference on 3D Digital Imaging and Modeling (3DIM '99), 1999

1998

Classification of archaeological fragments using a description language.

Robert Sablatnig, Christian Menard, Walter G. Kropatsch

Proceedings of the 9th European Signal Processing Conference, 1998

Stereo Correspondences in Scale Space.

Christian Menard

Proceedings of the Computer Vision, 1998

Adaptive Area-based Stereo Matching.

Christian Menard, Robert Sablatnig

Proceedings of the Conference on Three-Dimensional Image Capture and Applications, 1998

1997

Adaptive Stereo Matching in Correlation Scale-Space.

Christian Menard, Walter G. Kropatsch

Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

Stereo Matching Using M-Estimators.

Christian Menard, Ales Leonardis

Proceedings of the Computer Analysis of Images and Patterns, 7th International Conference, 1997

Robust stereo for 3D acquisition.

Christian Menard

Proceedings of the Three-Dimensional Image Capture, San Jose, CA, USA, February 8, 1997, 1997

1996

Automated Color Specification of Archaeological Objects.

Christian Menard, Ingeborg Tastl

Proceedings of the 4th Color and Imaging Conference, 1996

Robust stereo on multiple resolutions.

Christian Menard, Ales Leonardis

Proceedings of the 13th International Conference on Pattern Recognition, 1996

1992

Stereo and Structured Light as Acquisition Methods in the Field of Archaeology.

Robert Sablatnig, Christian Menard

Proceedings of the Mustererkennung 1992, 1992