Sérgio Vale Aguiar Campos

	2012
34		Kênia Carolina Gonçalves, Alex Borges Vieira, Jussara M. Almeida, Ana Paula C. da Silva, Humberto T. Marques Neto, Sérgio Vale Aguiar Campos: Characterizing Dynamic Properties of the SopCast Overlay Network. PDP 2012: 319-326
33		Alex Borges Vieira, Pedro Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Characterizing SopCast client behavior. Computer Communications 35(8): 1004-1016 (2012)
	2008
32		Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Fighting pollution in P2P live streaming systems. ICME 2008: 481-484
	2007
31		Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
	2006
30		Marcelo Maia, Marcus M. Rocha, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Network bandwidth requirements for optimized streaming media transmission to interactive users. WebMedia 2006: 283-292
	2005
29		Marcus M. Rocha, Marcelo Maia, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Scalable media streaming to interactive users. ACM Multimedia 2005: 966-975
28		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
27		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos: Formal Verification of Transactional Systems. WEBIST 2005: 194-197
26		Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe: Explicit-Symbolic Modelling for Formal Verification. Electr. Notes Theor. Comput. Sci. 130: 301-321 (2005)
	2004
25		Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady: Test sequence generation and model checking using dynamic transition relations. STTT 6(2): 174-182 (2004)
	2003
24		Daniela Alvim Seabra dos Santos, Alex Borges Vieira, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos: Performance analysis and optimization of a distributed Video on Demand service. ISPASS 2003: 156-165
23		Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: Extending UML to Specify and Verify E-commerce Systems. SEKE 2003: 306-313
22		Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice 2003: 419-425
	2002
21		Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos: A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191
20		Edmundo de Souza e Silva, Rosa M. M. Leão, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos: Performance Issues of Multimedia Applications. Performance 2002: 374-404
	2001
19		Sérgio Vale Aguiar Campos, Edmund M. Clarke: The Verus language: representing time efficiently with BDDs. Theor. Comput. Sci. 253(1): 95-118 (2001)
	2000
18		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Formal Methods in System Design 17(2): 163-192 (2000)
17		Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36(1): 53-64 (2000)
	1999
16		Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini: Formal verification and analysis of multimedia systems. ACM Multimedia (1) 1999: 419-430
15		Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke: ProbVerus: Probabilistic Symbolic Model Checking. ARTS 1999: 96-110
14		Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke: Model Checking Semi-Continuous Time Models Using BDDs. Electr. Notes Theor. Comput. Sci. 23(2): 75-87 (1999)
13		Sérgio Vale Aguiar Campos, Edmund M. Clarke: Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. STTT 2(3): 260-269 (1999)
	1998
12		Sérgio Vale Aguiar Campos: Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE 1998: 249-263
11		Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. FTCS 1998: 458-463
	1997
10		Sérgio Vale Aguiar Campos, Edmund M. Clarke: The Verus Language: Representing Time Efficiently with BDDs. ARTS 1997: 64-78
9		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea: The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. CAV 1997: 452-455
8		Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke: Compositional Reasoning in Model Checking. COMPOS 1997: 81-102
7		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea: Symbolic Techniques for Formally Verifying Industrial Systems. Sci. Comput. Program. 29(1-2): 79-98 (1997)
	1996
6		Sérgio Vale Aguiar Campos, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268
5		Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen: Symbolic Model Checking. CAV 1996: 419-427
	1995
4		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verifying the performance of the PCI local bus using symbolic techniques. ICCD 1995: 72-78
3		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 70-78
2		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Temporal Verification of Real-Time Systems. IEICE Transactions 78-D(7): 796-801 (1995)
	1994
1		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Computing Quantitative Characteristics of Finite-State Real-Time Systems. IEEE Real-Time Systems Symposium 1994: 266-270

Coauthor Index

1	Jussara M. Almeida (Jussara Marques de Almeida)	[29] [30] [32] [33] [34]
2	Hugo Barros	[31]
3	Sergey Berezin	[8]
4	Luciano Bertini	[16]
5	Alessandro Cimatti	[11] [17]
6	Edmund M. Clarke	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19]
7	Umberto S. Costa	[26]
8	Ítalo S. Cunha	[29] [30]
9	David Déharbe (David Boris Paul Déharbe)	[26]
10	Copty Fady	[25]
11	Fausto Giunchiglia	[11] [17]
12	Pedro Gomes	[33]
13	Kênia Carolina Gonçalves	[34]
14	Gustavo Gorgulho	[21] [22] [23]
15	Orna Grumberg	[6] [18] [25]
16	Vassili Hartonas-Garmhausen	[5]
17	Vicky Hartonas-Garmhausen	[11] [15] [17]
18	Hiromi Hiraishi	[1] [2]
19	Andreas Kuehlmann	[14]
20	Rosa Maria Meri Leão (Rosa M. M. Leão)	[20]
21	Fernanda Lima	[22] [23]
22	Autran Macedo	[16]
23	Marcelo Maia	[29] [30]
24	Rodrigo Mantini	[33]
25	Wilfredo R. Marrero	[1] [2] [3] [4]
26	Kenneth L. McMillan	[5]
27	Wagner Meira Jr.	[21] [22] [23]
28	Marius Minea	[1] [2] [3] [4] [7] [9] [14]
29	José Augusto Miranda Nacif	[33]
30	Humberto T. Marques Neto	[34]
31	Adriano M. Pereira (Adriano César Machado Pereira)	[21] [22] [23] [27] [28]
32	Berthier A. Ribeiro-Neto	[16] [20] [24]
33	Marcus M. Rocha	[29] [30]
34	Daniela Alvim Seabra dos Santos	[24]
35	Ana Paula C. da Silva	[34]
36	Edmundo de Souza e Silva	[20]
37	Mark A. J. Song (Mark Alan Junho Song)	[21] [22] [23] [27] [28] [31]
38	Marcio Teixeira	[14]
39	Alex Borges Vieira	[24] [32] [33] [34]
40	Newton Vieira	[26]
41	Karen Yorav (Karen Laster)	[25]
42	Luis E. Zárate	[28] [31]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page