Bernd Fischer: Publications

Fischer, B

Denney, Ewen and Fischer, Bernd (2009) A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. At ASE , 560-564.

Barreto, R

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. At Symposium on Computing System Engineering, Florianópolis, Santa Catarina, Brazil, 07 - 11 Nov 2011.

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. (Submitted)

Basir,

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, 249-62.

Basir, N

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In, The 29th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, 14 - 17 Sep 2010. Springer. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Automatically Constructed Proofs. In, 4th System Safety Conference 2009, London, UK, 26 - 28 Oct 2009.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Machine-Generated Proofs. In, Workshop on Proof-Carrying Code and Software Certification (PCC'09), Los Angeles, California, USA,

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. In, The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), Newcastle upon Tyne, UK, 22 - 25 Sep 2008. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (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), Budapest, Hungary, Elsevier.

Buntine, W

Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In, Neural Information Processing Systems 15, Vancouver, BC, 09 - 14 Dec 2002. MIT Press, 689-696.

Chen, H

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09)

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

Cordeiro, L

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. At 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011.

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. At Symposium on Computing System Engineering, Florianópolis, Santa Catarina, Brazil, 07 - 11 Nov 2011.

Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking with ESBMC 1.17. At 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, Tallinn, Estonia, 24 Mar - 01 Apr 2012. (Submitted)

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.

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

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

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2011) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. At 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, 14 - 15 Jul 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. At 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (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, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. (Submitted)

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09)

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

Denney,

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, 249-62.

Denney, E

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In, The 29th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, 14 - 17 Sep 2010. Springer. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Automatically Constructed Proofs. In, 4th System Safety Conference 2009, London, UK, 26 - 28 Oct 2009.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Machine-Generated Proofs. In, Workshop on Proof-Carrying Code and Software Certification (PCC'09), Los Angeles, California, USA,

Denney, Ewen and Fischer, Bernd (2009) A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. At ASE , 560-564.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. In, The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), Newcastle upon Tyne, UK, 22 - 25 Sep 2008. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (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), Budapest, Hungary, Elsevier.

Denney, Ewen and Fischer, Bernd (2008) Explaining Verification Conditions. In, AMAST , 145-159.

Denney, Ewen and Fischer, Bernd (2008) Generating customized verifiers for automatically generated code. In, GPCE , 77-88.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15, (1), 81-107.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In, Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Springer Verlag, 198-212.

Denney, Ewen and Fischer, Bernd (2003) Correctness of Source-Level Safety Policies. In, FME 2003: Formal Methods, Pisa, Italy, 08 - 14 Sep 2003. Springer Verlag, 894-913.

Egyed,

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

Fischer,

Egyed, A and Fischer, B (2009) Guest editors' introduction. AUTOMATED SOFTWARE ENGINEERING, 16, 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.

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, 249-62.

Fischer, B

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. At 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011.

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. At Symposium on Computing System Engineering, Florianópolis, Santa Catarina, Brazil, 07 - 11 Nov 2011.

Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking with ESBMC 1.17. At 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, Tallinn, Estonia, 24 Mar - 01 Apr 2012. (Submitted)

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.

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

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

Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2011) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering

Grech, Neville, Fischer, Bernd and Rathke, Julian (2010) JEqualityGen: Generating Equality and Hashing Methods. At Generative Programming and Component Engineering,, Eindhoven, The , Netherlands, 10 - 13 Oct 2010. Association for Computing Machinery, 177-186.

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. At 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, 14 - 15 Jul 2010.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In, The 29th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, 14 - 17 Sep 2010. Springer. (Submitted)

