Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Davide G. Cavezza

Davide Giacomo Cavezza

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CavezzaAG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CavezzaAG21
Davide G. Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. Formal Aspects Comput. 33(1): 27-63 (2021)
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CavezzaA020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CavezzaA020
Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for Realizable Specifications. FormaliSE@ICSE 2020: 66-76

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-05558
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-05558
Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs/1910.05558 (2019)
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CavezzaAG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CavezzaAG18
Davide Giacomo Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. FM 2018: 110-128
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-03151
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-03151
Davide G. Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. CoRR abs/1805.03151 (2018)
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CavezzaA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CavezzaA17
Davide G. Cavezza, Dalal Alrajeh:
Interpolation-Based GR(1) Assumptions Refinement. TACAS (1) 2017: 281-297
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CavezzaA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CavezzaA16
Davide G. Cavezza, Dalal Alrajeh:
Interpolation-Based GR(1) Assumptions Refinement. CoRR abs/1611.07803 (2016)
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CavezzaPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CavezzaPR15
Davide Giacomo Cavezza, Roberto Pietrantuono, Stefano Russo:
Performance of Defect Prediction in Rapidly Evolving Software. RELENG@ICSE 2015: 8-11
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CavezzaPART14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CavezzaPART14
Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi:
Reproducibility of Environment-Dependent Software Failures: An Experience Report. ISSRE 2014: 267-276

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.