Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. | 13 | 0.84 | 2014 |
Runtime verification of embedded real-time systems | 13 | 0.67 | 2014 |
Runtime verification of microcontroller binary code | 3 | 0.41 | 2014 |
Template-Based Synthesis Of Plan Execution Monitors | 0 | 0.34 | 2013 |
Analyse von eingebetteten Echtzeitsystemen zur Laufzeit. | 0 | 0.34 | 2013 |
Real-Time Runtime Verification on Chip. | 10 | 0.61 | 2012 |
Past time LTL runtime verification for microcontroller binary code | 4 | 0.43 | 2011 |
Precise control flow reconstruction using boolean logic | 9 | 0.44 | 2011 |
Testing Microcontroller Software Simulators. | 0 | 0.34 | 2011 |
Automated test-trace inspection for microcontroller binary code | 5 | 0.44 | 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 |
Stack bounds analysis for microcontroller assembly code | 4 | 0.42 | 2009 |
Using 3-valued memory representation for state space reduction in embedded assembly code model checking | 0 | 0.34 | 2009 |
Challenges in embedded model checking — a simulator for the [mc]square model checker | 3 | 0.41 | 2008 |