Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adenilso Simao
Checking Experiments for Finite State Machines With Symbolic Inputs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finite State Machines
Symbolic Step Encodings for Object Based Communicating State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finite-State Automata on Infinite Inputs
Deriving Adaptive Distinguishing Sequences for Finite State Machines
Proceedings of the Institute for System Programming of the RAS
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Finite-State Machines - Part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Suite Minimization for Embedded Nondeterministic Finite State Machines
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
