Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Adenilso Simão

Checking Sequence Generation Using State Distinguishing Subsequences

2009English

Related publications

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Using Distinguishing and UIO Sequences Together in a Checking Sequence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Infinite-State Model Checking of LTLR Formulas Using Narrowing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

SEQUEST: Mining Frequent Subsequences Using DMA-Strips

Data Mining VII: Data, Text and Web Mining and their Business Applications
2006English

Deriving Adaptive Distinguishing Sequences for Finite State Machines

Proceedings of the Institute for System Programming of the RAS
2018English

Parallel State Space Construction for Model-Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Global Model-Checking of Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy