-
La logique temporelle et ses applications dans le traitement du langage naturel
Dans ce papier, nous clarifions quelques concepts linguistiques, en étudiant les différents niveaux de représentation et de traitement des énoncés linguistiques. Nous... -
Model checking : éléments de base
This dataset has no description
-
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... -
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... -
ScaleSem : model checking and semantic web
The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of... -
Modélisation et analyse de systèmes asynchrones avec CADP
La conception des systèmes industriels critiques comportant du parallélisme asynchrone nécessite l'utilisation de méthodes formelles, assistées par des outils de... -
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. -
On the Logic of TLA+
Article dans revue scientifique avec comité de lecture. internationale.
