publications:
- title: "Verifying multi-threaded software using smt-based context-bounded model checking"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1985793.1985839"
  links:
    doi: "http://doi.acm.org/10.1145/1985793.1985839"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/CordeiroF11"
  tags:
  - "model checking"
  - "meta-model"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroF11"
  cites: 0
  citedby: 0
  pages: "331-340"
  booktitle: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011"
  editor:
  - name: "Richard N. Taylor"
    link: "https://researchr.org/alias/richard-n.-taylor"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  - name: "Nenad Medvidovic"
    link: "https://researchr.org/alias/nenad-medvidovic"
  publisher: "ACM"
  isbn: "978-1-4503-0445-0"
  kind: "inproceedings"
  key: "CordeiroF11"
- title: "Empirically Successful Automated Reasoning: Applications Issue"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9056-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9056-8"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/FischerSS06a"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "37"
  number: "1-2"
  pages: "1"
  kind: "article"
  key: "FischerSS06a"
- title: "An Integration of Deductive Retrieval into Deductive Synthesis"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "1999"
  doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  researchr: "https://researchr.org/publication/FischerW99"
  cites: 0
  citedby: 0
  pages: "52"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "FischerW99"
- title: "SMT-Based Bounded Model Checking for Embedded ANSI-C Software"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3%C2%A3o-marques-silva"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.63"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.63"
  tags:
  - "rule-based"
  - "model checking"
  - "meta-model"
  - "embedded software"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroFM09"
  cites: 0
  citedby: 0
  pages: "137-148"
  booktitle: "ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3891-4"
  kind: "inproceedings"
  key: "CordeiroFM09"
- title: "Towards Automated Synthesis of Data Mining Programs"
  author:
  - name: "Wray Buntine"
    link: "http://nicta.com.au/people/buntinew"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Thomas Pressburger"
    link: "http://ti.arc.nasa.gov/profile/ttp/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/312129.312286"
  links:
    doi: "http://doi.acm.org/10.1145/312129.312286"
  tags:
  - "data-flow programming"
  - "data-flow"
  researchr: "https://researchr.org/publication/BuntineFP99"
  cites: 0
  citedby: 0
  pages: "372-376"
  booktitle: "KDD"
  kind: "inproceedings"
  key: "BuntineFP99"
- title: "Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.15"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.15"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/DenneyF06%3A1"
  cites: 0
  citedby: 0
  pages: "265-268"
  booktitle: "21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2579-2"
  kind: "inproceedings"
  key: "DenneyF06:1"
- title: "A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.71"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.71"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DenneyF09"
  cites: 0
  citedby: 0
  pages: "560-564"
  booktitle: "ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3891-4"
  kind: "inproceedings"
  key: "DenneyF09"
- title: "A Lazy Unbounded Model Checker for Event-B"
  author:
  - name: "Paulo J. Matos"
    link: "https://researchr.org/alias/paulo-j.-matos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João P. Marques Silva"
    link: "https://researchr.org/alias/jo%C3%A3%C2%A3o-p.-marques-silva"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_25"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/MatosFM09"
  cites: 0
  citedby: 0
  pages: "485-503"
  booktitle: "Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings"
  editor:
  - name: "Karin Breitman"
    link: "https://researchr.org/alias/karin-breitman"
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  volume: "5885"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-10372-8"
  kind: "inproceedings"
  key: "MatosFM09"
- title: "Specification-based Browsing of Software Component Libraries"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500074.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500074.pdf"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Fischer98%3A3"
  cites: 0
  citedby: 0
  pages: "74-83"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "Fischer98:3"
- title: "Extending Source Code Generators for Evidence-Based Software Certification"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/ISoLA.2006.76"
  links:
    doi: "http://dx.doi.org/10.1109/ISoLA.2006.76"
  tags:
  - "rule-based"
  - "source-to-source"
  - "certification"
  - "open-source"
  researchr: "https://researchr.org/publication/DenneyF06%3A0"
  cites: 0
  citedby: 0
  pages: "138-145"
  booktitle: "Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "DenneyF06:0"
- title: "Guest editors  introduction"
  author:
  - name: "Alexander  Egyed"
    link: "http://www.alexander-egyed.com/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10515-008-0038-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10515-008-0038-4"
  researchr: "https://researchr.org/publication/EgyedF09"
  cites: 0
  citedby: 0
  journal: "Automated Software Engineering"
  volume: "16"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "EgyedF09"
