Abstract is missing.
- Formal plausibility checks for environment constraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. 13-19 [doi]
- Assertion-based verification of signal processing systems with affine arithmeticCarna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm. 20-26 [doi]
- An efficient refinement strategy exploiting component properties in a cegar processSyed Hussein S. Alwi, Cécile Braunstein, Emmanuelle Encrenaz. 27-34 [doi]
- Reliability annotations to formal specifications of context-sensitive safety properties in embedded systemsAritra Hazra, Priyankar Ghosh, Pallab Dasgupta. 36-43 [doi]
- MODEST - A unified language for quantitative modelsArnd Hartmanns. 44-51 [doi]
- Formal Specification Level: Towards verification-driven design based on natural language processingRolf Drechsler, Mathias Soeken, Robert Wille. 53-58 [doi]
- QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systemsReinhard Schneider 0001, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty. 60-67 [doi]
- Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systemsJavier Moreno, Markus Damm, Jan Haase, Christoph Grimm, Edgar Holleis. 68-74 [doi]
- A unified platform for design and verification of mixed-signal systems based on SystemC AMSYao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat. 75-82 [doi]
- Configurable load emulation using FPGA and power amplifiers for automotive power ICsManuel Harrant, Thomas Nirmaier, Georg Pelz, Fabrizio Dona, Christoph Grimm. 84-89 [doi]
- A SystemC AMS extension for controlled modules and dynamic step sizesChristiane Reuther, Karsten Einwich. 90-97 [doi]
- Analog assertion-based verification on partial state space representations using ASLSebastian Steinhorst, Lars Hedrich. 98-104 [doi]
- TLM POWER3: Power estimation methodology for SystemC TLM 2.0David J. Greaves, Mehboob Yasin. 106-111 [doi]
- Scandal: Systemc analysis for nondeterminism anomaliesChristoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid. 112-119 [doi]
- Localizing features of ESL models for design understandingMarc Michael, Daniel Große, Rolf Drechsler. 120-125 [doi]
- Minimal MPI as programming interface for multicore System-on-ChipsAdán Kohler, Juan Manuel Castillo-Sanchez, Joachim Gross, Martin Radetzki. 127-134 [doi]
- A functional language for describing reversible logicMichael Kirkedal Thomsen. 135-142 [doi]
- Integrating virtual platforms into a heterogeneous MoC-based modeling frameworkGilmar S. Beserra, Seyed Hosein Attarzadeh Niaki, Ingo Sander. 143-150 [doi]
- Transformation of event-driven HDL blocks for native integration into time-driven system modelsRalph Görgen, Jan-Hendrik Oetjens, Wolfgang Nebel. 152-159 [doi]
- Formal heterogeneous system modeling with SystemCSeyed Hosein Attarzadeh Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander. 160-167 [doi]
- Extended framework for system simulation with affine arithmeticMichael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm. 168-175 [doi]
- A model-driven methodology for the development of SystemC executable environmentsFernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar. 177-184 [doi]
- Modeling and simulation of secure wireless sensor networkAlvaro Diaz Suarez, Pablo Peñil, Pablo Sanchez, Juan Sancho, Juan Rico. 185-192 [doi]
- Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logicClifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm. 194-201 [doi]
- Minimum energy point of sub-threshold operated pass-transistor circuitsAleksandar Pajkanovic, Tom J. Kazmierski, Branko Dokic. 202-207 [doi]
- An integrated simulation framework for invasive computingMichael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib. 209-216 [doi]
- Invasive computing - Concepts and overheadsJürgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schröder-Preikschat. 217-224 [doi]
- Invasive computing with iOMPMichael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber, Josef Weidendorfer. 225-231 [doi]
- Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL componentsSaraju P. Mohanty, Elias Kougianos, Oleg Garitselov, Javier Moreno Molina. 233-238 [doi]
- Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applicationsGael F. Close, Gjalt De Jong. 239-245 [doi]
- FAst optimization of analog amplifier architecture using simulated annealingSumit Adhikari, Florian Schupfer, Christoph Grimm. 246-251 [doi]