| Aided Hand Detection In Thermal Imaging Using Rgb Stereo Vision | 0 | 0.34 | 2019 |
| Cycle-bounded model checking of PLC software via dynamic large-block encoding. | 2 | 0.41 | 2018 |
| Mode-Aware Concolic Testing For Plc Software Special Session "Formal Methods For The Design And Analysis Of Automated Production Systems" | 1 | 0.40 | 2018 |
| Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion. | 0 | 0.34 | 2017 |
| Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. | 0 | 0.34 | 2017 |
| HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. | 5 | 0.47 | 2017 |
| Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. | 2 | 0.37 | 2016 |
| Das Barrierenerkennungssystem von eNav. | 0 | 0.34 | 2016 |
| Architectural Analysis of MATLAB/Simulink Models with Artshop | 0 | 0.34 | 2016 |
| Flow Sensitive Slicing for MATLAB/Simulink Models | 5 | 0.46 | 2016 |
| Abstract Interpretation for Block Diagrams - Two Case Studies. | 1 | 0.35 | 2016 |
| Der Bodenbelag-Detektor des eNav-Systems. | 0 | 0.34 | 2016 |
| Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. | 1 | 0.35 | 2016 |
| Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging. | 0 | 0.34 | 2016 |
| Static Value Range Analysis for Matlab/Simulink-Models. | 2 | 0.39 | 2015 |
| Routing über Flächen mit SpiderWebGraph. | 0 | 0.34 | 2015 |
| Analyzing the Restart Behavior of Industrial Control Applications. | 2 | 0.38 | 2015 |
| Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework | 0 | 0.34 | 2015 |
| Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data. | 0 | 0.34 | 2015 |
| Editorial for the Software Engineering 2013 Conference. | 0 | 0.34 | 2015 |
| Predictable Broadcasting of Parallel Intents in Real-Time Android | 6 | 0.46 | 2014 |
| Runtime verification of microcontroller binary code | 3 | 0.41 | 2014 |
| Development and execution of PLC programs on real-time capable mobile devices | 1 | 0.41 | 2014 |
| Applying static code analysis on industrial controller code | 3 | 0.40 | 2014 |
| Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. | 0 | 0.34 | 2013 |
| Non-blocking garbage collection for real-time Android. | 9 | 0.61 | 2013 |
| Abstract interpretation of microcontroller code: Intervals meet congruences | 3 | 0.45 | 2013 |
| Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung. | 0 | 0.34 | 2013 |
| Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). | 0 | 0.34 | 2013 |
| Load Balancing for Cross Layer Communication | 0 | 0.34 | 2012 |
| Loop leaping with closures | 6 | 0.43 | 2012 |
| A Native Approach to Modeling Timed Behavior in the Pi-Calculus | 3 | 0.39 | 2012 |
| Static Analysis Of Lockless Microcontroller C Programs | 1 | 0.35 | 2012 |
| Range and value-set analysis for programmable logic controllers. | 0 | 0.34 | 2012 |
| Managing complexity and variability of a model-based embedded software product line | 10 | 0.56 | 2012 |
| Arcade.PLC: a verification platform for programmable logic controllers | 17 | 0.90 | 2012 |
| Integration and Analysis of Design Artefacts in Embedded Software Development | 2 | 0.37 | 2012 |
| Testing Conformance of Life Cycle Dependent Properties of Mobile Applications | 8 | 0.86 | 2012 |
| Access-Based Localization for Octagons | 3 | 0.39 | 2012 |
| Invariants for LTI systems with uncertain input | 0 | 0.34 | 2012 |
| Reverse Engineering and Testing Service Life Cycles of Mobile Platforms | 6 | 0.61 | 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 |
| Self-balancing controllable robots in education: a practical course for bachelor students | 0 | 0.34 | 2011 |
| Experiences of applying model-based analysis to support the development of automotive software product lines | 6 | 0.50 | 2011 |
| TripleT: Improving Test Responsiveness for High Performance Embedded Systems | 0 | 0.34 | 2011 |
| Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check | 0 | 0.34 | 2011 |
| Coping with Complexity of Testing Models for Real-Time Embedded Systems | 0 | 0.34 | 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 |
