Bernd Fischer

Cituota

	Visi	Nuo 2020
Šaltiniai	3695	943
h-rodyklė	33	14
i10-rodyklė	86	27

320

160

240

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 10 20 26 48 37 47 34 70 94 97 87 76 87 87 91 91 104 132 174 230 217 305 259 208 217 201 161 171 162 31

Viešas pasiekiamumas

Peržiūrėti viską

20 straipsnių

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeePatvirtintas el. paštas manchester.ac.uk
Johann SchumannSGT, Inc. NASA AmesPatvirtintas el. paštas nasa.gov
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyPatvirtintas el. paštas unimol.it
Salvatore La TorreUniversità degli Studi di SalernoPatvirtintas el. paštas unisa.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyPatvirtintas el. paštas gssi.it
ermenegildo tomascoUniversity of SouthamptonPatvirtintas el. paštas soton.ac.uk
Truc Lam NguyenUniversity of SouthamptonPatvirtintas el. paštas soton.ac.uk
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaPatvirtintas el. paštas icrea.cat
Jeremy MorseUniversity of BristolPatvirtintas el. paštas bristol.ac.uk
Gillian GreeneComputer Science Division, Stellenbosch UniversityPatvirtintas el. paštas cs.sun.ac.za
Mikhail Yasha Ramalho GadelhaIgaliaPatvirtintas el. paštas igalia.com
Nurlida BasirLecturer of Computer Science, Universiti Sains Islam MalaysiaPatvirtintas el. paštas usim.edu.my
Moeketsi RaselimoHumboldt-Universität zu BerlinPatvirtintas el. paštas informatik.hu-berlin.de
Wray BuntineProfessor, VinUniversityPatvirtintas el. paštas vinuni.edu.vn
Michael W WhalenAmazon, Inc. and the University of MinnesotaPatvirtintas el. paštas cs.umn.edu
Felipe R. MonteiroAmazonPatvirtintas el. paštas amazon.com
Gregor SneltingKITPatvirtintas el. paštas kit.edu
Jon WhittleCSIRO's Data61Patvirtintas el. paštas data61.csiro.au
Michael PoppletonLecturer in Formal Methods, University of SouthamptonPatvirtintas el. paštas ecs.soton.ac.uk
Neville GrechDedaubPatvirtintas el. paštas dedaub.com

Stebėti

Bernd Fischer

Computer Science Division, Stellenbosch University

Patvirtintas el. paštas cs.sun.ac.za - Pagrindinis puslapis

software engineering program generation program verification formal methods


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
SMT-based bounded model checking for embedded ANSI-C software L Cordeiro, B Fischer, J Marques-Silva IEEE Transactions on Software Engineering 38 (4), 957-974, 2011	407	2011
Verifying multi-threaded software using SMT-based context-bounded model checking L Cordeiro, B Fischer Proceedings of the 33rd International Conference on Software Engineering …, 2011	214	2011
AutoBayes: A system for generating data analysis programs from statistical models B Fischer, J Schumann Journal of Functional Programming 13 (3), 483-508, 2003	144*	2003
ESBMC 5.0: an industrial-strength C model checker MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	137	2018
Bounded model checking of multi-threaded C programs via lazy sequentialization O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	122	2014
Specification-based browsing of software component libraries B Fischer Automated Software Engineering 7, 179-200, 2000	120	2000
NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997	89	1997
ESBMC 1.22: (Competition Contribution) J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	75	2014
Context-Bounded Model Checking with ESBMC 1.17: (Competition Contribution) L Cordeiro, J Morse, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	71	2012
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	67	2015
Cvexplorer: Identifying candidate developers by mining and exploring their open source contributions GJ Greene, B Fischer Proceedings of the 31st IEEE/ACM international conference on automated …, 2016	65	2016
Semiformal verification of embedded software in medical devices considering stringent hardware constraints L Cordeiro, B Fischer, H Chen, J Marques-Silva 2009 International Conference on Embedded Software and Systems, 396-403, 2009	60	2009
Deduction-based software component retrieval B Fischer, J Schumann, G Snelting Automated Deduction—A Basis for Applications: Volume III Applications, 265-292, 1998	58	1998
Using automated theorem provers to certify auto-generated aerospace software E Denney, B Fischer, J Schumann International Joint Conference on Automated Reasoning, 198-212, 2004	57	2004
Handling Unbounded Loops with ESBMC 1.20: (Competition Contribution) J Morse, L Cordeiro, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	55	2013
Verifying concurrent programs by memory unwinding E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	51	2015
Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution) O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2014	51	2014
CSeq: A concurrency pre-processor for sequential C verification tools B Fischer, O Inverso, G Parlato 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	50	2013
SMT-based bounded model checking of C++ programs M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer 2013 20th IEEE International Conference and Workshops on Engineering of …, 2013	50	2013
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution) W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2017	49	2017

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai