Runtime Verification of Compound Components with ComMA

A Process to Facilitate Automated Automotive Cybersecurity Testing

Gobra: Modular Specificationand Verification of Go Programs

Automated Verification of the Parallel Bellman–Ford Algorithm

Pressure control and conformance management for safe and efficient CO2 storage – lessons learned in the Pre-ACT project

Quantitative assessment of monitoring strategies for conformance verification of CO2 storage projects

Verifying sanitizer correctness through black-box learning: A symbolic finite transducer approach

Robustness Verification for Classifier Ensembles

SMT-based verification of temporal properties for component-based software systems

Experimental error mitigation via symmetry verification in a variational quantum eigensolver

Elicitation of technical requirements in large research projects: The CERBERO approach

How cognitive biases influence the data verification of safety indicators: A case study in rail

Key challenges and results in the design of Cubesat Laser Terminals, Optical Heads and Coarse Pointing Assemblies

RERS 2019: Combining Synthesis with Real-World Models

The Growing N-Gram Algorithm: A Novel Approach to String Clustering

Quantifying efficiency of field-wide surveys for verifying CO2 plume conformance during storage operations

Quantifying the efficiency of surveillance strategies for subsurface CO2 storage applications

Pressure control and conformance management for safe and efficient CO2 storage - an overview of the Pre-ACT project

Characterisation and performance verification results of the earthcare multi spectral imager VNS camera

Fatal sarin poisoning in Syria 2013: forensic verification within an international laboratory network