- title: "AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description"
  author:
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920290.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920290.htm"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/WhalenSF02"
  cites: 0
  citedby: 0
  pages: "290-294"
  booktitle: "Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings"
  editor:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2392"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43931-5"
  kind: "inproceedings"
  key: "WhalenSF02"
- title: "Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking"
  author:
  - name: "Ashish Darbari"
    link: "https://researchr.org/alias/ashish-darbari"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3o-marques-silva"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/DarbariFM10"
  researchr: "https://researchr.org/publication/DarbariFM10"
  cites: 0
  citedby: 0
  pages: "260-274"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings"
  editor:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "David Déharbe"
    link: "https://researchr.org/alias/david-d%C3%A9harbe"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "6255"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14807-1"
  kind: "inproceedings"
  key: "DarbariFM10"
- title: "JEqualityGen: Generating equality and hashing methods"
  author:
  - name: "Neville Grech"
    link: "https://researchr.org/alias/neville-grech"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Julian Rathke"
    link: "https://researchr.org/alias/julian-rathke"
  year: "2010"
  researchr: "https://researchr.org/publication/Grech-GPCE-2010"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010 "
  editor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Grech-GPCE-2010"
- title: "Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3o-marques-silva"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecbs/CordeiroFM10"
  tags:
  - "model checking"
  - "meta-model"
  - "embedded software"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroFM10"
  cites: 0
  citedby: 0
  pages: "160-169"
  booktitle: "17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010"
  editor:
  - name: "Roy Sterritt"
    link: "https://researchr.org/alias/roy-sterritt"
  - name: "Brandon Eames"
    link: "https://researchr.org/alias/brandon-eames"
  - name: "Jonathan Sprinkle"
    link: "https://researchr.org/alias/jonathan-sprinkle"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4005-4"
  kind: "inproceedings"
  key: "CordeiroFM10"
- title: "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code"
  author:
  - name: "Nurlida Basir"
    link: "https://researchr.org/alias/nurlida-basir"
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.003"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/BasirDF09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "238"
  number: "4"
  pages: "19-26"
  kind: "article"
  key: "BasirDF09"
- title: "JEqualityGen: generating equality and hashing methods"
  author:
  - name: "Neville Grech"
    link: "https://researchr.org/alias/neville-grech"
  - name: "Julian Rathke"
    link: "https://researchr.org/alias/julian-rathke"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868320"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868320"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/GrechRF10"
  researchr: "https://researchr.org/publication/GrechRF10"
  cites: 0
  citedby: 0
  pages: "177-186"
  booktitle: "Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010"
  editor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  publisher: "ACM"
  isbn: "978-1-4503-0154-1"
  kind: "inproceedings"
  key: "GrechRF10"
- title: "Generating customized verifiers for automatically generated code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449926"
  abstract: "Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated code. It uses patterns to capture generator- and property-specific code idioms and property-specific meta-program fragments to construct the annotations. The algorithm is customized by specifying the code patterns and integrating them with the meta-program fragments for annotation construction. However, this is difficult since it involves tedious and error-prone low-level term manipulations. Here, we describe an approach that automates this customization task using generative techniques. It uses a small annotation schema compiler that takes a collection of high-level declarative annotation schemas tailored towards a specific code generator and safety property, and generates all customized analysis functions and glue code required for interfacing with the generic algorithm core, thus effectively creating a customized annotation inference algorithm. The compiler raises the level of abstraction and simplifies schema development and maintenance. It also takes care of some more routine aspects of formulating patterns and schemas, in particular handling of irrelevant program fragments and irrelevant variance in the program structure, which reduces the size, complexity, and number of different patterns and annotation schemas required. The improvements described here make it easier and faster to customize the system to a new safety property or a new generator, and we demonstrate this by customizing it to certify frame safety of space flight navigation code that was automatically generated from Simulink models by MathWorks’ Real-Time Workshop."
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449926"
  tags:
  - "generative programming"
  - "program analysis"
  - "meta programming"
  - "generic programming"
  - "program verification"
  - "meta-model"
  - "XML"
  - "XML Schema"
  - "analysis"
  - "model-driven development"
  - "weaving"
  - "maintenance"
  - "compiler"
  - "abstraction"
  - "Meta-Environment"
  - "systematic-approach"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DenneyF08%3A0"
  cites: 0
  citedby: 0
  pages: "77-88"
  booktitle: "Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings"
  editor:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-60558-267-2"
  kind: "inproceedings"
  key: "DenneyF08:0"
