Bernd Fischer: Publications

2011

Barreto, R., Cordeiro, L. and Fischer, B. (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. In: Symposium on Computing System Engineering, November 7th-11th, 2011, Florianópolis, Santa Catarina, Brazil.

Barreto, R., Cordeiro, L. and Fischer, B. (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. Technical Report , Dependable Systems and Software Engineering, University of Southampton. (Submitted)

Cordeiro, L. and Fischer, B. (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In: 33rd International Conference on Software Engineering (ICSE), May 21-28, 2011, Waikiki, Honolulu, Hawaii. pp. 331-340.

Cordeiro, L. and Fischer, B. (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In: International Conference on Software Engineering, May 21-28, 2011, Waikiki, Honolulu, Hawaii.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2011) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering . (In Press)

Cordeiro, L., Morse, J., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking with ESBMC 1.17. In: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, 24 March - 1 April 2012, Tallinn, Estonia. (In Press)

Morse, J., Cordeiro, L., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In: 9th International Conference on Software Engineering and Formal Methods, 14--18th November 2011, Montevideo, Uruguay. pp. 302-317. (In Press)

Morse, J., Cordeiro, L., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In: 9th International Conference on Software Engineering and Formal Methods, 14--18th November 2011, Montevideo, Uruguay.

2010

Basir, N., Denney, E. and Fischer, B. (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In: The 29th International Conference on Computer Safety, Reliability and Security, 14 - 17 September 2010, Vienna, Austria. (In Press)

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. Technical Report , Dependable Systems and Software Engineering, University of Southampton.

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. In: 8th International Workshop on Satisfiability Modulo Theories, July 14–15, 2010, Edinburgh.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Grech, N., Rathke, J. and Fischer, B. (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In: Workshop on Generative Technologies, 27th March 2010, Paphos, Cyprus.

Grech, N., Fischer, B. and Rathke, J. (2010) JEqualityGen: Generating Equality and Hashing Methods. In: Generative Programming and Component Engineering,, October 10-13, 2010, Eindhoven, The Netherlands. pp. 177-186.

2009

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Automatically Constructed Proofs. In: 4th System Safety Conference 2009, 26-28 October 2009, London, UK.

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Machine-Generated Proofs. In: Workshop on Proof-Carrying Code and Software Certification (PCC'09), August 15, 2009, Los Angeles, California, USA.

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: 6th IEEE International Conference on Embedded Systems and Software (ICESS-09).

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: The 6th International Conference on Embedded Software and Systems, May 25 - May 27, 2009 , HangZhou, Zhejiang, China.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. Technical Report , School of Electronics and Computer Science, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Technical Report , ECS, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

Denney, E. and Fischer, B. (2009) A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. In: ASE. pp. 560-564.

Egyed, A. and Fischer, B. (2009) Guest editors' introduction. AUTOMATED SOFTWARE ENGINEERING, 16 . pp. 1-2.

Fischer, B., Saabas, A. and Uustalu, T. (2009) Program repair as sound optimization of broken programs. 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) . 165-73|xiii+333.

2008

Basir, N., Denney, E. and Fischer, B. (2008) Constructing a safety case for automatically generated code from formal
program verification. Computer Safety, Reliability, and Security. Proceedings 27th International Conference, SAFECOMP 2008 . pp. 249-62.

Basir, N., Denney, E. and Fischer, B. (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Submitted to: The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), 22-25 September 2008, Newcastle upon Tyne, UK. (Submitted)

Basir, N., Denney, E. and Fischer, B. (2008) Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. In: International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert '08), 29th March 2008, Budapest, Hungary.

Denney, E. and Fischer, B. (2008) Explaining Verification Conditions. In: AMAST. pp. 145-159.

Denney, E. and Fischer, B. (2008) Generating customized verifiers for automatically generated code. In: GPCE. pp. 77-88.

2006

Denney, E., Fischer, B. and Schumann, J. (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15 (1). pp. 81-107. ISSN 0218-2130

2004

Denney, E., Fischer, B. and Schumann, J. (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In: Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 2004, Cork. pp. 198-212.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Huyser, K. A., Knuth, K. H., Fischer, B., Schumann, J., Granquist-Fraser, D. and Hajian, A. R. (2004) Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models. In: Twentyfourth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, July 25-30, 2004, Garching bei München, Germany. pp. 135-142.

2003

Denney, E. and Fischer, B. (2003) Correctness of Source-Level Safety Policies. In: FME 2003: Formal Methods, September 8-14, 2003, Pisa, Italy. pp. 894-913.

Fischer, B. and Schumann, J. (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13 (3). pp. 483-508. ISSN 0956-7968

Gray, A. G., Fischer, B., Schumann, J. and Buntine, W. (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In: Neural Information Processing Systems 15, 09/12/2002 - 14/12/2002, Vancouver, BC. pp. 689-696.

2002

Whalen, M., Schumann, J. and Fischer, B. (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In: 18th International Conference on Automated Deduction, July 27-30, 2002, Copenhagen. pp. 290-294.

Whalen, M., Schumann, J. and Fischer, B. (2002) Synthesizing Certified Code. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen. pp. 431-450.

1997

Fischer, B. and Schumann, J. (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In: 14th International Conference on Automated Deduction, July 1997, Townsville. pp. 65-68.