Eduardo Zambon

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