Grech, Neville, Rathke, Julian and Fischer, Bernd (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In, Workshop on Generative Technologies, Paphos, Cyprus,

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. At 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (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, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Automatically Constructed Proofs. In, 4th System Safety Conference 2009, London, UK, 26 - 28 Oct 2009.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Machine-Generated Proofs. In, Workshop on Proof-Carrying Code and Software Certification (PCC'09), Los Angeles, California, USA,

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. (Submitted)

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09)

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

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. In, The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), Newcastle upon Tyne, UK, 22 - 25 Sep 2008. (Submitted)

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (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), Budapest, Hungary, Elsevier.

Denney, Ewen and Fischer, Bernd (2008) Explaining Verification Conditions. In, AMAST , 145-159.

Denney, Ewen and Fischer, Bernd (2008) Generating customized verifiers for automatically generated code. In, GPCE , 77-88.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15, (1), 81-107.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In, Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Springer Verlag, 198-212.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Fischer, Bernd and Schumann, Johann (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13, (3), 483-508.

Denney, Ewen and Fischer, Bernd (2003) Correctness of Source-Level Safety Policies. In, FME 2003: Formal Methods, Pisa, Italy, 08 - 14 Sep 2003. Springer Verlag, 894-913.

Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In, Neural Information Processing Systems 15, Vancouver, BC, 09 - 14 Dec 2002. MIT Press, 689-696.

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In, 18th International Conference on Automated Deduction, Copenhagen, 27 - 30 Jul 2002. Springer Verlag, 290-294.

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) Synthesizing Certified Code. In, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, 22 - 24 Jul 2002. Springer Verlag, 431-450.

Fischer, Bernd and Schumann, Johann (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In, 14th International Conference on Automated Deduction, Townsville, Springer Verlag, 65-68.

Granquist-Fraser, D

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Gray, A

Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In, Neural Information Processing Systems 15, Vancouver, BC, 09 - 14 Dec 2002. MIT Press, 689-696.

Grech, N

Grech, Neville, Fischer, Bernd and Rathke, Julian (2010) JEqualityGen: Generating Equality and Hashing Methods. At Generative Programming and Component Engineering,, Eindhoven, The , Netherlands, 10 - 13 Oct 2010. Association for Computing Machinery, 177-186.

Grech, Neville, Rathke, Julian and Fischer, Bernd (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In, Workshop on Generative Technologies, Paphos, Cyprus,

Hajian, A

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Huyser, K

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Knuth, K

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Marques-Silva, J

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2011) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. At 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (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, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. (Submitted)

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. (Submitted)

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09)

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

Morse, J

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. At 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011.

Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking with ESBMC 1.17. At 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, Tallinn, Estonia, 24 Mar - 01 Apr 2012. (Submitted)

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.

Nicole, D

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. At 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011.

Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking with ESBMC 1.17. At 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, Tallinn, Estonia, 24 Mar - 01 Apr 2012. (Submitted)

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.

Rathke, J

Grech, Neville, Fischer, Bernd and Rathke, Julian (2010) JEqualityGen: Generating Equality and Hashing Methods. At Generative Programming and Component Engineering,, Eindhoven, The , Netherlands, 10 - 13 Oct 2010. Association for Computing Machinery, 177-186.

Grech, Neville, Rathke, Julian and Fischer, Bernd (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In, Workshop on Generative Technologies, Paphos, Cyprus,

Saabas,

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.

Schumann, J

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15, (1), 81-107.

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In, Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Springer Verlag, 198-212.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei München, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

Fischer, Bernd and Schumann, Johann (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13, (3), 483-508.

Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In, Neural Information Processing Systems 15, Vancouver, BC, 09 - 14 Dec 2002. MIT Press, 689-696.

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In, 18th International Conference on Automated Deduction, Copenhagen, 27 - 30 Jul 2002. Springer Verlag, 290-294.

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) Synthesizing Certified Code. In, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, 22 - 24 Jul 2002. Springer Verlag, 431-450.

Fischer, Bernd and Schumann, Johann (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In, 14th International Conference on Automated Deduction, Townsville, Springer Verlag, 65-68.

Uustalu,

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.

Whalen, M

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In, 18th International Conference on Automated Deduction, Copenhagen, 27 - 30 Jul 2002. Springer Verlag, 290-294.

Whalen, Michael, Schumann, Johann and Fischer, Bernd (2002) Synthesizing Certified Code. In, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, 22 - 24 Jul 2002. Springer Verlag, 431-450.