Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gordon J. Pace

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Adrian Francalanza

> Home > Persons > Gordon J. Pace

Publications

2019
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SanchezSABBCFFK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SanchezSABBCFFK19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019)
2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06740
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018)
2017
[e4]
- view
- export record
  dblp key:
  - journals/corr/abs-1708-06889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06889
Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents]
2016
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/CauchiCFMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/CauchiCFMP16
Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace:
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS 2016: 275-280
2013
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/FrancalanzaGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FrancalanzaGP13
Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed system contract monitoring. J. Log. Algebraic Methods Program. 82(5-7): 186-215 (2013)
[c32]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5169
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15
2012
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ColomboFMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ColomboFMP12
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232
2011
[c23]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1109-2655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-2655
Adrian Francalanza, Andrew Gauci, Gordon J. Pace:
Distributed System Contract Monitoring. FLACOS 2011: 23-37

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.