Search results for "Osmar Marchi dos Santos"

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	Leandro Soares Indrusiak, Osmar Marchi dos Santos	Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration.	DATE	2011	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige	Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Andy J. Wellings	Measuring and policing blocking times in real-time systems.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos	Automated Verification of Executable UML Models.	FMCO	2010	DBLP DOI BibTeX RDF
1	Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos	transML: A Family of Languages to Model Model Transformations.	MoDELS	2010	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King	The Use of Model Transformation in the INESS Project.	FMCO	2009	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Andy J. Wellings	Run Time Detection of Blocking Time Violations in Real-Time Systems.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Andy J. Wellings	Blocking time monitoring in the real-time specification for Java.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, real-time specification for Java, timing errors
1	Osmar Marchi dos Santos, Andy J. Wellings	Cost enforcement in the real-time specification for Java.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Fault-tolerance, Model checking, Real-time specification for Java, Java programming language
1	Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol	Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.	ISORC	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	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	Osmar Marchi dos Santos, Andy J. Wellings	Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation.	RTSS	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	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

Publications of "Osmar Marchi dos Santos" ( http://dblp.L3S.de/Authors/Osmar_Marchi_dos_Santos )