Travelled to:1 × Brazil
1 × Canada
1 × France
1 × South Korea
1 × Sweden
1 × The Netherlands
2 × United Kingdom
Collaborated with:T.Jéron V.Rusu M.Samaan Y.Falcone G.Delaval É.Rutten J.Dubreil A.Khoumsi S.Pinisetty J.Fernandez L.Mounier V.Tschaen B.Jeannet
Talks about:properti (4) control (4) test (4) safeti (3) synthesi (2) automat (2) system (2) verif (2) time (2) nondeterminist (1)
Person: Hervé Marchand
DBLP: Marchand:Herv=eacute=
Contributed to:
2014
2010
2010
2009
2005200420031999Wrote 8 papers:
- SAC-2014-PinisettyFJM #runtime
- Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
- ICTSS-2010-FalconeFJMM
- More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.
- LCTES-2010-DelavalMR #composition #contract #synthesis
- Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
- TestCom-FATES-2009-MarchandDJ #automation #data access #security #testing
- Automatic Testing of Access Control for Security Properties (HM, JD, TJ), pp. 113–128.
- FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
- TestCom-2004-RusuMTJJ #safety #testing #verification
- From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.
- FATES-2003-KhoumsiJM #generative #nondeterminism #realtime #testing
- Test Cases Generation for Nondeterministic Real-Time Systems (AK, TJ, HM), pp. 131–146.
- FM-v2-1999-MarchandS #design #incremental #synthesis #using
- Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology (HM, MS), pp. 1605–1624.