A Modular Physical-Simulation Methodology. - Florian Schanda; Philip Willis (VRIPHYS, 2010)

Using Answer Set Programming in the Development of Verified Software. - Florian Schanda; Martin Brain (ICLP (Technical Communications), 2012)

A Lightweight Technique for Distributed and Incremental Program Verification. - Martin Brain; Florian Schanda (VSTTE, 2012)

Auditing User-Provided Axioms in Software Verification Conditions. - Paul B. Jackson; Florian Schanda; Angela Wallenburg (FMICS, 2013)

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. - Roderick Chapman; Florian Schanda (ITP, 2014)

High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. - S. Tucker Taft; Florian Schanda; Yannick Moy (HASE, 2016)

Functional Requirements-Based Automated Testing for Avionics. - Youcheng Sun; Martin Brain; Daniel Kroening; Andrew Hawthorn; Thomas Wilson; Florian Schanda; Francisco Javier Guzman Jimenez; Simon Daniel; Chris Bryan; Ian Broster (ICECCS, 2017)

Building Better Bit-Blasting for Floating-Point Problems. - Martin Brain; Florian Schanda; Youcheng Sun (TACAS (1), 2019)