Publications

2011

Larsen, Per; Karlsson, Sven; Madsen, Jan (2011): Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs. I E E E Transactions on Industrial Informatics, 7(4), 652-660, doi:10.1109/TII.2011.2166769.

Boesen, Michael Reibel; Keymeulen, Didier; Madsen, Jan; Lu, Thomas; Chao, Tien-Hsin (2011): Integration of the Reconfigurable Self-Healing eDNA Architecture in an Embedded System. In: Proceedings of IEEE Aerospace Conference
Boesen, Michael Reibel; Madsen, Jan; Keymeulen, Didier (2011): Autonomous distributed self-organizing and self-healing hardware architecture - The eDNA concept. In: Proceedings of the IEEE Aerospace Conference 2011 (p. 1)
Boesen, Michael Reibel; Madsen, Jan; Pop, Paul (2011): Application-Aware Optimization of Redundant Resources for the Reconfigurable Self-Healing eDNA Hardware Architecture. In: 2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) (p. 66-73)
Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan (2011): System-Level Modeling and Synthesis of Flow-Based Microfluidic Biochips. In: 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) (p. 225-233)
Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Hemmingsen, Mette; Skafte-Pedersen, Peder; Dufva, Martin (2011): Cell Culture Microfluidic Biochips: Experimental Throughput Maximization. In: 2011 5th International Conference on Bioinformatics and Biomedical Engineering, (iCBBE)
Marchioro, Gilberto Fernandes; Cornou, Cécile; Kristensen, Anders Ringgaard; Madsen, Jan (2011): Sows’ activity classification device using acceleration data – A resource constrained approach. Computers and Electronics in Agriculture, 77(1), 110-117, doi:10.1016/j.compag.2011.04.004.
Hansen, Michael Reichhardt; Jakobsen, Mikkel Koefoed; Madsen, Jan (2011): Modelling of Energy Harvesting Aware Wireless Sensor Networks. In: Tan,Yen Kheng (Ed.) Sustainable Energy Harvesting Technologies - Past, Present and Future Intech

2010

Larsen, Per; Karlsson, Sven; Madsen, Jan (2010): Expressing Inter-task Dependencies between Parallel Stencil Operations. In: Proceedings of MULTIPROG 2010
Alistar, Mirela; Maftei, Elena; Pop, Paul; Madsen, Jan (2010): Synthesis of biochemical applications on digital microfluidic biochips with operation variability. In: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (p. 350-357)
Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Hemmingsen, Mette; Dufva, Martin (2010): System-level modeling and simulation of the cell culture microfluidic biochip ProCell. In: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (p. 91-98)
Boesen, Michael Reibel; Keymeulen, Didier; Madsen, Jan; Lu, Thomas; Chao, Tien-Hsin): Integration of the Self-Healing eDNA Architecture in an Embedded System and Evaluation of it Using a Fourier Transform Spectrometer Instrument Application. Presented at: Military / Aerospace Programmable Logic Devices and Revolutionary Space Conference, Albuquerque, New Mexico, USA
Saraswat, Prabhat Kumar; Pop, Paul; Madsen, Jan (2010): Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. In: IEEE Symposium on Real-Time and Embedded Technology and Applications (p. 89-98)
Maftei, Elena; Pop, Paul; Madsen, Jan (2010): Routing-based Synthesis of Digital Microfluidic Biochips. In: International Conference on Compilers, Architectures and Synthesis for Embedded Systems (p. 41-50)
Gan, Junhe; Gruian, Flavius; Pop, Paul; Madsen, Jan (2011): Energy/Reliability Trade-offs in Fault-Tolerant Event-Triggered Distributed Embedded Systems. In: 16th Asia and South Pacific Design Automation Conference (ASP-DAC)
Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan (2010): Simulation-Based Evaluation of Redundancy Schemes for a Cell Culture Microfluidic Biochip. In: Technical Report on NODES10 Proceedings
Maftei, Elena; Pop, Paul; Madsen, Jan (2010): Tabu Search-based Synthesis of Digital Microfluidic Biochips with Dynamically Reconfigurable Non-rectangular Devices. Design Automation for Embedded Systems, 14(3), 287-307, doi:10.1007/s10617-010-9059-x.
Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid (2010): Modelling and Analysis for Embedded Systems. In: Model-Based Design for Embedded Systems (p. 121-145). CRC Press
Jakobsen, Mikkel Koefoed; Madsen, Jan; Hansen, Michael Reichhardt (2010): DEHAR: a Distributed Energy Harvesting Aware Routing Algorithm for Ad-hoc Multi-hop Wireless Sensor Networks.. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2010) (p. 1-9)

