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 × Italy
1 × Spain
2 × United Kingdom
Collaborated with:
H.Wehrheim D.B.0001 M.Czech M.Platzner T.Wiersema
Talks about:
test (3) verifi (2) certif (2) dataflow (1) configur (1) softwar (1) program (1) hardwar (1) reduct (1) predic (1)

Person: Marie-Christine Jakobs

DBLP DBLP: Jakobs:Marie=Christine

Contributed to:

FASE 20152015
SAC 20152015
SEFM 20152015
IFM 20142014
FASE 20192019

Wrote 5 papers:

FASE-2015-CzechJW #exclamation #verification #what
Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.
SAC-2015-JakobsW #analysis #data flow #proving #source code
Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
SEFM-2015-Jakobs #clustering #configuration management #reduction #validation
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
IFM-2014-JakobsPWW #hardware #verification
Integrating Software and Hardware Verification (MCJ, MP, HW, TW), pp. 307–322.
FASE-2019-BeyerJ #named #testing
CoVeriTest: Cooperative Verifier-Based Testing (DB0, MCJ), pp. 389–408.

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.