| Testing Avionics Software: Is FMI up to the Task? | 1 | 0.36 | 2018 |
| Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. | 1 | 0.36 | 2018 |
| Towards the Verification of Hybrid Co-simulation Algorithms. | 1 | 0.37 | 2018 |
| Model-Based Testing for Avionics Systems. | 1 | 0.35 | 2018 |
| Runtime verification of embedded real-time systems | 13 | 0.67 | 2014 |
| Runtime verification of microcontroller binary code | 3 | 0.41 | 2014 |
| Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. | 0 | 0.34 | 2013 |
| Abstract interpretation of microcontroller code: Intervals meet congruences | 3 | 0.45 | 2013 |
| Loop leaping with closures | 6 | 0.43 | 2012 |
| Real-Time Runtime Verification on Chip. | 10 | 0.61 | 2012 |
| Transfer Function Synthesis without Quantifier Elimination | 0 | 0.34 | 2012 |
| Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. | 5 | 0.51 | 2012 |
| Arcade.PLC: a verification platform for programmable logic controllers | 17 | 0.90 | 2012 |
| Access-Based Localization for Octagons | 3 | 0.39 | 2012 |
| Inferring definite counterexamples through under-approximation | 7 | 0.48 | 2012 |
| Past time LTL runtime verification for microcontroller binary code | 4 | 0.43 | 2011 |
| Application of static analyses for state-space reduction to the microcontroller binary code | 9 | 0.55 | 2011 |
| Transfer function synthesis without quantifier elimination | 8 | 0.50 | 2011 |
| Existential quantification as incremental SAT | 27 | 1.17 | 2011 |
| Approximate quantifier elimination for propositional boolean formulae | 2 | 0.40 | 2011 |
| Precise control flow reconstruction using boolean logic | 9 | 0.44 | 2011 |
| Adaptable Value-Set Analysis for Low-Level Code. | 1 | 0.35 | 2011 |
| Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. | 1 | 0.36 | 2011 |
| Automated test-trace inspection for microcontroller binary code | 5 | 0.44 | 2011 |
| On-The-Fly Path Reduction | 0 | 0.34 | 2011 |
| Model checking embedded software of an industrial knitting machine. | 3 | 0.46 | 2011 |
| Counterexample-guided abstraction refinement for PLCs | 10 | 0.91 | 2010 |
| Synthesizing simulators for model checking microcontroller binary code | 1 | 0.38 | 2010 |
| Loop refinement using octagons and satisfiability | 0 | 0.34 | 2010 |
| Test-Case Generation for Embedded Binary Code Using Abstract Interpretation | 1 | 0.35 | 2010 |
| Automatic abstraction for intervals using Boolean formulae | 19 | 0.67 | 2010 |
| Range analysis of microcontroller code using bit-level congruences | 8 | 0.48 | 2010 |
| A system for synthesizing abstraction-enabled simulators for binary code verification | 0 | 0.34 | 2010 |
| Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. | 0 | 0.34 | 2010 |
| Interval analysis of microcontroller code using abstract interpretation of hardware and software | 11 | 0.55 | 2010 |
| Parallel and Distributed Invariant Checking of Microcontroller Software | 1 | 0.35 | 2009 |
| 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 |
| Reduction of interrupt handler executions for model checking embedded software | 13 | 0.61 | 2009 |
| Interprocedural Pointer Analysis in Goanna | 1 | 0.35 | 2009 |
| Goanna: Syntactic Software Model Checking | 8 | 0.46 | 2008 |
