Florian Schanda

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 4

Top Topics

Functional Requirements

Theorem Proving

Answer Set Programming

Top Venues

Publications

Martin Brain, Florian Schanda, Youcheng Sun
Building Better Bit-Blasting for Floating-Point Problems. TACAS (1) (2019)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. CoRR (2017)
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster
Functional Requirements-Based Automated Testing for Avionics. ICECCS (2017)
S. Tucker Taft, Florian Schanda, Yannick Moy
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. HASE (2016)
Roderick Chapman, Florian Schanda
Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. ITP (2014)
Paul B. Jackson, Florian Schanda, Angela Wallenburg
Auditing User-Provided Axioms in Software Verification Conditions. FMICS (2013)
Florian Schanda, Martin Brain
Using Answer Set Programming in the Development of Verified Software. ICLP (Technical Communications) (2012)
Martin Brain, Florian Schanda
A Lightweight Technique for Distributed and Incremental Program Verification. VSTTE (2012)
Florian Schanda, Philip Willis
A Modular Physical-Simulation Methodology. VRIPHYS (2010)