Fernando Luís Dotti
Orcid: 0000-0001-9061-4695
According to our database1,
Fernando Luís Dotti
authored at least 66 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
2
1
1
2
1
1
4
1
4
2
3
3
4
1
2
2
1
3
1
3
5
4
4
1
2
4
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Reducing Persistence Overhead in Parallel State Machine Replication through Time-Phased Partitioned Checkpoint.
J. Internet Serv. Appl., 2024
2023
Execução Paralela de Transações Baseada em Análise Dinâmica e Auto-Verificável de Conflitos.
Proceedings of the 41st Brazilian Symposium on Computer Networks and Distributed Systems, 2023
Proceedings of the 24th International Middleware Conference, 2023
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis.
Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023
Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023
2022
IEEE Trans. Parallel Distributed Syst., 2022
J. Parallel Distributed Comput., 2022
Proceedings of the 11th Latin-American Symposium on Dependable Computing, 2022
2021
Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021
Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021
Proceedings of the 39th Brazilian Symposium on Computer Networks and Distributed Systems, 2021
On the Performance of Using Parallel State Machine Replication to Implement Blockchains.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
2020
Proceedings of the International Symposium on Reliable Distributed Systems, 2020
Proceedings of the XXXVIII Brazilian Symposium on Computer Networks and Distributed Systems, 2020
2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 20th International Middleware Conference, 2019
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication.
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019
2018
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018
Proceedings of the ACM Symposium on Cloud Computing, 2018
2017
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017
Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017
2016
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
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2012
Sci. Comput. Program., 2012
2011
J. Braz. Comput. Soc., 2011
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
2009
Proceedings of the 5th International Latin American Networking Conference , 2009
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
2008
Proceedings of the Concurrency, 2008
2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
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
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
Proceedings of the 3rd International Symposium on Modeling and Optimization in Mobile, 2005
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004
Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
2003
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
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
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 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
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
Proceedings of the 1996 Network Operations and Management Symposium, 1996