Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jefferson O. Andrade
A Direct Algorithm for Multi-Valued Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model-Checking Over Multi-Valued Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Valued Modal Fixed Point Logics for Model Checking
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
An Algorithm for Solving a Multi-Valued Variational Inequality
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Context-Bounded Model Checking of LTL Properties for ANSI-C Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Benefits of Bounded Model Checking at an Industrial Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Multi-Objective DIRECT Algorithm for Ship Hull Optimization
Computational Optimization and Applications
Control
Computational Mathematics
Applied Mathematics
Optimization