- title: "Synthesizing Certified Code"
  author:
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2391/23910431.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2391/23910431.htm"
  researchr: "https://researchr.org/publication/WhalenSF02%3A0"
  cites: 0
  citedby: 0
  pages: "431-450"
  booktitle: "FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings"
  editor:
  - name: "Lars-Henrik Eriksson"
    link: "https://researchr.org/alias/lars-henrik-eriksson"
  - name: "Peter A. Lindsay"
    link: "https://researchr.org/alias/peter-a.-lindsay"
  volume: "2391"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43928-5"
  kind: "inproceedings"
  key: "WhalenSF02:0"
- title: "Specification-Based Browsing of Software Component Libraries"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2000"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Fischer00"
  cites: 0
  citedby: 0
  journal: "Automated Software Engineering"
  volume: "7"
  number: "2"
  pages: "179-200"
  kind: "article"
  key: "Fischer00"
- title: "VLex: visualizing a lexical analyzer generator - tool demonstration"
  author:
  - name: "Alisdair Jorgensen"
    link: "https://researchr.org/alias/alisdair-jorgensen"
  - name: "Giorgios Rob Economopoulos"
    link: "https://researchr.org/alias/giorgios-rob-economopoulos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1988783.1988795"
  links:
    doi: "http://doi.acm.org/10.1145/1988783.1988795"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/JorgensenEF11"
  researchr: "https://researchr.org/publication/JorgensenEF11"
  cites: 0
  citedby: 0
  pages: "12"
  booktitle: "Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding"
  editor:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  publisher: "ACM"
  isbn: "978-1-4503-0665-2"
  kind: "inproceedings"
  key: "JorgensenEF11"
- title: "Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2003"
  doi: "https://doi.org/10.1007/978-3-540-25938-1_5"
  abstract: "Program generation and transformation systems work on two language levels, the object-level (i.e., the language of the manipulated programs), and the meta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance between the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax using the approach outlined in [5], thus shrinking this distance."
  links:
    doi: "https://doi.org/10.1007/978-3-540-25938-1_5"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "object-oriented programming"
  - "concrete object syntax"
  - "Prolog"
  - "rule-based"
  - "meta programming"
  - "AutoBayes"
  - "meta-model"
  - "abstract syntax"
  - "Stratego/XT"
  - "transformation language"
  - "source-to-source"
  - "transformation system"
  - "model transformation"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "systematic-approach"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "transformation"
  - "Stratego"
  - "program transformation"
  researchr: "https://researchr.org/publication/FischerV03"
  cites: 0
  citedby: 0
  pages: "56-58"
  booktitle: "Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  volume: "3018"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22174-3"
  kind: "inproceedings"
  key: "FischerV03"
- title: "Higher-order transformations with nested concrete syntax"
  author:
  - name: "Giorgios Rob Economopoulos"
    link: "https://researchr.org/alias/giorgios-rob-economopoulos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1988783.1988787"
  links:
    doi: "http://doi.acm.org/10.1145/1988783.1988787"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/EconomopoulosF11"
  tags:
  - "higher-order transformations"
  - "concrete syntax"
  - "transformation"
  researchr: "https://researchr.org/publication/EconomopoulosF11"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding"
  editor:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  publisher: "ACM"
  isbn: "978-1-4503-0665-2"
  kind: "inproceedings"
  key: "EconomopoulosF11"
- title: "A generic annotation inference algorithm for the safety certification of automatically generated code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173725"
  abstract: "Code generators for realistic application domains are not directly verifiable in practice.  In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along with the programs, allowing fully automated program proofs of different safety properties.  However, this requires access to the generator sources, and remains difficult to implement and maintain because the annotations are cross-cutting concerns, both on the object-level (i.e. in the generated code) and on the meta-level (i.e. in the generator). Here we describe a new generic post-generation annotation inference algorithm that circumvents these problems. We exploit the fact that the output of a code generator is highly idiomatic, so that patterns can be used to describe all code constructs that require annotations. The patterns are specific to the idioms of the targeted code generator and to the safety property to be shown, but the algorithm itself remains generic. It is based on a pattern matcher used to identify instances of the idioms and build a property-specific abstracted control flow graph, and a graph traversal that follows the paths from the use nodes backwards to all corresponding definitions, annotating the statements along these paths. This core is instantiated for two generators and successfully applied to automatically certify initialization safety for a range of generated programs."
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173725"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "meta programming"
  - "generic programming"
  - "meta-model"
  - "traversal"
  - "data-flow programming"
  - "data-flow"
  - "source-to-source"
  - "graph-rewriting"
  - "certification"
  - "code generation"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "access control"
  - "rewriting"
  - "role-based access control"
  - "systematic-approach"
  - "feature-oriented programming"
  - "open-source"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DenneyF06"
  cites: 0
  citedby: 0
  pages: "121-130"
  booktitle: "Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings"
  editor:
  - name: "Stan Jarzabek"
    link: "https://researchr.org/alias/stan-jarzabek"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  publisher: "ACM"
  isbn: "1-59593-237-2"
  kind: "inproceedings"
  key: "DenneyF06"
