Abstract is missing.
- A novel modeling framework for time-triggered safety-critical embedded systemsIban Ayestaran, Carlos Fernando Nicolas, Jon Perez, Asier Larrucea, Peter P. Puschner. 1-8 [doi]
- Dependable task and communication migration in tiled manycore system-on-chipStefan Wallentowitz, Stefan Rosch, Thomas Wild, Andreas Herkersdorf, Volker Wenzel, Jörg Henkel. 1-8 [doi]
- A comparison of parallel systemc simulation approaches at RTLBastian Haetzer, Martin Radetzki. 1-8 [doi]
- Semi-formal representation of requirements for automotive solutions using sysMLLiana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner. 1-8 [doi]
- Powermonitor: a versatile API for automated power-aware ESL designYasaman Samei Syahkal, Rainer Dömer. 1-4 [doi]
- Synthesizing code for GPGPUs from abstract formal modelsGabriel Hjort Blindell, Christian Menne, Ingo Sander. 1-8 [doi]
- Distributed, loosely-synchronized systemC/TLM simulations of many-processor platformsChristian Sauer, Hans-Martin Blüthgen, Hans-Peter Loeb. 1-8 [doi]
- Towards satisfaction checking of power contracts in UppaalGregor Nitsche, Kim Grüttner, Wolfgang Nebel. 1-8 [doi]
- A property language for the specification of hardware-dependent embedded system softwareBinghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz. 1-8 [doi]
- Multi-level modeling of wireless embedded systemsFangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, François Pêcheux, Remi Butaud. 1-8 [doi]
- Verification of unit and dimensional consistencies in polychronous specificationsMahesh Nanjundappa, Sandeep K. Shukla. 1-8 [doi]
- A concept for design of embedded systems at semantic levelFrank Wawrzik, Javier Moreno Molina, Christoph Grimm 0001. 1-4 [doi]
- Verifying consistency between activity diagrams and their corresponding OCL contractsChristoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler. 1-7 [doi]
- Execution of heterogeneous models for thermal analysis with a multi-view approachAmani Khecharem, Carlos Gomez, Julien DeAntoni, Frédéric Mallet, Robert de Simone. 1-8 [doi]
- Automating the translation of assertions using natural language processing techniquesMathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler. 1-8 [doi]
- An extensible infrastructure for modeling and time analysis of predictable embedded systemsFernando Herrera, Ingo Sander. 1-8 [doi]
- SystemC AMS power electronic modeling with ideal instantaneous switchesLeandro Gil, Martin Radetzki. 1-8 [doi]
- Towards simulation based evaluation of safety goal violations in automotive systemsOezlem Karaca, Jérôme Kirscher, Linus Maurer, Georg Pelz. 1-8 [doi]
- Hybrid dynamic data race detection in systemCAlper Sen, Onder Kalaci. 1-6 [doi]
- Automatic refinement checking for formal system modelsJulia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler. 1-8 [doi]
- MetaSMT: a unified interface to SMT-LIB2Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler. 1-6 [doi]