### 2017

G. Birch, B. Fischer, and M. Poppleton.
"Fast test suite-driven model-based fault localisation
with application to pinpointing defects in student programs".
*J. Software and Systems Modelling*, 2017, to appear.

[
doi |
preprint
]

M. Dunaiski, G. J. Greene, and B. Fischer.
"Exploratory Search of Academic Publication and Citation
Data using Interactive Tag Cloud Visualizations".
*Scientometrics*, 110(3):1539-1571, 2017.

[
doi |
preprint
]

G. J. Greene, M. Esterhuizen, and B. Fischer.
"Visualizing and Exploring Software Version Control
Repositories using Interactive Tag Clouds over Formal Concept
Lattices".
*Information and Software Technology*, 87:223-241, 2017.

[
doi |
preprint
]

E. Tomasco, B. Fischer, S. La Torre, T. L. Nguyen, G. Parlato, and P. Schrammel.
"Parallel Bug-finding in Concurrent Programs via Reduced Interleaving Instances".
*Proc. 32nd Intl. Conf. Automated Software Engineering (ASE)*.
2017, to appear.

E. Tomasco, T. L. Nguyen, B. Fischer, S. La Torre, and G. Parlato.
"Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models".
*Proc. 15th Intl. Conf. Software Engineering and Formal Methods (SEFM)*.
*LNCS*, 2017, to appear.

T. L. Nguyen, B. Fischer, S. La Torre, and G. Parlato.
"Concurrent Program Verification with Lazy Sequentialization and Interval Analysis".
*Proc. 5th Intl. Conf. Networked Systems (NETYS)*.
*LNCS* 10299, pp. 255-271, 2017.

[
doi |
pdf
]

T. L. Nguyen, O. Inverso, B. Fischer, S. La Torre, and G. Parlato.
"Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation -
(Competition Contribution)". *Proc. 23rd Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 10206, pp. 375-379, 2017.

[
doi |
pdf
]

W. Rocha, H. Rocha, H. Ismail, L. Cordeiro, and B. Fischer.
"DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
(Competition Contribution)". *Proc. 23rd Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 10206, pp. 360-364, 2017.

[
doi |
pdf
]

### 2016

T. Aubrey-Jones and B. Fischer. "Synthesizing MPI Implementations
from Functional Data-Parallel Programs".
*Intl. J. Parallel Programming*, 44(3), pp. 552-573, 2016.

[
doi |
pdf
]

E. Tomasco, T. L. Nguyen, O. Inverso, B. Fischer, S. La Torre, and G. Parlato.
"Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions".
*Proc. 16th Intl. Conf. Formal Methods in Computer-Aided Design (FMCAD)*,
pp. 193-200, 2016.

[
pdf
]

T. L. Nguyen, B. Fischer, S. La Torre, and G. Parlato.
"Lazy Sequentialization for the Safety Verification of Unbounded
Concurrent Programs".
*Proc. 14th Intl. Symp. Automated Technology for Verification and
Analysis (ATVA)*.
*LNCS* 9938, pp. 174-191, 2016.

[
doi |
pdf
]

G. Birch, B. Fischer, and M. Poppleton.
"Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided
Program Repair and to Improve Assessment".
*Proc. Conf. Innovation and Technology in Computer Science Education
(ITiCSE)*.
pp. 168-173, 2016.

[
doi |
pdf
]

G. J. Greene and B. Fischer.
"CVExplorer: identifying candidate developers by mining and exploring their
open source contributions". *Proc. 31st Intl. Conf. Automated Software
Engineering (ASE), Tools track*, pp. 804-809, 2016.

[
doi |
pdf
]

E. Tomasco, T. L. Nguyen, O. Inverso, B. Fischer, S. La Torre, and
G. Parlato. "MU-CSeq 0.4: Individual Memory Location Unwindings -
(Competition Contribution)". *Proc. 22nd Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 9636, pp. 938-941, 2016.

[
doi |
pdf
]

G. J. Greene and B. Fischer.
"Single-Focus Broadening Navigation in Concept Lattices".
*Proc. 3rd Workshop Concept Discovery in Unstructured Data*,
pp. 32-43, 2016.

[
pdf
]

### 2015

