Abstract is missing.
- Formal Plausibility Checks for Environment ConstraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. 1-16 [doi]
- Efficient Refinement Strategy Exploiting Component Properties in a CEGAR ProcessSyed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz. 17-36 [doi]
- Formal Specification LevelRolf Drechsler, Mathias Soeken, Robert Wille. 37-52 [doi]
- TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0David J. Greaves, Mehboob Yasin. 53-68 [doi]
- SCandal: SystemC Analysis for Nondeterminism AnomaliesJan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid. 69-88 [doi]
- A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMSYao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat. 89-108 [doi]
- Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICsManuel Harrant, Thomas Nirmaier, Christoph Grimm 0001, Georg Pelz. 109-126 [doi]
- Model Based Design of Distributed Embedded Cyber Physical SystemsJavier Moreno Molina, Markus Damm, Jan Haase, Edgar Holleis, Christoph Grimm 0001. 127-143 [doi]
- Model-Driven Methodology for the Development of Multi-level Executable EnvironmentsFernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar. 145-164 [doi]
- GREEN HOME: The Concept and Study of Grid ResponsivenessSlobodanka Tomic, Jan Haase, Goran Lazendic. 165-178 [doi]
- Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL ComponentsSaraju P. Mohanty, Elias Kougianos. 179-199 [doi]
- Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable ArchitecturesJohann Glaser, Clifford Wolf. 201-221 [doi]