Eduardo Zambon

According to our database, Eduardo Zambon authored at least 19 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Ontologically correct taxonomies by construction.

Jeferson O. Batista, João Paulo A. Almeida, Eduardo Zambon, Giancarlo Guizzardi

Data Knowl. Eng., 2022

2021

Building Correct Taxonomies with a Well-Founded Graph Grammar.

Jeferson O. Batista, João Paulo A. Almeida, Eduardo Zambon, Giancarlo Guizzardi

Proceedings of the Research Challenges in Information Science, 2021

2020

KeySFC: Traffic steering using strict source routing for dynamic and efficient network orchestration.

Cristina K. Dominicini, Gilmar L. Vassoler, Rodolfo V. Valentim, Rodolfo da Silva Villaça, Moisés R. N. Ribeiro, Magnos Martinello, Eduardo Zambon

Comput. Networks, 2020

2019

KeySFC: Agile Traffic Steering using Strict Source Routing.

Cristina K. Dominicini, Gilmar L. Vassoler, Rodolfo V. Valentim, Rodolfo da Silva Villaça, Moisés R. N. Ribeiro, Magnos Martinello, Eduardo Zambon

Proceedings of the 2019 ACM Symposium on SDN Research, 2019

2018

Situations in Simulations: An Initial Appraisal.

Alessandro M. Baldi, Patricia Dockhorn Costa, Eduardo Zambon, João Paulo A. Almeida

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018

Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE.

Eduardo Zambon, Arend Rensink

Proceedings of the Principled Software Development, 2018

2017

Formal Definition of a General Ontology Pattern Language using a Graph Grammar.

Eduardo Zambon, Giancarlo Guizzardi

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2014

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices.

Eduardo Zambon, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2013

Abstract Graph Transformation - Theory and Practice.

Eduardo Zambon

PhD thesis, 2013

2012

Modelling and analysis using GROOVE.

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova

Int. J. Softw. Tools Technol. Transf., 2012

Graph Subsumption in Abstract State Space Exploration

Eduardo Zambon, Arend Rensink

Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Pattern-Based Graph Abstraction.

Arend Rensink, Eduardo Zambon

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Using Graph Transformations and Graph Abstractions for Software Verification.

Eduardo Zambon, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Arend Rensink, Eduardo Zambon

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Knowledge-Based Graph Exploration Analysis.

Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Neighbourhood Abstraction in GROOVE.

Arend Rensink, Eduardo Zambon

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Using Graph Transformations and Graph Abstractions for Software Verification.

Eduardo Zambon

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

A Type Graph Model for Java Programs.

Arend Rensink, Eduardo Zambon

Proceedings of the Formal Techniques for Distributed Systems, 2009