O. Inverso, T. L. Nguyen, B. Fischer, S. La Torre, and
G. Parlato. "Lazy-CSeq: A Context-Bounded Model Checking
Tool for Multi-threaded C-Programs". *Proc. 30th Intl. Conf. Automated Software
Engineering (ASE), Tools track*, pp. 807-812, 2015.

[
doi |
pdf
]

G. Greene and B. Fischer. "Interactive Tag Cloud
Visualization of Software Version Control Repositories".
*Proc. 3rd IEEE Working Conf. Software Visualization
(VISSOFT)*, pp. 56-65, 2015.

[
doi |
pdf
]

G. Birch, B. Fischer, and M. Poppleton.
"Fast Model-Based Fault Localisation with Test Suites".
*Proc. 9th Intl. Conf. Tests and Proofs (TAP)*.
*LNCS* 9154, pp. 38-57, 2015.

[
doi |
pdf
]

E. Tomasco, O. Inverso, B. Fischer, S. La Torre, and
G. Parlato. "Verifying Concurrent Programs by
Memory Unwinding". *Proc. 21st Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 9035, pp. 551-565, 2015.

[
doi |
pdf
]

T. L. Nguyen, B. Fischer, S. La Torre, and
G. Parlato. "Unbounded Lazy-CSeq: A Lazy Sequentialization
Tool for C Programs with Unbounded Context Switches (Competition
Contribution)". *Proc. 21st Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 9035, pp. 461-463, 2015.

[
doi |
pdf
]

E. Tomasco, O. Inverso, B. Fischer, S. La Torre, and
G. Parlato. "MU-CSeq 0.3: Sequentialization by
Read-implicit and Course-grained Memory Unwindings (Competition
Contribution)". *Proc. 21st Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 9035, pp. 436-438, 2015.

[
doi |
pdf
]

J. Morse, L. Cordeiro, D. Nicole, and B. Fischer.
"Model Checking LTL Properties over C Programs with Bounded
Traces". *J. Software and Systems Modelling*,
14(1):65-81, 2015.

[
doi |
pdf
]

### 2014

G. Greene and B. Fischer. "ConceptCloud: A Tagcloud Browser
for Software Archives".
*Proc. 14th Intl. Conf. Foundations of Software
Engineering (FSE), Research tool demonstrations track*.
759-762, 2014.

[
doi |
pdf
]

J. Morse, L. Cordeiro, D. Nicole, and B. Fischer.
"Applying Symbolic Bounded Model Checking to the 2012 RERS
Greybox Challenge".
*Intl. J. Software Tools for Technology Transfer*,
16:519-529, 2014.

[
doi |
pdf
]

O. Inverso, E. Tomasco, B. Fischer, S. La Torre, and
G. Parlato. "Bounded Model Checking of
Multi-Threaded C Programs via Sequentialization".
*Proc. 26th Intl. Conf. Computer Aided Verification
(CAV)*. *LNCS* 8559, pp. 585-602, 2014.

[
doi |
pdf
]

T. Aubrey-Jones and B. Fischer. "Automatic
Data Distribution for Data-Parallel Programming".
*Proc. 7th Intl. Symposium on High-level Parallel
Programming and Applications*.

[
pdf
]

J. Morse, M. Ramalho, L. Cordeiro, D. Nicole, and
B. Fischer. "ESBMC 1.22 (Competition
Contribution)". *Proc. 20th Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 8413, pp. 405-407, 2013.

[
doi |
pdf
]

E. Tomasco, O. Inverso, B. Fischer, S. La Torre, and
G. Parlato. "MU-CSeq: Sequentialization of C
Programs by Shared Memory Unwindings (Competition
Contribution)". *Proc. 20th Intl. Conf. Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 8413, pp. 402-404, 2014.

[
doi |
pdf
]

O. Inverso, E. Tomasco, B. Fischer, S. La Torre, and
G. Parlato. "Lazy-CSeq: A Lazy Sequentialization
Tool for C (Competition Contribution)".
*Proc. 20th Intl. Conf. Tools and Algorithms for the
Construction and Analysis of Systems (TACAS)*. *LNCS*
8413, pp. 398-401, 2014.

[
doi |
pdf
]

### 2013

