Jan Madsen

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 25

Top Venues

DATE

IEEE Des. Test

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

ASP-DAC

Publications

Jianan Xu, Wenjie Fan, Jan Madsen, Georgi Plamenov Tanev, Luca Pezzarossa
AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips. DATE (2023)
Emil J. Njor, Jan Madsen, Xenofon Fafoutis
Data Aware Neural Architecture Search. CoRR (2023)
Marilyn Wolf, Jan Madsen
Computer Engineering Education. Computer 56 (11) (2023)
Emil Njor, Jan Madsen, Xenofon Fafoutis
A Primer for tinyML Predictive Maintenance: Input and Model Optimisation. AIAI (2) (2022)
Seetal Potluri, Paul Pop, Jan Madsen
Design-for-Testability of On-Chip Control in mVLSI Biochips. IEEE Des. Test 36 (1) (2019)
François Patou, Maria Dimaki, Anja M. Maier, Winnie E. Svendsen, Jan Madsen
Model-based systems engineering for life-sciences instrumentation development. Syst. Eng. 22 (2) (2019)
Wajid Hassan Minhass, Jeffrey McDaniel, Michael Lander Raagaard, Philip Brisk, Paul Pop, Jan Madsen
Scheduling and Fluid Routing for Flow-Based Microfluidic Laboratories-on-a-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (3) (2018)
Jan Madsen, Ayse K. Coskun
Report on DATE 2018 in Dresden, Germany. IEEE Des. Test 35 (4) (2018)
Allan Munck, Jan Madsen
Test-driven modeling and development of cloud-enabled cyber-physical smart systems. SysCon (2017)
Hasan Baig, Jan Madsen
Logic analysis and verification of n-input genetic logic circuits. DATE (2017)
Jan Madsen, Allan Munck
A systematic and practical method for selecting systems engineering tools. SysCon (2017)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. SIMULTECH (2017)
Alexander Schneider, Paul Pop, Jan Madsen
Volume management for fault-tolerant continuous-flow microfluidics. DFT (2017)
Seetal Potluri, Alexander Schneider, Martin Horslev-Petersen, Paul Pop, Jan Madsen
Synthesis of on-chip control circuits for mVLSI biochips. DATE (2017)
Nicolai Pedersen, Tom Bojsen, Jan Madsen
Co-simulation of cyber physical systems with HMI for human in the loop investigations. SpringSim (TMS) (2017)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. SIMULTECH (Selected Papers) (2017)
Hasan Baig, Jan Madsen
D-VASim: an interactive virtual laboratory environment for the simulation and analysis of genetic circuits. Bioinform. 33 (2) (2017)
Hasan Baig, Jan Madsen
Taming Living Logic Using Formal Methods. Models, Algorithms, Logics and Tools (2017)
François Patou, Maria Dimaki, Winnie E. Svendsen, Jan Madsen
Model-Based Evaluation of System Scalability: Bandwidth Analysis for Smartphone-Based Biosensing Applications. DSD (2016)
François Patou, Maria Dimaki, Winnie E. Svendsen, Claus Kjægaard, Jan Madsen
Smartphone-based biosensing platform evolution: Implementation of electrochemical analysis capabilities. ISMICT (2016)
Mirela Alistar, Paul Pop, Jan Madsen
Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (5) (2016)
François Patou, Maria Dimaki, Winnie E. Svendsen, Klaus Kjægaard, Jan Madsen
A Smart Mobile Lab-on-Chip-Based Medical Diagnostics System Architecture Designed for Evolvability. DSD (2015)
Allan Munck, Jan Madsen
Test-driven modeling of embedded systems. NORCAS (2015)
Mirela Alistar, Paul Pop, Jan Madsen
Redundancy optimization for error recovery in digital microfluidic biochips. Des. Autom. Embed. Syst. 19 (1-2) (2015)
Laura Micconi, Jan Madsen, Paul Pop
System-level synthesis of multi-ASIP platforms using an uncertainty model. Integr. 51 (2015)
Anh-Dung Phan, Michael R. Hansen, Jan Madsen
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software (2014)
Xenofon Fafoutis, Thomas Sørensen, Jan Madsen
Energy Harvesting - Wireless Sensor Networks for Indoors Applications Using IEEE 802.11. ANT/SEIT (2014)
Deepak Gangadharan, Laura Micconi, Paul Pop, Jan Madsen
Multi-ASIP platform synthesis for Event-Triggered applications with cost/performance trade-offs. RTCSA (2013)
Laura Micconi, Deepak Gangadharan, Paul Pop, Jan Madsen
Multi-ASIP platform synthesis for real-time applications. SIES (2013)
Elena Maftei, Paul Pop, Jan Madsen
Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution. ACM J. Emerg. Technol. Comput. Syst. 9 (1) (2013)
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, Giuseppe Notarangelo
ASAM: Automatic architecture synthesis and application mapping. Microprocess. Microsystems 37 (8-C) (2013)
Reinaldo A. Bergamaschi, Sanjoy K. Baruah, Sebastian Fischmeister, Robert P. Dick, Jan Madsen, Rajesh Gupta, Vincent John Mooney III
Introductions to special issue on ESWEEK 2011. Des. Autom. Embed. Syst. 17 (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)
Mirela Alistar, Paul Pop, Jan Madsen
Application-specific fault-tolerant architecture synthesis for digital microfluidic biochips. ASP-DAC (2013)
Lech Józwiak, Jan Madsen
Quality-driven model-based design of multi-processor embedded systems for highlydemanding applications. MECO (2013)
Laura Micconi, Rosilde Corvino, Deepak Gangadharan, Jan Madsen, Paul Pop, Lech Józwiak
Hierarchical DSE for multi-ASIP platforms. MECO (2013)
Jan Madsen
Biochips: The integrated circuit of biology. NORCHIP (2012)
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)
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)
Junhe Gan, Paul Pop, Flavius Gruian, Jan Madsen
Robust and flexible mapping for real-time distributed applications during the early design phases. DATE (2012)
Mark Ruvald Pedersen, Jan Madsen
Optimal register allocation by augmented left-edge algorithm on arbitrary control-flow structures. NORCHIP (2012)
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 (2012)
Wajid Hassan Minhass, Paul Pop, Jan Madsen, Felician Stefan Blaga
Architectural synthesis of flow-based microfluidic large-scale integration biochips. CASES (2012)
Elena Maftei, Paul Pop, Jan Madsen
Routing-based synthesis of digital microfluidic biochips. Des. Autom. Embed. Syst. 16 (1) (2012)
Michael Reibel Boesen, Jan Madsen, Paul Pop
Application-aware optimization of redundant resources for the reconfigurable self-healing eDNA hardware architecture. AHS (2011)
Junhe Gan, Flavius Gruian, Paul Pop, Jan Madsen
Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems. ASP-DAC (2011)
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)
Per Larsen, Sven Karlsson, Jan Madsen
Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. IEEE Trans. Ind. Informatics 7 (4) (2011)
Paul Pop, Elena Maftei, Jan Madsen
Recent research and emerging challenges in the System-Level Design of digital microfluidic biochips. SoCC (2011)
Wajid Hassan Minhass, Paul Pop, Jan Madsen
System-level modeling and synthesis of flow-based microfluidic biochips. CASES (2011)
Elena Maftei, Paul Pop, Jan Madsen
Routing-based synthesis of digital microfluidic biochips. CASES (2010)
Elena Maftei, Paul Pop, Jan Madsen
Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. Des. Autom. Embed. Syst. 14 (3) (2010)
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)
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)
Michael Reibel Boesen, Pascal Schleuniger, Jan Madsen
Feasibility Study of a Self-healing Hardware Platform. ARC (2010)
Peter Sørensen, Jan Madsen
Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms. Int. J. Embed. Real Time Commun. Syst. 1 (1) (2010)
Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen
Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. IEEE Trans. Very Large Scale Integr. Syst. 17 (2) (2009)
Anders Sejer Tranberg-Hansen, Jan Madsen
Exploration of a digital audio processing platform using a compositional system level performance estimation framework. SIES (2009)
Per Larsen, Sven Karlsson, Jan Madsen
Identifying Inter-task Communication in Shared Memory Programming Models. IWOMP (2009)
Elena Maftei, Paul Pop, Jan Madsen
Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips. CASES (2009)
Prabhat Kumar Saraswat, Paul Pop, Jan Madsen
Task migration for fault-tolerance in mixed-criticality embedded systems. SIGBED Rev. 6 (3) (2009)
Michael Reibel Boesen, Jan Madsen
eDNA: A Bio-Inspired Reconfigurable Hardware Cell Architecture Supporting Self-organisation and Self-healing. AHS (2009)
Anders Sejer Tranberg-Hansen, Jan Madsen
A compositional modelling framework for exploring MPSoC systems. CODES+ISSS (2009)
Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen
A Reactive and Cycle-True IP Emulator for MPSoC Exploration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (1) (2008)
Anders Sejer Tranberg-Hansen, Jan Madsen, Bjørn Sand Jensen
A service based estimation method for MPSoC performance modelling. SIES (2008)
Aske Wiid Brekling, Michael R. Hansen, Jan Madsen
Models and formal verification of multiprocessor system-on-chips. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Kehuai Wu, Esben Rosenlund Hansen, Jan Madsen
Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. ERSA (2008)
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)
Kehuai Wu, Jan Madsen
COSMOS: A System-Level Modelling and Simulation Framework for Coprocessor-Coupled Reconfigurable Systems. ICSAMOS (2007)
Shankar Mahadevan, Kashif Virk, Jan Madsen
ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. Des. Autom. Embed. Syst. 11 (4) (2007)
Kehuai Wu, Andreas Kanstein, Jan Madsen, Mladen Berekovic
MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture. ARC (2007)
Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan
Multi-Objective Design Space Exploration of Embedded System Platforms. DIPES (2006)
Jari Nurmi, Jan Madsen, Erwin Ofner, Jouni Isoaho, Hannu Tenhunen
The SoC-Mobinet Model in System-on-Chip Education. MSE (2005)
Shankar Mahadevan, Michael Storgaard, Jan Madsen, Kashif Virk
ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality. MASCOTS (2005)
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)
Kashif Virk, Knud Hansen, Jan Madsen
System-level Modeling of Wireless Integrated Sensor Networks. SoC (2005)
Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen
A Traffic Injection Methodology with Support for System-Level Synchronization. VLSI-SoC (2005)
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)
Erwin Ofner, Jari Nurmi, Jan Madsen, Jouni Isoaho, Hannu Tenhunen
SoC-Mobinet, R&D and education in system-on-chip design. SoC (2004)
Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen
Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. DSD (2004)
Kashif Virk, Jan Madsen
A system-level multiprocessor system-on-chip modeling framework. SoC (2004)
Jan Madsen, Shankar Mahadevan, Kashif Virk, Mercury Gonzalez
Network-on-Chip Modeling for System-Level Multiprocessor Simulation. RTSS (2003)
Sune Fallgaard Nielsen, Jan Madsen
Power Constrained High-Level Synthesis of Battery Powered Digital Systems. DATE (2003)
Jan Madsen, Kashif Virk, Mercury Gonzales
Abstract RTOS modeling for multiprocessor system-on-chip. SoC (2003)
Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen
A Sophomore Course in Codesign. Computer 35 (11) (2002)
Wayne Wolf, Jan Madsen
Embedded systems education for the future. Proc. IEEE 88 (1) (2000)
Hans Holten-Lund, Mogens Hvidtfeldt, Jan Madsen, Steen Pedersen
VRML visualization in a surgery planning and diagnostics application. Web3D (2000)
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)
Peter Voigt Knudsen, Jan Madsen
Graph based communication analysis for hardware/software codesign. CODES (1999)
Jan Madsen, Peter Bjørn-Jørgensen
Embedded system synthesis under memory constraints. CODES (1999)
Peter Voigt Knudsen, Jan Madsen
Integrating communication protocol selection with hardware/software codesign. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (8) (1999)
Peter Voigt Knudsen, Jan Madsen
Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign. ISSS (1998)
Jesper Grode, Peter Voigt Knudsen, Jan Madsen
Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. DATE (1998)
Peter Voigt Knudsen, Jan Madsen
Communication estimation for hardware/software codesign. CODES (1998)
Jesper Grode, Jan Madsen
A Uni.ed Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. EUROMICRO (1998)
Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne E. Haxthausen
LYCOS: the Lyngby Co-Synthesis System. Des. Autom. Embed. Syst. 2 (2) (1997)
Jan Madsen
Validation and testing of sC++ applications. ECBS (1997)
D. C. R. Jensen, Jan Madsen, Steen Pedersen
The importance of interfaces: a HW/SW codesign case study. CODES (1997)
Peter Bjørn-Jørgensen, Jan Madsen
Critical path driven cosynthesis for heterogeneous target architectures. CODES (1997)
Jan Madsen, Jens P. Brage
Codesign analysis of a computer graphics application. Des. Autom. Embed. Syst. 1 (1-2) (1996)

Jan Madsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Madsen