The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nazareno Aguirre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nazareno Aguirre, T. S. E. Maibaum
    Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:407-435 [Conf]
  2. Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
    Extension Morphisms for CommUnity. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:173-193 [Conf]
  3. Nazareno Aguirre, T. S. E. Maibaum
    A Logical Basis for the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:37-51 [Conf]
  4. Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
    Taking Alloy to the Movies. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:678-697 [Conf]
  5. Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
    Towards Dynamically Communicating Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:141-155 [Conf]
  6. Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
    Implementing Dynamic Aggregations of Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:403-417 [Conf]
  7. Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
    An Equational Calculus for Alloy. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:162-175 [Conf]
  8. Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
    DynAlloy: upgrading alloy with actions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:442-451 [Conf]
  9. Nazareno Aguirre, T. S. E. Maibaum
    A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:271-274 [Conf]
  10. Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
    Towards Dynamic Population Management of Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:528-545 [Conf]
  11. Nazareno Aguirre, T. S. E. Maibaum
    Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:69-81 [Journal]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:478-526 [Journal]
  13. Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
    Design in CommUnity with Extension Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:435-466 [Conf]
  14. Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
    Verifying Temporal Properties of CommUnity Designs. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:1-20 [Conf]

  15. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. [Citation Graph (, )][DBLP]


  16. Towards Abstraction for DynAlloy Specifications. [Citation Graph (, )][DBLP]


  17. Specifying and Verifying Business Processes Using PPML. [Citation Graph (, )][DBLP]


  18. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002