BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Italy
1 × Uruguay
Collaborated with:
L.C.Cordeiro D.Nicole B.Fischer M.Ramalho M.Y.R.Gadelha F.R.Monteiro B.F.0002 D.A.Nicole
Talks about:
esbmc (4) contribut (3) competit (3) model (3) context (2) check (2) bound (2) strength (1) properti (1) industri (1)

Person: Jeremy Morse

DBLP DBLP: Morse:Jeremy

Contributed to:

TACAS 20142014
TACAS 20132013
TACAS 20122012
SEFM 20112011
ASE 20182018

Wrote 5 papers:

TACAS-2014-MorseRCN0 #contest
ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
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.
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.
ASE-2018-GadelhaMMC0N #c #model checking
ESBMC 5.0: an industrial-strength C model checker (MYRG, FRM, JM, LCC, BF0, DAN), pp. 888–891.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.