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: Jakobs:Marie=Christine
Contributed to:
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.