Bernd Fischer

University of Southampton, UK

other persons with the same name:

• Bernd Fischer - EMBL Heidelberg
• Bernd Fischer

	2012
59		Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537
	2011
58		Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee: Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126
57		Lucas Cordeiro, Bernd Fischer: Verifying multi-threaded software using smt-based context-bounded model checking. ICSE 2011: 331-340
56		Alisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer: VLex: visualizing a lexical analyzer generator - tool demonstration. LDTA 2011: 12
55		Giorgios Rob Economopoulos, Bernd Fischer: Higher-order transformations with nested concrete syntax. LDTA 2011: 4
54		Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317
53		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
52		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS 2010: 160-169
51		Neville Grech, Julian Rathke, Bernd Fischer: JEqualityGen: generating equality and hashing methods. GPCE 2010: 177-186
50		Ashish Darbari, Bernd Fischer, João Marques-Silva: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. ICTAC 2010: 260-274
49		Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP 2010: 68-81
48		Lucas Cordeiro, Bernd Fischer: Bounded Model Checking of Multi-threaded Software using SMT solvers CoRR abs/1003.3830: (2010)
	2009
47		Jeremy G. Siek, Bernd Fischer: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings ACM 2009
46		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE 2009: 137-148
45		Ewen Denney, Bernd Fischer: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE 2009: 560-564
44		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
43		Paulo J. Matos, Bernd Fischer, João P. Marques Silva: A Lazy Unbounded Model Checker for Event-B. ICFEM 2009: 485-503
42		Bernd Fischer, Ando Saabas, Tarmo Uustalu: Program Repair as Sound Optimization of Broken Programs. TASE 2009: 165-173
41		Alexander Egyed, Bernd Fischer: Guest editors' introduction. Autom. Softw. Eng. 16(1): 1-2 (2009)
40		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR abs/0907.2072: (2009)
39		Ashish Darbari, Bernd Fischer, João P. Marques Silva: Industrial-Strength Formally Certified SAT Solving CoRR abs/0911.1678: (2009)
38		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)
37		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)
	2008
36		Ewen Denney, Bernd Fischer: Explaining Verification Conditions. AMAST 2008: 145-159
35		Ewen Denney, Bernd Fischer: Generating customized verifiers for automatically generated code. GPCE 2008: 77-88
34		Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262
	2007
33		R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA ACM 2007
	2006
32		Ewen Denney, Bernd Fischer: Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268
31		Ewen Denney, Bernd Fischer: A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130
30		Ewen Denney, Bernd Fischer: Extending Source Code Generators for Evidence-Based Software Certification. ISoLA 2006: 138-145
29		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)
28		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
27		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
	2005
26		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
25		Ewen Denney, Bernd Fischer: Certifiable Program Generation. GPCE 2005: 17-28
	2004
24		Ewen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299
23		Ewen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212
	2003
22		Bernd Fischer, Johann Schumann: Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342
21		Bernd Fischer, Eelco Visser: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Domain-Specific Program Generation 2003: 239-253
20		Ewen Denney, Bernd Fischer: Correctness of Source-Level Safety Policies. FME 2003: 894-913
19		Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
18		Bernd Fischer, Eelco Visser: Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR 2003: 56-58
17		Bernd Fischer, Johann Schumann: AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13(3): 483-508 (2003)
	2002
16		Bernd Fischer, Eelco Visser: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002 ACM 2002
15		Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
14		Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
13		Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine: Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS 2002: 673-680
12		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 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)
	2001
11		Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): 271-285 (2001)
	2000
10		Bernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
9		Bernd Fischer: Specification-Based Browsing of Software Component Libraries. Autom. Softw. Eng. 7(2): 179-200 (2000)
	1999
8		Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
7		Wray L. Buntine, Bernd Fischer, Thomas Pressburger: Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
6		Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)
	1998
5		Bernd Fischer: Specification-based Browsing of Software Component Libraries. ASE 1998: 74-83
	1997
4		Johann Schumann, Bernd Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997: 246-254
3		Bernd Fischer, Johann Schumann: SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997: 65-68
	1994
2		Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131 (1994)
	1992
1		Bernd Fischer, Carsten Hammer, Werner Struckmann: ALADIN: A Scanner Generator for Incremental Programming Environments. Softw., Pract. Exper. 22(11): 1011-1025 (1992)

Coauthor Index

1	Joanne M. Atlee	[58]
2	Thomas Baar	[6]
3	Tucker R. Balch	[12]
4	Mike Barley (Michael W. Barley)	[12]
5	Raimundo S. Barreto	[53]
6	Nurlida Basir	[34] [37] [49]
7	Wray L. Buntine (Wray Lindsay Buntine)	[7] [13]
8	Vinay Chaudri	[12]
9	Huan Chen	[44]
10	Lucas Cordeiro	[38] [40] [44] [46] [48] [52] [53] [54] [57] [59]
11	Ashish Darbari	[39] [50]
12	Randall Davis	[12]
13	Ewen Denney	[20] [23] [24] [25] [26] [29] [30] [31] [32] [34] [35] [36] [37] [45] [49]
14	Giorgios Economopoulos (Giorgios Rob Economopoulos)	[55] [56]
15	Alexander Egyed	[33] [41]
16	Shahram Esmaeilsabzali	[58]
17	Kenneth D. Forbus	[12]
18	Dirk Fuchs	[6]
19	Björn Gambäck	[12]
20	Kai Goebel	[12]
21	Alexander G. Gray	[13]
22	Neville Grech	[51]
23	Franz-Josef Grosch	[2]
24	Hans W. Guesgen (Hans Werner Guesgen)	[12]
25	Carsten Hammer	[1]
26	Sanda M. Harabagiu	[12]
27	Dieter Hutter	[26]
28	Mark Jones	[26]
29	Alisdair Jorgensen	[56]
30	Pentti Kanerva	[12]
31	Jussi Karlgren	[12]
32	Matthias Kievernagel	[2]
33	James A. Landay	[12]
34	Paulo J. Matos	[43]
35	Jeremy Morse	[54] [59]
36	Denis Nicole	[54] [59]
37	Thomas Pressburger	[7] [10]
38	Julian Rathke	[51]
39	Grigore Rosu	[11]
40	Ando Saabas	[42]
41	Stephan Schulz	[27] [28]
42	Johann Schumann	[3] [4] [10] [13] [14] [15] [17] [19] [22] [23] [24] [29]
43	Jeremy G. Siek	[47]
44	João P. Marques Silva (João Marques-Silva)	[38] [39] [40] [43] [44] [46] [50] [52]
45	Doug Smith	[12]
46	Gregor Snelting	[2]
47	Thomas F. Stahovich	[12]
48	R. E. Kurt Stirewalt (Kurt Stirewalt)	[33]
49	Peter Stone	[12]
50	Werner Struckmann	[1]
51	Gaurav S. Sukhatme (Gaurav Sukhatme)	[12]
52	Geoff Sutcliffe	[27] [28]
53	Kagan Tumer	[12]
54	Tarmo Uustalu	[42]
55	Eelco Visser	[16] [18] [21]
56	Michael W. Whalen	[14] [15] [19]
57	Jon Whittle (Jonathan Whittle)	[8] [19]
58	Andreas Zeller	[2]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page