Abstract is missing.
- Time Measurement and Control Blocks for Bare-Metal C++ ApplicationsFriederike Bruns, Philipp Ittershagen, Kim Grüttner. 1-8 [doi]
- A Backend Tool for the Integration of Memory Optimizations into Embedded SoftwareManuel Strobel, Martin Radetzki. 1-7 [doi]
- A Multi-Rate Precision Timed Programming Language for Multi-CoresAlain Girault, Nicolas Hili, Eric Jenn, Eugene Yip. 1-8 [doi]
- RTL Assertion Mining with Automated RTL-to-TLM AbstractionTara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik. 1-8 [doi]
- Deterministic ActorsMarten Lohstroh, Edward A. Lee. 1-8 [doi]
- WIP on a Coordination Language to Automate the Generation of Co-SimulationsGiovanni Liboni, Julien DeAntoni. 1-4 [doi]
- Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems BiologySimone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno. 1-7 [doi]
- Exact Synthesis of LTL Properties from TracesHeinz Riener. 1-6 [doi]
- Security Driven Design Space Exploration for Embedded SystemsLukas Gressl, Christian Steger, Ulrich Neffe. 1-8 [doi]
- Chatbot-based assertion generation from natural language specificationsOliver Keszöcze, Ian G. Harris. 1-6 [doi]
- Syntax-Guided Enumeration of Temporal PropertiesGianluca Martino, Görschwin Fey. 1-8 [doi]
- Towards Object-Oriented Modeling in SCChartsAlexander Schulz-Rosengarten, Steven Smyth, Michael Mendler. 1-8 [doi]
- Functional Coverage-Driven Characterization of RF AmplifiersMuhammad Hassan, Daniel Grobetae, Thilo Vörtler, Karsten Einwich, Rolf Drechsler. 1-8 [doi]
- Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core ProcessorsGinés Doménech-Asensi, Tom J. Kazmierski. 1-4 [doi]
- ⋆Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann 0001, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz. 1-8 [doi]
- A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithmsJie Hou, Martin Radetzki. 1-7 [doi]
- Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi. 1-4 [doi]
- Formal Design, Co-Simulation and Validation of a Radar Signal Processing SystemGeorge Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist. 1-8 [doi]