default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th FDL 2022: Linz, Austria
- Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022. IEEE 2022, ISBN 978-1-6654-7332-3
- Francesco Tosoni
, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi:
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. 1-8 - Marcel Christian Werner, Klaus Schneider:
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. 1-8 - Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev:
Formal Modelling of Burst-Mode Specifications in a Distributed Environment. 1-8 - Rahul Krishnamurthy, Michael S. Hsiao:
Automated Suggestions Framework for Processing Hardware Specifications Written in English. 1-8 - Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich:
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. 1-8 - Niklas Bruns, Vladimir Herdt, Rolf Drechsler:
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. 1-8 - Lucas Klemmer, Sonja Gurtner, Daniel Große:
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. 1-8 - Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler:
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. 1-6 - Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler:
3D Visualization of Symbolic Execution Traces. 1-8 - Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann:
CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. 1-8 - Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander:
A multi-view and programming language agnostic framework for model-driven engineering. 1-8 - Felix Böseler, Jörg Walter, Behnam Razi Perjikolaei:
A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCs. 1-8 - Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella:
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. 1-4
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 2025-12-04 01:26 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:
