César Cornejo

Orcid: 0000-0003-3716-3607

According to our database¹, César Cornejo authored at least 7 papers between 2016 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.

[BibT_eX]

[DOI]

Simón Gutiérrez Brida

Germán Regis

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023

A Study of the Electrum and DynAlloy Dynamic Behavior Notations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., November, 2023

2020

SAT-Based Arithmetic Support for Alloy.

[BibT_eX]

[DOI]

César Cornejo

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

An evolutionary approach to translating operational specifications into declarative specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

2017

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.

[BibT_eX]

[DOI]

Germán Regis

César Cornejo

Simón Gutiérrez Brida

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.

[BibT_eX]

[DOI]

Luciano Zemín

Simón Gutiérrez Brida

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

César Cornejo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...