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 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
C.Sinz S.Falke H.Post T.Gorges T.Kropf
Talks about:
model (3) llbmc (3) bound (3) contribut (2) competit (2) checker (2) llvm (2) represent (1) intermedi (1) function (1)

Person: Florian Merz

DBLP DBLP: Merz:Florian

Contributed to:

ASE 20132013
TACAS 20132013
SMT 20122012
TACAS 20122012
RE 20092009

Wrote 5 papers:

ASE-2013-FalkeMS #bound #model checking
The bounded model checker LLBMC (SF, FM, CS), pp. 706–709.
TACAS-2013-FalkeMS #bound #c #contest #model checking #named #source code #using
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
SMT-2012-FalkeSM #array #formal method #set
A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.
TACAS-2012-SinzMF #bound #contest #model checking #named #representation
LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.
RE-2009-PostSMGK #functional #requirements #verification
Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.

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.