- title: "Deriving Safety Cases for Hierarchical Structure in Model-Based Development"
  author:
  - name: "Nurlida Basir"
    link: "https://researchr.org/alias/nurlida-basir"
  - name: "Ewen Denney"
    link: "https://researchr.org/alias/ewen-denney"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15651-9_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15651-9_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/BasirDF10"
  tags:
  - "rule-based"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BasirDF10"
  cites: 0
  citedby: 0
  pages: "68-81"
  booktitle: "Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings"
  editor:
  - name: "Erwin Schoitsch"
    link: "https://researchr.org/alias/erwin-schoitsch"
  volume: "6351"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15650-2"
  kind: "inproceedings"
  key: "BasirDF10"
- title: "Using Automated Theorem Provers to Certify Auto-generated Aerospace Software"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=198"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=198"
  researchr: "https://researchr.org/publication/DenneyFS04"
  cites: 0
  citedby: 0
  pages: "198-212"
  booktitle: "Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings"
  editor:
  - name: "David A. Basin"
    link: "https://researchr.org/alias/david-a.-basin"
  - name: "Michaël Rusinowitch"
    link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch"
  volume: "3097"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22345-2"
  kind: "inproceedings"
  key: "DenneyFS04"
- title: "AutoBayes: a system for generating data analysis programs from statistical models"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004562"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796802004562"
  tags:
  - "program analysis"
  - "AutoBayes"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/FischerS03%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "13"
  number: "3"
  pages: "483-508"
  kind: "article"
  key: "FischerS03:0"
- title: "Empirically Successful Automated Reasoning: Systems Issue"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9059-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9059-5"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/FischerSS06"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "36"
  number: "4"
  pages: "287"
  kind: "article"
  key: "FischerSS06"
- title: "Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2003"
  doi: "https://doi.org/10.1007/978-3-540-25935-0_14"
  abstract: "AUTOBAYES is a fully automatic, schema-based program synthesis  system for statistical data analysis applications. Its core component is a schema  library, i.e., a collection of generic code templates with associated applicability  constraints which are instantiated in a problem-specific way during synthesis.  Currently, AUTOBAYE S is implemented in Prolog; the schemas thus use abstract  syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual  distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain.  In this paper we describe how AUTOBAYE S is retrofitted with concrete syn-  tax. We show how it is integrated into Prolog and describe how the seamless  interaction of concrete syntax fragments with AUTOBAYE S’s remaining “legacy”  meta-programming kernel based on abstract syntax is achieved. We apply the  approach to gradually migrate individual schemas without forcing a disruptive  migration of the entire system to a different meta-programming language. First  experiences show that a smooth migration can be achieved. Moreover, it can re-  sult in a considerable reduction of the code size and improved readability of the  code. In particular, abstracting out fresh-variable generation and second-order  term construction allows the formulation of larger continuous fragments."
  links:
    doi: "https://doi.org/10.1007/978-3-540-25935-0_14"
    "technical report": "http://www.cs.uu.nl/research/techreps/UU-CS-2004-012.html"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "concrete object syntax"
  - "Prolog"
  - "rule-based"
  - "program analysis"
  - "meta programming"
  - "data-flow language"
  - "generic programming"
  - "program synthesis"
  - "AutoBayes"
  - "SDF"
  - "meta-model"
  - "XML"
  - "abstract syntax"
  - "XML Schema"
  - "Stratego/XT"
  - "analysis"
  - "constraints"
  - "data-flow programming"
  - "data-flow"
  - "migration"
  - "code generation"
  - "language embedding"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "data-flow analysis"
  - "systematic-approach"
  - "ASF+SDF"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "Stratego"
  researchr: "https://researchr.org/publication/FischerV04-dagstuhl"
  cites: 0
  citedby: 0
  pages: "239-253"
  booktitle: "Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers"
  editor:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "inproceedings"
  key: "FischerV04-dagstuhl"
