- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss: Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. 77(3): 214-246 (2012) |
| 2011 | ||
| c14 | | 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: 1089-1094 |
| c13 | | 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: 117-126 |
| 2010 | ||
| j5 | | Osmar Marchi dos Santos, Andy J. Wellings: Measuring and policing blocking times in real-time systems. ACM Trans. Embedded Comput. Syst. 10(1) (2010) |
| c12 | | 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: 225-250 |
| c11 | | 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 (1) 2010: 106-120 |
| 2009 | ||
| c10 | | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King: The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165 |
| 2008 | ||
| c9 | | Osmar Marchi dos Santos, Andy J. Wellings: Blocking time monitoring in the real-time specification for Java. JTRES 2008: 135-143 |
| c8 | | Osmar Marchi dos Santos, Andy J. Wellings: Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA 2008: 347-356 |
| 2007 | ||
| j4 | | Osmar Marchi dos Santos, Andy J. Wellings: Cost enforcement in the real-time specification for Java. Real-Time Systems 37(2): 139-179 (2007) |
| c7 | | 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: 115-123 |
| 2006 | ||
| j3 | | Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini: Verifying Object-based Graph Grammars. Software and System Modeling 5(3): 289-311 (2006) |
| 2005 | ||
| j2 | | 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. 127(1): 3-13 (2005) |
| c6 | | Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos: Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC 2005: 80-100 |
| c5 | | Osmar Marchi dos Santos, Andy J. Wellings: Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. RTSS 2005: 177-186 |
| c4 | | Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos: Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt 2005: 164-173 |
| 2004 | ||
| j1 | | Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro: Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004) |
| 2003 | ||
| c3 | | Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133 |
| c2 | | Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275 |
| c1 | | 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: 341-360 |
| 1 | Benjamin M. Brosgol (Ben Brosgol) | |
| 2 | Alan Burns | |
| 3 | Fernando Luís Dotti | |
| 4 | Lucio Mauro Duarte | |
| 5 | Paulo Fernandes (Paulo Henrique Lemelle Fernandes) | |
| 6 | Luciana Foss | |
| 7 | Esther Guerra | |
| 8 | Helle Hvid Hansen | |
| 9 | Leandro Soares Indrusiak | |
| 10 | Jeroen Ketema | |
| 11 | Steve King | |
| 12 | Dimitrios S. Kolovos | |
| 13 | Juan de Lara (Juan de Lara Jaramillo) | |
| 14 | Bas Luttik (S. P. Luttik) | |
| 15 | Odorico Machado Mendizabal | |
| 16 | Mohammad Reza Mousavi | |
| 17 | Richard F. Paige | |
| 18 | Fábio Pasini | |
| 19 | Jaco van de Pol | |
| 20 | Leila Ribeiro (Leila Ribeiro Korff) | |
| 21 | Daniela Russi | |
| 22 | Eduardo T. Rödel | |
| 23 | Afonso Sales | |
| 24 | Andy J. Wellings (Andrew J. Wellings) | |
| 25 | Jim Woodcock (J. C. P. Woodcock) |
Colors in the list of coauthors
Last update Sat May 25 21:48:44 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page