Sérgio Vale Aguiar Campos

	2008
31		Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Fighting pollution in P2P live streaming systems. ICME 2008: 481-484
	2007
30		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
29		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
28		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
27		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
26		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos: Formal Verification of Transactional Systems. WEBIST 2005: 194-197
25		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
24		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
23		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
22		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
21		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
20		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
19		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
18		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
17		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)
16		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
15		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
14		Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke: ProbVerus: Probabilistic Symbolic Model Checking. ARTS 1999: 96-110
13		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): (1999)
12		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
11		Sérgio Vale Aguiar Campos: Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE 1998: 249-263
10		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
9		Sérgio Vale Aguiar Campos, Edmund M. Clarke: The Verus Language: Representing Time Efficiently with BDDs. ARTS 1997: 64-78
8		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
7		Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke: Compositional Reasoning in Model Checking. COMPOS 1997: 81-102
6		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
5		Sérgio Vale Aguiar Campos, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268
4		Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen: Symbolic Model Checking. CAV 1996: 419-427
	1995
3		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
2		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
	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	[28] [29] [31]
2	Hugo Barros	[30]
3	Sergey Berezin	[7]
4	Luciano Bertini	[15]
5	Alessandro Cimatti	[10] [16]
6	Edmund M. Clarke	[1] [2] [3] [4] [6] [7] [8] [9] [10] [12] [13] [14] [16] [17] [18]
7	Umberto S. Costa	[25]
8	Ítalo S. Cunha	[28] [29]
9	David Déharbe	[25]
10	Copty Fady	[24]
11	Fausto Giunchiglia	[10] [16]
12	Gustavo Gorgulho	[20] [21] [22]
13	Orna Grumberg	[5] [17] [24]
14	Vassili Hartonas-Garmhausen	[4]
15	Vicky Hartonas-Garmhausen	[10] [14] [16]
16	Hiromi Hiraishi	[1]
17	Andreas Kuehlmann	[13]
18	Rosa Maria Meri Leão (Rosa M. M. Leão)	[19]
19	Fernanda Lima	[21] [22]
20	Autran Macedo	[15]
21	Marcelo Maia	[28] [29]
22	Wilfredo R. Marrero	[1] [2] [3]
23	Kenneth L. McMillan	[4]
24	Wagner Meira Jr.	[20] [21] [22]
25	Marius Minea	[1] [2] [3] [6] [8] [13]
26	Adriano M. Pereira	[20] [21] [22] [26] [27]
27	Berthier A. Ribeiro-Neto	[15] [19] [23]
28	Marcus M. Rocha	[28] [29]
29	Daniela Alvim Seabra dos Santos	[23]
30	Edmundo de Souza e Silva	[19]
31	Mark A. J. Song	[20] [21] [22] [26] [27] [30]
32	Marcio Teixeira	[13]
33	Alex Borges Vieira	[23] [31]
34	Newton Vieira	[25]
35	Karen Yorav (Karen Laster)	[24]
36	Luis E. Zárate	[27] [30]

Colors in the list of coauthors