Bernd Fischer: Publications

AOP

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.

AspectJ

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.

automated code generation

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 (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.

automated theorem provers

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.

automated theorem proving

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)

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.

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.

automatic program synthesis

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.

Bounded Model Checking

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.

code certification

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.

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.

code generation

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.

Embedded Software Verification

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.

equality

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.

fault tree analysis

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)

formal analysis

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)

formal code certfication

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.

formal methods

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.

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.

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.

formal program verification

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)

formal proofs

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.

Goal Structuring Notation

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.

hashing

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.

Hoare logic

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

Java

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.

meta-programming

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.

Model-based software development

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)

natural deduction

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.

Predicate Abstraction and Simulation

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.

program safety

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.

program synthesis

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.

Program verification

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.

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.

proof checking

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.

proof-carrying code

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.

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.

safety case

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 (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.

Scala

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.

software certification

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.

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.

software component retrieval

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.

software reuse

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.

traceability

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.

verification condition generator

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.