Christian Menard

41 papers A 1B 1C 5Journal 14Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Deterministic Coordination across Multiple Timelines. ACM Trans. Embed. Comput. Syst. Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jerónimo Castrillón, Edward A. Lee
2024	—	`—`	Deterministic Reactive Programming for Cyber-physical Systems. Christian Menard
2024	J	`jnl`	PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR 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 A. Seshia, Edward A. Lee
2024	C	`conf`	Timing enclaves for performance in Lingua Franca. FDL Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jerónimo Castrillón
2023	J	`jnl`	Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023	J	`jnl`	Consistency vs. Availability in Distributed Real-Time Systems. CoRR Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023	J	`jnl`	High-Performance Deterministic Concurrency using Lingua Franca. CoRR 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
2023	J	`jnl`	High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 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
2023	C	`conf`	Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee
2022	—	`conf`	Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
2022	J	`jnl`	Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
2021	J	`jnl`	Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks. ACM Trans. Embed. Comput. Syst. Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jerónimo Castrillón
2021	—	`conf`	Mocasin - Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores. DroneSE/RAPIDO@HiPEAC Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jerónimo Castrillón
2021	J	`jnl`	Quantifying and Generalizing the CAP Theorem. CoRR Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2021	J	`jnl`	Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Trans. Embed. Comput. Syst. Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee
2020	C	`conf`	A Language for Deterministic Coordination Across Multiple Timelines. FDL Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee
2020	A	`conf`	Achieving Determinism in Adaptive AUTOSAR. DATE Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón
2020	—	`conf`	Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach. ICT Robert Wittig, Andrés Goens, Christian Menard, Emil Matús, Gerhard P. Fettweis, Jerónimo Castrillón
2020	J	`jnl`	The gem5 Simulator: Version 20.0+. CoRR 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
2019	J	`jnl`	Achieving Determinism in Adaptive AUTOSAR. CoRR Christian Menard, Andres Goens, Marten Lohstroh, Jerónimo Castrillón
2019	—	`conf`	On Compact Mappings for Multicore Systems. SAMOS Andrés Goens, Christian Menard, Jerónimo Castrillón
2018	J	`jnl`	A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 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
2018	—	`conf`	On the Representation of Mappings to Multicores. MCSoC Andres Goens, Christian Menard, Jerónimo Castrillón
2018	J	`jnl`	The influence of brain iron and myelin on magnetic susceptibility and effective transverse relaxation - A biochemical and histological validation study. NeuroImage 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
2017	—	`conf`	Efficient STT-RAM last-level-cache architecture to replace DRAM cache. MEMSYS Fazal Hameed, Christian Menard, Jerónimo Castrillón
2017	—	`conf`	System simulation with gem5 and SystemC: The keystone for full interoperability. SAMOS Christian Menard, Jerónimo Castrillón, Matthias Jung, Norbert Wehn
2016	—	`conf`	High-level NoC model for MPSoC compilers. NORCAS Christian Menard, Andres Goens, Jerónimo Castrillón
2011	—	`conf`	A New Home-Based Training System for Cardiac Rehabilitation. MobiHealth Christian Menard, Raimund Antonitsch
2008	—	`conf`	Anonymity and Application Privacy in Context of Mobile Computing in eHealth. Mobile Response Daniel Slamanig, Christian Stingl, Christian Menard, Martina Heiligenbrunner, Jürgen Thierry
2008	—	`conf`	Evaluation of the Geometric Accuracy of Automatically Recorded 3D - City Models Compared to GIS-Data. AGILE Conf. Gerald Gruber, Christian Menard, Bernhard Schachinger
2005	C	`conf`	Spatial approach in river basin management using decision making strategies. ICINCO Christian Menard
1999	—	`conf`	On Estimating the Position of Fragments on Rotational Symmetric Pottery. 3DIM Robert Sablatnig, Christian Menard
1998	—	`conf`	Adaptive Area-based Stereo Matching. Three-Dimensional Image Capture and Applications Christian Menard, Robert Sablatnig
1998	—	`conf`	Classification of archaeological fragments using a description language. EUSIPCO Robert Sablatnig, Christian Menard, Walter G. Kropatsch
1998	—	`conf`	Stereo Correspondences in Scale Space. ACCV (1) Christian Menard
1997	—	`conf`	Adaptive Stereo Matching in Correlation Scale-Space. ICIAP (1) Christian Menard, Walter G. Kropatsch
1997	—	`conf`	Robust stereo for 3D acquisition. Three-Dimensional Image Capture Christian Menard
1997	C	`conf`	Stereo Matching Using M-Estimators. CAIP Christian Menard, Ales Leonardis
1996	—	`conf`	Automated Color Specification of Archaeological Objects. CIC Christian Menard, Ingeborg Tastl
1996	B	`conf`	Robust stereo on multiple resolutions. ICPR Christian Menard, Ales Leonardis
1992	—	`conf`	Stereo and Structured Light as Acquisition Methods in the Field of Archaeology. DAGM-Symposium Robert Sablatnig, Christian Menard