Osmar Marchi dos Santos

2008
12	EE	Osmar Marchi dos Santos, Andy J. Wellings: Blocking time monitoring in the real-time specification for Java. JTRES 2008: 135-143
11	EE	Osmar Marchi dos Santos, Andy J. Wellings: Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA 2008: 347-356
2007
10	EE	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
9	EE	Osmar Marchi dos Santos, Andy J. Wellings: Cost enforcement in the real-time specification for Java. Real-Time Systems 37(2): 139-179 (2007)
2006
8	EE	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
7	EE	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
6	EE	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
5	EE	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
4	EE	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
3	EE	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
2	EE	Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
1	EE	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

Coauthor Index

1	Benjamin M. Brosgol	[10]
2	Alan Burns	[10]
3	Fernando Luís Dotti	[1] [2] [3] [4] [5] [7] [8]
4	Paulo Fernandes (Paulo Henrique Lemelle Fernandes)	[5]
5	Luciana Foss	[2]
6	Odorico Machado Mendizabal	[7]
7	Fábio Pasini	[8]
8	Leila Ribeiro (Leila Ribeiro Korff)	[2] [3] [4] [8]
9	Eduardo T. Rödel	[1]
10	Afonso Sales	[5]
11	Andy J. Wellings	[6] [9] [10] [11] [12]

Colors in the list of coauthors