Travelled to:1 × Japan
Collaborated with:N.Pontisso N.Macedo J.Brunel A.Cunha D.Kuperberg
Talks about:specif (2) model (2) lightweight (1) electrum (1) configur (1) analysi (1) topcas (1) tempor (1) system (1) method (1)
Person: David Chemouil
DBLP: Chemouil:David
Contributed to:
2006
20162018Wrote 3 papers:
- ASE-2006-PontissoC #automation #formal method #modelling
- TOPCASED Combining Formal Methods with Model-Driven Engineering (NP, DC), pp. 359–360.
- FSE-2016-MacedoBCCK #analysis #lightweight #specification
- Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
- ASE-2018-BrunelCCM #first-order #model checking #relational #specification
- The electrum analyzer: model checking relational first-order temporal specifications (JB, DC, AC, NM), pp. 884–887.