|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss |
Correct transformation: From object-based graph grammars to PROMELA.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone Andre da Costa Cavalheiro |
Graph Grammars: A Comparison between Verification Methods. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cicero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone Andre da Costa Cavalheiro |
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas N. Bisi, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner |
Using Graph Grammars to Develop Embedded Systems Based on UML Models. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth |
Model Checking the Ant Colony Optimisation. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado, Luciana Foss, Leila Ribeiro |
Aspects for Graph Grammars. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes |
Model Transformation Using Graph Transactions. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro |
Towards a Notion of Transaction in Graph Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Luciana Foss, Leila Ribeiro |
Graph Transformation with Dependencies for the Specification of Interactive Systems. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro |
Modelling, property verification and behavioural equivalence of lactose operon regulation. |
Comp. in Bio. and Med. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro |
Formal Verification of Object-Oriented Graph Grammars Specifications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci |
Graph Transactions as Processes. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos |
An Environment for the Development of Concurrent Object-Based Applications. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro |
Modeling and Property Verification of Lactose Operon Regulation. |
BSB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciana Foss, Leila Ribeiro |
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro |
Translating Java Code to Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos |
Verification of Distributed Object-Based Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")