S. H. Ghotbi and B. Fischer. "Fine-Grained Role- and
Attribute-Based Access Control for Web Applications".
*Software and Data Technologies*, *Communications in
Computer and Information Science 411*, Selected papers from
ICSOFT 2012, pp. 171-187. Springer, 2013.

[
doi |
preprint
]

B. Fischer, O. Inverso, and G. Parlato. "CSeq: A
Concurrency Pre-Processor for Sequential C Verification
Tools". *Proc. 28th Intl. Conf. Automated Software
Engineering (ASE), Tools track*, pp. 710-713, 2013.

[
doi |
pdf
]

N. Grech, B. Fischer, and J. Rathke. "Preemptive Type
Checking in Dynamically Typed Languages". *10th Intl.
Colloquium Theoretical Aspects of Computing (ICTAC)*,
*LNCS*, pp. 195-212, 2013.

[
doi |
preprint
]

M. Ramalho, M. Freitas, F. Sousa, H. Marques, L. Cordeiro, and
B. Fischer. "SMT-Based Bounded Model Checking of C++
Programs". *Proc. 20th IEEE Intl. Conf. Workshops
Engineering of Computer-Based Systems (ECBS)*, pp. 147-156,
2013.

[
doi |
pdf
]

J. Morse, L. Cordeiro, D. Nicole, and B. Fischer. "Handling
Unbounded Loops with ESBMC 1.20 (Competition Contribution)".
*Proc. 19th Intl. Conf. Tools and Algorithms for the
Construction and Analysis of Systems (TACAS)*. *LNCS*
7795, pp. 619-622, 2013.

[
doi |
pdf
]

B. Fischer, O. Inverso, and G. Parlato. "CSeq: A
Sequentialization Tool for C (Competition Contribution)".
*Proc. 19th Intl. Conf. Tools and Algorithms for the
Construction and Analysis of Systems (TACAS)*. *LNCS*
7795, pp. 616-618, 2013.

[
doi |
pdf
]

### 2012

L. Cordeiro, B. Fischer, and J. Marques-Silva. "SMT-Based
Bounded Model Checking for Embedded ANSI-C Software".
*IEEE Trans. Software Engineering*, 38(4):957-974, 2012.

[
doi |
pdf
]

S. H. Ghotbi and B. Fischer. "A Declarative
Fine-Grained Role-Based Access Control Model and Mechanism for
the Web Application Domain". *Proc. 7th Intl. Conf.
Software Paradigm Trends (ICSOFT)*, pp. 80-91. SciTePress,
2012.

[
pdf
]

J. Morse, L. Cordeiro, D. Nicole, and B. Fischer.
"Context-Bounded Model Checking with ESBMC 1.17 (Competition
Contribution)". *Proc. 18th Intl. Conf. Tools and
Algorithms for the Construction and Analysis of Systems
(TACAS)*. *LNCS* 7214, pp. 534-537, 2012.

[
doi |
pdf
]

### 2011

J. Morse, L. Cordeiro, D. Nicole, and B. Fischer.
"Context-Bounded Model Checking of LTL Properties for ANSI-C
Software". *Proc. 9th Intl. Conf. Software
Engineering and Formal Methods (SEFM)*. *LNCS* 7431, pp.
302-317, 2011.

[
doi |
preprint
]

S. Esmaeilsabzali, B. Fischer and J. Atlee. "Monitoring
Aspects for the Customization of Automatically Generated Code
for Big-Step Models". *Proc. 10th Intl. Conf.
Generative Programming and Component Engineering (GPCE)*, pp.
117-126, 2011. ACM Press.

[
doi |
pdf
]

B. Fischer, R. Laemmel and V. Zaytsev. "Comparison of
Context-free Grammars Based on Parsing Generated Test Data".
*Proc. 4th Intl. Conf. Software Language Engineering
(SLE)*, LNCS 6940.

[
doi |
preprint
]

L. Cordeiro and B. Fischer. "Bounded Model Checking for
Multi-threaded Software using SMT-Solvers". *Proc.
33rd Intl. Conf. Software Engineering (ICSE)*, pp.
331-340. ACM Press, 2011. **ACM Distinguished Paper
Award**.

[
doi |
pdf
]

