Nazareno Aguirre

	2011
23		Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre: dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM 2011: 106-121
22		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
21		Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP 2011: 84-101
	2010
20		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
	2009
19		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
18		Germán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
17		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)
	2008
16		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
15		Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
14		Nazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
13		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)
	2006
12		Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
	2005
11		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
10		Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
9		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)
	2004
8		Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre: An Equational Calculus for Alloy. ICFEM 2004: 162-175
7		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
6		Nazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
	2003
5		Nazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
4		Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
3		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
2		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
1		Nazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274

Coauthor Index

1	Araceli Acosta	[23]
2	Paulo S. C. Alencar	[12]
3	Marcelo Arroyo	[11]
4	Gabriel Baum (Gabriel A. Baum)	[4] [9]
5	Valeria S. Bengolea	[22]
6	Juan Bicarregui	[2] [7] [11]
7	Javier Blanco	[17]
8	Brian J. Cardiff	[16]
9	Pablo F. Castro	[20] [23]
10	Renzo Degiovanni	[21]
11	Theodosis Dimitrakos (Theo Dimitrakos)	[2]
12	Marcelo F. Frias (Marcelo Fabiùn Frias)	[4] [8] [9] [10] [13] [16] [19] [21] [22]
13	Juan P. Galeotti	[10] [13] [16] [22]
14	Lucio Guzmán	[7] [11]
15	Cecilia Kilmurray	[23]
16	Xiang Ling	[15]
17	Leticia Losano	[17]
18	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [14] [15] [18] [19] [20]
19	Mariano M. Moscato	[19]
20	María Marta Novaira	[17]
21	Sonia Permigiani	[17]
22	Carlos López Pombo (Carlos Gustavo López Pombo)	[4] [8] [9] [10] [13] [20]
23	Pablo Ponzio	[16] [21]
24	Germán Regis	[14] [16] [18]
25	Gastón Scilingo	[17]
26	Alan Wassyng	[19]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page