BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:
A.Voronkov D.E.Rydeheard H.Barringer A.Bhayat M.Rawson M.Suda D.Tishkovsky H.C.Cruz K.Hoder M.S.0001 Y.Falcone K.Havelund
Talks about:
monitor (2) select (2) runtim (2) proof (2) base (2) combinatori (1) restrict (1) quantifi (1) parametr (1) automata (1)

Person: Giles Reger

DBLP DBLP: Reger:Giles

Contributed to:

CADE 20152015
TACAS 20152015
ASE 20132013
FM 20122012
IJCAR 20162016
CADE 20192019

Wrote 9 papers:

CADE-2015-RegerSV #game studies
Playing with AVATAR (GR, MS, AV), pp. 399–415.
CADE-2015-RegerTV #proving
Cooperating Proof Attempts (GR, DT, AV), pp. 339–355.
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.
Selecting the Selection (KH, GR, MS0, AV), pp. 313–329.
CADE-2019-BhayatR #combinator #strict #unification
Restricted Combinatory Unification (AB, GR), pp. 74–93.
Old or Heavy? Decaying Gracefully with Age/Weight Shapes (MR, GR), pp. 462–476.
CADE-2019-RegerV #induction #proving
Induction in Saturation-Based Proof Search (GR, AV), pp. 477–494.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.