R. Barreto, L. Cordeiro, and B. Fischer. "Verifying
Embedded C Software with Timing Constraints using an Untimed
Bounded Model Checker". *Proc. SBESC Workshop on
Real-Time Systems*, 2011.

[
doi |
pdf
]

R. Economopoulos and B. Fischer. "Higher-order
Transformations with Nested Concrete Syntax". *Proc.
11th Workshop on Language Descriptions, Tools and Applications
(LDTA)*, 2011.

[
doi |
pdf
]

A. Jorgensen, R. Economopoulos and B. Fischer. "VLex:
Visualizing a Lexical Analyzer Generator". *Proc.
11th Workshop on Language Descriptions, Tools and Applications
(LDTA)*, 2011.

[
doi |
pdf
]

N. Basir, E. Denney and B. Fischer. "Building
Heterogeneous Safety Cases for Automatically Generated Code"
*Proc. Infotech@AIAA*, Mar. 2011.

[
doi |
pdf
]

### 2010

A. Darbari, B. Fischer, and J. Marques-Silva.
"Industrial-Strength Certified SAT Solving through Verified
SAT Proof Checking", *Proc. 7th Intl. Colloquium
Theoretical Aspects of Computing (ICTAC)*, *LNCS* 6255,
pp. 260-274. Springer, 2010.

[
doi |
preprint
]

N. Grech, B. Fischer, and J. Rathke. "Generating
correct and efficient equality and hashing methods using
JEqualityGen". *Proc. 9th Intl. Conf. Generative
Programming and Component Engineering (GPCE)*, pp. 177-186.
ACM Press, 2010.

[
doi |
pdf
]

N. Basir, E. Denney and B. Fischer. "Deriving Safety Cases
for Hierarchical Systems in Model-based Development". In
*Proc. 29th Intl. Conf. Computer Safety, Reliability and
Security (SAFECOMP)*, *LNCS* 6351, pp.
68-81. Springer, 2010. **Best Presentation
Award**.

[
doi |
pdf
]

L. Cordeiro, B. Fischer, and J. Marques-Silva.
"Continuous Verification of Large Embedded Software Using
SMT-Based Bounded Model Checking". *Proc. 17th IEEE
Intl. Conf. Workshops Engineering of Computer-Based Systems
(ECBS)*, pp. 160-169, 2010.

[
doi |
pdf
]

L. Cordeiro and B. Fischer. "Bounded Model Checking for
Multi-threaded Software using SMT-Solvers" *Proc. 8th
Intl. Workshop on Satisfiability Modulo Theories*, 2010.

N. Grech, B. Fischer, and J. Rathke. "Generating
correct and efficient equality and hashing methods using
JEqualityGen" *Proc. ETAPS Workshop on Generative
Techniques*, 2010.

[
pdf
]

### 2009

N. Basir, E. Denney and B. Fischer. "Deriving Safety
Cases from Automatically Constructed Proofs". *Proc.
4th IET International Conference on System Safety*, 2009.

[
doi |
pdf
]

L. Cordeiro, B. Fischer, and J. Marques-Silva.
"SMT-Based Bounded Model Checking for Embedded ANSI-C
Software". *Proc. 24th Intl. Conf. Automated Software
Engineering (ASE)*, pp. 137-148, 2009.

[
doi |
pdf
]

E. Denney and B. Fischer. "A Verification-Driven
Approach to Traceability and Documentation for Auto-Generated
Mathematical Software". *Proc. 24th Intl. Conf.
Automated Software Engineering (ASE)*, pp. 560-564, 2009.

[
doi |
pdf
]

P. Matos, B. Fischer, J. Marques-Silva. "A Lazy
Unbounded Model Checker for Event-B". *Proc. 11th
Intl. Conf. Formal Engineering Methods (ICFEM)*,
*LNCS* 5885, pp. 485-503, 2009. Springer.

[
doi |
preprint
]

E. Denney and B. Fischer. "Generating code review
documentation for auto-generated mission-critical software".
*Proc. Third IEEE Intl. Conf. Space Mission Challenges
for Information Technology*, 2009.

[
doi |
preprint
]

B. Fischer, A. Saabas, and T. Uustalu. "Program Repair
as Sound Optimization of Broken Programs". *Proc. 3rd
Intl. Conf. Theoretical Aspects of Software Engineering
(TASE)*, pp. 165-173, 2009.

