Eduardo Zambon

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 7

Top Venues

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

RCIS

FedCSIS

SOSR

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Jeferson O. Batista, João Paulo A. Almeida, Eduardo Zambon, Giancarlo Guizzardi
Ontologically correct taxonomies by construction. Data Knowl. Eng. 139 (2022)
Jeferson O. Batista, João Paulo A. Almeida, Eduardo Zambon, Giancarlo Guizzardi
Building Correct Taxonomies with a Well-Founded Graph Grammar. RCIS (2021)
Cristina K. Dominicini, Gilmar L. Vassoler, Rodolfo V. Valentim, Rodolfo da Silva Villaça, Moisés R. N. Ribeiro, Magnos Martinello, Eduardo Zambon
KeySFC: Traffic steering using strict source routing for dynamic and efficient network orchestration. Comput. Networks 167 (2020)
Cristina K. Dominicini, Gilmar L. Vassoler, Rodolfo V. Valentim, Rodolfo da Silva Villaça, Moisés R. N. Ribeiro, Magnos Martinello, Eduardo Zambon
KeySFC: Agile Traffic Steering using Strict Source Routing. SOSR (2019)
Eduardo Zambon, Arend Rensink
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development (2018)
Alessandro M. Baldi, Patricia Dockhorn Costa, Eduardo Zambon, João Paulo A. Almeida
Situations in Simulations: An Initial Appraisal. CogSIMA (2018)
Eduardo Zambon, Giancarlo Guizzardi
Formal Definition of a General Ontology Pattern Language using a Graph Grammar. FedCSIS (2017)
Eduardo Zambon, Arend Rensink
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova
Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Eduardo Zambon, Arend Rensink
Graph Subsumption in Abstract State Space Exploration GRAPHITE (2012)
Arend Rensink, Eduardo Zambon
Pattern-Based Graph Abstraction. ICGT (2012)
Arend Rensink, Eduardo Zambon
Solving the TTC 2011 Compiler Optimization Case with GROOVE TTC (2011)
Eduardo Zambon, Arend Rensink
Using Graph Transformations and Graph Abstractions for Software Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case TTC (2011)
Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit
Knowledge-Based Graph Exploration Analysis. AGTIVE (2011)
Eduardo Zambon
Using Graph Transformations and Graph Abstractions for Software Verification. ICGT (2010)
Arend Rensink, Eduardo Zambon
Neighbourhood Abstraction in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Arend Rensink, Eduardo Zambon
A Type Graph Model for Java Programs. FMOODS/FORTE (2009)

Eduardo Zambon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eduardo Zambon