Fernando Luís Dotti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal model for the deferred update replication technique Trustworthy Global Computing	2016-11-09	Paper
Towards a notion of transaction in graph rewriting Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Code generation for parallel applications modelled with object-based graph grammars Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Stochastic object-based graph grammars Electronic Notes in Theoretical Computer Science	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 Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Correct transformation: from object-based graph grammars to PROMELA Science of Computer Programming	2012-07-20	Paper
Verification of distributed object-based systems. Lecture Notes in Computer Science	2010-01-12	Paper
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars Lecture Notes in Computer Science	2008-11-27	Paper
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design Concurrency, Graphs and Models	2008-06-19	Paper
Graph Transformations Lecture Notes in Computer Science	2007-06-21	Paper
Formal Methods in Software and Systems Modeling Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 1569120 (Why is no real title available?)	2001-02-22	Paper

Research outcomes over time

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