A new approach to optimal cell synthesis. - Jan Madsen (ICCAD, 1989)

Delay estimation for CMOS functional cells. - Jan Madsen (EURO-DAC, 1991)

Single-Level Wiring for CMOS Functional Cells. - Jan Madsen (VLSI, 1991)

Performance Aspects of Gate Matrix Layout. - Bjarne Hald; Jan Madsen (VLSI Design, 1993)

A codesign case study in computer graphics. - Jens P. Brage; Jan Madsen (CODES, 1994)

Modeling shared variables in VHDL. - Jan Madsen; Jens P. Brage (EURO-DAC, 1994)

An approach to interface synthesis. - Jan Madsen; Bjarne Hald (ISSS, 1995)

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

Aspects of system modelling in Hardware/Software partitioning. - Peter Voigt Knudsen; Jan Madsen (RSP, 1996)

Codesign analysis of a computer graphics application. - Jan Madsen; Jens P. Brage (Des. Autom. Embed. Syst., 1996)

Critical path driven cosynthesis for heterogeneous target architectures. - Peter Bjørn-Jørgensen; Jan Madsen (CODES, 1997)

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

Validation and testing of sC++ applications. - Jan Madsen (ECBS, 1997)

LYCOS: the Lyngby Co-Synthesis System. - Jan Madsen; Jesper Grode; Peter Voigt Knudsen; M. E. Petersen; Anne E. Haxthausen (Des. Autom. Embed. Syst., 1997)

Communication estimation for hardware/software codesign. - Peter Voigt Knudsen; Jan Madsen (CODES, 1998)

Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. - Jesper Grode; Peter Voigt Knudsen; Jan Madsen (DATE, 1998)

A Uni.ed Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. - Jesper Grode; Jan Madsen (EUROMICRO, 1998)

Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign. - Peter Voigt Knudsen; Jan Madsen (ISSS, 1998)

Graph based communication analysis for hardware/software codesign. - Peter Voigt Knudsen; Jan Madsen (CODES, 1999)

Embedded system synthesis under memory constraints. - Jan Madsen; Peter Bjørn-Jørgensen (CODES, 1999)

Integrating communication protocol selection with hardware/software codesign. - Peter Voigt Knudsen; Jan Madsen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

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

VRML visualization in a surgery planning and diagnostics application. - Hans Holten-Lund; Mogens Hvidtfeldt; Jan Madsen; Steen Pedersen (Web3D, 2000)

Embedded systems education for the future. - Wayne Wolf; Jan Madsen (Proc. IEEE, 2000)

A Sophomore Course in Codesign. - Jan Madsen; Jørgen Steensgaard-Madsen; Lars Christensen (Computer, 2002)

Power Constrained High-Level Synthesis of Battery Powered Digital Systems. - Sune Fallgaard Nielsen; Jan Madsen (DATE, 2003)

Abstract RTOS modeling for multiprocessor system-on-chip. - Jan Madsen; Kashif Virk; Mercury Gonzales (SoC, 2003)

Network-on-Chip Modeling for System-Level Multiprocessor Simulation. - Jan Madsen; Shankar Mahadevan; Kashif Virk; Mercury Gonzalez (RTSS, 2003)

Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. - Sune Fallgaard Nielsen; Jens Sparsø; Jan Madsen (DSD, 2004)

SoC-Mobinet, R&D and education in system-on-chip design. - Erwin Ofner; Jari Nurmi; Jan Madsen; Jouni Isoaho; Hannu Tenhunen (SoC, 2004)

A system-level multiprocessor system-on-chip modeling framework. - Kashif Virk; Jan Madsen (SoC, 2004)

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

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

System-level Modeling of Wireless Integrated Sensor Networks. - Kashif Virk; Knud Hansen; Jan Madsen (SoC, 2005)

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

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

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

Multi-Objective Design Space Exploration of Embedded System Platforms. - Jan Madsen; Thomas K. Stidsen; Peter Kjaerulf; Shankar Mahadevan (DIPES, 2006)

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

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

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

ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. - Shankar Mahadevan; Kashif Virk; Jan Madsen (Des. Autom. Embed. Syst., 2007)

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

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

Models and formal verification of multiprocessor system-on-chips. - Aske Wiid Brekling; Michael R. Hansen; Jan Madsen (J. Log. Algebraic Methods Program., 2008)

A Reactive and Cycle-True IP Emulator for MPSoC Exploration. - Shankar Mahadevan; Federico Angiolini; Jens Sparsø; Luca Benini; Jan Madsen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

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

Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips. - Elena Maftei; Paul Pop; Jan Madsen (CASES, 2009)