2009

Nielsen, Sune Fallgaard; Sparsø, Jens; Madsen, Jan (2009): Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend. IEEE Transactions on Very Large Scale Integration Systems, 17(2), 248-261, doi:10.1109/TVLSI.2008.2005285.
Tranberg-Hansen, Anders Sejer; Madsen, Jan (2009): A compositional modelling framework for exploring MPSoC systems. In: Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis (p. 1-10)
Tranberg-Hansen, Anders Sejer; Madsen, Jan (2009): Exploration of a digital audio processing platform using a compositional system level performance estimation framework. In: 2009 IEEE International Symposium on Industrial Embedded Systems (p. 54-57)
Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid (2009): A modelling and analysis framework for embedded systems CRC Press. In: Model-Based Design for Embedded Systems (p. 121 - 145). CRC Press: Routledge
Brekling, Aske Wiid; Madsen, Jan; Hansen, Michael Reichhardt (2009): Analysis of Quantitative Properties of Hardware Specifications. In: 21st Nordic Workshop on Programming Theory (NWPT'09) (p. 92-94)
Jakobsen, Mikkel Koefoed; Madsen, Jan; Hansen, Michael Reichhardt (2009): Formal Verification of an energy aware routing algorithm. In: 21st Nordic Workshop on Programming Theory (NWPT'09) (p. 32-34)
Saraswat, Prabhat Kumar; Pop, Paul; Madsen, Jan (2009): Task Migration for Fault-Tolerance in Mixed-Criticality Embedded Systems. In: SIGBED Review--Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan (2009): MoVES - A Framework for Modelling and Verifying Embedded Systems. In: 2009 International Conference on Microelectronics (p. 143-146)
Boesen, Michael Reibel; Madsen, Jan (2009): eDNA: A Bio-Inspired Reconfigurable Hardware Cell Architecture Supporting Self-organisation and Self-healing. In: Proceedings of the 2009 NASA/ESA Conference on Adaptive Hardware Systems: July 29 - August 1, 2009, Moscone Convention Center, San Francisco, California, USA (p. 147-154)
Larsen, Per; Karlsson, Sven; Madsen, Jan (2009): Identifying Inter-task Communication in Shared Memory Programming Models. In: Lecture Notes in Computer Science: Evolving OpenMP in an Age of Extreme Parallelism (p. 168-182)

2008

Maftei, Elena; Pop, Paul; Madsen, Jan; Stidsen, Thomas K. (2008): Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP. In: Proceedings of the International Conference on Very Large Scale Integration
Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan): Formal Verification of Design Properties of Hardware Architectures. Presented at: DATE 08
Madsen, Jan; Hansen, Michael Reichhardt; Knudsen, Kristian S.; Nielsen, Jens E.; Brekling, Aske Wiid (2008): System-level verification of multi-core embedded systems using timed automata. In: 17th World Congress International Federation of Automatic Control (p. 9302-9307)
Larsen, Per; Hansen, Michael Reichhardt; Madsen, Jan (2008): Towards Traceability in Descriptive Software Models. In: Nordic Workshop and Doctoral Symposium on Dependability and Security (p. 63-72)
Madsen, Jan): Adaptive Embedded Systems – Challenges of Run-Time Resource Management
Sørensen, Peter Verner Bojsen; Madsen, Jan (2008): Component-based Service Availability Checking. In: Nordic Workshop and Doctoral Symposium on Dependability and Security. Presented at: Nordic Workshop and Doctoral Symposium on Dependability and Security Department of Computer Science, Tallinn Technical University
Sørensen, Peter Verner Bojsen; Madsen, Jan (2008): Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving. In: 20th Nordic Workshop on Programming Theory (p. 93-96)
Wu, Kehuai; Hansen, Esben Rosenlund; Madsen, Jan (2008): Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. In: Engineering of Reconfigurable Systems and Algorithms (p. 97-102)
Wu, Kehuai; Kanstein, Andreas; Madsen, Jan; Berekovic, Mladen (2008): MT-ADRES: multi-threading on coarse-grained reconfigurable architecture. International Journal of Electronics, 95(7), 761-776, doi:10.1080/00207210802213930.
Vesterbacka, M.; Madsen, Jan (2008): NORCHIP. IET Computers and Digital Techniques, 2(4), 251-252, doi:10.1049/iet-cdt:20089014.
Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan (2008): Models and formal verification of multiprocessor system-on-chips. Journal of Logic and Algebraic Programming, 77(1-2), 1-19, doi:10.1016/j.jlap.2008.05.002.
Mahadevan, Shankar; Angiolini, Federico; Sparsø, Jens; Benini, Luca; Madsen, Jan (2008): A Reactive and Cycle-True IP Emulator for MPSoC Exploration. I E E E Transactions on Computer - Aided Design of Integrated Circuits and Systems, 27(1), 109-122, doi:10.1109/TCAD.2007.906990.
Tranberg-Hansen, Anders Sejer; Madsen, Jan; Jensen, Bjørn Sand (2008): A service based estimation method for MPSoC performance modelling. In: 2008 International Symposium on Industrial Embedded Systems (p. 43-50)
Tranberg-Hansen, Anders Sejer; Madsen, Jan (2008): A service based component model for composing and exploring MPSoC platforms. In: 2008 First International Symposium on Applied Sciences on Biomedical and Communication Technologies (p. 1-5)
Mahadevan, Shankar; Ang, Frederico; Olsen, Rasmus G.; Sparsø, Jens; Madsen, Jan (2008): Network Traffic Generator Model for Fast Network-on-Chip Simulation. In: Lauwereins,Rudy; Madsen,Jan (Eds.), , Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE (p. 173-184)

