Sciweavers

31387 search results - page 230 / 6278
» Abstracts
Sort
View
ACSD
2004
IEEE
90views Hardware» more  ACSD 2004»
15 years 10 months ago
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...
AI
2006
Springer
15 years 10 months ago
Progressive Defeat Paths in Abstract Argumentation Frameworks
Diego C. Martínez, Alejandro Javier Garc&ia...
AMAST
2006
Springer
15 years 10 months ago
Opaque Predicates Detection by Abstract Interpretation
Mila Dalla Preda, Matias Madou, Koen De Bosschere,...
AMAST
2006
Springer
15 years 10 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...