Jan Madsen

Elena Maftei, Paul Pop, Jan Madsen: Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution. JETC 9(1): 2 (2013)

Wajid Hassan Minhass, Paul Pop, Jan Madsen, Tsung-Yi Ho: Control synthesis for the flow-based microfluidic large-scale integration biochips. ASP-DAC 2013: 205-212

Mirela Alistar, Paul Pop, Jan Madsen: Application-specific fault-tolerant architecture synthesis for digital microfluidic biochips. ASP-DAC 2013: 794-800

Elena Maftei, Paul Pop, Jan Madsen: Routing-based synthesis of digital microfluidic biochips. Design Autom. for Emb. Sys. 16(1): 19-44 (2012)

Wajid Hassan Minhass, Paul Pop, Jan Madsen, Felician Stefan Blaga: Architectural synthesis of flow-based microfluidic large-scale integration biochips. CASES 2012: 181-190

Junhe Gan, Paul Pop, Flavius Gruian, Jan Madsen: Robust and flexible mapping for real-time distributed applications during the early design phases. DATE 2012: 935-940

Lech Józwiak, Menno Lindwer, Rosilde Corvino, Paolo Meloni, Laura Micconi, Jan Madsen, Erkan Diken, Deepak Gangadharan, Roel Jordans, Sebastiano Pomata, Paul Pop, Giuseppe Tuveri, Luigi Raffo: ASAM: Automatic Architecture Synthesis and Application Mapping. DSD 2012: 216-225

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)

Per Larsen, Sven Karlsson, Jan Madsen: Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. IEEE Trans. Industrial Informatics 7(4): 652-660 (2011)

Michael Reibel Boesen, Jan Madsen, Paul Pop: Application-aware optimization of redundant resources for the reconfigurable self-healing eDNA hardware architecture. AHS 2011: 66-73

Michael Reibel Boesen, Didier Keymeulen, Jan Madsen, Thomas Lu, Tien-Hsin Chao: Integration of the self-healing eDNA architecture in a liquid crystal waveguide-based Fourier Transform Spectrometer. AHS 2011: 303-310

Junhe Gan, Flavius Gruian, Paul Pop, Jan Madsen: Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems. ASP-DAC 2011: 731-736

Wajid Hassan Minhass, Paul Pop, Jan Madsen: System-level modeling and synthesis of flow-based microfluidic biochips. CASES 2011: 225-234

Paul Pop, Elena Maftei, Jan Madsen: Recent research and emerging challenges in the System-Level Design of digital microfluidic biochips. SoCC 2011: 6-11

Robert P. Dick, Jan Madsen (Eds.): Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek '11 Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011. ACM 2011, isbn 978-1-4503-0715-4

Elena Maftei, Paul Pop, Jan Madsen: Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. Design Autom. for Emb. Sys. 14(3): 287-307 (2010)

Peter Sørensen, Jan Madsen: Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms. IJERTCS 1(1): 37-63 (2010)

Michael Reibel Boesen, Pascal Schleuniger, Jan Madsen: Feasibility Study of a Self-healing Hardware Platform. ARC 2010: 29-41

Elena Maftei, Paul Pop, Jan Madsen: Routing-based synthesis of digital microfluidic biochips. CASES 2010: 41-50

Prabhat Kumar Saraswat, Paul Pop, Jan Madsen: Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 89-98

Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen: DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. WOWMOM 2010: 1-9

Prabhat Kumar Saraswat, Paul Pop, Jan Madsen: Task migration for fault-tolerance in mixed-criticality embedded systems. SIGBED Review 6(3): 6 (2009)

S. F. Nielsen, Jens Sparsø, Jan Madsen: Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. IEEE Trans. VLSI Syst. 17(2): 248-261 (2009)

Michael Reibel Boesen, Jan Madsen: eDNA: A Bio-Inspired Reconfigurable Hardware Cell Architecture Supporting Self-organisation and Self-healing. AHS 2009: 147-154

Elena Maftei, Paul Pop, Jan Madsen: Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips. CASES 2009: 195-204

Anders Sejer Tranberg-Hansen, Jan Madsen: A compositional modelling framework for exploring MPSoC systems. CODES+ISSS 2009: 1-10

Per Larsen, Sven Karlsson, Jan Madsen: Identifying Inter-task Communication in Shared Memory Programming Models. IWOMP 2009: 168-182

Anders Sejer Tranberg-Hansen, Jan Madsen: Exploration of a digital audio processing platform using a compositional system level performance estimation framework. SIES 2009: 54-57

Aske Wiid Brekling, Michael R. Hansen, Jan Madsen: Models and formal verification of multiprocessor system-on-chips. J. Log. Algebr. Program. 77(1-2): 1-19 (2008)

Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen: A Reactive and Cycle-True IP Emulator for MPSoC Exploration. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 109-122 (2008)

Kehuai Wu, Esben Rosenlund Hansen, Jan Madsen: Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. ERSA 2008: 97-103

Anders Sejer Tranberg-Hansen, Jan Madsen, Bjørn Sand Jensen: A service based estimation method for MPSoC performance modelling. SIES 2008: 43-50

