Florian Schanda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2019
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | Building Better Bit-Blasting for Floating-Point Problems. | Martin Brain, Florian Schanda, Youcheng Sun |
| 2017 | ICECCS | 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 |
| 2014 | ITP | Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. | Roderick Chapman, Florian Schanda |
| 2013 | FMICS | Auditing User-Provided Axioms in Software Verification Conditions. | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
| 2012 | ICLP | Using Answer Set Programming in the Development of Verified Software. | Florian Schanda, Martin Brain |