- title: "Die inferenzbasierte Softwareentwicklungsumgebung NORA"
  author:
  - name: "Gregor Snelting"
    link: "https://researchr.org/alias/gregor-snelting"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Franz-Josef Grosch"
    link: "https://researchr.org/alias/franz-josef-grosch"
  - name: "Matthias Kievernagel"
    link: "https://researchr.org/alias/matthias-kievernagel"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  year: "1994"
  researchr: "https://researchr.org/publication/SneltingFGKZ94"
  cites: 0
  citedby: 0
  journal: "Inform., Forsch. Entwickl."
  volume: "9"
  number: "3"
  pages: "116-131"
  kind: "article"
  key: "SneltingFGKZ94"
- title: "Generating Data Analysis Programs from Statistical Models"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Thomas Pressburger"
    link: "https://researchr.org/alias/thomas-pressburger"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240212.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240212.htm"
  tags:
  - "program analysis"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/FischerSP00"
  cites: 0
  citedby: 0
  pages: "212-229"
  booktitle: "Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings"
  editor:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "1924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41054-6"
  kind: "inproceedings"
  key: "FischerSP00"
- title: "Explaining Verification Conditions"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_12"
  researchr: "https://researchr.org/publication/DenneyF08"
  cites: 0
  citedby: 0
  pages: "145-159"
  booktitle: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings"
  editor:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  volume: "5140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79979-5"
  kind: "inproceedings"
  key: "DenneyF08"
- title: "Automatic Derivation of Statistical Algorithms: The EM Family and Beyond"
  author:
  - name: "Alexander G. Gray"
    link: "https://researchr.org/alias/alexander-g.-gray"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  - name: "Wray Buntine"
    link: "http://nicta.com.au/people/buntinew"
  year: "2002"
  doi: "http://books.nips.cc/papers/files/nips15/AA24.pdf"
  links:
    doi: "http://books.nips.cc/papers/files/nips15/AA24.pdf"
  tags:
  - "AutoBayes"
  researchr: "https://researchr.org/publication/GrayFSB02"
  cites: 0
  citedby: 0
  pages: "673-680"
  booktitle: "Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, NIPS 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]"
  editor:
  - name: "Suzanna Becker"
    link: "https://researchr.org/alias/suzanna-becker"
  - name: "Sebastian Thrun"
    link: "https://researchr.org/alias/sebastian-thrun"
  - name: "Klaus Obermayer"
    link: "https://researchr.org/alias/klaus-obermayer"
  publisher: "MIT Press"
  isbn: "0-262-02550-7"
  kind: "inproceedings"
  key: "GrayFSB02"
- title: "SETHEO Goes Software Engineering: Application of ATP to Software Reuse"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "1997"
  tags:
  - "reuse"
  - "software engineering"
  researchr: "https://researchr.org/publication/FischerS97%3A1"
  cites: 0
  citedby: 0
  pages: "65-68"
  booktitle: "Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings"
  editor:
  - name: "William McCune"
    link: "https://researchr.org/alias/william-mccune"
  volume: "1249"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63104-6"
  kind: "inproceedings"
  key: "FischerS97:1"
- title: "Applying AutoBayes to the Analysis of Planetary Nebulae Images"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350337abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350337abs.htm"
  tags:
  - "AutoBayes"
  - "analysis"
  researchr: "https://researchr.org/publication/FischerS03"
  cites: 0
  citedby: 0
  pages: "337-342"
  booktitle: "18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2035-9"
  kind: "inproceedings"
  key: "FischerS03"
- title: "Correctness of Source-Level Safety Policies"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=894"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=894"
  tags:
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/DenneyF03"
  cites: 0
  citedby: 0
  pages: "894-913"
  booktitle: "FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings"
  editor:
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  - name: "Stefania Gnesi"
    link: "https://researchr.org/alias/stefania-gnesi"
  - name: "Dino Mandrioli"
    link: "https://researchr.org/alias/dino-mandrioli"
  volume: "2805"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40828-2"
  kind: "inproceedings"
  key: "DenneyF03"