Shankar Mahadevan, Kashif Virk, Jan Madsen: ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. Design Autom. for Emb. Sys. 11(4): 285-311 (2007)

Kehuai Wu, Andreas Kanstein, Jan Madsen, Mladen Berekovic: MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture. ARC 2007: 26-38

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling: Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems 2007: 300-319

Kehuai Wu, Jan Madsen: COSMOS: A System-Level Modelling and Simulation Framework for Coprocessor-Coupled Reconfigurable Systems. ICSAMOS 2007: 128-136

Rudy Lauwereins, Jan Madsen (Eds.): 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. ACM 2007, isbn 978-3-9810801-2-4

Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan: Multi-Objective Design Space Exploration of Embedded System Platforms. DIPES 2006: 185-194

Shankar Mahadevan, Federico Angiolini, Michael Storgaard, Rasmus Grøndahl Olsen, Jens Sparsø, Jan Madsen: A Network Traffic Generator Model for Fast Network-on-Chip Simulation. DATE 2005: 780-785

Kashif Virk, Jan Madsen, Andreas Vad Lorentzen, Martin Leopold, Philippe Bonnet: Design of A Development Platform for HW/SW Codesign ofWireless Integrated Sensor Nodes. DSD 2005: 254-260

Shankar Mahadevan, Michael Storgaard, Jan Madsen, Kashif Virk: ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality. MASCOTS 2005: 480-483

Jari Nurmi, Jan Madsen, Erwin Ofner, Jouni Isoaho, Hannu Tenhunen: The SoC-Mobinet Model in System-on-Chip Education. MSE 2005: 71-72

Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen: A Traffic Injection Methodology with Support for System-Level Synchronization. VLSI-SoC 2005: 145-161

S. F. Nielsen, Jens Sparsø, Jan Madsen: Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. DSD 2004: 298-305

S. F. Nielsen, Jan Madsen: Power Constrained High-Level Synthesis of Battery Powered Digital Systems. DATE 2003: 11136-11137

Jan Madsen, Shankar Mahadevan, Kashif Virk, Mercury Gonzalez: Network-on-Chip Modeling for System-Level Multiprocessor Simulation. RTSS 2003: 265-274

Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen: A Sophomore Course in Codesign. IEEE Computer 35(11): 108-110 (2002)

Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu (Eds.): Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. ACM 2001, isbn 1-58113-364-2

Thomas Gleerup, Hans Holten-Lund, Jan Madsen, Steen Pedersen: Memory architecture for efficient utilization of SDRAM: a case study of the computation/memory access trade-off. CODES 2000: 51-55

Hans Holten-Lund, Mogens Hvidtfeldt, Jan Madsen, Steen Pedersen: VRML visualization in a surgery planning and diagnostics application. Web3D 2000: 111-118

Frank Vahid, Jan Madsen (Eds.): Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000. ACM 2000, isbn 1-58113-268-9

Peter Voigt Knudsen, Jan Madsen: Integrating communication protocol selection with hardware/software codesign. IEEE Trans. on CAD of Integrated Circuits and Systems 18(8): 1077-1095 (1999)

Peter Voigt Knudsen, Jan Madsen: Graph based communication analysis for hardware/software codesign. CODES 1999: 131-135

Jan Madsen, Peter Bjørn-Jørgensen: Embedded system synthesis under memory constraints. CODES 1999: 188-192

Peter Voigt Knudsen, Jan Madsen: Communication estimation for hardware/software codesign. CODES 1998: 55-59

Jesper Grode, Peter Voigt Knudsen, Jan Madsen: Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. DATE 1998: 22-27

Jesper Grode, Jan Madsen: A Uni.ed Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. EUROMICRO 1998: 10065-10069

Peter Voigt Knudsen, Jan Madsen: Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign. ISSS 1998: 111-116

Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne Elisabeth Haxthausen: LYCOS: the Lyngby Co-Synthesis System. Design Autom. for Emb. Sys. 2(2): 195-235 (1997)

Peter Bjørn-Jørgensen, Jan Madsen: Critical path driven cosynthesis for heterogeneous target architectures. CODES 1997: 15-22

D. C. R. Jensen, Jan Madsen, Steen Pedersen: The importance of interfaces: a HW/SW codesign case study. CODES 1997: 87-94

Jan Madsen: Validation and testing of sC++ applications. ECBS 1997: 491-497

Jan Madsen, Jens P. Brage: Codesign analysis of a computer graphics application. Design Autom. for Emb. Sys. 1(1-2): 121-145 (1996)

Peter Voigt Knudsen, Jan Madsen: PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning. CODES 1996: 85-93

Jan Madsen, Bjarne Hald: An approach to interface synthesis. ISSS 1995: 16-21

Jens P. Brage, Jan Madsen: A codesign case study in computer graphics. CODES 1994: 132-139

Jan Madsen, Jens P. Brage: Modeling shared variables in VHDL. EURO-DAC 1994: 486-491

Bjarne Hald, Jan Madsen: Performance Aspects of Gate Matrix Layout. VLSI Design 1993: 226-229

Jan Madsen: Single-Level Wiring for CMOS Functional Cells. VLSI 1991: 317-326