Jan Madsen
- 2013
- Published
Application-specific fault-tolerant architecture synthesis for digital microfluidic biochips. / Alistar, Mirela; Pop, Paul; Madsen, Jan.
In: Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC). 2013. p. 794-800.Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- Accepted
Control Synthesis for the Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Ho, Tsung-Yi.
In: Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC) 2013. 2013.Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- 2012
- Published
Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.
In: CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
ASAM: Automatic Architecture Synthesis and Application Mapping. / Jozwiak, L.; Lindwer, M.; Corvino, R.; Meloni, P.; Micconi, Laura; Madsen, Jan; Diken, E.; Gangadharan, Deepak; Jordans, R.; Pomata, S.; Pop, Paul; Tuveri, G.; Raffo, L.
In: 2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Biochips: The Integrated Circuit of Biology. / Madsen, Jan.
In: 2012 NORCHIP. IEEE, 2012.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
- Published
Droplet-Aware Module-Based Synthesis for Fault-Tolerant Digital Microfluidic Biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.
In: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 47-52 .Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Energy-Harvesting Wireless Sensor Networks. / Fafoutis, Xenofon; Vuckovic, Dusan; Di Mauro, Alessio; Dragoni, Nicola; Madsen, Jan.
In: 9th European Conference on Wireless Sensor Networks, EWSN 2012: Poster and Demo Proceedings. 2012. p. 84-85.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
- Submitted
Formal methods for design and simulation of embedded systems. / Jakobsen, Mikkel Koefoed; Madsen, Jan (Main supervisor); Hansen, Michael Reichhardt (Supervisor).
Kgs. Lyngby : Technical University of Denmark, 2012. 190 p. (IMM-PHD-2012; No. 289).Publication: Research › Ph.d. thesis – Annual report year: 2013
- Published
MDM: A Mode Diagram Modeling Framework. / Wang, Zheng; Pu, Geguang; Li, Jianwen; He, Jifeng; Qin, Shengchao; Larsen, Kim G.; Madsen, Jan; Gu, Bin.
In: Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems . 2012. p. 135-149 (Electronic Proceedings in Theoretical Computer Science, Vol. 105).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Online Synthesis for Error Recovery in Digital Microfluidic Biochips with Operation Variability. / Alistar, Mirela; Pop, Paul; Madsen, Jan.
In: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 53-58.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012