Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Marcelo F. Frias

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 Hamid Bagheri

> Home > Persons > Marcelo F. Frias

Publications

2022
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhengNBRAFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhengNBRAFB22
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri:
ATR: template-based repair for Alloy specifications. ISSTA 2022: 666-677
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BridaRZBNAF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BridaRZBNAF22
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE 2022: 55:1-55:13
2021
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhengNBRFAB21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhengNBRFAB21a
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) 2021: 179-180
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BridaRZBNAF21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BridaRZBNAF21a
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) 2021: 209-210
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhengNBRFAB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhengNBRFAB21
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE 2021: 637-648
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BridaRZBNAF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BridaRZBNAF21
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE 2021: 1135-1147
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BridaRZBNAF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BridaRZBNAF21
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE 2021: 1213-1217
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhengNBRFAB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhengNBRFAB21
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
FLACK: Localizing Faults in Alloy Models. ASE 2021: 1218-1222
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-10152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-10152
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR abs/2102.10152 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-00327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-00327
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR abs/2103.00327 (2021)

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.