[
doi |
pdf
]

L. Cordeiro, B. Fischer, H. Chen and J. Marques-Silva
"Semiformal Verification of Embedded Software in Medical
Devices Considering Stringent Hardware Constraints". In
*Proc. 6th Intl. Conf. Embedded Software and Systems*,
pp. 396-403. 2009.

[
doi |
pdf
]

A. Darbari, B. Fischer, and J. Marques-Silva.
"Formalizing a SAT Proof Checker in Coq". *Proc. First
Intl. Coq Workshop*, 2009.

[
preprint
]

### 2008

E. Denney and B. Fischer. "Generating Customized
Verifiers for Automatically Generated Code". *Proc.
7th Intl. Conf. Generative Programming and Component
Engineering (GPCE)*, pp. 77-88, 2008. ACM Press.

[
doi |
pdf
]

N. Basir, E. Denney and B. Fischer. "Constructing a
Safety Case for Automatically Generated Code from Formal
Program Verification Information". *Proc. 27th Intl.
Conf. Computer Safety, Reliability and Security (SAFECOMP)*,
*LNCS* 5219, pp. 249-262. Springer, 2008.

[
doi |
pdf
]

E. Denney and B. Fischer. "Explaining Verification
Conditions". *Proc. 12th Intl. Conf. Algebraic
Methodology and Software Technology*, *LNCS* 5140, pp.
145-159. Springer, 2008.

[
doi |
pdf
]

M. Poppleton, B. Fischer, C. Franklin, A. Gondal,
C. Snook, and J. Sorge "Towards Reuse with Feature-Oriented
Event-B". *Proc. GPCE/OOPSLA Workshop on
Modularization, Composition and Generative Techniques for
Product Line Engineering*, 2008.

[
pdf
]

N. Basir, E. Denney and B. Fischer. "Deriving Safety
Cases for the Formal Certification of Automatically Generated
Code". *Proc. ETAPS Workshop on Certification of
Safety-Critical Software Controlled Systems*, 2008.

[
doi |
pdf
]

### 2006

E. Denney, B. Fischer, and J. Schumann. "An Empirical
Evaluation of Automated Theorem Provers in Software
Certification". *International Journal on Artificial
Intelligence Tools*, 15(1):81-107, 2006.

[
doi |
pdf
]

E. Denney and B. Fischer. "Extending Source Code
Generators for Evidence-based Software Certification". In
*Proc. 2nd International Symposium on Leveraging
Applications of Formal Methods, Verification and Validation*.
2006.

[
doi |
pdf
]

E. Denney and B. Fischer. "A Generic Annotation
Inference Algorithm for the Safety Certification of
Automatically Generated Code". *Proc. Conf.
Generative Programming and Component Engineering (GPCE)*, pp.
121-130. ACM Press, 2006.

[
doi |
pdf
]

E. Denney and B. Fischer. "Annotation Inference for
Safety Certification of Automatically Generated Code (Extended
Abstract)". *Proc. 21st Intl. Conf. Automated
Software Engineering (ASE)*, pp. 265-268. IEEE Comp.
Soc. Press, 2006.

[
doi |
pdf
]

### 2005

A. Srivastava, J. Schumann, B. Fischer. "An Ensemble
Approach to Building Mercer Kernels with Prior Information".
*Proc. IEEE Conf. Systems, Man, and Cybernetics*,
2005.

[
doi |
pdf
]

E. Denney and B. Fischer. "Certifiable Program
Generation". *Proc. 4th Intl. Conf. Generative
Programming and Component Engineering (GPCE)*,
*LNCS* 3676, pp. 17-28, Springer, 2005. Invited paper.

[
doi |
pdf
]

J. Richardson, J. Schumann, B. Fischer, and E. Denney.
"Rapid Exploration of the Design Space During Automatic
Generation of Kalman Filter Code". *Proc. IEEE
Aerospace Conf.*, March 2005.

[
doi |
pdf
]

E. Denney, B. Fischer, J. Schumann, and J. Richardson.
"Automatic Certification of Kalman Filters for Reliable Code
Generation". *Proc. IEEE Aerospace Conf.*, March
2005.

