Concepedia

Sérgio Campos

SC

21

Publications

570

Citations

16

H-Index

1995

Active since

Affiliations

Universidade Federal de Minas Gerais(Current)

Carnegie Mellon University

Universidade Federal de Mato Grosso do Sul

Universidade Federal de Juiz de Fora

Universidade Federal de Viçosa

Sérgio Campos is an author at Universidade Federal de Minas Gerais specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationSystems EngineeringComputer EngineeringReal-time SystemsAutomationCloud Computing

Publications per year

1995–2023

21

Publications

21

On the utilization of deep and ensemble learning to detect milk adulteration

Habib Asseiss Neto, Wanessa Luciene Fonseca Tavares, Daniela Cotta Ribeiro et al. · BioData Mining · 2019 · 86 citations · Full text

Scalable media streaming to interactive users

Marcus Rocha, Marcelo de Almeida Maia, Ítalo Cunha et al. · 2005 · 45 citations

Cluster Computing, Engineering, Streaming Media +17

Sérgio Campos, E. M. Clarke, W. Marrero et al. · ACM SIGPLAN Notices · 1995 · 44 citations · Full text

Engineering, Verification, Symbolic Model Checking +17

Verifying the performance of the PCI local bus using symbolic techniques

Sérgio Campos, E. M. Clarke, W. Marrero et al. · 2002 · 41 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +23

Verification of a safety-critical railway interlocking system with real-time constraints

V. Hartonas-Garmhausen, Sérgio Campos, Alessandro Cimatti et al. · Science of Computer Programming · 2000 · 32 citations

Safety Engineering, Railway Traffic, Safety-critical System +13

Rows per page

1–5 of 21