Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for dynalloy with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2023 (10)
Publication types (Num. hits)
article(3) inproceedings(7)
Venues (Conferences, Journals, ...)
ACM Trans. Softw. Eng. Methodo...(1) Electron. Commun. Eur. Assoc. ...(1) ESEC/SIGSOFT FSE(1) FASE(1) ICFEM(1) ICSE(1) IEEE Trans. Software Eng.(1) ISSTA(1) LAFM(1) SET(1)
Authors
Marcelo F. Frias(8) Juan P. Galeotti(6) Nazareno Aguirre(6) Carlos López Pombo(3) Germán Regis(3) César Cornejo(2) Juan Pablo Galeotti(2) Pablo Ponzio(2) Alan Wassyng(1) Antonio Bucchiarone(1) Brian J. Cardiff(1) Diego Garbervetsky(1) Fernando D. Raverta(1) Mariano M. Moscato(1) Mariano Politano(1) Nicolás Rosner(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 5 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
188Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis Towards Abstraction for DynAlloy Specifications. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
137Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre Efficient Analysis of DynAlloy Specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software specification, dynamic logic, Alloy, software validation
137Juan P. Galeotti, Marcelo F. Frias DynAlloy as a Formal Method for the Analysis of Java Programs. Search on Bibsonomy SET The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
111Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre DynAlloy: upgrading alloy with actions. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software specification, dynamic logic, alloy, software validation
51Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias Analysis of invariants for efficient bounded verification. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynalloy, kodkod, sat-based code analysis, static analysis, alloy
35César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias A Study of the Electrum and DynAlloy Dynamic Behavior Notations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky The DynAlloy Visualizer. Search on Bibsonomy LAFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Antonio Bucchiarone, Juan P. Galeotti Dynamic Software Architectures Verification using DynAlloy. Search on Bibsonomy Electron. Commun. Eur. Assoc. Softw. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license