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:
J.Morse L.C.Cordeiro B.Fischer M.Ramalho
Talks about:
contribut (3) competit (3) esbmc (3) context (2) model (2) check (2) bound (2) properti (1) unbound (1) softwar (1)

Person: Denis Nicole

DBLP DBLP: Nicole:Denis

Contributed to:

TACAS 20142014
TACAS 20132013
TACAS 20122012
SEFM 20112011

Wrote 4 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.

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.