PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Madsen, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
MDM: A Mode Diagram Modeling Framework

, , , , , , , and . FTSCS, volume 105 of EPTCS, page 135-149. (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Other publications of authors with the same name

Codesign analysis of a computer graphics application., and . Design Autom. for Emb. Sys., 1 (1-2): 121-145 (1996)Modeling shared variables in VHDL., and . EURO-DAC, page 486-491. IEEE Computer Society, (1994)Design-for-Testability of On-Chip Control in mVLSI Biochips., , and . IEEE Design & Test, 36 (1): 48-56 (2019)Smartphone-based biosensing platform evolution: Implementation of electrochemical analysis capabilities., , , , and . ISMICT, page 1-5. IEEE, (2016)A Smart Mobile Lab-on-Chip-Based Medical Diagnostics System Architecture Designed for Evolvability., , , , and . DSD, page 390-398. IEEE Computer Society, (2015)Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices., , and . Design Autom. for Emb. Sys., 14 (3): 287-307 (2010)Redundancy optimization for error recovery in digital microfluidic biochips., , and . Design Autom. for Emb. Sys., 19 (1-2): 129-159 (2015)Models and formal verification of multiprocessor system-on-chips., , and . J. Log. Algebr. Program., 77 (1-2): 1-19 (2008)Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend., , and . IEEE Trans. VLSI Syst., 17 (2): 248-261 (2009)ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality., , , and . MASCOTS, page 480-483. IEEE Computer Society, (2005)