|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 18 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos |
Fighting pollution in P2P live streaming systems. |
ICME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe |
Explicit-Symbolic Modelling for Formal Verification. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos |
Formal Verification of Transactional Systems. |
WEBIST |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
interactivity, workload model, scalable streaming |
| 1 | Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady |
Test sequence generation and model checking using dynamic transition relations. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Binary decision diagrams, Symbolic model checking, Test sequence generation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
property patterns, model checking, formal verification, electronic commerce, design specification |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke |
The Verus language: representing time efficiently with BDDs. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke |
Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. |
STTT |
1999 |
DBLP DOI BibTeX RDF |
Quantitative timing analysis, Verus, Real-time systems, Binary decision diagrams, Symbolic model checking |
| 1 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
ProbVerus: Probabilistic Symbolic Model Checking. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini |
Formal verification and analysis of multimedia systems. |
ACM Multimedia |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos |
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea |
Symbolic Techniques for Formally Verifying Industrial Systems. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
Compositional Reasoning in Model Checking. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke |
The Verus Language: Representing Time Efficiently with BDDs. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Orna Grumberg |
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen |
Symbolic Model Checking. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |
Temporal Verification of Real-Time Systems. |
IEICE Transactions |
1995 |
DBLP BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
Verifying the performance of the PCI local bus using symbolic techniques. (PDF / PS) |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
PCI local bus, model checking techniques, performance evaluation, logic testing, system buses, symbolic techniques, timing information, finite-state systems, temporal behavior |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")