[
doi |
pdf
]

E. Denney and B. Fischer. "Formal Safety Certification
of Auto-Generated Aerospace Software". *Proc.
Infotech@AIAA*, Sep. 2005.

[
doi |
pdf
]

E. Denney and B. Fischer. "Software Certificate
Management (Position Paper)". *Proc. ASE Workshop on
Software Certificate Management*, 2005.

[
preprint
]

G. Sutcliffe, E. Denney and B. Fischer. "Practical
Proof Checking for Program Certification", *Proc.
CADE-20 Workshop on Empirically Successful Classical Automated
Reasoning*. Tallinn, July 2005.

[
preprint
]

E. Denney and B. Fischer. "A Program Certification
Assistant Based on Fully Automated Theorem Provers",
*Proc. Workshop User Interfaces for Theorem Provers*.
Edinburgh, April 2005.

[
preprint
]

### 2004

B. Fischer and E. Visser. "Retrofitting the AutoBayes
Program Synthesis System with Concrete Syntax". In
C. Lengauer, D. Batory, C. Consel, and M. Odersky (Eds.),
*Domain-Specific Program Generation*, *LNCS* 3016,
pp. 239-253. Springer, 2004.

[
doi |
pdf
]

K. Huyser, B. Fischer, K. Knuth, J. Schumann,
D. Granquist-Fraser, and A. Hajian. "Discovering Planetary
Nebula Geometries: Explorations with a Hierarchy of Models".
*Proc. 24rd Conf. Bayesian Maximum Entropy Methods*,
pp. 135-142. AIP Press, 2004.

[
doi |
pdf
]

E. Denney, B. Fischer, and J. Schumann. "Using
Automated Theorem Provers to Certify Auto-Generated Aerospace
Software". *Proc. 2nd Intl. Joint Conf. Automated
Reasoning (IJCAR)*, *LNCS* 3097, pp. 198-212. Springer,
2004.

[
doi |
preprint
]

E. Denney, B. Fischer, and J. Schumann. "An Empirical
Evaluation of Automated Theorem Provers in Software
Certification". *Proc. IJCAR Workshop on Empirically
Successful First Order Reasoning*. Cork, Ireland, July 2004.
*Electronic Notes Theoretical Comp. Sci.*

E. Denney, B. Fischer, and J. Schumann. "Adding
Assurance to Automatically Generated Code (Fast Abstract)".
*Proc. 8th IEEE Intl. Symp. High Assurance Systems
Engineering (HASE)*, pp. 297-299. IEEE Comp. Soc. Press,
2004.

[
doi |
pdf
]

### 2003

B. Fischer and J. Schumann. "AutoBayes: A System for
Generating Data Analysis Programs from Statistical Models".
*J. Functional Programming*, 13(3):483-508, 2003.

[
doi |
pdf
]

B. Fischer and J. Schumann. "Applying AutoBayes to the
Analysis of Planetary Nebulae Images (Extended Abstract)". In
*Proc. 18th Intl. Conf. Automated Software Engineering
(ASE)*, pp. 337-342. IEEE Comp. Soc. Press, 2003.

[
doi |
pdf
]

E. Denney and B. Fischer. "Correctness of Source-Level
Safety Policies". *Proc. Formal Methods (FM)*,
*LNCS* 2805, pp. 894-913. Springer, 2003.

[
doi |
preprint
]

B. Fischer, K. Knuth, A. Hajian, and J. Schumann.
"Automatic Derivation of Statistical Data Analysis Programs:
Planetary Nebulae and Beyond". *Proc. 23rd Conf.
Bayesian Maximum Entropy Methods*, pp. 276-291. AIP Press,
2003.

[
doi |
pdf
]

J. Schumann, B. Fischer, M. Whalen, and J. Whittle.
"Certification Support for Automatically Generated Programs".
*Proc. 36th Hawaii International Conference on System
Sciences*. 2003.

[
doi |
pdf
]

A. Gray, B. Fischer, J. Schumann, and W. Buntine.
"Automatic Derivation of Statistical Algorithms: The EM Family
and Beyond". *Proc. Advances in Neural Information
Processing Systems 15 (NIPS*2002)*, pp. 689-696. MIT Press,
2003.

