default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th FDL 2025: St. Goar, Germany
- Forum on Specification & Design Languages, FDL 2025, St. Goar, Germany, September 10-12, 2025. IEEE 2025, ISBN 979-8-3315-9379-7
- Fahimeh Bahrami, Ingo Sander:
Automating Transformation Strategy via Attributed Graphs for Process Network Parallelization. 1-10 - Raphael Kunz
, Mayuri Bhadra, Lijun Chen, Stephanie Ecker, Wolfgang Ecker:
Leveraging Model-Driven Architecture for Efficient Custom Instruction Utilization in Embedded Systems in C and Rust. 1-8 - Sven Mehlhop, Jörg Walter, Frank Oppenheimer:
Open-Source Timing-Monitor Co-Processor in RISC-V Safety Infrastructure. 1-2 - Emanuel Regnath, Andreas Finkenzeller, Sebastian Steinhorst:
Flexpoch: Feature-rich 64-bit DateTime Encoding. 1-5 - Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler:
System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit. 1-9 - Alexandre Betis, Clément Dransart, Christophe Lechevalier, Jérôme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier:
Design and implementation of a safety-critical domain specific language for on-board train control. 1-7 - Kaki Ryan, Cynthia Sturton:
Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs. 1-2 - Samarjit Chakraborty, Klaus Schneider:
Designing Imperfect Cyber-Physical Systems. 1-2 - Manfred Schlägl, Jonas Reichhardt, Daniel Große:
ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes. 1-8 - Srinidhi Rathnakar Ganiga, Bernhard J. Berger, Görschwin Fey:
Leveraging the Benefits of Information Flow Tracking for Detecting Hardware Design Flaws. 1-8 - Lennart Weingarten, Kamalika Datta, Rolf Drechsler:
ForMAt: Formal Verification of Scalable Multiply and Accumulate Units. 1-7 - Klaus Schneider, Demyana Selim, Nadine Kercher:
Performance Modeling and Analysis of Exposed Datapath Architectures. 1-10 - Malou Rayon-Richter, Daniela Genius:
Tool Support for Precise Assessment of Software Security/Performance Tradeoffs. 1-2 - Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider:
Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case. 1-8 - Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Christoph Scheytt, Wolfgang Müller, Rainer Dömer:
A Quantitative Guide to Navigate Speed/Accuracy Tradeoffs in System Level Design of RISC-V Processor Grids. 1-9 - Rune Krauss, Luca Müller, Marius Marach, Rolf Drechsler:
BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions. 1-10 - Christoph Hazott, Daniel Große:
LLM-assisted Metamorphic Testing of Embedded Graphics Libraries. 1-10 - Byeong-Gil Jun, Megan Kuo, Aditya A. Krishnan, Hokeun Kim:
Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA. 1-2 - Giovanni Pollo, Andrei Mihai Albu, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri, Sara Vinco:
Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design. 1-9 - Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. 1-5 - Hagen Heermann, Pascal Grabowsky, Carna Zivkovic, Christoph Grimm:
Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams. 1-9
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-10-22 02:24 CEST 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:
