default search action
15th FDL 2012: Vienna, Austria
- Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. IEEE 2012, ISBN 978-1-4673-1240-0
Property-based Verification
- Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Formal plausibility checks for environment constraints. 13-19 - Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm:
Assertion-based verification of signal processing systems with affine arithmetic. 20-26 - Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz:
An efficient refinement strategy exploiting component properties in a cegar process. 27-34
Languages & Tools for Probabilistic & Temporal Specifications
- Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta:
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. 36-43 - Arnd Hartmanns:
MODEST - A unified language for quantitative models. 44-51
ABD Keynote
- Rolf Drechsler, Mathias Soeken, Robert Wille:
Formal Specification Level: Towards verification-driven design based on natural language processing. 53-58
EAMS 1: Simulation & Design of Cyber-physical Systems
- Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty:
QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. 60-67 - Javier Moreno, Markus Damm, Jan Haase, Christoph Grimm, Edgar Holleis:
Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems. 68-74 - Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat:
A unified platform for design and verification of mixed-signal systems based on SystemC AMS. 75-82
EAMS 2: Verification of Mixed-Signal Systems
- Manuel Harrant, Thomas Nirmaier, Georg Pelz, Fabrizio Dona, Christoph Grimm:
Configurable load emulation using FPGA and power amplifiers for automotive power ICs. 84-89 - Christiane Reuther, Karsten Einwich:
A SystemC AMS extension for controlled modules and dynamic step sizes. 90-97 - Sebastian Steinhorst, Lars Hedrich:
Analog assertion-based verification on partial state space representations using ASL. 98-104
LBSD 1: SystemC Analysis
- David J. Greaves, Muhammad Mehboob Yasin:
TLM POWER3: Power estimation methodology for SystemC TLM 2.0. 106-111 - Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid:
Scandal: Systemc analysis for nondeterminism anomalies. 112-119 - Marc Michael, Daniel Große, Rolf Drechsler:
Localizing features of ESL models for design understanding. 120-125
LBSD 2: Architectural Aspects in Models and Languages
- Adán Kohler, Juan Manuel Castillo-Sanchez, Joachim Gross, Martin Radetzki:
Minimal MPI as programming interface for multicore System-on-Chips. 127-134 - Michael Kirkedal Thomsen:
A functional language for describing reversible logic. 135-142 - Gilmar S. Beserra, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander:
Integrating virtual platforms into a heterogeneous MoC-based modeling framework. 143-150
LBSD 3: System-level Behavioral Modeling and Simulation
- Ralph Görgen, Jan-Hendrik Oetjens, Wolfgang Nebel:
Transformation of event-driven HDL blocks for native integration into time-driven system models. 152-159 - Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander:
Formal heterogeneous system modeling with SystemC. 160-167 - Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm:
Extended framework for system simulation with affine arithmetic. 168-175
UMES: Effective Exploitation of the UML Profile for MARTE
- Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar:
A model-driven methodology for the development of SystemC executable environments. 177-184 - Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico:
Modeling and simulation of secure wireless sensor network. 185-192
Special Session: Energy Harvesting and Ultra-low Power Design
- Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm:
Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. 194-201 - Aleksandar Pajkanovic, Tom J. Kazmierski, Branko Dokic:
Minimum energy point of sub-threshold operated pass-transistor circuits. 202-207
Special Session: Invasive Programming of Heterogeneous Multi-core Systems
- Michael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib:
An integrated simulation framework for invasive computing. 209-216 - Jürgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schröder-Preikschat:
Invasive computing - Concepts and overheads. 217-224 - Michael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber, Josef Weidendorfer:
Invasive computing with iOMP. 225-231
Special Session: Model Based Design of Electronic Systems in Systems
- Saraju P. Mohanty, Elias Kougianos, Oleg Garitselov, Javier Moreno Molina:
Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL components. 233-238 - Gael F. Close, Gjalt de Jong:
Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications. 239-245 - Sumit Adhikari, Florian Schupfer, Christoph Grimm:
FAst optimization of analog amplifier architecture using simulated annealing. 246-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: