Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
model checking
Papers
Fuzzy Particle Swarm Optimization Algorithm (NFPSO) for Reachability Analysis of Complex Software Systems
Nahid Salimi
,
Vahid Rafe
,
Hamed Tabrizchi
and
Amir Mosavi
EasyChair Preprint no. 4328
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems
Nahid Salimi
,
Vahid Rafe
,
Hamed Tabrizchi
and
Amir Mosavi
EasyChair Preprint no. 4327
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation
Dario Della Monica
,
Angelo Montanari
,
Aniello Murano
and
Guido Sciavicco
In
:
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Model Checking of Integratively Designed Product and Production Systems
Sergej Japs
,
Rik Rasor
,
Lydia Kaiser
and
Roman Dumitrescu
EasyChair Preprint no. 1529
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
Rohit Dureja
,
Jason Baumgartner
,
Alexander Ivrii
,
Robert Kanzelman
and
Kristin Yvonne Rozier
EasyChair Preprint no. 1429
Scalable Verification of Designs with Multiple Properties
Rohit Dureja
and
Kristin Yvonne Rozier
EasyChair Preprint no. 1411
From One To Many: Checking A Set Of Models
Rohit Dureja
and
Kristin Yvonne Rozier
EasyChair Preprint no. 1402
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification
Thitivatr Patanasakpinyo
In
:
Proceedings of 34th International Conference on Computers and Their Applications
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Krishnendu Chatterjee
,
Wolfgang Dvořák
,
Monika Henzinger
and
Alexander Svozil
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
Rachel Faran
and
Orna Kupferman
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis
Xavier Pucel
and
Stéphanie Roussel
In
:
28th International Workshop on Principles of Diagnosis (DX'17)
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
Yannick Pencolé
and
Audine Subias
In
:
28th International Workshop on Principles of Diagnosis (DX'17)
Automated analysis of Stateflow models
Hamza Bourbouh
,
Pierre-Loic Garoche
,
Christophe Garion
,
Arie Gurfinkel
,
Temesghen Kahsai
and
Xavier Thirioux
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Verification of Fault-Tolerant Clock Synchronization Algorithms
Sergiy Bogomolov
,
Christian Herrera
and
Wilfried Steiner
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
Pavithra Prabhakar
and
Miriam García Soto
In
:
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
A One-Pass Tableau-Based Workflow Verification Framework
Md Zahidul Islam
and
Wendy MacCaull
In
:
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Reachability Modulo Theory Library
Francesco Alberti
,
Roberto Bruttomesso
,
Silvio Ghilardi
,
Silvio Ranise
and
Natasha Sharygina
In
:
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Incremental Construction of Counterexamples in Model Checking Web Documents
Franz Weitl
and
Shin Nakajima
In
:
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems
A Framework for Verified Depth-First Algorithms
René Neumann
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic
Nikolay Shilov
In
:
PSPL 2010. International Workshop on Proof Systems for Program Logics
CheAPS: a Checker of Asynchronous Parameterized Systems
Igor Konnov
In
:
WING 2010. Workshop on Invariant Generation 2010
Formal Requirements Capturing using VRS system
Alexander Letichevsky
,
Alexander Kolchin
,
Oleksandr Letychevskyi
,
Stepan Potiyenko
,
Vlad Volkov
and
Thomas Weigert
In
:
WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2021 easychair.org. All rights reserved.