Jan Madsen - RankMe

120 papers A 13B 2C 9Misc 7Journal 31Unranked 56

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Fluid Volume Assignment for Flow-Based Biochips: State-of-the-Art and Research Challenges. CoRR Alexander Schneider, Jan Madsen, Paul Pop
2025	A	`conf`	Invited Paper: Liquid Computing: Towards Programmable Microfluidics. ICCAD Luca Pezzarossa, Joel August Vest Madsen, Alexander Marc Collignon, Jan Madsen
2024	J	`jnl`	A Holistic Review of the TinyML Stack for Predictive Maintenance. IEEE Access Emil J. Njor, Mohammad Amin Hasanpour, Jan Madsen, Xenofon Fafoutis
2024	—	`conf`	A Logic-Based Physical Simulation Framework for Digital Microfluidic Biochips. SAMOS Joel August Vest Madsen, Carl Alexander Jackson, Alexander Marc Collignon, Jan Madsen, Luca Pezzarossa
2024	—	`conf`	A Parallel Synchronous Execution Engine and Target Language for Digital Microfluidics. SAMOS Luca Pezzarossa, Georgi Tanev, Winnie Edith Svendsen, Jan Madsen
2024	J	`jnl`	teemi: An open-source literate programming approach for iterative design-build-test-learn cycles in bioengineering. PLoS Comput. Biol. 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
2023	A	`conf`	AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips. DATE Jianan Xu, Wenjie Fan, Jan Madsen, Georgi Plamenov Tanev, Luca Pezzarossa
2023	J	`jnl`	Computer Engineering Education. Computer Marilyn Wolf, Jan Madsen
2023	J	`jnl`	Data Aware Neural Architecture Search. CoRR Emil J. Njor, Jan Madsen, Xenofon Fafoutis
2022	—	`conf`	A Primer for tinyML Predictive Maintenance: Input and Model Optimisation. AIAI (2) Emil J. Njor, Jan Madsen, Xenofon Fafoutis
2019	J	`jnl`	Design-for-Testability of On-Chip Control in mVLSI Biochips. IEEE Des. Test Seetal Potluri, Paul Pop, Jan Madsen
2019	J	`jnl`	Model-based systems engineering for life-sciences instrumentation development. Syst. Eng. François Patou, Maria Dimaki, Anja M. Maier, Winnie E. Svendsen, Jan Madsen
2018	A	`ed.`	2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018 DATE Jan Madsen, Ayse K. Coskun
2018	J	`jnl`	Report on DATE 2018 in Dresden, Germany. IEEE Des. Test Jan Madsen, Ayse K. Coskun
2018	J	`jnl`	Scheduling and Fluid Routing for Flow-Based Microfluidic Laboratories-on-a-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Wajid Hassan Minhass, Jeffrey McDaniel, Michael Lander Raagaard, Philip Brisk, Paul Pop, Jan Madsen
2017	—	`conf`	A systematic and practical method for selecting systems engineering tools. SysCon Jan Madsen, Allan Munck
2017	—	`conf`	Co-simulation of cyber physical systems with HMI for human in the loop investigations. SpringSim (TMS) Nicolai Pedersen, Tom Bojsen, Jan Madsen
2017	J	`jnl`	D-VASim: an interactive virtual laboratory environment for the simulation and analysis of genetic circuits. Bioinform. Hasan Baig, Jan Madsen
2017	C	`conf`	Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. SIMULTECH Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
2017	—	`conf`	Distributed Co-simulation of Embedded Control Software Using INTO-CPS. SIMULTECH (Selected Papers) Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen
2017	A	`conf`	Logic analysis and verification of n-input genetic logic circuits. DATE Hasan Baig, Jan Madsen
2017	A	`conf`	Synthesis of on-chip control circuits for mVLSI biochips. DATE Seetal Potluri, Alexander Schneider, Martin Horslev-Petersen, Paul Pop, Jan Madsen
2017	—	`conf`	Taming Living Logic Using Formal Methods. Models, Algorithms, Logics and Tools Hasan Baig, Jan Madsen
2017	—	`conf`	Test-driven modeling and development of cloud-enabled cyber-physical smart systems. SysCon Allan Munck, Jan Madsen
2017	—	`conf`	Volume management for fault-tolerant continuous-flow microfluidics. DFT Alexander Schneider, Paul Pop, Jan Madsen
2016	C	`conf`	Model-Based Evaluation of System Scalability: Bandwidth Analysis for Smartphone-Based Biosensing Applications. DSD François Patou, Maria Dimaki, Winnie E. Svendsen, Jan Madsen
2016	—	`conf`	Smartphone-based biosensing platform evolution: Implementation of electrochemical analysis capabilities. ISMICT François Patou, Maria Dimaki, Winnie E. Svendsen, Claus Kjægaard, Jan Madsen
2016	J	`jnl`	Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Mirela Alistar, Paul Pop, Jan Madsen
2015	C	`conf`	A Smart Mobile Lab-on-Chip-Based Medical Diagnostics System Architecture Designed for Evolvability. DSD François Patou, Maria Dimaki, Winnie E. Svendsen, Klaus Kjægaard, Jan Madsen
2015	J	`jnl`	Redundancy optimization for error recovery in digital microfluidic biochips. Des. Autom. Embed. Syst. Mirela Alistar, Paul Pop, Jan Madsen
2015	J	`jnl`	System-level synthesis of multi-ASIP platforms using an uncertainty model. Integr. Laura Micconi, Jan Madsen, Paul Pop
2015	—	`conf`	Test-driven modeling of embedded systems. NORCAS Allan Munck, Jan Madsen
2014	—	`conf`	EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software Anh-Dung Phan, Michael R. Hansen, Jan Madsen
2014	—	`conf`	Energy Harvesting - Wireless Sensor Networks for Indoors Applications Using IEEE 802.11. ANT/SEIT Xenofon Fafoutis, Thomas Sørensen, Jan Madsen
2013	J	`jnl`	ASAM: Automatic architecture synthesis and application mapping. Microprocess. Microsystems 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
2013	—	`conf`	Application-specific fault-tolerant architecture synthesis for digital microfluidic biochips. ASP-DAC Mirela Alistar, Paul Pop, Jan Madsen
2013	—	`conf`	Control synthesis for the flow-based microfluidic large-scale integration biochips. ASP-DAC Wajid Hassan Minhass, Paul Pop, Jan Madsen, Tsung-Yi Ho
2013	—	`conf`	Hierarchical DSE for multi-ASIP platforms. MECO Laura Micconi, Rosilde Corvino, Deepak Gangadharan, Jan Madsen, Paul Pop, Lech Józwiak
2013	J	`jnl`	Introductions to special issue on ESWEEK 2011. Des. Autom. Embed. Syst. Reinaldo A. Bergamaschi, Sanjoy K. Baruah, Sebastian Fischmeister, Robert P. Dick, Jan Madsen, Rajesh Gupta, Vincent John Mooney III
2013	J	`jnl`	Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution. ACM J. Emerg. Technol. Comput. Syst. Elena Maftei, Paul Pop, Jan Madsen
2013	B	`conf`	Multi-ASIP platform synthesis for Event-Triggered applications with cost/performance trade-offs. RTCSA Deepak Gangadharan, Laura Micconi, Paul Pop, Jan Madsen
2013	—	`conf`	Multi-ASIP platform synthesis for real-time applications. SIES Laura Micconi, Deepak Gangadharan, Paul Pop, Jan Madsen
2013	—	`conf`	Quality-driven model-based design of multi-processor embedded systems for highlydemanding applications. MECO Lech Józwiak, Jan Madsen
2012	C	`conf`	ASAM: Automatic Architecture Synthesis and Application Mapping. DSD 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
2012	Misc	`conf`	Architectural synthesis of flow-based microfluidic large-scale integration biochips. CASES Wajid Hassan Minhass, Paul Pop, Jan Madsen, Felician Stefan Blaga
2012	—	`conf`	Biochips: The integrated circuit of biology. NORCHIP Jan Madsen
2012	—	`conf`	MDM: A Mode Diagram Modeling Framework FTSCS Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012	J	`jnl`	MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012	—	`conf`	Optimal register allocation by augmented left-edge algorithm on arbitrary control-flow structures. NORCHIP Mark Ruvald Pedersen, Jan Madsen
2012	A	`conf`	Robust and flexible mapping for real-time distributed applications during the early design phases. DATE Junhe Gan, Paul Pop, Flavius Gruian, Jan Madsen
2012	J	`jnl`	Routing-based synthesis of digital microfluidic biochips. Des. Autom. Embed. Syst. Elena Maftei, Paul Pop, Jan Madsen
2011	—	`conf`	Application-aware optimization of redundant resources for the reconfigurable self-healing eDNA hardware architecture. AHS Michael Reibel Boesen, Jan Madsen, Paul Pop
2011	—	`conf`	Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems. ASP-DAC Junhe Gan, Flavius Gruian, Paul Pop, Jan Madsen
2011	J	`jnl`	Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. IEEE Trans. Ind. Informatics Per Larsen, Sven Karlsson, Jan Madsen
2011	—	`conf`	Integration of the self-healing eDNA architecture in a liquid crystal waveguide-based Fourier Transform Spectrometer. AHS Michael Reibel Boesen, Didier Keymeulen, Jan Madsen, Thomas Lu, Tien-Hsin Chao
2011	Misc	`ed.`	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 CODES+ISSS Robert P. Dick, Jan Madsen
2011	—	`conf`	Recent research and emerging challenges in the System-Level Design of digital microfluidic biochips. SoCC Paul Pop, Elena Maftei, Jan Madsen
2011	Misc	`conf`	System-level modeling and synthesis of flow-based microfluidic biochips. CASES Wajid Hassan Minhass, Paul Pop, Jan Madsen
2010	C	`conf`	DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. WOWMOM Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen
2010	—	`conf`	Feasibility Study of a Self-healing Hardware Platform. ARC Michael Reibel Boesen, Pascal Schleuniger, Jan Madsen
2010	J	`jnl`	Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms. Int. J. Embed. Real Time Commun. Syst. Peter Sørensen, Jan Madsen
2010	Misc	`conf`	Routing-based synthesis of digital microfluidic biochips. CASES Elena Maftei, Paul Pop, Jan Madsen
2010	J	`jnl`	Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. Des. Autom. Embed. Syst. Elena Maftei, Paul Pop, Jan Madsen
2010	A	`conf`	Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Prabhat Kumar Saraswat, Paul Pop, Jan Madsen
2009	Misc	`conf`	A compositional modelling framework for exploring MPSoC systems. CODES+ISSS Anders Sejer Tranberg-Hansen, Jan Madsen
2009	J	`jnl`	Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. IEEE Trans. Very Large Scale Integr. Syst. Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen
2009	—	`conf`	Exploration of a digital audio processing platform using a compositional system level performance estimation framework. SIES Anders Sejer Tranberg-Hansen, Jan Madsen
2009	—	`conf`	Identifying Inter-task Communication in Shared Memory Programming Models. IWOMP Per Larsen, Sven Karlsson, Jan Madsen
2009	Misc	`conf`	Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips. CASES Elena Maftei, Paul Pop, Jan Madsen
2009	J	`jnl`	Task migration for fault-tolerance in mixed-criticality embedded systems. SIGBED Rev. Prabhat Kumar Saraswat, Paul Pop, Jan Madsen
2009	—	`conf`	eDNA: A Bio-Inspired Reconfigurable Hardware Cell Architecture Supporting Self-organisation and Self-healing. AHS Michael Reibel Boesen, Jan Madsen
2008	J	`jnl`	A Reactive and Cycle-True IP Emulator for MPSoC Exploration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen
2008	—	`conf`	A service based estimation method for MPSoC performance modelling. SIES Anders Sejer Tranberg-Hansen, Jan Madsen, Bjørn Sand Jensen
2008	J	`jnl`	Models and formal verification of multiprocessor system-on-chips. J. Log. Algebraic Methods Program. Aske Wiid Brekling, Michael R. Hansen, Jan Madsen
2008	—	`conf`	Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. ERSA Kehuai Wu, Esben Rosenlund Hansen, Jan Madsen
2007	A	`ed.`	2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007 DATE Rudy Lauwereins, Jan Madsen
2007	J	`jnl`	ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. Des. Autom. Embed. Syst. Shankar Mahadevan, Kashif Virk, Jan Madsen
2007	—	`conf`	COSMOS: A System-Level Modelling and Simulation Framework for Coprocessor-Coupled Reconfigurable Systems. ICSAMOS Kehuai Wu, Jan Madsen
2007	—	`conf`	MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture. ARC Kehuai Wu, Andreas Kanstein, Jan Madsen, Mladen Berekovic
2007	—	`conf`	Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
2006	—	`conf`	Multi-Objective Design Space Exploration of Embedded System Platforms. DIPES Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan
2005	A	`conf`	A Network Traffic Generator Model for Fast Network-on-Chip Simulation. DATE Shankar Mahadevan, Federico Angiolini, Michael Storgaard, Rasmus Grøndahl Olsen, Jens Sparsø, Jan Madsen
2005	C	`conf`	A Traffic Injection Methodology with Support for System-Level Synchronization. VLSI-SoC Shankar Mahadevan, Federico Angiolini, Jens Sparsø, Luca Benini, Jan Madsen
2005	B	`conf`	ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality. MASCOTS Shankar Mahadevan, Michael Storgaard, Jan Madsen, Kashif Virk
2005	C	`conf`	Design of A Development Platform for HW/SW Codesign ofWireless Integrated Sensor Nodes. DSD Kashif Virk, Jan Madsen, Andreas Vad Lorentzen, Martin Leopold, Philippe Bonnet
2005	—	`conf`	System-level Modeling of Wireless Integrated Sensor Networks. SoC Kashif Virk, Knud Hansen, Jan Madsen
2005	—	`conf`	The SoC-Mobinet Model in System-on-Chip Education. MSE Jari Nurmi, Jan Madsen, Erwin Ofner, Jouni Isoaho, Hannu Tenhunen
2004	—	`conf`	A system-level multiprocessor system-on-chip modeling framework. SoC Kashif Virk, Jan Madsen
2004	—	`conf`	SoC-Mobinet, R&D and education in system-on-chip design. SoC Erwin Ofner, Jari Nurmi, Jan Madsen, Jouni Isoaho, Hannu Tenhunen
2004	C	`conf`	Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. DSD Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen
2003	—	`conf`	Abstract RTOS modeling for multiprocessor system-on-chip. SoC Jan Madsen, Kashif Virk, Mercury Gonzales
2003	A	`conf`	Network-on-Chip Modeling for System-Level Multiprocessor Simulation. RTSS Jan Madsen, Shankar Mahadevan, Kashif Virk, Mercury Gonzalez
2003	A	`conf`	Power Constrained High-Level Synthesis of Battery Powered Digital Systems. DATE Sune Fallgaard Nielsen, Jan Madsen
2002	J	`jnl`	A Sophomore Course in Codesign. Computer Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen
2001	—	`ed.`	Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001 CODES Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu
2000	J	`jnl`	Embedded systems education for the future. Proc. IEEE Wayne Wolf, Jan Madsen
2000	—	`conf`	Memory architecture for efficient utilization of SDRAM: a case study of the computation/memory access trade-off. CODES Thomas Gleerup, Hans Holten-Lund, Jan Madsen, Steen Pedersen
2000	—	`ed.`	Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000 CODES Frank Vahid, Jan Madsen
2000	—	`conf`	VRML visualization in a surgery planning and diagnostics application. Web3D Hans Holten-Lund, Mogens Hvidtfeldt, Jan Madsen, Steen Pedersen
1999	—	`conf`	Embedded system synthesis under memory constraints. CODES Jan Madsen, Peter Bjørn-Jørgensen
1999	—	`conf`	Graph based communication analysis for hardware/software codesign. CODES Peter Voigt Knudsen, Jan Madsen
1999	J	`jnl`	Integrating communication protocol selection with hardware/software codesign. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Peter Voigt Knudsen, Jan Madsen
1998	—	`conf`	A Uni.ed Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. EUROMICRO Jesper Grode, Jan Madsen
1998	—	`conf`	Communication estimation for hardware/software codesign. CODES Peter Voigt Knudsen, Jan Madsen
1998	A	`conf`	Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. DATE Jesper Grode, Peter Voigt Knudsen, Jan Madsen
1998	—	`conf`	Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign. ISSS Peter Voigt Knudsen, Jan Madsen
1997	—	`conf`	Critical path driven cosynthesis for heterogeneous target architectures. CODES Peter Bjørn-Jørgensen, Jan Madsen
1997	J	`jnl`	LYCOS: the Lyngby Co-Synthesis System. Des. Autom. Embed. Syst. Jan Madsen, Jesper Grode, Peter Voigt Knudsen, M. E. Petersen, Anne E. Haxthausen
1997	—	`conf`	The importance of interfaces: a HW/SW codesign case study. CODES D. C. R. Jensen, Jan Madsen, Steen Pedersen
1997	—	`conf`	Validation and testing of sC++ applications. ECBS Jan Madsen
1996	C	`conf`	Aspects of system modelling in Hardware/Software partitioning. RSP Peter Voigt Knudsen, Jan Madsen
1996	J	`jnl`	Codesign analysis of a computer graphics application. Des. Autom. Embed. Syst. Jan Madsen, Jens P. Brage
1996	—	`conf`	PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning. CODES Peter Voigt Knudsen, Jan Madsen
1995	—	`conf`	An approach to interface synthesis. ISSS Jan Madsen, Bjarne Hald
1994	—	`conf`	A codesign case study in computer graphics. CODES Jens P. Brage, Jan Madsen
1994	—	`conf`	Modeling shared variables in VHDL. EURO-DAC Jan Madsen, Jens P. Brage
1993	Misc	`conf`	Performance Aspects of Gate Matrix Layout. VLSI Design Bjarne Hald, Jan Madsen
1991	—	`conf`	Delay estimation for CMOS functional cells. EURO-DAC Jan Madsen
1991	—	`conf`	Single-Level Wiring for CMOS Functional Cells. VLSI Jan Madsen
1989	A	`conf`	A new approach to optimal cell synthesis. ICCAD Jan Madsen