Germn Regis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
5
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | FASE | Automated Workarounds from Java Program Specifications Based on SAT Solving. | Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | ICSE | An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. | Luciano Zemn, Simn Gutirrez Brida, Ariel Godio, Csar Cornejo, Renzo Degiovanni, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2015 | ICSE | Specifying Event-Based Systems with a Counting Fluent Temporal Logic. | Germn Regis, Renzo Degiovanni, Nicols D'Ippolito, Nazareno Aguirre |
| 2009 | ICFEM | Specifying and Verifying Business Processes Using PPML. | Germn Regis, Nazareno Aguirre, T. S. E. Maibaum |
| 2008 | ICFEM | Towards Abstraction for DynAlloy Specifications. | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis |
| 2007 | IFM | Verifying Temporal Properties of CommUnity Designs. | Nazareno Aguirre, Germn Regis, T. S. E. Maibaum |