Search results for "Fernando Luís Dotti"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss	Correct transformation: From object-based graph grammars to PROMELA.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes	Structured Markovian models for discrete spatial mobile node distribution.	J. Braz. Comp. Soc.	2011	DBLP DOI BibTeX RDF
1	Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti	Modeling the webgraph evolution.	J. Comput. Science	2011	DBLP DOI BibTeX RDF
1	Leila Ribeiro, Fernando Luís Dotti	Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.	WEIT	2011	DBLP DOI BibTeX RDF
1	Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg	Towards Theorem Proving Graph Grammars using Event-B.	ECEASST	2010	DBLP BibTeX RDF
1	Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti	Structuring Specifications with Modes.	LADC	2009	DBLP DOI BibTeX RDF
1	Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti	Evaluating the impact of an acknowledgment strategy for APRP.	LANC	2009	DBLP DOI BibTeX RDF	routing, performance measures, delay tolerant network
1	Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro	Towards a Notion of Transaction in Graph Rewriting.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Leila Ribeiro, Fernando Luís Dotti	Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro	Stochastic Object-Based Graph Grammars.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Fábio Pasini, Fernando Luís Dotti	Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini	Verifying Object-based Graph Grammars.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Partial systems, Model checking, Reactive systems, Graph grammars, Object-based systems
1	Odorico Machado Mendizabal, Fernando Luís Dotti	Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.	ICGT	2006	DBLP DOI BibTeX RDF	Object-based graph grammars, non-functional analysis, fault-tolerance, distributed systems, dependability
1	Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano Ost	Analytical modeling of random waypoint mobility patterns.	PE-WASUN	2006	DBLP DOI BibTeX RDF	wireless networks, stochastic models, stochastic automata networks, mobility patterns
1	Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos	An Environment for the Development of Concurrent Object-Based Applications.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos	Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.	LADC	2005	DBLP DOI BibTeX RDF	Object-based graph grammars, fault-tolerance, distributed systems, model checking, model transformation
1	Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos	Modular Analytical Performance Models for Ad Hoc Wireless Networks.	WiOpt	2005	DBLP DOI BibTeX RDF
1	Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl	A Formal Framework for the Development of Concurrent Object-Based Systems.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro	Verifying Object-Based Graph Grammars.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro	Translating Java Code to Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos	Verification of Distributed Object-Based Systems.	FMOODS	2003	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel	On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.	LADC	2003	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos	Specification and Analysis of Fault Behaviours Using Graph Grammars.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	Eder N. Mathias, Celso M. da Costa, Fernando Luís Dotti, Felipe Martins Müller	DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods.	SAC	2002	DBLP DOI BibTeX RDF	heuristics and metaheuristics, master-slave approach, optimization algorithms, distributed environment
1	Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro	A Graph Transformation View on the Specification of Applications using Mobile Code.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Leila Ribeiro	Specification of Mobile Code Systems using Graph Grammars.	FMOODS	2000	DBLP BibTeX RDF
1	Fernando Luís Dotti, Leila Ribeiro	Code Mobility in Open Systems: A Formal Approach.	PDPTA	2000	DBLP BibTeX RDF
1	Fernando Luís Dotti, Maurício de O. Cristal, Celso M. da Costa, Felipe Martins Müller	A Federated Architecture for Autonomous Optimization Centers.	PDPTA	2000	DBLP BibTeX RDF
1	Fernando Luís Dotti, Lucio Mauro Duarte	Monitoring Mobile Code.	PDPTA	2000	DBLP BibTeX RDF
1	Fernando Luís Dotti	Delegating Management Tasks through Negotiation and Contracting in the Open Service Market.	PROLAMAT	1998	DBLP BibTeX RDF
1	Fernando Luís Dotti	ODP viewpoints of management outsourcing.	NOMS	1996	DBLP DOI BibTeX RDF

Publications of "Fernando Luís Dotti" ( http://dblp.L3S.de/Authors/Fernando_Luís_Dotti )