Fernando Luís Dotti

Available identifiers

Publication	Date of Publication	Type
A Formal Model for the Deferred Update Replication Technique	2016-11-09	Paper
Towards a Notion of Transaction in Graph Rewriting	2014-03-21	Paper
Code generation for parallel applications modelled with object-based graph grammars	2014-01-17	Paper
Stochastic object-based graph grammars	2014-01-17	Paper
Verifying object-based graph grammars	2013-09-11	Paper
A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).	2013-05-10	Paper
Correct transformation: from object-based graph grammars to PROMELA	2012-07-20	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars	2008-11-27	Paper
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design	2008-06-19	Paper
Graph Transformations	2007-06-21	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4762646	2001-02-22	Paper

This page was built for person: Fernando Luís Dotti