- title: "Interpreting Abstract Interpretations in Membership Equational Logic"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FischerR01"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "59"
  number: "4"
  pages: "271-285"
  kind: "article"
  key: "FischerR01"
- title: "Program Repair as Sound Optimization of Broken Programs"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Ando Saabas"
    link: "https://researchr.org/alias/ando-saabas"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/TASE.2009.61"
  links:
    doi: "http://dx.doi.org/10.1109/TASE.2009.61"
  tags:
  - "optimization"
  - "program optimization"
  researchr: "https://researchr.org/publication/FischerSU09"
  cites: 0
  citedby: 0
  pages: "165-173"
  booktitle: "TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China"
  editor:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Shengchao Qin"
    link: "https://researchr.org/alias/shengchao-qin"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3757-3"
  kind: "inproceedings"
  key: "FischerSU09"
- title: "Software certificate management (SoftCeMent 05)"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  - name: "Mark Jones"
    link: "https://researchr.org/alias/mark-jones"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101908.1102003"
  links:
    doi: "http://doi.acm.org/10.1145/1101908.1102003"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/DenneyFHJ05"
  cites: 0
  citedby: 0
  pages: "463"
  booktitle: "20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA"
  editor:
  - name: "David F. Redmiles"
    link: "https://researchr.org/alias/david-f.-redmiles"
  - name: "Thomas Ellman"
    link: "https://researchr.org/alias/thomas-ellman"
  - name: "Andrea Zisman"
    link: "https://researchr.org/alias/andrea-zisman"
  publisher: "ACM"
  kind: "inproceedings"
  key: "DenneyFHJ05"
- title: "Certification Support for Automatically Generated Programs"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2003"
  doi: "http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm"
  links:
    doi: "http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/SchumannFWW03"
  cites: 0
  citedby: 0
  pages: "337"
  booktitle: "HICSS"
  kind: "inproceedings"
  key: "SchumannFWW03"
- title: "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information"
  author:
  - name: "Nurlida Basir"
    link: "none"
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87698-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87698-4_22"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/BasirDF08"
  cites: 0
  citedby: 0
  pages: "249-262"
  booktitle: "Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings"
  editor:
  - name: "Michael D. Harrison"
    link: "https://researchr.org/alias/michael-d.-harrison"
  - name: "Mark-Alexander Sujan"
    link: "https://researchr.org/alias/mark-alexander-sujan"
  volume: "5219"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87697-7"
  kind: "inproceedings"
  key: "BasirDF08"
- title: "An Empirical Evaluation of Automated Theorem Provers in Software Certification"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2006"
  doi: "http://dx.doi.org/10.1142/S0218213006002576"
  links:
    doi: "http://dx.doi.org/10.1142/S0218213006002576"
  tags:
  - "empirical"
  - "certification"
  researchr: "https://researchr.org/publication/DenneyFS06"
  cites: 0
  citedby: 0
  journal: "International Journal on Artificial Intelligence Tools"
  volume: "15"
  number: "1"
  pages: "81-108"
  kind: "article"
  key: "DenneyFS06"
- title: "Certifiable Program Generation"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_3"
  links:
    doi: "http://dx.doi.org/10.1007/11561347_3"
  researchr: "https://researchr.org/publication/DenneyF05"
  cites: 0
  citedby: 0
  pages: "17-28"
  booktitle: "Generative Programming and Component Engineering, 4th International Conference, GPCE 2005"
  editor:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "inproceedings"
  key: "DenneyF05"