2007

Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan (2007): Hardware modelling language and verification of design properties. In: NWPT'07/FLACOS'07. Presented at: Nordic Workshop on Programming Theory 2007, Olso Institute for Informatics, Univ. of Olso
Hansen, Michael Reichhardt; Madsen, Jan; Brekling, Aske Wiid (2007): Semantics and verification of a language for modelling hardware architectures. In: Jones,Cliff B.; Liu,Zhiming; Woodcock,Jim (Eds.) Formal Methods and Hybrid Real-Time Systems Springer
Mahadevan, Shankar; Angiolini, Federico; Sparsø, Jens; Benini, Luca; Madsen, Jan (2007) (2006): A Traffic injection methodology with support for system-level synchronization. In: Reis,Ricardo; Osseiran,Adam (Eds.) VLSI-SoC: From Systems to Silicon (p. 145-161). Springer
Madsen, Jan; Stidsen, Thomas K.; Kjærulff, Peter; Mahadevan, Shankar (2006): Multi-Objective Design Space Exploration of Embedded System Platforms Berlin. In: From Model-Driven Design to Resource Management for Distributed Embedded Systems. IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal; IFIP International Federation for Information Processing , Vol. 225 (p. 185-194). Berlin: Springer
Mahadevan, Shankar; Virk, Kashif M.; Madsen, Jan (2007): ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling. Design Automation for Embedded Systems, 11(4), 285-311, doi:10.1007/s10617-007-9007-6.
Ellebæk, Jens; Knudsen, Kristian S.; Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan (2007): MOVES - A tool for Modeling and Verification of Embedded Systems. In: DATE'07 University Booth
Wu, Kehuai; Kanstein, Andreas; Madsen, Jan; Berekovic, Mladen (2007): MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture. In: Reconfigurable Computing: Architectures, Tools and Applications: Lecture Notes in Computer Science (p. 26-38)
Madsen, Jan): If Fomal Analysis is the Answer – What was the Question?
Virk, Kashif M.; Madsen, Jan (2007): Functional Testing of Wireless Sensor Node Designs. In: 4th International Conference on Innovations in Information Technology: Innovations'07 (p. 123 - 127)
Wu, Kehuai; Madsen, Jan (2007): COSMOS: A System-Level Modelling and Simulation Framework for Coprocessor-Coupled Reconfigurable Systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, 2007. IC-SAMOS 2007. (p. 128 - 136)

