George Lima

	2012
14		Antonio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. da Silva, Edna Natividade Silva Barros: Brazilian symposium on computing system engineering. Operating Systems Review 46(1): 52 (2012)
13		Ríad Nassiffe, Eduardo Camponogara, George Lima: Optimizing quality of service in real-time systems under energy constraints. Operating Systems Review 46(1): 82-92 (2012)
	2011
12		Antonio M. Carianha, Luciano Barreto, George Lima: Improving location privacy in mix-zones for VANETs. IPCCC 2011: 1-6
11		Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt: RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS 2011: 104-115
10		Paul Regnier, George Lima, Ernesto Massa: An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor CoRR abs/1104.3523: (2011)
	2010
9		Ernesto Massa, George Lima: A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 175-183
8		Eduardo Camponogara, Augusto Born de Oliveira, George Lima: Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption. IEEE Trans. Industrial Informatics 6(4): 594-609 (2010)
7		André L. N. Muniz, Aline Maria Santos Andrade, George Lima: Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. ISSE 6(1-2): 29-37 (2010)
	2009
6		Augusto Born de Oliveira, Eduardo Camponogara, George Lima: Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 173-182
5		Paul Regnier, George Lima, Aline Maria Santos Andrade: A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electr. Notes Theor. Comput. Sci. 240: 221-238 (2009)
4		Ricardo Perrone, Raimndo Macedo, George Lima, Veronica Lima: An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. J. UCS 15(11): 2142-2165 (2009)
	2008
3		George Lima, Eduardo Camponogara, Ana Carolina Sokolonski: Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124
2		Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008)
1		Paul Regnier, George Lima, Luciano Barreto: Evaluation of interrupt handling timeliness in real-time Linux operating systems. Operating Systems Review 42(6): 52-63 (2008)

Coauthor Index

1	Aline Maria Santos Andrade	[2] [5] [7]
2	Frederico J. R. Barboza	[2]
3	Luciano Barreto	[1] [12]
4	Edna Natividade Silva Barros	[14]
5	Leandro Buss Becker	[14]
6	Scott A. Brandt	[11]
7	Eduardo Camponogara	[3] [6] [8] [13]
8	Antonio M. Carianha	[12]
9	Antonio Augusto Fröhlich	[14]
10	Greg Levin	[11]
11	Veronica Lima	[4]
12	Raimndo Macedo	[4]
13	Ernesto Massa	[9] [10] [11]
14	André L. N. Muniz	[7]
15	Ríad Nassiffe	[13]
16	Augusto Born de Oliveira	[6] [8]
17	Ricardo Perrone	[4]
18	Stefan Petters	[14]
19	Paul Regnier	[1] [5] [10] [11]
20	Dilma M. da Silva	[14]
21	Flávio Morais de Assis Silva	[2]
22	Ana Carolina Sokolonski	[3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page