Giles Reger
发表
David E. Rydeheard,
Giles Reger,
Giles Reger,
2015,
RV.
Andrei Voronkov,
Laura Kovács,
Giles Reger,
2015,
CPP.
Giles Reger,
Michael Rawson,
A. Bhayat,
2020
.
Giles Reger,
Michael Rawson,
2020
.
Andrei Voronkov,
Giles Reger,
A. Voronkov,
2019,
EasyChair Preprints.
Giles Reger,
M. Suda,
2017
.
A. Voronkov,
Giles Reger,
2022
.
D. Ničković,
Giles Reger,
Yliès Falcone,
2015
.
Dmitriy Traytel,
Giles Reger,
Dmitriy Traytel,
2017,
ARCADE@CADE.
Giles Reger,
M. Suda,
2016
.
K. Havelund,
M. Leucker,
Giles Reger,
2018
.
Giles Reger,
H. Cruz,
2015
.
Giles Reger,
D. Rydeheard,
2022
.
S. Krstic,
Dmitriy Traytel,
Giles Reger,
2021,
International Journal on Software Tools for Technology Transfer.
Giles Reger,
Martin Riener,
Martin Suda,
2019,
FroCos.
Andrei Voronkov,
Giles Reger,
Krystof Hoder,
2016,
IJCAR.
Klaus Havelund,
Giles Reger,
K. Havelund,
2015
.
Klaus Havelund,
Yliès Falcone,
Giles Reger,
2013,
Engineering Dependable Software Systems.
Yliès Falcone,
Dmitriy Traytel,
Giles Reger,
2018,
International Journal on Software Tools for Technology Transfer.
Klaus Havelund,
Giles Reger,
Daniel Thoma,
2018,
Lectures on Runtime Verification.
Andreas Pfeiffer,
Giles Reger,
Joshua Heneage Dawes,
2019,
TACAS.
K. Havelund,
Yogi Joshi,
Borzoo Bonakdarpour,
2019,
International Journal on Software Tools for Technology Transfer.
Ezio Bartocci,
Yliès Falcone,
Giles Reger,
2019,
TACAS.
Giles Reger,
Giles Reger,
2016,
RV.
Ezio Bartocci,
Adrian Francalanza,
Yliès Falcone,
2018,
Lectures on Runtime Verification.
Klaus Havelund,
Giles Reger,
K. Havelund,
2017,
Models, Algorithms, Logics and Tools.
Michael Rawson,
Giles Reger,
Giles Reger,
2020
.
Ahmed Bhayat,
Giles Reger,
Giles Reger,
2020,
IJCAR.
Ahmed Bhayat,
Giles Reger,
Giles Reger,
2020,
IJCAR.
Andrei Voronkov,
Giles Reger,
A. Voronkov,
2019,
CADE.
Martin Suda,
Giles Reger,
Giles Reger,
2018
.
Martin Suda,
Giles Reger,
Giles Reger,
2017,
ARCADE@CADE.
Nikolaj Bjørner,
Andrei Voronkov,
Martin Suda,
2016,
GCAI.
Giles Reger,
Giles Reger,
2018,
ARQNL@IJCAR.
Andrei Voronkov,
Martin Suda,
Giles Reger,
2017,
SMT.
Klaus Havelund,
Giles Reger,
K. Havelund,
2016,
ISoLA.
Giles Reger,
Giles Reger,
2014
.
Howard Barringer,
David E. Rydeheard,
Giles Reger,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Giles Reger,
Giles Reger,
2016,
ISoLA.
Lucas G. Wagner,
J. Foster,
Z. Rakamaric,
2023,
NFM.
Giles Reger,
Michael Rawson,
Giles Reger,
2019,
FroCos.
Ahmed Bhayat,
Giles Reger,
Giles Reger,
2019,
CADE.
Reiner Hähnle,
M. Huisman,
Giles Reger,
2023
.
Sylvain Conchon,
Aina Niemetz,
Matthias Heizmann,
2019,
J. Satisf. Boolean Model. Comput..
Giles Reger,
L. Kovács,
Márton Hajdú,
2024,
Principles of Systems Design.
Giles Reger,
Joshua Heneage Dawes,
J. H. Dawes,
2019,
SAC.
Giles Reger,
Joshua Heneage Dawes,
J. H. Dawes,
2019,
RV.
Giles Reger,
Giles Reger,
2017,
RV-CuBES.
Giles Reger,
L. Cordeiro,
F. Brauße,
2022,
ISSTA.
Dejan Nickovic,
Yliès Falcone,
Giles Reger,
2016,
RV.
Howard Barringer,
David E. Rydeheard,
Klaus Havelund,
2012,
FM.
Walter Binder,
Omar Javed,
Giles Reger,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).