Florian Schanda

According to our database, Florian Schanda authored at least 8 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Building Better Bit-Blasting for Floating-Point Problems.

Martin Brain, Florian Schanda, Youcheng Sun

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017

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

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles.

S. Tucker Taft, Florian Schanda, Yannick Moy

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2014

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK.

Roderick Chapman, Florian Schanda

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Auditing User-Provided Axioms in Software Verification Conditions.

Paul B. Jackson, Florian Schanda, Angela Wallenburg

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

A Lightweight Technique for Distributed and Incremental Program Verification.

Martin Brain, Florian Schanda

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Using Answer Set Programming in the Development of Verified Software.

Florian Schanda, Martin Brain

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2010

A Modular Physical-Simulation Methodology.

Florian Schanda, Philip Willis

Proceedings of the Seventh Workshop on Virtual Reality Interactions and Physical Simulations, 2010