María Marta Novaira

According to our database, María Marta Novaira authored at least 4 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis

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

2013

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Analyzing formal requirements specifications using an off-the-shelf model checker.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2009

An introductory course on programming based on formal specification and program calculation.

Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo

ACM SIGCSE Bull., 2009