@inproceedings{CordeiroF11,
  title = {Verifying multi-threaded software using smt-based context-bounded model checking},
  author = {Lucas Cordeiro and Bernd  Fischer},
  year = {2011},
  doi = {10.1145/1985793.1985839},
  url = {http://doi.acm.org/10.1145/1985793.1985839},
  tags = {model checking, meta-model, context-aware, Meta-Environment},
  researchr = {https://researchr.org/publication/CordeiroF11},
  cites = {0},
  citedby = {0},
  pages = {331-340},
  booktitle = {ICSE},
}

@article{FischerSS06a,
  title = {Empirically Successful Automated Reasoning: Applications Issue},
  author = {Bernd  Fischer and Geoff Sutcliffe and Stephan Schulz},
  year = {2006},
  doi = {10.1007/s10817-006-9056-8},
  url = {http://dx.doi.org/10.1007/s10817-006-9056-8},
  tags = {empirical},
  researchr = {https://researchr.org/publication/FischerSS06a},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {37},
  number = {1-2},
  pages = {1},
}

@inproceedings{FischerW99,
  title = {An Integration of Deductive Retrieval into Deductive Synthesis},
  author = {Bernd  Fischer and Jon Whittle},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150052abs.htm},
  researchr = {https://researchr.org/publication/FischerW99},
  cites = {0},
  citedby = {0},
  pages = {52},
  booktitle = {ASE},
}

@inproceedings{CordeiroFM09,
  title = {SMT-Based Bounded Model Checking for Embedded ANSI-C Software},
  author = {Lucas Cordeiro and Bernd  Fischer and João Marques-Silva},
  year = {2009},
  doi = {10.1109/ASE.2009.63},
  url = {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},
}

@inproceedings{BuntineFP99,
  title = {Towards Automated Synthesis of Data Mining Programs},
  author = {Wray Buntine and Bernd  Fischer and Thomas Pressburger},
  year = {1999},
  doi = {10.1145/312129.312286},
  url = {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},
}

@inproceedings{DenneyF06:1,
  title = {Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2006},
  doi = {10.1109/ASE.2006.15},
  url = {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 = {ASE},
}

@inproceedings{DenneyF09,
  title = {A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2009},
  doi = {10.1109/ASE.2009.71},
  url = {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},
}

@inproceedings{MatosFM09,
  title = {A Lazy Unbounded Model Checker for Event-B},
  author = {Paulo J. Matos and Bernd  Fischer and João P. Marques Silva},
  year = {2009},
  doi = {10.1007/978-3-642-10373-5_25},
  url = {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 = {icfem},
}

@inproceedings{Fischer98:3,
  title = {Specification-based Browsing of Software Component Libraries},
  author = {Bernd  Fischer},
  year = {1998},
  url = {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},
}

@inproceedings{DenneyF06:0,
  title = {Extending Source Code Generators for Evidence-Based Software Certification},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2006},
  doi = {10.1109/ISoLA.2006.76},
  url = {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 = {ISoLA},
}

@article{EgyedF09,
  title = {Guest editors  introduction},
  author = {Alexander  Egyed and Bernd  Fischer},
  year = {2009},
  doi = {10.1007/s10515-008-0038-4},
  url = {http://dx.doi.org/10.1007/s10515-008-0038-4},
  researchr = {https://researchr.org/publication/EgyedF09},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {16},
  number = {1},
  pages = {1-2},
}

@inproceedings{WhalenSF02,
  title = {AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description},
  author = {Michael W. Whalen and Johann Schumann and Bernd  Fischer},
  year = {2002},
  url = {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 = {cade},
}

@inproceedings{DarbariFM10,
  title = {Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking},
  author = {Ashish Darbari and Bernd  Fischer and João Marques-Silva},
  year = {2010},
  doi = {10.1007/978-3-642-14808-8_18},
  url = {http://dx.doi.org/10.1007/978-3-642-14808-8_18},
  researchr = {https://researchr.org/publication/DarbariFM10},
  cites = {0},
  citedby = {0},
  pages = {260-274},
  booktitle = {ictac},
}

@inproceedings{Grech-GPCE-2010,
  title = {JEqualityGen: Generating equality and hashing methods},
  author = {Neville Grech and Bernd  Fischer and Julian Rathke},
  year = {2010},
  researchr = {https://researchr.org/publication/Grech-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {GPCE},
}

@inproceedings{CordeiroFM10,
  title = {Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking},
  author = {Lucas Cordeiro and Bernd  Fischer and João Marques-Silva},
  year = {2010},
  doi = {10.1109/ECBS.2010.24},
  url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.24},
  tags = {model checking, meta-model, embedded software, Meta-Environment},
  researchr = {https://researchr.org/publication/CordeiroFM10},
  cites = {0},
  citedby = {0},
  pages = {160-169},
  booktitle = {ECBS},
}

@article{BasirDF09,
  title = {Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code},
  author = {Nurlida Basir and Ewen  Denney and Bernd  Fischer},
  year = {2009},
  doi = {10.1016/j.entcs.2009.09.003},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.09.003},
  tags = {certification},
  researchr = {https://researchr.org/publication/BasirDF09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {238},
  number = {4},
  pages = {19-26},
}

@inproceedings{GrechRF10,
  title = {JEqualityGen: generating equality and hashing methods},
  author = {Neville Grech and Julian Rathke and Bernd  Fischer},
  year = {2010},
  doi = {10.1145/1868294.1868320},
  url = {http://doi.acm.org/10.1145/1868294.1868320},
  researchr = {https://researchr.org/publication/GrechRF10},
  cites = {0},
  citedby = {0},
  pages = {177-186},
  booktitle = {GPCE},
}

@inproceedings{DenneyF08:0,
  title = {Generating customized verifiers for automatically generated code},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2008},
  doi = {10.1145/1449913.1449926},
  url = {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 = {GPCE},
}

@inproceedings{WhalenSF02:0,
  title = {Synthesizing Certified Code},
  author = {Michael W. Whalen and Johann Schumann and Bernd  Fischer},
  year = {2002},
  url = {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 = {FM},
}

@article{Fischer00,
  title = {Specification-Based Browsing of Software Component Libraries},
  author = {Bernd  Fischer},
  year = {2000},
  tags = {rule-based, software components, software component},
  researchr = {https://researchr.org/publication/Fischer00},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {7},
  number = {2},
  pages = {179-200},
}

@inproceedings{JorgensenEF11,
  title = {VLex: visualizing a lexical analyzer generator - tool demonstration},
  author = {Alisdair Jorgensen and Giorgios Rob Economopoulos and Bernd  Fischer},
  year = {2011},
  doi = {10.1145/1988783.1988795},
  url = {http://doi.acm.org/10.1145/1988783.1988795},
  researchr = {https://researchr.org/publication/JorgensenEF11},
  cites = {0},
  citedby = {0},
  pages = {12},
  booktitle = {LDTA},
}

@inproceedings{FischerV03,
  title = {Adding Concrete Syntax to a {Prolog}-Based Program Synthesis System (Extended Abstract)},
  author = {Bernd  Fischer and Eelco Visser},
  year = {2003},
  doi = {10.1007/978-3-540-25938-1_5},
  url = {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 = {LOPSTR},
}

@inproceedings{EconomopoulosF11,
  title = {Higher-order transformations with nested concrete syntax},
  author = {Giorgios Rob Economopoulos and Bernd  Fischer},
  year = {2011},
  doi = {10.1145/1988783.1988787},
  url = {http://doi.acm.org/10.1145/1988783.1988787},
  tags = {higher-order transformations, concrete syntax, transformation},
  researchr = {https://researchr.org/publication/EconomopoulosF11},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {LDTA},
}

@inproceedings{DenneyF06,
  title = {A generic annotation inference algorithm for the safety certification of automatically generated code},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2006},
  doi = {10.1145/1173706.1173725},
  url = {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 = {GPCE},
}

@inproceedings{BasirDF10,
  title = {Deriving Safety Cases for Hierarchical Structure in Model-Based Development},
  author = {Nurlida Basir and Ewen Denney and Bernd  Fischer},
  year = {2010},
  doi = {10.1007/978-3-642-15651-9_6},
  url = {http://dx.doi.org/10.1007/978-3-642-15651-9_6},
  tags = {rule-based, meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/BasirDF10},
  cites = {0},
  citedby = {0},
  pages = {68-81},
  booktitle = {safecomp},
}

@inproceedings{DenneyFS04,
  title = {Using Automated Theorem Provers to Certify Auto-generated Aerospace Software},
  author = {Ewen  Denney and Bernd  Fischer and Johann  Schumann},
  year = {2004},
  url = {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 = {cade},
}

@article{FischerS03:0,
  title = {AutoBayes: a system for generating data analysis programs from statistical models},
  author = {Bernd  Fischer and Johann Schumann},
  year = {2003},
  doi = {10.1017/S0956796802004562},
  url = {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 = {JFP},
  volume = {13},
  number = {3},
  pages = {483-508},
}

@article{FischerSS06,
  title = {Empirically Successful Automated Reasoning: Systems Issue},
  author = {Bernd  Fischer and Geoff Sutcliffe and Stephan Schulz},
  year = {2006},
  doi = {10.1007/s10817-006-9059-5},
  url = {http://dx.doi.org/10.1007/s10817-006-9059-5},
  tags = {empirical},
  researchr = {https://researchr.org/publication/FischerSS06},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {36},
  number = {4},
  pages = {287},
}

@inproceedings{FischerV04-dagstuhl,
  title = {Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax},
  author = {Bernd  Fischer and Eelco Visser},
  year = {2003},
  doi = {10.1007/978-3-540-25935-0_14},
  url = {https://doi.org/10.1007/978-3-540-25935-0_14},
  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 = {Dagstuhl},
}

@article{SneltingFGKZ94,
  title = {Die inferenzbasierte Softwareentwicklungsumgebung NORA},
  author = {Gregor Snelting and Bernd  Fischer and Franz-Josef Grosch and Matthias Kievernagel and Andreas Zeller},
  year = {1994},
  researchr = {https://researchr.org/publication/SneltingFGKZ94},
  cites = {0},
  citedby = {0},
  journal = {ife},
  volume = {9},
  number = {3},
  pages = {116-131},
}

@inproceedings{FischerSP00,
  title = {Generating Data Analysis Programs from Statistical Models},
  author = {Bernd  Fischer and Johann Schumann and Thomas Pressburger},
  year = {2000},
  url = {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 = {saig},
}

@inproceedings{DenneyF08,
  title = {Explaining Verification Conditions},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_12},
  url = {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 = {amast},
}

@inproceedings{GrayFSB02,
  title = {Automatic Derivation of Statistical Algorithms: The EM Family and Beyond},
  author = {Alexander G. Gray and Bernd  Fischer and Johann  Schumann and Wray Buntine},
  year = {2002},
  url = {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 = {nips},
}

@inproceedings{FischerS97:1,
  title = {SETHEO Goes Software Engineering: Application of ATP to Software Reuse},
  author = {Bernd  Fischer and Johann Schumann},
  year = {1997},
  tags = {reuse, software engineering},
  researchr = {https://researchr.org/publication/FischerS97%3A1},
  cites = {0},
  citedby = {0},
  pages = {65-68},
  booktitle = {cade},
}

@inproceedings{FischerS03,
  title = {Applying AutoBayes to the Analysis of Planetary Nebulae Images},
  author = {Bernd  Fischer and Johann Schumann},
  year = {2003},
  url = {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 = {ASE},
}

@inproceedings{DenneyF03,
  title = {Correctness of Source-Level Safety Policies},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2003},
  url = {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 = {FM},
}

@article{FischerR01,
  title = {Interpreting Abstract Interpretations in Membership Equational Logic},
  author = {Bernd  Fischer and Grigore Rosu},
  year = {2001},
  url = {http://www.elsevier.nl/locate/entcs/volume59.html},
  tags = {logic},
  researchr = {https://researchr.org/publication/FischerR01},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {59},
  number = {4},
  pages = {271-285},
}

@inproceedings{FischerSU09,
  title = {Program Repair as Sound Optimization of Broken Programs},
  author = {Bernd  Fischer and Ando Saabas and Tarmo Uustalu},
  year = {2009},
  doi = {10.1109/TASE.2009.61},
  url = {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},
}

@inproceedings{DenneyFHJ05,
  title = {Software certificate management (SoftCeMent 05)},
  author = {Ewen  Denney and Bernd  Fischer and Dieter Hutter and Mark Jones},
  year = {2005},
  doi = {10.1145/1101908.1102003},
  url = {http://doi.acm.org/10.1145/1101908.1102003},
  tags = {certification},
  researchr = {https://researchr.org/publication/DenneyFHJ05},
  cites = {0},
  citedby = {0},
  pages = {463},
  booktitle = {ASE},
}

@inproceedings{SchumannFWW03,
  title = {Certification Support for Automatically Generated Programs},
  author = {Johann Schumann and Bernd  Fischer and Michael W. Whalen and Jon Whittle},
  year = {2003},
  url = {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},
}

@inproceedings{BasirDF08,
  title = {Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information},
  author = {Nurlida Basir and Ewen  Denney and Bernd  Fischer},
  year = {2008},
  doi = {10.1007/978-3-540-87698-4_22},
  url = {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 = {safecomp},
}

@article{DenneyFS06,
  title = {An Empirical Evaluation of Automated Theorem Provers in Software Certification},
  author = {Ewen  Denney and Bernd  Fischer and Johann Schumann},
  year = {2006},
  doi = {10.1142/S0218213006002576},
  url = {http://dx.doi.org/10.1142/S0218213006002576},
  tags = {empirical, certification},
  researchr = {https://researchr.org/publication/DenneyFS06},
  cites = {0},
  citedby = {0},
  journal = {ijait},
  volume = {15},
  number = {1},
  pages = {81-108},
}

@inproceedings{DenneyF05,
  title = {Certifiable Program Generation},
  author = {Ewen  Denney and Bernd  Fischer},
  year = {2005},
  doi = {10.1007/11561347_3},
  url = {http://dx.doi.org/10.1007/11561347_3},
  researchr = {https://researchr.org/publication/DenneyF05},
  cites = {0},
  citedby = {0},
  pages = {17-28},
  booktitle = {GPCE},
}

@article{KarlgrenKGFTSGSBFSHCBGSDL02,
  title = {The 2002 AAAI Spring Symposium Series},
  author = {Jussi Karlgren and Pentti Kanerva and Björn Gambäck and Kenneth D. Forbus and Kagan Tumer and Peter Stone and Kai Goebel and Gaurav S. Sukhatme and Tucker R. Balch and Bernd  Fischer and Doug Smith and Sanda M. Harabagiu and Vinay Chaudri and Mike Barley and Hans W. Guesgen and Thomas F. Stahovich and Randall Davis and James A. Landay},
  year = {2002},
  researchr = {https://researchr.org/publication/KarlgrenKGFTSGSBFSHCBGSDL02},
  cites = {0},
  citedby = {0},
  journal = {aim},
  volume = {23},
  number = {4},
  pages = {101-106},
}

@article{FischerHS92,
  title = {ALADIN: A Scanner Generator for Incremental Programming Environments},
  author = {Bernd  Fischer and Carsten Hammer and Werner Struckmann},
  year = {1992},
  tags = {meta programming, programming, Meta-Environment, incremental},
  researchr = {https://researchr.org/publication/FischerHS92},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {22},
  number = {11},
  pages = {1011-1025},
}

@article{BaarFF99,
  title = {Integrating Deduction Techniques in a Software Reuse Application},
  author = {Thomas Baar and Bernd  Fischer and Dirk Fuchs},
  year = {1999},
  url = {http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in},
  tags = {reuse},
  researchr = {https://researchr.org/publication/BaarFF99},
  cites = {0},
  citedby = {0},
  journal = {jucs},
  volume = {5},
  number = {3},
  pages = {52-72},
}

@inproceedings{SchumannF97,
  title = {NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical},
  author = {Johann Schumann and Bernd  Fischer},
  year = {1997},
  url = {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 = {jckbse},
}

@inproceedings{DenneyFS04:0,
  title = {Adding Assurance to Automatically Generated Code},
  author = {Ewen  Denney and Bernd  Fischer and Johann  Schumann},
  year = {2004},
  url = {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 = {hase},
}
@proceedings{gpce-2009,
  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 = {Jeremy G. Siek and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-60558-494-2},
}

@proceedings{rule:2002,
  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 = {Bernd  Fischer and Eelco Visser},
  publisher = {ACM},
  isbn = {1-58113-606-4},
}

@proceedings{kbse:2007,
  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 = {R. E. Kurt Stirewalt and Alexander  Egyed and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-59593-882-4 },
}

@proceedings{sle-2022,
  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 = {10.1145/3567512},
  url = {https://doi.org/10.1145/3567512},
  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 = {Bernd  Fischer and Lola Burgueño and Walter Cazzola},
  publisher = {ACM},
  isbn = {978-1-4503-9919-7},
}