dblp.uni-trier.dewww.uni-trier.de

Nazareno Aguirre

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
17EENazareno 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
2008
16EENazareno 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
15EEXiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
14EENazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
13EEMarcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre: Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17(1): (2007)
2006
12EENazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
2005
11EENazareno 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
10EEMarcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
9EEMarcelo 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)
2004
8EEMarcelo F. Frias, Carlos López Pombo, Nazareno Aguirre: An Equational Calculus for Alloy. ICFEM 2004: 162-175
7EENazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
6EENazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
2003
5EENazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
4EEMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
3EENazareno 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
2EENazareno 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
1EENazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274

Coauthor Index

1Paulo S. C. Alencar [12]
2Marcelo Arroyo [11]
3Gabriel Baum (Gabriel A. Baum) [4] [9]
4Juan Bicarregui [2] [7] [11]
5Brian J. Cardiff [16]
6Theodosis Dimitrakos [2]
7Marcelo F. Frias [4] [8] [9] [10] [13] [16] [17]
8Juan P. Galeotti [10] [13] [16]
9Lucio Guzmán [7] [11]
10Xiang Ling [15]
11T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [14] [15] [17]
12Mariano M. Moscato [17]
13Carlos López Pombo [4] [8] [9] [10] [13]
14Pablo Ponzio [16]
15Germán Regis [14] [16]
16Alan Wassyng [17]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)