Fernando Luís Dotti

According to our database1, Fernando Luís Dotti authored at least 47 papers between 1996 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A library for services transparent replication.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Boosting concurrency in Parallel State Machine Replication.
Proceedings of the 20th International Middleware Conference, 2019

2018
Boosting State Machine Replication with Concurrent Execution.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

Byzantine Fault-Tolerant Atomic Multicast.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Early Scheduling in Parallel State Machine Replication.
Proceedings of the ACM Symposium on Cloud Computing, 2018

2017
Reconfiguring Parallel State Machine Replication.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Efficient and Deterministic Scheduling for Parallel State Machine Replication.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

High Performance Recovery for Parallel State Machine Replication.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016
Analysis of checkpointing overhead in parallel state machine replication.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2014
A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks.
Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

Checkpointing in Parallel State-Machine Replication.
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

2013
A Formal Model for the Deferred Update Replication Technique.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

A CTL Model Checker for Stochastic Automata Networks.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012
Correct transformation: From object-based graph grammars to PROMELA.
Sci. Comput. Program., 2012

2011
Modeling the webgraph evolution.
J. Comput. Sci., 2011

Structured Markovian models for discrete spatial mobile node distribution.
J. Braz. Comp. Soc., 2011

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010
Towards Theorem Proving Graph Grammars using Event-B.
ECEASST, 2010

2009
Evaluating the impact of an acknowledgment strategy for APRP.
Proceedings of the 5th International Latin American Networking Conference , 2009

Structuring Specifications with Modes.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Modal Systems: Specification, Refinement and Realisation.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
Towards a Notion of Transaction in Graph Rewriting.
Electron. Notes Theor. Comput. Sci., 2008

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.
Proceedings of the Concurrency, 2008

2007
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars.
Electron. Notes Theor. Comput. Sci., 2007

Stochastic Object-Based Graph Grammars.
Electron. Notes Theor. Comput. Sci., 2007

2006
Verifying Object-based Graph Grammars.
Software and Systems Modeling, 2006

Analytical modeling of random waypoint mobility patterns.
Proceedings of the 3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2006

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
An Environment for the Development of Concurrent Object-Based Applications.
Electron. Notes Theor. Comput. Sci., 2005

Modular Analytical Performance Models for Ad Hoc Wireless Networks.
Proceedings of the 3rd International Symposium on Modeling and Optimization in Mobile, 2005

Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

A Formal Framework for the Development of Concurrent Object-Based Systems.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Verifying Object-Based Graph Grammars.
Electron. Notes Theor. Comput. Sci., 2004

Translating Java Code to Graph Transformation Systems.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Verification of Distributed Object-Based Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Specification and Analysis of Fault Behaviours Using Graph Grammars.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001
A Graph Transformation View on the Specification of Applications using Mobile Code.
Electron. Notes Theor. Comput. Sci., 2001

A framework-based approach to build adaptive multimedia applications with quality of service.
Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

2000
Code Mobility in Open Systems: A Formal Approach.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Monitoring Mobile Code.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

A Federated Architecture for Autonomous Optimization Centers.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Specification of Mobile Code Systems using Graph Grammars.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1998
Delegating Management Tasks through Negotiation and Contracting in the Open Service Market.
Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21<sup>st</sup> Century: Innovation, 1998

1997
Management systems for autonomous administrative domains: modelling aspects and realization techniques of inter- and intra-domain supporting mechanisms.
PhD thesis, 1997

1996
ODP viewpoints of management outsourcing.
Proceedings of the 1996 Network Operations and Management Symposium, 1996


  Loading...