| Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs. | 0 | 0.34 | 2021 |
| Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures. | 0 | 0.34 | 2020 |
| FIJI: Fault InJection Instrumenter. | 0 | 0.34 | 2019 |
| Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications | 0 | 0.34 | 2019 |
| Verification challenges of complex system-on-chip devices | 0 | 0.34 | 2015 |
| Runtime verification of microcontroller binary code | 3 | 0.41 | 2014 |
| dandel.io - Design of an audio-recorder accessory | 0 | 0.34 | 2014 |
| Memory leak detection runtime-service for embedded Linux devices | 0 | 0.34 | 2014 |
| Past time LTL runtime verification for microcontroller binary code | 4 | 0.43 | 2011 |
| Testing Microcontroller Software Simulators. | 0 | 0.34 | 2011 |
| Model checking embedded software of an industrial knitting machine. | 3 | 0.46 | 2011 |
| Test-Case Generation for Embedded Binary Code Using Abstract Interpretation | 1 | 0.35 | 2010 |
| Refining assembly code static analysis for the Intel MCS-51 microcontroller | 2 | 0.38 | 2009 |
| Using 3-valued memory representation for state space reduction in embedded assembly code model checking | 0 | 0.34 | 2009 |
| Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks | 5 | 1.05 | 2008 |
| An investigation of the clique problem in FlexRay. | 3 | 0.43 | 2008 |
| Towards a Systematic Test for Embedded Automotive Communication Systems | 18 | 1.51 | 2008 |
| Challenges in embedded model checking — a simulator for the [mc]square model checker | 3 | 0.41 | 2008 |
| Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks | 1 | 0.41 | 2006 |
| Efficient Stimulus Generation For Testing Embedded Distributed Systems - The Flexray Example | 2 | 0.44 | 2005 |
| A structured approach for the systematic test of embedded automotive communication systems. | 5 | 1.05 | 2005 |
| NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization | 5 | 0.73 | 1998 |
| Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU) | 9 | 2.37 | 1997 |