2006

Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan (2006): A Timed-Automatoa Semantics for a System-Level MPSoC model. In: Nordic Workshop on Programming Theory
Madsen, Jan; Stidsen, Thomas K.; Kjærulff, Peter; Mahadevan, Shankar (2006) (2006): Multi-Objective Design Space Exploration of Embedded System Platfoms. In: IFIP Working Conference on Distributed and Parallel Embedded Systems
Madsen, Jan (2006) (2006): Morphware - Fremtidens Embedded System Platform. In: Elektronik-06
Madsen, Jan (2006) (2006): Evolving MPSoC Solutions. In: 6th International Symposium on Multiprocessor Systems-on-Chips, Estes Park, Colorado
Seceleanu, Tiberius; Tenhunen, Hannu; Jerraya, Ahmed; Jantsch, Axel; Kuzmanov, Georgi; Goosens, Kees; Collette, Thierry; Candaele, Bernard; Gide, Laila; Madsen, Jan; Lauwereins, Rudy; Svensson, Lars; Benini, Luca; Nielsen, Ivan Ring; Coppola, Marcello; Ienne, Paolo; Ramirez, Alex; Ginosar, Ran (2006) (2006): Multicore Processing and ARTEMIS - An incentive to develop the European Multiprocessor research. In: IST Conference, Helsinki, Finland
Madsen, Jan; Stidsen, Thomas K.; Kjærulff, Peter; Mahadevan, Shankar (2006) (2006): Multi-Objective Design Space Exploration of Embedded System Platfoms. Informatics and Mathematical Modelling, Technical University of Denmark, DTU. (IMM-Technical Report-2006-25).
Madsen, Jan): Evolving MPSoC Solutions
Donapudi, S U; Obel, C O; Madsen, Jan (2006): Extending Lifetime of Wireless Sensor Networks using Forward Error Correction. In: 24th Norchip Conference, 2006. (p. 277 - 280)

2005

