dblp.uni-trier.dewww.uni-trier.de

Sérgio Vale Aguiar Campos Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
31EEAlex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos: Fighting pollution in P2P live streaming systems. ICME 2008: 481-484
2007
30EEHugo 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
29EEMarcelo 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
28EEMarcus 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
25EEUmberto 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
24EESé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
23EEDaniela 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
20EEAdriano 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
19EEEdmundo 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
18EESé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
15EESé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
14EEVicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke: ProbVerus: Probabilistic Symbolic Model Checking. ARTS 1999: 96-110
13EESé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)
12EESé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
8EESé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
7EESergey 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
5EESérgio Vale Aguiar Campos, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268
4EEEdmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen: Symbolic Model Checking. CAV 1996: 419-427
1995
3EESé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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)