Author of the publication

Implementing Dynamic Aggregations of Abstract Machines in the B Method.

, , , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 403-417. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Aguirre, Nazareno
add a person with the name Aguirre, Nazareno
 

Other publications of authors with the same name

An Equational Calculus for Alloy., , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 162-175. Springer, (2004)Parallel Bounded Verification of Alloy Models by TranScoping., , , , , and . VSTTE, volume 8164 of Lecture Notes in Computer Science, page 88-107. Springer, (2013)Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs., , , and . TAP, volume 6706 of Lecture Notes in Computer Science, page 15-32. Springer, (2011)Goal-conflict likelihood assessment based on model counting., , , , , and . ICSE, page 1125-1135. ACM, (2018)A Categorical Approach to Structuring and Promoting Z Specifications., , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 73-91. Springer, (2012)Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy., , , , and . FASE, volume 5503 of Lecture Notes in Computer Science, page 155-170. Springer, (2009)An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications., , , , , , and . SBMF, volume 10090 of Lecture Notes in Computer Science, page 145-160. (2016)DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour., , , , , , , , and . ESEC/SIGSOFT FSE, page 969-973. ACM, (2017)Categorical foundations for structured specifications in Z., , , and . Formal Asp. Comput., 27 (5-6): 831-865 (2015)Analyzing formal requirements specifications using an off-the-shelf model checker., , , and . CLEI, page 1-9. IEEE, (2013)