| Integration of a formal specification approach into CPPS engineering workflow for machinery validation | 0 | 0.34 | 2021 |
| Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control | 0 | 0.34 | 2021 |
| Towards classes of architectural dependability assurance for machine-learning-based systems | 1 | 0.35 | 2020 |
| Smart Contracts: Application Scenarios for Deductive Program Verification. | 0 | 0.34 | 2019 |
| Understanding Counterexamples for Relational Properties with DIbugger. | 0 | 0.34 | 2019 |
| Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. | 0 | 0.34 | 2018 |
| Trends in Relational Program Verification. | 0 | 0.34 | 2018 |
| Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. | 1 | 0.37 | 2018 |
| Debugging Program Verification Proof Scripts (Tool Paper). | 0 | 0.34 | 2018 |
| Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. | 1 | 0.36 | 2018 |
| Using Theorem Provers To Increase The Precision Of Dependence Analysis For Information Flow Control | 0 | 0.34 | 2018 |
| Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. | 0 | 0.34 | 2018 |
| Experience Report: Formal Methods in Material Science. | 0 | 0.34 | 2018 |
| An Interaction Concept for Program Verification Systems with Explicit Proof Object. | 0 | 0.34 | 2017 |
| Modular Verification of Information Flow Security in Component-Based Systems. | 2 | 0.37 | 2017 |
| Proving Jdk'S Dual Pivot Quicksort Correct | 0 | 0.34 | 2017 |
| Generalized Test Tables: A Powerful And Intuitive Specification Language For Reactive Systems | 2 | 0.51 | 2017 |
| Generalised Test Tables: A Practical Specification Language for Reactive Systems. | 2 | 0.47 | 2017 |
| Generation of monitoring functions in production automation using test specifications | 1 | 0.44 | 2017 |
| SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | 0 | 0.34 | 2017 |
| Deductive Verification of Legacy Code. | 3 | 0.41 | 2016 |
| Automatic Margin Computation for Risk-Limiting Audits. | 0 | 0.34 | 2016 |
| Interactive Theorem Proving - Modelling the User in the Proof Process. | 0 | 0.34 | 2015 |
| Regression Verification for Programmable Logic Controller Software. | 6 | 0.51 | 2015 |
| Proving equivalence between control software variants for Programmable Logic Controllers | 1 | 0.37 | 2015 |
| Selected challenges of software evolution for automated production systems | 4 | 0.42 | 2015 |
| Regression verification for Java using a secure information flow calculus | 4 | 0.40 | 2015 |
| A Hybrid Approach for Proving Noninterference of Java Programs. | 12 | 0.48 | 2015 |
| Reasoning and Verification: State of the Art and Current Trends | 11 | 0.53 | 2014 |
| A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. | 7 | 0.58 | 2014 |
| Verifying voting schemes | 3 | 0.45 | 2014 |
| A Dynamic Logic for deductive verification of multi-threaded programs. | 0 | 0.34 | 2013 |
| A Metric for Testing Program Verification Systems. | 3 | 0.51 | 2013 |
| Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | 18 | 0.74 | 2013 |
| On the specification and verification of voting schemes | 1 | 0.40 | 2013 |
| Dynamic logic with trace semantics | 2 | 0.40 | 2013 |
| Information Flow in Object-Oriented Software | 15 | 0.57 | 2013 |
| Analysing vote counting algorithms via logic: and its application to the CADE election scheme | 1 | 0.40 | 2013 |
| Lessons Learned From Microkernel Verification* Specification Is The New Bottleneck | 13 | 0.59 | 2012 |
| Evaluating the Usability of Interactive Verification Systems. | 6 | 0.74 | 2012 |
| Formal semantics of model fields in annotation-based specifications | 0 | 0.34 | 2012 |
| KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. | 2 | 0.37 | 2011 |
| Software Security In Virtualized Infrastructures - The Smart Meter Example | 0 | 0.34 | 2011 |
| Integration of bounded model checking and deductive verification | 2 | 0.38 | 2011 |
| Deduktion: von der Theorie zur Anwendung | 1 | 0.36 | 2010 |
| Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). | 0 | 0.34 | 2010 |
| Practical Aspects of Automated Deduction for Program Verication | 2 | 0.41 | 2010 |
| Deductive Verification of System Software in the Verisoft XT Project | 7 | 0.52 | 2010 |
| Improving the usability of specification languages and methods for annotation-based verification | 2 | 0.40 | 2010 |
| Generating regression unit tests using a combination of verification and capture & replay | 2 | 0.39 | 2010 |