[
preprint
]

B. Fischer and E. Visser. "Adding Concrete Syntax to a
Prolog-Based Program Synthesis System (Extended Abstract)", In
*Proc. Intl. Symp. Logic-based Program Synthesis and
Transformation 2003*, pp. 39-48, 2003. Report CW 365,
Katholieke Universiteit Leuven.
Short version in
*Proc. Intl. Symp. Logic-based Program Synthesis and
Transformation 2003*,
*LNCS* 3018, pp. 56-58, 2003, Springer, 2004.

[
doi |
preprint
]

### 2002

B. Fischer. "Deduction-Based Software Component
Retrieval". D. Wagner *et al.* (Eds.),
*Ausgezeichnete Informatikdissertationen 2001*, pp.
19-28. *Lecture Notes in Informatics D-2*, Köllen
Verlag, Bonn, 2002. In German

[
pdf
]

M. Whalen, J. Schumann, and B. Fischer. "AutoBayes/CC
- Combining Program Synthesis with Automatic Code
Certification (System Description)". *Proc.
18th Intl. Conf. Automated Deduction (CADE)*,
*LNAI* 2392, pp. 290-294. Springer, 2002.

[
doi |
preprint
]

M. Whalen, J. Schumann, and B. Fischer. "Synthesizing
Certified Code". *Proc. Formal Methods Europe
(FME)*, *LNCS* 2391, pp. 431-450. Springer, 2002.

[
doi |
preprint
]

### 2001

B. Fischer. "Deduction-Based Software Component
Retrieval". PhD Thesis, Universität Passau, defended on June
1, 2001.

[
library |
pdf
]

B. Fischer and G. Rosu. "Interpreting Abstract
Interpretations in Membership Equational Logic". In
*Proc. Intl. Workshop Rule-Based Programming*,
*Electronic Notes Theoretical Comp. Sci.* 59.4, pp.
118-125. Elsevier, 2001.

[
doi |
pdf
]

B. Fischer, T. Pressburger, G. Rosu, and J. Schumann.
"The AutoBayes Program Synthesis System--System Description".
*Proc. 9th Symp. Integration of Symbolic Computation
and Mechanized Reasoning*, pp. 118-125. 2001.

[
preprint
]

### 2000

B. Fischer. "Specification-Based Browsing of Software
Component Libraries". *Automated Software Engineering*,
7(2):179-200, 2000.

[
doi |
pdf
]

B. Fischer, J. Schumann, and T. Pressburger.
"Generating Data Analysis Programs from Statistical Models
(Position Paper)". *Proc. Intl. Workshop Semantics
Applications, and Implementation of Program Generation*,
*LNCS* 1924, pp. 212-229. Springer, 2000.

[
doi |
preprint
]

T. Kaiser, B. Fischer, and W. Struckmann. "MOPS: Verifying
Modula-2 programs specified in VDM-SL". *Proc. 4th
Workshop Tools for System Design and
Verification*, pp. 163-167, Reisensburg, July
2000.

[
preprint |
report
]

J. Penix, B. Fischer, J. Whittle, G. Pour, and J. Van Baalen.
"Automating Component Integration for Web-Based Data Analysis
Applications". *Proc. IEEE Aerospace Conf.*, March
2000.

[
doi |
pdf
]

### 1999

T. Baar, B. Fischer, and D. Fuchs. "Integrating
Deduction Techniques in a Software Reuse Application".
*J. Universal Computer Science*, 5(3):52-72, 1999.

[
doi |
pdf
]

B. Fischer and J. Whittle. "An Integration of Deductive
Retrieval into Deductive Synthesis". *Proc.
14th Intl. Conf. Automated Software Engineering (ASE)*, pp.
52-61. IEEE Comp. Soc. Press, 1999.

[
doi |
pdf
]

W. Buntine, B. Fischer, and T. Pressburger. "Towards
Automated Synthesis of Data Mining Programs". *Proc.
5th Intl. Conf. Knowledge Discovery and Data Mining (KDD)*,
pp. 372-376. ACM Press, 1999.

[
doi |
pdf
]

