Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nazareno Aguirre
2010 – today
- 2013
[c26]Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre: Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM 2013: 428-442- [c25]Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser: Bounded Lazy Initialization. NASA Formal Methods 2013: 229-243
- 2012
- [c24]Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum: A Categorical Approach to Structuring and Promoting Z Specifications. FACS 2012: 73-91
- [c23]Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre: Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. SBMF 2012: 3-18
- [c22]Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF 2012: 147-162
- [c21]Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias: Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP 2012: 19-34
- [c20]Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum: Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT 2012: 195-211
- 2011
- [c19]Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre: dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM 2011: 106-121
- [c18]Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP 2011: 15-32
- [c17]Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP 2011: 84-101
- 2010
- [c16]Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum: Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC 2010: 306-321
2000 – 2009
- 2009
- [j4]Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo: An introductory course on programming based on formal specification and program calculation. SIGCSE Bulletin 41(2): 31-37 (2009)
- [c15]Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
- [c14]Germán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
- 2008
- [c13]Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis: Towards Abstraction for DynAlloy Specifications. ICFEM 2008: 207-225
- 2007
- [j3]Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre: Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17(1) (2007)
- [c12]Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
- [c11]Nazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
- 2006
- [c10]Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
- 2005
- [j2]Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
- [c9]Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
- [c8]Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
- 2004
- [j1]Nazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
- [c7]Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre: An Equational Calculus for Alloy. ICFEM 2004: 162-175
- [c6]Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
- 2003
- [c5]Nazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435
- [c4]Nazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
- [c3]Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
- [c2]Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
- 2002
- [c1]Nazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-26 01:48 CEST by the dblp team