Augusto C. A. Sampaio

Publication Activity (10 Years)

Years Active: 1988-2014
Publications (10 Years): 0

Top Topics

Transition Systems

Computation Tree Logic

Partial Order Reduction

Automated Verification

Top Venues

Publications

Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho
Model-Checking Circus State-Rich Specifications. IFM (2014)
Marcilia A. Campos, Augusto C. A. Sampaio, Alexandre H. F. Brainer
Mechanising the theory of intervals using OBJ3. Reliab. Comput. 2 (2) (1996)
Augusto C. A. Sampaio, Hermano Perrelli de Moura, Max Cavalcanti de Albuquerque, Silvio Romero Lemos de Meira
GEMS - Um GErenciador de Módulos de Software. SBES (1988)