Fernando Luís Dotti

Available identifiers

zbMath Open dotti.fernando-luisMaRDI QIDQ436351

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2847855	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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