Germán Regis

According to our database1, Germán Regis authored at least 17 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2019
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program., 2019

Training binary classifiers as data structure invariants.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Automated workarounds from Java program specifications based on SAT solving.
Int. J. Softw. Tools Technol. Transf., 2018

A genetic algorithm for goal-conflict identification.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

From operational to declarative specifications using a genetic algorithm.
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2017
CLTSA: labelled transition system analyser with counting fluent support.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

2016
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015
Specifying Event-Based Systems with a Counting Fluent Temporal Logic.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

2012
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2009
Specifying and Verifying Business Processes Using PPML.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
Towards Abstraction for DynAlloy Specifications.
Proceedings of the Formal Methods and Software Engineering, 2008

2007
Verifying Temporal Properties of CommUnity Designs.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007


  Loading...