A compositional modelling framework for exploring MPSoC systems. - Anders Sejer Tranberg-Hansen; Jan Madsen (CODES+ISSS, 2009)

Identifying Inter-task Communication in Shared Memory Programming Models. - Per Larsen; Sven Karlsson; Jan Madsen (IWOMP, 2009)

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

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

Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. - Sune Fallgaard Nielsen; Jens Sparsø; Jan Madsen (IEEE Trans. Very Large Scale Integr. Syst., 2009)

Feasibility Study of a Self-healing Hardware Platform. - Michael Reibel Boesen; Pascal Schleuniger; Jan Madsen (ARC, 2010)

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

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

Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. - Elena Maftei; Paul Pop; Jan Madsen (Des. Autom. Embed. Syst., 2010)

Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms. - Peter Sørensen; Jan Madsen (Int. J. Embed. Real Time Commun. Syst., 2010)

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

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

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

System-level modeling and synthesis of flow-based microfluidic biochips. - Wajid Hassan Minhass; Paul Pop; Jan Madsen (CASES, 2011)

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

Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. - Per Larsen; Sven Karlsson; Jan Madsen (IEEE Trans. Ind. Informatics, 2011)

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

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

ASAM: Automatic Architecture Synthesis and Application Mapping. - 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; et al. (DSD, 2012)

Biochips: The integrated circuit of biology. - Jan Madsen (NORCHIP, 2012)

Optimal register allocation by augmented left-edge algorithm on arbitrary control-flow structures. - Mark Ruvald Pedersen; Jan Madsen (NORCHIP, 2012)

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

MDM: A Mode Diagram Modeling Framework - Zheng Wang 005; Geguang Pu; Jianwen Li; Jifeng He 001; Shengchao Qin; Kim G. Larsen; Jan Madsen; Bin Gu 006 (FTSCS, 2012)

Routing-based synthesis of digital microfluidic biochips. - Elena Maftei; Paul Pop; Jan Madsen (Des. Autom. Embed. Syst., 2012)

Application-specific fault-tolerant architecture synthesis for digital microfluidic biochips. - Mirela Alistar; Paul Pop; Jan Madsen (ASP-DAC, 2013)

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

Quality-driven model-based design of multi-processor embedded systems for highlydemanding applications. - Lech Józwiak; Jan Madsen (MECO, 2013)

Hierarchical DSE for multi-ASIP platforms. - Laura Micconi; Rosilde Corvino; Deepak Gangadharan; Jan Madsen; Paul Pop; Lech Józwiak (MECO, 2013)

Multi-ASIP platform synthesis for Event-Triggered applications with cost/performance trade-offs. - Deepak Gangadharan; Laura Micconi; Paul Pop; Jan Madsen (RTCSA, 2013)

Multi-ASIP platform synthesis for real-time applications. - Laura Micconi; Deepak Gangadharan; Paul Pop; Jan Madsen (SIES, 2013)

Introductions to special issue on ESWEEK 2011. - Reinaldo A. Bergamaschi; Sanjoy K. Baruah; Sebastian Fischmeister; Robert P. Dick; Jan Madsen; Rajesh Gupta 001; Vincent John Mooney III (Des. Autom. Embed. Syst., 2013)

Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution. - Elena Maftei; Paul Pop; Jan Madsen (ACM J. Emerg. Technol. Comput. Syst., 2013)

ASAM: Automatic architecture synthesis and application mapping. - 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; et al. (Microprocess. Microsystems, 2013)

Energy Harvesting - Wireless Sensor Networks for Indoors Applications Using IEEE 802.11. - Xenofon Fafoutis; Thomas Sørensen; Jan Madsen (ANT/SEIT, 2014)

EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. - Anh-Dung Phan; Michael R. Hansen; Jan Madsen (Specification, Algebra, and Software, 2014)

A Smart Mobile Lab-on-Chip-Based Medical Diagnostics System Architecture Designed for Evolvability. - François Patou; Maria Dimaki; Winnie E. Svendsen; Klaus Kjægaard; Jan Madsen (DSD, 2015)

Test-driven modeling of embedded systems. - Allan Munck; Jan Madsen (NORCAS, 2015)

Redundancy optimization for error recovery in digital microfluidic biochips. - Mirela Alistar; Paul Pop; Jan Madsen (Des. Autom. Embed. Syst., 2015)

System-level synthesis of multi-ASIP platforms using an uncertainty model. - Laura Micconi; Jan Madsen; Paul Pop (Integr., 2015)

Model-Based Evaluation of System Scalability: Bandwidth Analysis for Smartphone-Based Biosensing Applications. - François Patou; Maria Dimaki; Winnie E. Svendsen; Jan Madsen (DSD, 2016)

