Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:G.Reger H.Barringer H.C.Cruz Y.Falcone K.Havelund
Talks about:monitor (2) runtim (2) quantifi (1) parametr (1) automata (1) approach (1) pattern (1) express (1) toward (1) specif (1)
Person: David E. Rydeheard
DBLP: Rydeheard:David_E=
Contributed to:
2015
2013
2012Wrote 3 papers:
- TACAS-2015-RegerCR #monitoring #named #runtime
- MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
- ASE-2013-RegerBR #approach #mining #parametricity #specification
- A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
- FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.