-
Uniform Strategies
We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some... -
Counting CTL
The original publication is available at www.springerlink.com. -
Counting LTL
The original publication is available at ieeexplore.ieee.org. -
An overview of CADP 2001
CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of... -
Learning Transition Rules from Temporal Logic Properties
Most of the work on temporal representation issues in Machine Learning deals with the problem of learning/mining temporal patterns from a large set of temporal data.... -
Abstraction over Public Interfaces
The use of public interfaces as a means of encapsulating method implementations has become standard in software design, but still requires the development of... -
Factorising temporal specifications
This paper proposes a method to factorise the verification of temporal properties for multi-threaded programs over groups of different threads. Essentially, the method... -
Embedding of biological regulatory networks and property preservation
International audience -
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
International audience -
Counting CTL
34 pages -
Towards an integrative approach for the modeling and formal verification of b...
The study of large models of biological networks by means of analysis and simulation tools leads to large amounts of predictions. This raises the question of how to... -
CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free...
Boolean Equation Systems (BESs) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence checking... -
Monitoring business process compliance : a view based approach
Nowadays, business processes allow more automation of tasks and complex interconnections within the same system and across different systems, which is particularly... -
On the Decidability of the Safety Problem for Access Control Policies
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a... -
Security for Cloud Environment through Information Flow Properties Formalizat...
The main slowdown of Cloud activity comes from the lack of reliable security. The on-demand security concept aims at delivering and enforcing the client's security... -
{GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent ...
International audience -
Wreath Products of Forest Algebras, with Applications to Tree Logics
International audience -
Temporal Logic in Natural Language Processing
In this paper, we clarify some linguistic concepts, studying the different levels of representation and processing of linguistic utterances. We also illustrated with... -
Using Temporal Logic to Specify Interactions in Cooperative Applications
Colloque avec actes et comité de lecture. -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale.
