Bernd Fischer

University of Southampton, UK

other persons with the same name:

• Bernd Fischer
• Bernd Fischer 0003 - EMBL Heidelberg

	2013
c44		Bernd Fischer, Omar Inverso, Gennaro Parlato: CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS 2013: 616-618
c43		Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer: Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS 2013: 619-622
	2012
j13		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. 38(4): 957-974 (2012)
c42		Seyed Hossein Ghotbi, Bernd Fischer: A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain. ICSOFT 2012: 80-91
c41		Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537
	2011
c40		Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee: Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126
c39		Lucas Cordeiro, Bernd Fischer: Verifying multi-threaded software using smt-based context-bounded model checking. ICSE 2011: 331-340
c38		Giorgios Rob Economopoulos, Bernd Fischer: Higher-order transformations with nested concrete syntax. LDTA 2011: 4
c37		Alisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer: VLex: visualizing a lexical analyzer generator - tool demonstration. LDTA 2011: 12
c36		Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317
c35		Bernd Fischer, Ralf Lämmel, Vadim Zaytsev: Comparison of Context-Free Grammars Based on Parsing Generated Test Data. SLE 2011: 324-343
i5		Raimundo S. Barreto, Lucas Cordeiro, Bernd Fischer: Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. CoRR abs/1106.2320 (2011)
	2010
c34		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS 2010: 160-169
c33		Neville Grech, Julian Rathke, Bernd Fischer: JEqualityGen: generating equality and hashing methods. GPCE 2010: 177-186
c32		Ashish Darbari, Bernd Fischer, João Marques-Silva: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. ICTAC 2010: 260-274
c31		Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP 2010: 68-81
i4		Lucas Cordeiro, Bernd Fischer: Bounded Model Checking of Multi-threaded Software using SMT solvers. CoRR abs/1003.3830 (2010)
	2009
j12		Alexander Egyed, Bernd Fischer: Guest editors' introduction. Autom. Softw. Eng. 16(1): 1-2 (2009)
j11		Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electr. Notes Theor. Comput. Sci. 238(4): 19-26 (2009)
c30		Lucas Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS 2009: 396-403
c29		Paulo J. Matos, Bernd Fischer, João P. Marques Silva: A Lazy Unbounded Model Checker for Event-B. ICFEM 2009: 485-503
c28		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE 2009: 137-148
c27		Ewen Denney, Bernd Fischer: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE 2009: 560-564
c26		Bernd Fischer, Ando Saabas, Tarmo Uustalu: Program Repair as Sound Optimization of Broken Programs. TASE 2009: 165-173
e3		Jeremy G. Siek, Bernd Fischer (Eds.): Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. ACM 2009, isbn 978-1-60558-494-2
i3		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. CoRR abs/0907.2072 (2009)
i2		Ashish Darbari, Bernd Fischer, João P. Marques Silva: Industrial-Strength Formally Certified SAT Solving. CoRR abs/0911.1678 (2009)
i1		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. CoRR abs/0911.3784 (2009)
	2008
c25		Ewen Denney, Bernd Fischer: Explaining Verification Conditions. AMAST 2008: 145-159
c24		Ewen Denney, Bernd Fischer: Generating customized verifiers for automatically generated code. GPCE 2008: 77-88
c23		Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262
	2007
e2		R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (Eds.): 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. ACM 2007, isbn 978-1-59593-882-4
	2006
j10		Ewen Denney, Bernd Fischer, Johann Schumann: An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools 15(1): 81-108 (2006)
j9		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
j8		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
c22		Ewen Denney, Bernd Fischer: A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130
c21		Ewen Denney, Bernd Fischer: Extending Source Code Generators for Evidence-Based Software Certification. ISoLA 2006: 138-145
c20		Ewen Denney, Bernd Fischer: Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268
	2005
c19		Ewen Denney, Bernd Fischer: Certifiable Program Generation. GPCE 2005: 17-28
c18		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
c17		Ashok N. Srivastava, Johann Schumann, Bernd Fischer: An ensemble approach to building Mercer Kernels with prior information. SMC 2005: 2352-2359
	2004
c16		Ewen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212
c15		Ewen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299
	2003
j7		Bernd Fischer, Johann Schumann: AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13(3): 483-508 (2003)
c14		Bernd Fischer, Eelco Visser: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Domain-Specific Program Generation 2003: 239-253
c13		Ewen Denney, Bernd Fischer: Correctness of Source-Level Safety Policies. FME 2003: 894-913
c12		Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
c11		Bernd Fischer, Johann Schumann: Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342
c10		Bernd Fischer, Eelco Visser: Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR 2003: 56-58
	2002
j6		Jussi Karlgren, Pentti Kanerva, Björn Gambäck, Kenneth D. Forbus, Kagan Tumer, Peter Stone, Kai Goebel, Gaurav S. Sukhatme, Tucker R. Balch, Bernd Fischer, Doug Smith, Sanda M. Harabagiu, Vinay K. Chaudri, Mike Barley, Hans W. Guesgen, Thomas F. Stahovich, Randall Davis, James A. Landay: The 2002 AAAI Spring Symposium Series. AI Magazine 23(4): 101-106 (2002)
c9		Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
c8		Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
c7		Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine: Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS 2002: 673-680
e1		Bernd Fischer, Eelco Visser (Eds.): Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002. ACM 2002, isbn 1-58113-606-4
	2001
j5		Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): 271-285 (2001)
	2000
j4		Bernd Fischer: Specification-Based Browsing of Software Component Libraries. Autom. Softw. Eng. 7(2): 179-200 (2000)
c6		Bernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
	1999
j3		Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)
c5		Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
c4		Wray L. Buntine, Bernd Fischer, Thomas Pressburger: Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
	1998
c3		Bernd Fischer: Specification-based Browsing of Software Component Libraries. ASE 1998: 74-83
	1997
c2		Bernd Fischer, Johann Schumann: SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997: 65-68
c1		Johann Schumann, Bernd Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997: 246-254
	1994
j2		Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131 (1994)
	1992
j1		Bernd Fischer, Carsten Hammer, Werner Struckmann: ALADIN: A Scanner Generator for Incremental Programming Environments. Softw., Pract. Exper. 22(11): 1011-1025 (1992)

Coauthor Index

Colors in the list of coauthors

Last update Sat May 18 16:33:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page