Travelled to:1 × Australia
1 × Austria
1 × China
1 × Finland
1 × France
1 × Germany
1 × Ireland
1 × New Zealand
1 × Portugal
1 × Sweden
1 × The Netherlands
1 × United Kingdom
1 × Uruguay
2 × Canada
2 × Denmark
2 × Estonia
2 × Japan
3 × Italy
6 × USA
Collaborated with:E.Denney J.Schumann G.Parlato O.Inverso S.L.Torre L.C.Cordeiro E.Tomasco G.J.Greene ∅ J.Morse D.Nicole G.R.Economopoulos M.W.Whalen T.Pressburger L.Cordeiro V.Roth E.Visser J.Whittle T.L.Nguyen G.Birch M.R.Poppleton S.Esmaeilsabzali J.M.Atlee A.Jorgensen R.Lämmel V.Zaytsev N.Grech J.Rathke J.Marques-Silva W.L.Buntine M.Ramalho
Talks about:generat (12) program (11) model (11) softwar (10) contribut (9) competit (8) base (8) seq (8) sequenti (7) lazi (7)
♂ Person: Bernd Fischer
DBLP: Fischer_0002:Bernd
Facilitated 15 volumes:
PrCoPrCoDemoTrackChPrCoToChPrCo
SciCoDemoTrackChPrCoToCh
EdEdEdPrChEdContributed to:
2015
2015
2014
201420142013201320122011
2011
2011
2011
201120102009
20082008
2008200620062005
20042003
2003
2003
2002200220001999
1999199819971997201520162019Wrote 43 papers:
- TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
- TACAS-2015-TomascoI0TP #contest #memory management
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 436–438.
- TACAS-2015-TomascoI0TP15a #concurrent #memory management #source code #verification
- Verifying Concurrent Programs by Memory Unwinding (ET, OI, BF, SLT, GP), pp. 551–565.
- TAP-2015-BirchFP #fault #locality #modelling #performance #testing
- Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
- CAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread
- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
- FSE-2014-GreeneF #concept #named
- ConceptCloud: a tagcloud browser for software archives (GJG, BF), pp. 759–762.
- TACAS-2014-InversoT0TP #c #contest #lazy evaluation #named
- Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
- TACAS-2014-MorseRCN0 #contest
- ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
- TACAS-2014-TomascoI0TP #c #contest #memory management #named #source code
- MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.
- ASE-2013-0002IP #c #concurrent #named #preprocessor #tool support #verification
- CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
- TACAS-2013-0002IP #c #contest #named
- CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
- TACAS-2013-MorseCNF #bound #contest
- Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.
- TACAS-2012-CordeiroMNF #bound #contest #model checking
- Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
- GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring
- Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
- ICSE-2011-CordeiroF #bound #concurrent #model checking #multi #smt #thread #using #verification
- Verifying multi-threaded software using smt-based context-bounded model checking (LC, BF), pp. 331–340.
- LDTA-2011-EconomopoulosF #higher-order #syntax
- Higher-order transformations with nested concrete syntax (GRE, BF), p. 4.
- LDTA-2011-JorgensenEF #generative #named #tool support #visualisation
- VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
- SEFM-2011-MorseCNF #bound #ltl #model checking
- Context-Bounded Model Checking of LTL Properties for ANSI-C Software (JM, LCC, DN, BF), pp. 302–317.
- SLE-2011-FischerLZ #comparison #context-free grammar #parsing #testing
- Comparison of Context-Free Grammars Based on Parsing Generated Test Data (BF, RL, VZ), pp. 324–343.
- GPCE-2010-GrechRF #generative #named #similarity
- JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
- ASE-2009-CordeiroFM #bound #embedded #model checking #smt
- SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.
- ASE-2009-DenneyF #approach #documentation #traceability
- A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.
- BX-2008-Fischer #modelling
- Models Short Talk 2 (BF), p. 16.
- GPCE-2008-DenneyF #automation #generative #verification
- Generating customized verifiers for automatically generated code (ED, BF), pp. 77–88.
- ICML-2008-RothF #algorithm #linear #modelling #performance
- The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
- ASE-2006-DenneyF #automation #certification #safety
- Annotation Inference for Safety Certification of Automatically Generated Code (ED, BF), pp. 265–268.
- GPCE-2006-DenneyF #algorithm #automation #certification #safety
- A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
- GPCE-2005-DenneyF #generative
- Certifiable Program Generation (ED, BF), pp. 17–28.
- IJCAR-2004-DenneyFS #automation #proving #theorem proving #using
- Using Automated Theorem Provers to Certify Auto-generated Aerospace Software (ED, BF, JS), pp. 198–212.
- ASE-2003-FischerS #analysis #image
- Applying AutoBayes to the Analysis of Planetary Nebulae Images (BF, JS), pp. 337–342.
- FME-2003-DenneyF #correctness #policy #safety
- Correctness of Source-Level Safety Policies (ED, BF), pp. 894–913.
- LOPSTR-2003-FischerV #prolog #syntax #synthesis
- Adding Concrete Syntax to a Prolog-Based Program Synthesis System (BF, EV), pp. 56–58.
- CADE-2002-WhalenSF #automation #certification #named #synthesis
- AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
- FME-2002-WhalenSF
- Synthesizing Certified Code (MWW, JS, BF), pp. 431–450.
- SAIG-2000-FischerSP #data analysis #generative #modelling #source code #statistics
- Generating Data Analysis Programs from Statistical Models (BF, JS, TP), pp. 212–229.
- ASE-1999-FischerW #deduction #integration #retrieval #synthesis
- An Integration of Deductive Retrieval into Deductive Synthesis (BF, JW), p. 52–?.
- KDD-1999-BuntineFP #automation #data mining #mining #source code #synthesis #towards
- Towards Automated Synthesis of Data Mining Programs (WLB, BF, TP), pp. 372–376.
- ASE-1998-Fischer #component #library
- Specification-based Browsing of Software Component Libraries (BF), pp. 74–83.
- ASE-1997-SchumannF #component #named #retrieval
- NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical (JS, BF), pp. 246–254.
- CADE-1997-FischerS #re-engineering #reuse
- SETHEO Goes Software Engineering: Application of ATP to Software Reuse (BF, JS), pp. 65–68.
- ASE-2015-InversoN0TP #bound #concurrent #model checking #multi #named #thread
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs (OI, TLN, BF, SLT, GP), pp. 807–812.
- ASE-2016-Greene0 #developer #identification #mining #named #open source
- CVExplorer: identifying candidate developers by mining and exploring their open source contributions (GJG, BF), pp. 804–809.
- ASE-2019-FischerTP #concurrent #multi #source code #thread
- VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq (BF, SLT, GP), pp. 1150–1153.