Smartphone-based biosensing platform evolution: Implementation of electrochemical analysis capabilities. - François Patou; Maria Dimaki; Winnie E. Svendsen; Claus Kjægaard; Jan Madsen (ISMICT, 2016)

Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures. - Mirela Alistar; Paul Pop; Jan Madsen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Taming Living Logic Using Formal Methods. - Hasan Baig; Jan Madsen (Models, Algorithms, Logics and Tools, 2017)

Logic analysis and verification of n-input genetic logic circuits. - Hasan Baig; Jan Madsen (DATE, 2017)

Synthesis of on-chip control circuits for mVLSI biochips. - Seetal Potluri; Alexander Schneider 002; Martin Horslev-Petersen; Paul Pop; Jan Madsen (DATE, 2017)

Volume management for fault-tolerant continuous-flow microfluidics. - Alexander Schneider 002; Paul Pop; Jan Madsen (DFT, 2017)

Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. - Nicolai Pedersen; Kenneth Lausdahl; Enrique Vidal Sanchez; Peter Gorm Larsen; Jan Madsen (SIMULTECH, 2017)

Distributed Co-simulation of Embedded Control Software Using INTO-CPS. - Nicolai Pedersen; Kenneth Lausdahl; Enrique Vidal Sanchez; Casper Thule; Peter Gorm Larsen; Jan Madsen (SIMULTECH (Selected Papers), 2017)

Co-simulation of cyber physical systems with HMI for human in the loop investigations. - Nicolai Pedersen; Tom Bojsen; Jan Madsen (SpringSim (TMS), 2017)

A systematic and practical method for selecting systems engineering tools. - Jan Madsen; Allan Munck (SysCon, 2017)

Test-driven modeling and development of cloud-enabled cyber-physical smart systems. - Allan Munck; Jan Madsen (SysCon, 2017)

D-VASim: an interactive virtual laboratory environment for the simulation and analysis of genetic circuits. - Hasan Baig; Jan Madsen (Bioinform., 2017)

Report on DATE 2018 in Dresden, Germany. - Jan Madsen; Ayse K. Coskun (IEEE Des. Test, 2018)

Scheduling and Fluid Routing for Flow-Based Microfluidic Laboratories-on-a-Chip. - Wajid Hassan Minhass; Jeffrey McDaniel; Michael Lander Raagaard; Philip Brisk; Paul Pop; Jan Madsen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Design-for-Testability of On-Chip Control in mVLSI Biochips. - Seetal Potluri; Paul Pop; Jan Madsen (IEEE Des. Test, 2019)

Model-based systems engineering for life-sciences instrumentation development. - François Patou; Maria Dimaki; Anja M. Maier; Winnie E. Svendsen; Jan Madsen (Syst. Eng., 2019)

A Primer for tinyML Predictive Maintenance: Input and Model Optimisation. - Emil J. Njor; Jan Madsen; Xenofon Fafoutis (AIAI (2), 2022)

AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips. - Jianan Xu; Wenjie Fan; Jan Madsen; Georgi Plamenov Tanev; Luca Pezzarossa (DATE, 2023)

Data Aware Neural Architecture Search. - Emil J. Njor; Jan Madsen; Xenofon Fafoutis (CoRR, 2023)

Computer Engineering Education. - Marilyn Wolf; Jan Madsen (Computer, 2023)

A Logic-Based Physical Simulation Framework for Digital Microfluidic Biochips. - Joel August Vest Madsen; Carl Alexander Jackson; Alexander Marc Collignon; Jan Madsen; Luca Pezzarossa (SAMOS, 2024)

A Parallel Synchronous Execution Engine and Target Language for Digital Microfluidics. - Luca Pezzarossa; Georgi Tanev; Winnie Edith Svendsen; Jan Madsen (SAMOS, 2024)

A Holistic Review of the TinyML Stack for Predictive Maintenance. - Emil J. Njor; Mohammad Amin Hasanpour; Jan Madsen; Xenofon Fafoutis (IEEE Access, 2024)

teemi: An open-source literate programming approach for iterative design-build-test-learn cycles in bioengineering. - Søren D. Petersen; Lucas Levassor; Christine M. Pedersen; Jan Madsen; Lea G. Hansen; Jie Zhang; Ahmad K. Haidar; Rasmus John Normand Frandsen; Jay D. Keasling; Tilmann Weber; Nikolaus Sonnenschein; Michael K. Jensen (PLoS Comput. Biol., 2024)

Fluid Volume Assignment for Flow-Based Biochips: State-of-the-Art and Research Challenges. - Alexander Schneider 002; Jan Madsen; Paul Pop (CoRR, 2025)