Travelled to:1 × USA
Collaborated with:N.Macedo D.Chemouil A.Cunha D.Doligez R.R.Hansen J.L.Lawall G.Muller D.Kuperberg
Talks about:tempor (2) specif (2) model (2) check (2) lightweight (1) electrum (1) configur (1) program (1) foundat (1) analysi (1)
Person: Julien Brunel
DBLP: Brunel:Julien
Contributed to:
2009
2016
2018Wrote 3 papers:
- POPL-2009-BrunelDHLM #logic #model checking #using
- A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
- 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.