Modelling the impacts of policies on advanced biofuel feedstocks diffusion
Ribeiro, Lauro André, Pereira da Silva, Patrícia, Ribeiro, Leila, Dotti, Fernando Luís
Published in Journal of cleaner production (20.01.2017)
Published in Journal of cleaner production (20.01.2017)
Get full text
Journal Article
Correct transformation: From object-based graph grammars to PROMELA
Ribeiro, Leila, dos Santos, Osmar Marchi, Dotti, Fernando Luís, Foss, Luciana
Published in Science of computer programming (01.03.2012)
Published in Science of computer programming (01.03.2012)
Get full text
Journal Article
Structuring Specifications with Modes
Iliasov, A., Romanovsky, A., Dotti, F.L.
Published in 2009 Fourth Latin-American Symposium on Dependable Computing (01.09.2009)
Published in 2009 Fourth Latin-American Symposium on Dependable Computing (01.09.2009)
Get full text
Conference Proceeding
A CTL Model Checker for Stochastic Automata Networks
Oleksinski, Lucas, Correa, Claiton, Dotti, Fernando Luís, Sales, Afonso
Published in Quantitative Evaluation of Systems (2013)
Published in Quantitative Evaluation of Systems (2013)
Get full text
Book Chapter
Verifying Object-based Graph Grammars: An Assume-guarantee Approach
Dotti, Fernando Luís, Ribeiro, Leila, Santos, Osmar Marchi dos, Pasini, Fábio
Published in Software and systems modeling (01.09.2006)
Published in Software and systems modeling (01.09.2006)
Get full text
Journal Article
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
Get full text
Book Chapter
Conference Proceeding
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars
Ribeiro, Leila, Dotti, F. L.
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Get full text
Conference Proceeding
Verifying Object-Based Graph Grammars
dos Santos, Osmar Marchi, Dotti, Fernando Luís, Ribeiro, Leila
Published in Electronic notes in theoretical computer science (14.12.2004)
Published in Electronic notes in theoretical computer science (14.12.2004)
Get full text
Journal Article
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)
Corradini, Andrea, Dotti, Fernando Luís, Ribeiro, Leila
Published in Electronic notes in theoretical computer science (01.08.2001)
Published in Electronic notes in theoretical computer science (01.08.2001)
Get full text
Journal Article
Efficient and Deterministic Scheduling for Parallel State Machine Replication
Mendizabal, Odorico M., De Moura, Ruda S.T., Dotti, Fernando Luis, Pedone, Fernando
Published in 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (01.05.2017)
Published in 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (01.05.2017)
Get full text
Conference Proceeding
A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks
Hasan, Rasha, Mendizabal, Odorico Machado, Reis De Oliveira, Romulo, Dotti, Fernando Luis
Published in 2014 Brazilian Symposium on Computer Networks and Distributed Systems (01.05.2014)
Published in 2014 Brazilian Symposium on Computer Networks and Distributed Systems (01.05.2014)
Get full text
Conference Proceeding