B. Fischer, M. Lowry, and J. Penix. "Intelligent
Component Retrieval via Automated Reasoning". *Proc.
AAAI-99 Workshop on Intelligent Software Engineering*,
Orlando, FL, July 1999.

[
pdf
]

W. Buntine, B. Fischer, K. Havelund, M. Lowry,
T. Pressburger, S. Roach, P. Robinson, and J. Van Baalen.
"Transformation Systems at NASA Ames". *Proc.
ICSE-21 Intl. Workshop Software Transformation Systems*, pp.
8-13, Los Angeles, CA, May 1999.

[
preprint
]

### 1998

B. Fischer, J. Schumann, and G. Snelting.
"Deduction-Based Software Component Retrieval". W. Bibel
and P. Schmitt (Eds.), *Automated Deduction - A Basis for
Applications*, pp. 265-292. Kluwer, Dordrecht, 1998.

[
preprint
]

B. Fischer. "Specification-Based Browsing of Software
Component Libraries". *Proc. 13th Intl. Conf.
Automated Software Engineering (ASE)*, pp. 74-83,
IEEE Comp. Soc. Press, 1998. **Best Paper
Award** and **ASE 2012 Most Influential
Paper Award**.

[
doi |
pdf
]

T. Baar and B. Fischer. "Solving Software Reuse
Problems with Theorem Provers". *Proc. CADE-15
Workshop on Problem Solving Methodologies with Automated
Deduction*, pp. 217-247, Lindau, July 1998.

[
preprint
]

T. Baar, B. Fischer, and D. Fuchs. "Experiments with
ATP Integration in a Software Engineering Application".
*Proc. CADE-15 Workshop on Integration of Deduction
Systems*, pp. 19-27, Lindau, July 1998.

[
preprint
]

### 1997

J. Schumann and B. Fischer. "NORA/HAMMR: Making
Deduction-Based Software Component Retrieval Practical".
*Proc. 12th Intl. Conf. Automated Software Engineering
(ASE)*, pp. 246-254. IEEE Comp. Soc. Press, 1997.

[
doi |
pdf
]

B. Fischer and G. Snelting. "Reuse by Contract".
*Proc. ESEC-FSE Workshop on Foundations of Component-Based
Systems*, pp. 91-100, Zürich, September
1997.

[
preprint
]

B. Fischer and J. Schumann. "SETHEO Goes Software
Engineering: Application of ATP to Software Reuse".
*Proc. 14th Intl. Conf. Automated Deduction (CADE)*,
*LNAI* 1249, pp. 65-68. Springer, 1997.

[
doi |
preprint
]

### 1995

B. Fischer, M. Kievernagel, and G. Snelting.
"Deduction-Based Software Component Retrieval".
*Working Notes of the IJCAI-95 Workshop: Formal
Approaches to the Reuse of Plans, Proofs, and Programs*, pp.
1-5, Montreal, August 1995.

[
preprint
]

B. Fischer, M. Kievernagel, and W. Struckmann.
"High-precision Retrieval for High-Quality Software".
*Proc. 4th Software Quality Conf.*, pp. 80-88,
University of Abertay Dundee, 1995.

[
preprint
]

B. Fischer, M. Kievernagel, and W. Struckmann. "VCR:
A VDM-based Software Component Retrieval Tool".
*Working Notes of the ICSE-17 Workshop on Formal Methods
Application in Software Engineering Practice*, pp. 30-38,
Seattle, Wash., April 1995

[
preprint
]

### 1994

G. Snelting, B. Fischer, F.-J. Grosch, M. Kievernagel,
and A. Zeller. "Die inferenzbasierte
Softwareentwicklungsumgebung NORA".
*Informatik--Forschung und Entwicklung*, 9(3):116-131,
1994. In German.

[
preprint
]

### 1993

B. Fischer. "Resolution for Feature Logics".
*Proc. Workshop GI-Fachgruppe "Alternative Konzepte
für Sprachen und Rechner"*, pp. 23-34. Bad Honnef,
Germany, August 1993.

[
preprint
]

### 1992

B. Fischer, C. Hammer, and W. Struckmann. "ALADIN:
A Scanner Generator for Incremental Programming
Environments". *Software--Practice & Experience*,
22(11):1011-1025, November 1992.

[
doi |
pdf
]