Angiolini, Frederico; Mahadevan, Sharkar; Madsen, Jan; Benini, Luca; Sparsø, Jens (2005) (2005): Realistically Rendering SoC Traffic Patterns with Interrupt Awareness. In: IFIP International Conference on Very Large Scale Integration (VLSI-SoC)
Nurmi, Jari; Madsen, Jan; Ofner, Erwin; Isoaho, Jouni; Tenhunen, Hannu (2005) (2005): The SoC-Mobinet Model in System-on-Chip Education. In: International Conference on Microelectronic Systems Education (MSE´05)
Virk, Kashif M.; Leopold, Martin; Madsen, Jan; Bonnet, Philipe; Hansen, Martin (2005) (2005): Design of A Development Platform for HW/SW Codesign of Wireless IOntegrated Sensor Nodes. In: EUROMICRO Symposium on Digital System Design
Wu, Kehuai; Madsen, Jan (2005) (2005): Run-time Dynamic Reconfiguration: A Reality Check Based on FPGA Architectures from Xilinx. In: NORCHIP Conference, 2005. 23rd
Madsen, Jan (2005) (2005): Design Space Exploration for Heterogeneous, Networked MPSoC Design (Invited talk). In: ARTIST Workshop on Distributed Embedded Systems
Madsen, Jan (2005) (2005): Sensor Networks: Towards Ambient Intelligence. In: DIAG Conference
Madsen, Jan (2005) (2005): Cross-layer Modelling for Heterogeneous MPSoCs. In: Multiprocessor System-on-Chip Symposium
Madsen, Jan; Virk, Kashif M. (2005) (2005): Multiprocessor Systems - Modelling and Simulation. In: Embedded Systems Design: The ARTIST Roadmap for Research and Development: Lecture Notes in Computer Science (p. 388-405). Springer
Bjerregaard, Tobias; Sparsø, Jens; Mahadevan, Shankar; Madsen, Jan (2005) (2005): Modular SoC-Design using the MANGO clockless NoC (Invited talk). In: International Conference on Parallel Computing (PARCO'05)
Mahadevan, Shankar; Storgaard, Michael; Madsen, Jan; Virk, Kashif Munir (2005) (2005): ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality. In: 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
Mahadevan, Shankar; Angiolini, Frederico; Storgaard, Michael; Olsen, R.; Sparsø, Jens; Madsen, Jan (2005) (2005): A Network Traffic Generator Model for Fast Network-on-Chip Simulation. In: Design, Automation and Test in Europe (p. 780-785)
Virk, Kashif M.; Hansen, Knud; Madsen, Jan (2005) (2005): System-level Modeling of Wireless Integrated Sensor Networks. In: International Symposium on System-on-Chip (SoC) (p. 179 - 182)
Virk, Kashif M.; Madsen, Jan; Shafique, Mohammad; Menon, Aric Kumaran (2005) (2005): System-Level Modelling and Simulation of MEMS-Based Sensors. In: 9th IEEE International Multi-Topic Conference (INMIC) (p. 1 - 6)

2004

Blaickner, Alfred; Madsen, Jan; Holten-Lund, Hans Erik; Bacher, M. (2004) (2004): Design of a multi-mode channel-select and resampling-processor (ASIP). In: GSPx the International Embedded Solutions Event
Ofner, Erwin; Nurmi, Jari; Madsen, Jan; Isoaho, Jouni; Tenhuen, Hannu (2004) (2004): SoC-Mobinet, R&D and Education in System-on-Chip. In: International Symposium on System-on-Chip
Virk, Kashif M.; Madsen, Jan (2004) (2004): A system-level multiprocessor system-on-chip modelling framework. In: International Symposium on System-on-Chip
Madsen, Jan; Virk, Kashif M.; Mahadevan, Shankar (2004) (2004): Abstract System-on-Chip modelling in SystemC. In: European SystemC Users Group Meeting (DATE 2004)
Madsen, Jan (2004) (2004): Wireless Sensor Networks for Sow Monitoring (Invited talk). In: CCCD Workshop 2004 Future Systems and Requirements, Lund
Madsen, Jan (2004) (2004): System-level modeling for Wireless Sensor Networks (Invited talk). In: MPSoC 2004, Saint-Maximin la Sainte Baume, France
Madsen, Jan (2004) (2004): System-on-Chip Design Challenges for Future Embedded Systems (Invited talk). In: DATE 2004 Workshop on Embedded Systems Research in Europe
Madsen, Jan; Mahadevan, Shankar; Virk, Kashif M. (2004) (2004): Network-Centric System-Level Model for Multiprocessor System-on-Chip Simulation. In: Interconnect-Centric Design for Advanced SoC and NoC Springer
Madsen, Jan; Virk, Kashif M.; Gonzalez, Mercury Jair (2004) (2004): A SystemC-Based Abstract Real-Time Operating System Model for Multiprocessor System-on-Chip. In: Multiprocessor System-on-Chip Morgan-Kaufmann Publishers
Nielsen, Sune Fallgaard; Sparsø, Jens; Madsen, Jan; Selvaraj, Henry (2004) (2004): Towards behavioral synthesis of asynchronous circuits - an implementation template targeting syntax directed compilation. In: EUROMICRO Symposium on Digital System Design (p. 298 - 305)
Virk, Kashif Munir; Madsen, Jan (2004): A system-level multiprocessor system-on-chip modeling framework. In: International Symposium on System-on-Chip, 2004. Proceedings. (p. 81 - 84)

2003

Madsen, Jan; Mahadevan, Shankar; Virk, Kashif M.; Gonzalez, Mercury Jair (2003) (2003): Network-on-Chip Modeling for System-Level Multiprocessor Simulation. In: The 24th IEEE International Real-Time Systems Symposium (p. 265-274) IEEE Computer Society
Mahadevan, Shankar; Bjerregaard, Tobias; Sparsø, Jens; Madsen, Jan (2003) (2003): Using SystemC to Model Asynchronous Communication at Different Levels of Abstraction. In: Third ACiD-WG Workshop, Heraklion, Crete, Greece
Madsen, Jan; Virk, Kashif Munir; Gonzalez, Mercury Jair (2003) (2003): Abstract RTOS Modelling for Multiprocessor System-on-Chip. In: International Symposium on System-on-Chip (p. 147-150) IEEE
Virk, Kashif Munir; Madsen, Jan (2003) (2003): Resource Allocation Model for Modelling Abstract RTOS on Multiprocessor System-on-Chip. In: Proceedings of the 21th Norchip Conference in Riga, Latvia, 10-11 november (p. 48-51)
Nielsen, Sune Fallgaard; Madsen, Jan (2003) (2003): Power Constrained High-Level Synthesis of Battery Powered Digital Systems. In: DATE 2003 (p. 1136-1137)

2002

Gonzales, Mercury; Madsen, Jan (2002) (2002): Abstract RTOS modelling in SystemC. In: Proceedings of NORCHIP 2002 (p. 43-49)
Nurmi, Jari; Isoaho, Jouni; Tenhunen, Hannu; Madsen, Jan; Ofner, Erwin; Nielsen, Ivan Ring (2002) (2002): SoC-Mobinet - A project for Collaborative System-on-Chip Curricula Development with Industrial Support. In: Proceedings of the 4th European Workshop on Microelectronics Education, EWME
Madsen, Jan; Gonzalez, Mercury Jair; Blaickner et al., A. (2002) (2002): Abstract RTOS modelling in SystemC. In: 2nd Workshop on SoC and SystemC
Nielsen, Sune Fallgaard; Sparsø, Jens; Madsen, Jan; Hammerstoft, Jens-Peder; Hansen, Jacob Skou (2002) (2002): High-level synthesis of asynchronous circuits from control data flow graph representations. In: Second ACiD-WG Workshop (of the european commission's fifth framework programme), Munich,Germany 28-29 January
Madsen, Jan; Steensgaard-Madsen, Jørgen; Christensen, Lars Munk (2002): A Sophomore Course in Codesign. Computer (New York), 35(11), 108-110, doi:10.1109/MC.2002.1046983.

1986-2001

Borum, Kristian; Gleerup, Thomas Møller; Madsen, Jan; Pedersen, Steen (2001) (2001): Power-over-Time Estimation for Processor Design. In: Proceedings of NORCHIP'01
Holten-Lund, Hans Erik; Hvidtfeldt, M.; Madsen, Jan; Pedersen, Steen (2000): VRML Visualization in a Surgery Planning and Diagnostics Application. In: Proceedings of the Web3D-VRML 2000: fifth symposium on Virtual reality modeling language, Monterey, California, February 21-24, 2000 (p. 111-118)
Holten-Lund, Hans; Hvidtfeldt, Mogens; Madsen, Jan; Pedersen, Steen (2000): VRML visualization in a surgery planning and diagnostics application. In: Proceedings of VRML 2000
Wolf, Wayne; Madsen, Jan (2000): Embedded System Education for the Future. Proceedings of the IEEE, 88(1), 23-30
Gleerup, Thomas Møller; Holten-Lund, Hans Erik; Madsen, Jan; Pedersen, Steen (2000): Memory Architecture for Efficient Utilization of SDRAM. In: 8th International Workshop on Hardware/Software Codesign, CODES 2000 (p. 51-55)
Gleerup, Thomas Møller; Holten-Lund, Hans Erik; Madsen, Jan; Pedersen, Steen (2000): Memory architecture for efficient utilization of SDRAM: a case study of the computation/memory access trade-off. In: Proceedings of the Eighth International Workshop on Hardware/Software Codesign (p. 51-55)
Pedersen, Steen; Madsen, Jan; Holten-Lund, Hans; Hvidtfeldt, Mogens; , (1999): Acetabular dysplasi: PC assisteret anatomiske målinger i 3D på basis af CT data.
Knudsen, Peter Voigt; Madsen, Jan (1999): Integrating Communication Protocol Selection with. IEEE Transaction on Computer-Aided Design of Integrated, 18(8), 1077-1095
Madsen, Jan; Bjørn-Jørgensen, Peter (1999): Embedded System Synthesis under Memory Constraints. In: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999. (CODES '99) (p. 188-192)
Knudsen, Peter Voigt; Madsen, Jan (1999): Graph based communication analysis for hardware/software codesign. In: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999. (CODES '99) (p. 131-135)
Holten-Lund, Hans; Madsen, Jan; Pedersen, Steen (1998): Virtual Prototyping, A Method for Hardware/Software Codesign. Proceedings of the 16th NORCHIP Conference
Grode, Jesper; Madsen, Jan; Jerraya, Ahmed (1998): Performance Estimation for Hardware/Software Codesign. In: Proceedings of the International Symposium on High Performance Computing
Grode, Jesper Nicolai Riis; Madsen, Jan; Jerraya, Ahmed (1998) (1998): Performance Estimation for Hardware/Software codesign using Hierarchical Colored Petri Nets. In: Proceedings of the International Symposium on High Performance Computing, HPC'98
Holten-Lund, Hans Erik; Madsen, Jan; Pedersen, Steen (1998) (1998): Virtual Prototyping, A Method for Hardware/Software Codesign. In: Proceedings of NORCHIP'98
Holten-Lund, Hans Erik; Lütken, Martin; Madsen, Jan; Pedersen, Steen (1998): Virtual Prototyping, a Case Study in Dataflow Oriented Codesign.. In: Poster presentation at the 6th International Workshop on Hardware/Software Codesign
Grode, Jesper Nicolai Riis; Knudsen, Peter Voigt; Madsen, Jan (1998): Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System. In: Design, Automation and Test in Europe, 1998., Proceedings (p. 22-27)
Grode, Jesper Nicolai Riis; Madsen, Jan (1998): A Unified Component Modeling Approach for Performance Estimation in Hardware/Software Codesign. In: Euromicro Conference, 1998. Proceedings. 24th (p. 65-69)
Knudsen, Peter Voigt; Madsen, Jan (1998): Communication Estimation for Hardware/Software Codesign. In: Hardware/Software Codesign, 1998. (CODES/CASHE '98) Proceedings of the Sixth International Workshop on (p. 55-59)
Knudsen, Peter Voigt; Madsen, Jan (1998): Integrating communication protocol selection with partitioning in hardware/software codesign. In: Proceeings of the 11th International Symposium on System Synthesis (p. 111-116)
Madsen, Jan; Grode, Jesper Nicolai Riis; Knudsen, Peter Voigt; Petersen, Morten Elo; Haxthausen, Anne (1997): LYCOS: The Lyngby Co-Synthesis System. Design Automation for Embedded Systems, 2(2), 195-236
Madsen, Jan; Grode, Jesper Nicolai Riis; Knudsen, Peter Voigt (1997) (1997): Hardware/Software Partitioning using the LYCOS System. In: Hardware/Software Codesign: Principles and Practices (p. 257-279).
Holten-Lund, Hans Erik; Madsen, Jan; Pedersen, Steen (1997): A Case Study of a Hybrid Parallel 3D Surface Rendering Graphics Architecture. In: SASIMI '97 Proceedings
Bjørn-Jørgensen, Peter; Madsen, Jan (1997): Critical Path Driven Cosynthesis for Heterogeneous Target Architectures. In: International Workshop on Hardware/Software Codesign (p. 15-19)
Jensen, Dan C. Raun; Madsen, Jan; Pedersen, Steen (1997): The Importance of Interfaces: A HW/SW Codesign Case Study. In: 5th International Workshop on Hardware/Software Codesign (p. 87-91)
Madsen, Jan; Brage, Jens P. (1996): Codesign Analysis of a Computer Graphics Application. Design Automation of Embedded Systems, 1(1-2), 121-145
Knudsen, Peter Voigt; Madsen, Jan (1996): PACE: A dynamic programming algorithm for hardware/software partitioning. In: Proceedings. Fourth International Workshop on Hardware/Software Co-Design (Code/CASHE `96) (p. 85-92)
Knudsen, Peter Voigt; Madsen, Jan (1996): Aspects of system modelling in Hardware/Software partitioning. In: Proceedings. Seventh IEEE International Workshop on Rapid System Prototyping (p. 18-23)
Liu, Zhiming; Hansen, Michael Reichhardt; Madsen, Jan; Brage, Jens P.): Real-Time Semantics for Data Flow Graphs
Grode, Jesper Nicolai Riis; Madsen, Jan (1995) (1995): Resource Considerations during Parallel Scheduling of Large Control Flow Dominated Applications. In: Proceedings of the 4th International Conference on VLSI and CAD, ICVC'95 (p. 379 - 382)
Madsen, Jan; Hald, Bjarne (1995) (1995): An Approach to Interface Synthesis. In: Proceedings of the 8th International Symposium on System Synthesis (p. 16 - 21)
Hald, Bjarne G.; Madsen, Jan (1994) (1994): A Flexible Architecture Representation for High Level Synthesis. In: Proceedings of the Second Asian Pacific Conference on Hardware Description Languages, APCHDL'94 (p. 247 - 250)
Madsen, Jan; Brage, Jens P. (1994) (1994): Modeling Shared Variables in VHDL. In: Proceedings of the European Design Automation Conference with EURO-VHDL'94 (p. 486 - 491)
Brage, Jens P.; Madsen, Jan (1994) (1994): A Codesign Case Study in Computer Graphics. In: Proceedings of the Third International Workshop on Hardware/Software Codesign (p. 132-139)
Ranerup, Kenny; Philipson, Lars; Madsen, Jan; Olesen, Ole; Janssen, Geert (1993) (1993): Controller Synthesis and Verification. In: {Application-Driven Architecture Synthesis} (p. 211 - 232).
Madsen, Jan; Vandaele, Bernard (1993) (1993): Deferral Based List Scheduling. In: Proceedings of the 3rd International Conference on VLSI and CAD, ICVC'93 (p. 201 - 204)
Hald, Bjarne; Madsen, Jan (1993): Performance Aspects of Gate Matrix Layout. In: International Conference on V L S I Design. Proceedings (p. 226-229).
Madsen, Jan (1992): Layout Synthesis using Compiled Cells, PhD thesis. Informatics and Mathematical Modelling, Technical University of Denmark
Hald, Bjarne G.; Madsen, Jan (1992) (1992): A New Layout Model For Automatic Gate Matrix Layout Generation. In: Proceedings of the NORCHIP Seminar'92 (p. 112 - 118)
Madsen, Jan; Hald, Bjarne G. (1992) (1992): Controller Synthesis Using Compiled Cells. In: Proceedings of the NORCHIP Seminar'92 (p. 36 - 43)
Madsen, Jan (1991) (1991): Single-Level Wiring for CMOS Functional Cells. In: Proceedings of the International Conference on Very Large Scale Integration, VLSI-91 (p. 8a.1.1 - 8a)
Pallisgaard, Henrik; Andersen, Ole C.; Linqvist, Lars; Madsen, Jan (1991) (1991): Controller Synthesis in GAIA, A VHDL RT-Level Framework. In: Proceedings of the Second European Conference on VHDL Methods, EuroVHDL'91 (p. 78 - 85)
Madsen, Jan (1991) (1991): Delay estimation for CMOS functional cells. In: Proceedings of the 2nd European Design Automation Conference (p. 101 - 105)
Madsen, Jan; Brage, Jens P. (1990): Flow Graph Modelling Using VHDL Bus Resolution Functions. In: Proceedings of the ASCIS Open Workshop on Verification and Specification
Madsen, Jan (1990) (1990): The Impact of Novel Algorithms, Architectural design Methodologies and Synthesis Strategies on Future ASIC Design. In: Proceedings of the ESPRIT Technical Conference
Madsen, Jan (1990) (1990): Novel Architecture Design Methodologies and Synthesis Strategies for Future ASIC Design. In: Proceedings of the 5th NORSILC/NORCHIP Seminar'90 (p. 1.0 - 1.9)
Madsen, Jan; Brage, Jens P. (1990) (1990): Flow Graph Modelling Using VHDL Bus Resolution Functions. In: Proceedings of the 5th NORSILC/NORCHIP Seminar'90 (p. 7.0 - 7.10)
Andersen, A.C.; Madsen, Jan; Madsen, R.; Pallisgaard, H. (1989) (1989): Automatic Synthesis of Multilevel Combinational Logic. In: Proceedings of the 4th NORSILC/NORCHIP seminar
Madsen, Jan (1989) (1989): A New Approach to Optimal Cell Synthesis. In: Proceedings of the IEEE International Conference on Computer-Aided Design, ICCAD-89 (p. 336 - 340)
Andersen, Anders C.; Madsen, Jan; Madsen, J.R.; Pallisgaard, H (1989): Automatic Synthesis of Multilevel Combinational Logic. In: Proceedings of the 15th European Solid-State Circuits Conference (p. 109-112)
Andersen, A. C.; Madsen, Jan; Madsen, J. R.; Pallisgaard, H. (1988) (1988): A Dynamic Environment for VLSI Design Tools. In: Proceedings of the 3rd NORSILC/NORCHIP seminar (p. 3.0-3.26)
Madsen, Jan; Stassen, Flemming (1986) (1986): Digital Design Using Module Generators. In: Proceedings of the 2nd NORSILC/NORCHIP Seminar (p. 15 pages)

Jan Madsen

PUBLICATIONS