| 2008 |
|---|
| 31 | EE | Alex Borges Vieira,
Jussara M. Almeida,
Sérgio Vale Aguiar Campos:
Fighting pollution in P2P live streaming systems.
ICME 2008: 481-484 |
| 2007 |
|---|
| 30 | EE | Hugo Barros,
Sérgio Vale Aguiar Campos,
Mark Song,
Luis Zarate:
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.
ECBS 2007: 531-538 |
| 2006 |
|---|
| 29 | EE | 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 | EE | 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 Song,
Adriano M. Pereira,
Sérgio Vale Aguiar Campos,
Luis Zarate:
Formal Verification of Transactional Systems Based on UML Specifications.
SEKE 2005: 199-204 |
| 26 | | Mark Song,
Adriano M. Pereira,
Sérgio Vale Aguiar Campos:
Formal Verification of Transactional Systems.
WEBIST 2005: 194-197 |
| 25 | EE | 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 | EE | 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 | EE | 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 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 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 | EE | Adriano M. Pereira,
Mark Song,
Gustavo Gorgulho,
Wagner Meira Jr.,
Sérgio Vale Aguiar Campos:
A Formal Methodology to Specify E-commerce Systems.
ICFEM 2002: 180-191 |
| 19 | EE | 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 | EE | 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 | EE | 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 | EE | Vicky Hartonas-Garmhausen,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke:
ProbVerus: Probabilistic Symbolic Model Checking.
ARTS 1999: 96-110 |
| 13 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