- title: "The 2002 AAAI Spring Symposium Series"
  author:
  - name: "Jussi Karlgren"
    link: "https://researchr.org/alias/jussi-karlgren"
  - name: "Pentti Kanerva"
    link: "https://researchr.org/alias/pentti-kanerva"
  - name: "Björn Gambäck"
    link: "https://researchr.org/alias/bj%C3%B6rn-gamb%C3%A4ck"
  - name: "Kenneth D. Forbus"
    link: "https://researchr.org/alias/kenneth-d.-forbus"
  - name: "Kagan Tumer"
    link: "https://researchr.org/alias/kagan-tumer"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  - name: "Kai Goebel"
    link: "https://researchr.org/alias/kai-goebel"
  - name: "Gaurav S. Sukhatme"
    link: "https://researchr.org/alias/gaurav-s.-sukhatme"
  - name: "Tucker R. Balch"
    link: "https://researchr.org/alias/tucker-r.-balch"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Doug Smith"
    link: "https://researchr.org/alias/doug-smith"
  - name: "Sanda M. Harabagiu"
    link: "https://researchr.org/alias/sanda-m.-harabagiu"
  - name: "Vinay Chaudri"
    link: "https://researchr.org/alias/vinay-chaudri"
  - name: "Mike Barley"
    link: "https://researchr.org/alias/mike-barley"
  - name: "Hans W. Guesgen"
    link: "https://researchr.org/alias/hans-w.-guesgen"
  - name: "Thomas F. Stahovich"
    link: "https://researchr.org/alias/thomas-f.-stahovich"
  - name: "Randall Davis"
    link: "https://researchr.org/alias/randall-davis"
  - name: "James A. Landay"
    link: "https://researchr.org/alias/james-a.-landay"
  year: "2002"
  researchr: "https://researchr.org/publication/KarlgrenKGFTSGSBFSHCBGSDL02"
  cites: 0
  citedby: 0
  journal: "AI Magazine"
  volume: "23"
  number: "4"
  pages: "101-106"
  kind: "article"
  key: "KarlgrenKGFTSGSBFSHCBGSDL02"
- title: "ALADIN: A Scanner Generator for Incremental Programming Environments"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Carsten Hammer"
    link: "https://researchr.org/alias/carsten-hammer"
  - name: "Werner Struckmann"
    link: "https://researchr.org/alias/werner-struckmann"
  year: "1992"
  tags:
  - "meta programming"
  - "programming"
  - "Meta-Environment"
  - "incremental"
  researchr: "https://researchr.org/publication/FischerHS92"
  cites: 0
  citedby: 0
  journal: "Software: Practice and Experience"
  volume: "22"
  number: "11"
  pages: "1011-1025"
  kind: "article"
  key: "FischerHS92"
- title: "Integrating Deduction Techniques in a Software Reuse Application"
  author:
  - name: "Thomas Baar"
    link: "http://lgl.epfl.ch/members/baar/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Dirk Fuchs"
    link: "http://www.uni-kl.de/AG-AvenhausMadlener/dfuchs.html"
  year: "1999"
  doi: "http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in"
  links:
    doi: "http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/BaarFF99"
  cites: 0
  citedby: 0
  journal: "J. UCS"
  volume: "5"
  number: "3"
  pages: "52-72"
  kind: "article"
  key: "BaarFF99"
- title: "NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "1997"
  doi: "http://computer.org/proceedings/ase/7961/79610246abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/7961/79610246abs.htm"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/SchumannF97"
  cites: 0
  citedby: 0
  pages: "246-254"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "SchumannF97"
- title: "Adding Assurance to Automatically Generated Code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940297abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940297abs.htm"
  researchr: "https://researchr.org/publication/DenneyFS04%3A0"
  cites: 0
  citedby: 0
  pages: "297-299"
  booktitle: "8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2094-4"
  kind: "inproceedings"
  key: "DenneyFS04:0"
- title: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  year: "2009"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/gpce-2009"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  conference: "GPCE"
  editor:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-60558-494-2"
  kind: "proceedings"
  key: "gpce-2009"
- title: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002"
  year: "2002"
  tags:
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/rule%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002"
  conference: "RULE"
  editor:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "1-58113-606-4"
  kind: "proceedings"
  key: "rule:2002"
- title: "22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA"
  year: "2007"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/kbse%3A2007"
  cites: 0
  citedby: 0
  booktitle: "22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA"
  conference: "ASE"
  editor:
  - name: "R. E. Kurt Stirewalt"
    link: "https://researchr.org/alias/r.-e.-kurt-stirewalt"
  - name: "Alexander  Egyed"
    link: "http://www.alexander-egyed.com/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-59593-882-4 "
  kind: "proceedings"
  key: "kbse:2007"
- title: "Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022"
  year: "2022"
  doi: "https://doi.org/10.1145/3567512"
  links:
    doi: "https://doi.org/10.1145/3567512"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/2022"
  researchr: "https://researchr.org/publication/sle-2022"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022"
  conference: "SLE"
  editor:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Lola Burgueño"
    link: "https://researchr.org/alias/lola-burgue%C3%B1o"
  - name: "Walter Cazzola"
    link: "https://researchr.org/alias/walter-cazzola"
  publisher: "ACM"
  isbn: "978-1-4503-9919-7"
  kind: "proceedings"
  key: "sle-2022"