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
]
