Gordon J. Pace
发表
Koen Claessen,
Gordon J. Pace,
2002,
SIGP.
Gordon J. Pace,
Christian Colombo,
Joshua Ellul,
2018,
ISoLA.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2019,
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Gordon J. Pace,
Christian Colombo,
Andrew Gauci,
2009
.
Gordon J. Pace,
Adrian Francalanza,
Andrew Gauci,
2011,
J. Log. Algebraic Methods Program..
Gordon J. Pace,
Christian Tabone,
2010,
2010 Third International Conference on Advances in Circuits, Electronics and Micro-electronics.
Nicolas Halbwachs,
Pascal Raymond,
Gordon J. Pace,
2004,
International Journal on Software Tools for Technology Transfer.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2006,
ICTAC.
Gordon J. Pace,
Christian Colombo,
2014,
FESCA.
Brian Davis,
Gordon J. Pace,
Adam Wyner,
2016,
Lecture Notes in Computer Science.
Gordon J. Pace,
Gerardo Schneider,
Pablo Picazo-Sanchez,
2018,
ISoLA.
Gordon J. Pace,
Wolfgang Ahrendt,
2015
.
Gordon J. Pace,
Adrian Francalanza,
Andrew Gauci,
2013,
J. Log. Algebraic Methods Program..
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2013
.
Gordon J. Pace,
Satnam Singh,
2008
.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2008
.
Gordon J. Pace,
Radu Mateescu,
Frédéric Lang,
2003,
CAV.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
RV.
Gordon J. Pace,
Mike Rosner,
2009,
CNL.
Gordon J. Pace,
Christian Colombo,
Luke Chircop,
2015
.
Gordon J. Pace,
Luis Llana,
María Emilia Cambronero,
2017,
IEEE Access.
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2020,
MODELSWARD.
Gordon J. Pace,
2012
.
Gordon J. Pace,
2012
.
Gordon J. Pace,
Fernando Schapachnik,
2011,
JURIX.
Gordon J. Pace,
Andrew Calleja,
G. Pace,
2009
.
Gordon J. Pace,
Andrew Calleja,
G. Pace,
2010
.
Gordon J. Pace,
Gerardo Schneider,
2008,
TACAS.
César Sánchez,
Gordon J. Pace,
Gerardo Schneider,
2020,
Leveraging Applications of Formal Methods.
Gordon J. Pace,
Christian Colombo,
Luke Chircop,
2016,
FESCA@ETAPS.
Gordon J. Pace,
Sandro Spina,
2006
.
Gordon J. Pace,
Albert Gatt,
Shaun Azzopardi,
2015
.
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2018,
CNL.
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2016,
EICS.
Gordon J. Pace,
Claudia Borg,
Mike Rosner,
2010,
LREC.
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2020,
MODELSWARD.
Gordon J. Pace,
Anders P. Ravn,
2012
.
Gordon J. Pace,
Christian Colombo,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Gordon J. Pace,
Gerardo Schneider,
2011,
J. Log. Algebraic Methods Program..
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2017,
PrePost@iFM.
Gordon J. Pace,
Gerardo Schneider,
Stephen Fenech,
2009,
ATVA.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2009
.
Gordon J. Pace,
2012
.
Gordon J. Pace,
Fernando Schapachnik,
Shaun Azzopardi,
2014,
JURIX.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2018,
Principled Software Development.
Gordon J. Pace,
Christian Colombo,
María-Emilia Cambronero,
2020,
SEFM.
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2013,
FESCA.
Gordon J. Pace,
Kevin Falzon,
2012
.
Gordon J. Pace,
Christine Vella,
G. Pace,
2005
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2012,
ISoLA.
Gordon J. Pace,
Adrian Francalanza,
2017
.
Gordon J. Pace,
Gerardo Schneider,
2011,
J. Log. Algebraic Methods Program..
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Gordon J. Pace,
Christian Colombo,
G. Pace,
2013,
CSUR.
Gordon J. Pace,
Claudia Borg,
G. Pace,
2008
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
FM.
Gordon J. Pace,
Christian Colombo,
Ruth Mizzi,
2013,
RV.
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2016,
ISoLA.
Gordon J. Pace,
María-Emilia Cambronero,
Luis Llana,
2017,
JURIX.
Gordon J. Pace,
Christian Tabone,
2007
.
Gordon J. Pace,
Christian Colombo,
Aaron Calafato,
2016,
CNL.
Gordon J. Pace,
Christian Colombo,
Andrew Gauci,
2010,
RV.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2016,
ISoLA.
Gordon J. Pace,
Anders P. Ravn,
Gerardo Schneider,
2009,
FESCA@ETAPS.
Gordon J. Pace,
Christian Colombo,
Kevin Vella,
2016
.
Gordon J. Pace,
Gerardo Schneider,
2006,
FORMATS.
Gordon J. Pace,
Christian Tabone,
2008
.
Gordon J. Pace,
Anders P. Ravn,
2012,
FLACOS.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009
.
Gordon J. Pace,
J. He,
Jianping Zheng,
1994,
FTRTFT.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2018,
RWDSL2018.
Gordon J. Pace,
Christian Colombo,
Patrick Abela,
2010
.
Gordon J. Pace,
Claudia Borg,
Mike Rosner,
2008
.
Gordon J. Pace,
Joshua Ellul,
G. Pace,
2019,
SSRN Electronic Journal.
Gordon J. Pace,
Sergio Yovine,
Eugene Asarin,
2002,
CAV.
Gordon J. Pace,
G. Pace,
2000,
FMCAD.
Gordon J. Pace,
Christian Colombo,
Jean-Paul Ebejer,
2017,
RV-CuBES.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019,
FSEN.
Gordon J. Pace,
G. Pace,
2004
.
Gordon J. Pace,
Adrian Francalanza,
2017
.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Gordon J. Pace,
Frédéric Tronel,
Radu Mateescu,
2002
.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2018,
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2017,
Formal Methods Syst. Des..
Gordon J. Pace,
Luana Micallef,
L. Micallef,
2008
.
Gordon J. Pace,
Christian Colombo,
Patrick Abela,
2010,
RV.
Brian Davis,
Gordon J. Pace,
Adam Wyner,
2016,
CNL 2016.
Gordon J. Pace,
Christian Colombo,
2012
.
Gordon J. Pace,
Sara Colantonio,
Massimo Martinelli,
2012,
EuroMed.
Gordon J. Pace,
Fernando Schapachnik,
Shaun Azzopardi,
2014
.
Gordon J. Pace,
Jennifer Cassingena Harper,
2005
.
Gordon J. Pace,
Gerardo Schneider,
2008,
ICTAC.
Gordon J. Pace,
Jifeng He,
1998
.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2008
.
Gordon J. Pace,
Christian Colombo,
Mark Micallef,
2013
.
Gordon J. Pace,
Christian Colombo,
María-Emilia Cambronero,
2020,
MODELSWARD.
Gordon J. Pace,
Gerardo Schneider,
2004,
VMCAI.
Gordon J. Pace,
Fernando Schapachnik,
2012,
JURIX.
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2016,
SEFM.
Gordon J. Pace,
Sandro Spina,
Abigail Cauchi,
2008
.
Gordon J. Pace,
Gerardo Schneider,
2008
.
Gordon J. Pace,
Christian Colombo,
2011
.
Gordon J. Pace,
G. Pace,
2003
.
Gordon J. Pace,
Sandro Spina,
Frédéric Lang,
2007
.
Gordon J. Pace,
2012,
Springer Berlin Heidelberg.
Gordon J. Pace,
Christian Colombo,
2018,
ISoLA.
Gordon J. Pace,
Fernando Schapachnik,
Shaun Azzopardi,
2018,
JURIX.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2017,
DEBS.
Gordon J. Pace,
Claudia Borg,
Mike Rosner,
2009
.
Gordon J. Pace,
Sergio Yovine,
Eugene Asarin,
2008,
Theor. Comput. Sci..
Gordon J. Pace,
Gerardo Schneider,
Fernando Schapachnik,
2016,
Artificial Intelligence and Law.
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2012,
SEFM.
Gordon J. Pace,
2007
.
Gordon J. Pace,
Christian Colombo,
2017,
RV-CuBES.
Gordon J. Pace,
Gerardo Schneider,
Fernando Schapachnik,
2015,
JURIX.
Gordon J. Pace,
Fernando Schapachnik,
2012,
FLACOS.
Gordon J. Pace,
Joshua Ellul,
Shaun Azzopardi,
2018,
RV.
Gordon J. Pace,
Kevin Falzon,
G. Pace,
2012,
MOMPES.
Gordon J. Pace,
Joseph Cordina,
Stephen Fenech,
2007
.
Gordon J. Pace,
Christian Colombo,
Patrick Abela,
2012,
Formal Methods Syst. Des..
Gordon J. Pace,
Kevin Falzon,
2010
.
Dejan Nickovic,
Gordon J. Pace,
Ezio Bartocci,
2019,
Formal Methods Syst. Des..
Gordon J. Pace,
Gerardo Schneider,
2008
.
Gordon J. Pace,
Adrian Francalanza,
Lydia Vella,
2010
.
Gordon J. Pace,
Christian Colombo,
2012
.
Gordon J. Pace,
Christian Colombo,
2018,
Lectures on Runtime Verification.
Gordon J. Pace,
Christian Colombo,
Patrick Abela,
2009
.
Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software
Gordon J. Pace,
Christian Colombo,
G. Pace,
2007
.
Gordon J. Pace,
John J. Camilleri,
Mike Rosner,
2010
.
Gordon J. Pace,
Joshua Ellul,
J. Ellul,
2018,
2018 14th European Dependable Computing Conference (EDCC).
Gordon J. Pace,
Albert Gatt,
Shaun Azzopardi,
2016
.
Gordon J. Pace,
Luis Llana,
Maria Emilia Cambronero,
2017
.
Gordon J. Pace,
Luana Micallef,
2009
.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009,
FORMATS.
Gordon J. Pace,
Christian Colombo,
Jean Paul Grech,
2014
.
Gordon J. Pace,
Joshua Ellul,
G. Pace,
2018,
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Brian Davis,
Gordon J. Pace,
Adam Wyner,
2016
.
Gordon J. Pace,
Christian Colombo,
Jean-Paul Grech,
2015,
NLDB.
Gordon J. Pace,
Christian Colombo,
2012,
RV.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009,
FMICS.
Gordon J. Pace,
Christian Colombo,
Mark Micallef,
2014
.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2006
.
Gordon J. Pace,
Albert Gatt,
Shaun Azzopardi,
2016,
JURIX.
Gordon J. Pace,
Mike Rosner,
2014,
CNL.
Gordon J. Pace,
2012
.
Gordon J. Pace,
Mike Rosner,
John J. Camilleri,
2010,
CNL.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2002
.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2016,
RV.
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
Gordon J. Pace,
Christian Tabone,
2008
.
Gordon J. Pace,
Jean-Paul Ebejer,
Aaron John Buhagiar,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Gordon J. Pace,
Reuben A. Farrugia,
Christian Colombo,
2016,
ISoLA.
Gordon J. Pace,
Abigail Cauchi,
2016,
EICS.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2007
.
Gordon J. Pace,
Christian Johansen,
Gerardo Schneider,
2007,
ATVA.
Gordon J. Pace,
Maria Grima,
2007
.
Gordon J. Pace,
Gerardo Schneider,
Raúl Pardo,
2016,
ISoLA.
Gordon J. Pace,
Christian Colombo,
2012
.
Gordon J. Pace,
Gerardo Schneider,
Stephen Fenech,
2009,
ICTAC.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2009,
IFM.
Gordon J. Pace,
Mike Rosner,
Rachel Farrell,
2015,
ENLG.
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2016
.
Gordon J. Pace,
Fernando Schapachnik,
2013,
ICAIL.
Gordon J. Pace,
Joshua Ellul,
Stephen McCarthy,
2021,
ICAIL.
Gordon J. Pace,
Joshua Ellul,
J. Ellul,
2021,
ArXiv.
Gordon J. Pace,
Joshua Ellul,
J. Ellul,
2021,
VORTEX@ISSTA.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2021,
Formal Methods in Outer Space.
Gordon J. Pace,
Joshua Ellul,
Shaun Azzopardi,
2021,
FSEN.
Gordon J. Pace,
Gerardo Schneider,
Fernando Schapachnik,
2021,
RV.
Gordon J. Pace,
Gerardo Schneider,
Shaun Azzopardi,
2016
.
Gordon J. Pace,
Adrian Francalanza,
Andrew Gauci,
2010
.
Gordon J. Pace,
2003
.
Gordon J. Pace,
Fernando Schapachnik,
2012
.
Gordon J. Pace,
G. Pace,
2003
.
Gordon J. Pace,
Gerardo Schneider,
Stephen Fenech,
2008
.
Gordon J. Pace,
Gerardo Schneider,
Stephen Fenech,
2008
.
Gordon J. Pace,
Christian Colombo,
2017
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019
.
Gordon J. Pace,
Christian Colombo,
Aaron Calafato,
2014
.
Gordon J. Pace,
J. Ellul,
2023,
ArXiv.
Gordon J. Pace,
G. Pace,
J. Ellul,
2020,
ERA Forum.
Gordon J. Pace,
J. Ellul,
2022,
DPM/CBT@ESORICS.
Gordon J. Pace,
G. Pace,
Matthew Scerri,
2021,
ICAIL.
Gordon J. Pace,
Joshua Ellul,
Gordon Pace,
2019,
2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW).
Gordon J. Pace,
Wolfgang Ahrendt,
Raúl Pardo,
2019
.
Gordon J. Pace,
G. Pace,
Sandro Spina,
2007
.
Gordon J. Pace,
John Abela,
Steven Busuttil,
2004,
Genome informatics. International Conference on Genome Informatics.
Gordon J. Pace,
G. Schneider,
G. Pace,
2008
.
Gordon J. Pace,
Matthew Scerri,
J. Ellul,
2021,
ICAIL.
Gordon J. Pace,
E. Asarin,
S. Yovine,
2008,
Theor. Comput. Sci..
Gordon J. Pace,
G. Pace,
2012
.
Gordon J. Pace,
Adrian Francalanza,
C. Colombo,
2022
.
Gordon J. Pace,
Gordon Pace,
Karlston D’Emanuele,
2005
.
Gordon J. Pace,
G. Schneider,
J. Ellul,
2023,
ERA Forum.