Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bernd Fischer 0002" ( http://dblp.L3S.de/Authors/Bernd_Fischer_0002 )

URL (Homepage):  http://www.ecs.soton.ac.uk/people/bf  Author page on DBLP  Author page in RDF  Community of Bernd Fischer 0002 in ASPL-2

Publication years (Num. hits)
1992-2002 (16) 2003-2006 (16) 2007-2009 (15) 2010-2012 (12)
Publication types (Num. hits)
article(17) inproceedings(39) proceedings(3)
Venues (Conferences, Journals, ...)
ASE(9) GPCE(6) CoRR(5) Autom. Softw. Eng.(2) CADE(2) Electr. Notes Theor. Comput. S...(2) FME(2) J. Autom. Reasoning(2) LDTA(2) SAFECOMP(2) ACM SIGPLAN Workshop on Rule-B...(1) AI Magazine(1) AMAST(1) Domain-Specific Program Genera...(1) ECBS(1) HASE(1) More (+10 of total 35)
Authors
Bernd Fischer 0002(59) Ewen Denney(15) Johann Schumann(12) Lucas Cordeiro(10) João Marques-Silva(4) João P. Marques Silva(4) Eelco Visser(3) Michael W. Whalen(3) Nurlida Basir(3) Alexander Egyed(2) Ashish Darbari(2) Denis Nicole(2) Geoff Sutcliffe(2) Giorgios Rob Economopoulos(2) Jeremy Morse(2) Jon Whittle(2) More (+10 of total 60)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 20 keywords
Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer 0002 Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raimundo S. Barreto, Lucas Cordeiro, Bernd Fischer 0002 Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002 Context-Bounded Model Checking of LTL Properties for ANSI-C Software. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahram Esmaeilsabzali, Bernd Fischer 0002, Joanne M. Atlee Monitoring aspects for the customization of automatically generated code for big-step models. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giorgios Rob Economopoulos, Bernd Fischer 0002 Higher-order transformations with nested concrete syntax. Search on Bibsonomy LDTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer 0002 VLex: visualizing a lexical analyzer generator - tool demonstration. Search on Bibsonomy LDTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002 Verifying multi-threaded software using smt-based context-bounded model checking. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002 Bounded Model Checking of Multi-threaded Software using SMT solvers Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. Search on Bibsonomy ECBS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories
1Ashish Darbari, Bernd Fischer 0002, João Marques-Silva Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Neville Grech, Julian Rathke, Bernd Fischer 0002 JEqualityGen: generating equality and hashing methods. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nurlida Basir, Ewen Denney, Bernd Fischer 0002 Deriving Safety Cases for Hierarchical Structure in Model-Based Development. Search on Bibsonomy SAFECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Egyed, Bernd Fischer 0002 Guest editors' introduction. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nurlida Basir, Ewen Denney, Bernd Fischer 0002 Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ashish Darbari, Bernd Fischer 0002, João P. Marques Silva Industrial-Strength Formally Certified SAT Solving Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva SMT-Based Bounded Model Checking for Embedded ANSI-C Software Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Paulo J. Matos, Bernd Fischer 0002, João P. Marques Silva A Lazy Unbounded Model Checker for Event-B. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories
1Ewen Denney, Bernd Fischer 0002 A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-based design, verification and validation, code reviews, automated code generation
1Jeremy G. Siek, Bernd Fischer 0002 (eds.) Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  BibTeX  RDF
1Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu Program Repair as Sound Optimization of Broken Programs. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. Search on Bibsonomy ICESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Explaining Verification Conditions. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Generating customized verifiers for automatically generated code. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation
1Nurlida Basir, Ewen Denney, Bernd Fischer 0002 Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
1R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer 0002 (eds.) 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA Search on Bibsonomy ASE The full citation details ... 2007 DBLP  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002, Johann Schumann An Empirical Evaluation of Automated Theorem Provers in Software Certification. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Geoff Sutcliffe, Stephan Schulz Empirically Successful Automated Reasoning: Applications Issue. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Geoff Sutcliffe, Stephan Schulz Empirically Successful Automated Reasoning: Systems Issue. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 A generic annotation inference algorithm for the safety certification of automatically generated code. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
1Ewen Denney, Bernd Fischer 0002 Extending Source Code Generators for Evidence-Based Software Certification. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002, Dieter Hutter, Mark Jones Software certificate management (SoftCeMent'05). Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Certifiable Program Generation. Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002, Johann Schumann Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002, Johann Schumann Adding Assurance to Automatically Generated Code. Search on Bibsonomy HASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Johann Schumann AutoBayes: a system for generating data analysis programs from statistical models. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Johann Schumann Applying AutoBayes to the Analysis of Planetary Nebulae Images. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Eelco Visser Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Search on Bibsonomy Domain-Specific Program Generation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle Certification Support for Automatically Generated Programs. (PDF / PS) Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Correctness of Source-Level Safety Policies. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program safety, code certification, Program verification, Hoare logic, proof-carrying code
1Bernd Fischer 0002, Eelco Visser Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jussi Karlgren, Pentti Kanerva, Björn Gambäck, Kenneth D. Forbus, Kagan Tumer, Peter Stone, Kai Goebel, Gaurav S. Sukhatme, Tucker R. Balch, Bernd Fischer 0002, Doug Smith, Sanda M. Harabagiu, Vinay Chaudri, Mike Barley, Hans W. Guesgen, Thomas F. Stahovich, Randall Davis, James A. Landay The 2002 AAAI Spring Symposium Series. Search on Bibsonomy AI Magazine The full citation details ... 2002 DBLP  BibTeX  RDF
1Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Eelco Visser (eds.) Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002 Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  BibTeX  RDF
1Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 Synthesizing Certified Code. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
1Alexander G. Gray, Bernd Fischer 0002, Johann Schumann, Wray L. Buntine Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. Search on Bibsonomy NIPS The full citation details ... 2002 DBLP  BibTeX  RDF
1Bernd Fischer 0002, Grigore Rosu Interpreting Abstract Interpretations in Membership Equational Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002 Specification-Based Browsing of Software Component Libraries. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Johann Schumann, Thomas Pressburger Generating Data Analysis Programs from Statistical Models. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Baar, Bernd Fischer 0002, Dirk Fuchs Integrating Deduction Techniques in a Software Reuse Application. Search on Bibsonomy J. UCS The full citation details ... 1999 DBLP  BibTeX  RDF
1Bernd Fischer 0002, Jon Whittle An Integration of Deductive Retrieval into Deductive Synthesis. (PDF / PS) Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF deductive retrieval, software engineering, software reuse, program synthesis
1Wray L. Buntine, Bernd Fischer 0002, Thomas Pressburger Towards Automated Synthesis of Data Mining Programs. Search on Bibsonomy KDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002 Specification-based Browsing of Software Component Libraries. (PDF / PS) Search on Bibsonomy ASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Johann Schumann SETHEO Goes Software Engineering: Application of ATP to Software Reuse. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Johann Schumann, Bernd Fischer 0002 NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. (PDF / PS) Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover
1Gregor Snelting, Bernd Fischer 0002, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller Die inferenzbasierte Softwareentwicklungsumgebung NORA. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 1994 DBLP  BibTeX  RDF
1Bernd Fischer 0002, Carsten Hammer, Werner Struckmann ALADIN: A Scanner Generator for Incremental Programming Environments. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.