Bernd Fischer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Verifying multi-threaded software using smt-based context-bounded model checkingLucas Cordeiro, Bernd Fischer. ICSE 2011: 331-340 [doi]

Higher-order transformations with nested concrete syntaxGiorgios Rob Economopoulos, Bernd Fischer. LDTA 2011: 4 [doi]

VLex: visualizing a lexical analyzer generator - tool demonstrationAlisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer. LDTA 2011: 12 [doi]

2010

2009

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated CodeNurlida Basir, Ewen Denney, Bernd Fischer. ENTCS, 238(4):19-26, 2009. [doi]

SMT-Based Bounded Model Checking for Embedded ANSI-C SoftwareLucas Cordeiro, Bernd Fischer, JoÃ£o Marques-Silva. kbse 2009: 137-148 [doi]

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical SoftwareEwen Denney, Bernd Fischer. kbse 2009: 560-564 [doi]

Guest editors introductionAlexander Egyed, Bernd Fischer. ASE, 16(1):1-2, 2009. [doi]

Program Repair as Sound Optimization of Broken ProgramsBernd Fischer, Ando Saabas, Tarmo Uustalu. tase 2009: 165-173 [doi]

A Lazy Unbounded Model Checker for Event-BPaulo J. Matos, Bernd Fischer, JoÃ£o P. Marques Silva. icfem 2009: 485-503 [doi]

Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, ProceedingsJeremy G. Siek, Bernd Fischer, editors, ACM, 2009.

2008

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification InformationNurlida Basir, Ewen Denney, Bernd Fischer. safecomp 2008: 249-262 [doi]

Explaining Verification ConditionsEwen Denney, Bernd Fischer. amast 2008: 145-159 [doi]

Generating customized verifiers for automatically generated codeEwen Denney, Bernd Fischer. GPCE 2008: 77-88 [doi]

2007

22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USAR. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, ACM, 2007.

2006

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)Ewen Denney, Bernd Fischer. ASE 2006: 265-268 [doi]

An Empirical Evaluation of Automated Theorem Provers in Software CertificationEwen Denney, Bernd Fischer, Johann Schumann. ijait, 15(1):81-108, 2006. [doi]

Extending Source Code Generators for Evidence-Based Software CertificationEwen Denney, Bernd Fischer. isola 2006: 138-145 [doi]

A generic annotation inference algorithm for the safety certification of automatically generated codeEwen Denney, Bernd Fischer. GPCE 2006: 121-130 [doi]

Empirically Successful Automated Reasoning: Applications IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 37(1-2):1, 2006. [doi]

Empirically Successful Automated Reasoning: Systems IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 36(4):287, 2006. [doi]

2005

Certifiable Program GenerationEwen Denney, Bernd Fischer. GPCE 2005: 17-28 [doi]

Software certificate management (SoftCeMent 05)Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones. ASE 2005: 463 [doi]

2004

Using Automated Theorem Provers to Certify Auto-generated Aerospace SoftwareEwen Denney, Bernd Fischer, Johann Schumann. cade 2004: 198-212 [doi]

Adding Assurance to Automatically Generated CodeEwen Denney, Bernd Fischer, Johann Schumann. hase 2004: 297-299 [doi]

2003

2002

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002Bernd Fischer, Eelco Visser, editors, ACM, 2002.

Automatic Derivation of Statistical Algorithms: The EM Family and BeyondAlexander G. Gray, Bernd Fischer, Johann Schumann, Wray Buntine. nips 2003: 673-680 [doi]

Synthesizing Certified CodeMichael W. Whalen, Johann Schumann, Bernd Fischer. fm 2002: 431-450 [doi]

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System DescriptionMichael W. Whalen, Johann Schumann, Bernd Fischer. cade 2002: 290-294 [doi]

2001

Interpreting Abstract Interpretations in Membership Equational LogicBernd Fischer, Grigore Rosu. ENTCS, 59(4), 2001. [doi]

2000

Specification-Based Browsing of Software Component LibrariesBernd Fischer. ASE, 7(2):179-200, 2000.

Generating Data Analysis Programs from Statistical ModelsBernd Fischer, Johann Schumann, Thomas Pressburger. saig 2000: 212-229 [doi]

1999

Integrating Deduction Techniques in a Software Reuse ApplicationThomas Baar, Bernd Fischer, Dirk Fuchs. jucs, 5(3):52-72, 1999. [doi]

Towards Automated Synthesis of Data Mining ProgramsWray Buntine, Bernd Fischer, Thomas Pressburger. kdd 1999: 372-376 [doi]

An Integration of Deductive Retrieval into Deductive SynthesisBernd Fischer, Jon Whittle. ASE 1999: 52 [doi]

1998

Specification-based Browsing of Software Component LibrariesBernd Fischer. ASE 1998: 74-83 [doi]

1997

SETHEO Goes Software Engineering: Application of ATP to Software ReuseBernd Fischer, Johann Schumann. cade 1997: 65-68

NORA/HAMMR: Making Deduction-Based Software Component Retrieval PracticalJohann Schumann, Bernd Fischer. jckbse 1997: 246-254 [doi]

1994

Die inferenzbasierte Softwareentwicklungsumgebung NORAGregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller. ife, 9(3):116-131, 1994.

1992

ALADIN: A Scanner Generator for Incremental Programming EnvironmentsBernd Fischer, Carsten Hammer, Werner Struckmann. SPE, 22(11):1011-1025, 1992.