Dima, Catalin, 1969-...., auteur(e) en informatique
Dima, Catalin 1969-...
VIAF ID: 206977599 ( Personal )
Permalink: http://viaf.org/viaf/206977599
Preferred Forms
Works
Title | Sources |
---|---|
An algebraic theory of real-time formal languages | |
BSP algorithms for LTL & CTL model checking of security protocols | |
Décidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs. | |
Design, formal modeling and verification of a real-time system of cooperative agents : application to communicating autonomous vehicles. | |
Reachability games with counters : decidability and algorithms | |
Robustesse des automates temporisés : calculer les stratégies les plus permissives. | |
Robustness of timed automata : computing the maximally-permissive strategies | |
Sécurité du flux d'information : de la vérification à l'implémentation. | |
Semantics of Strategy Logic | |
Synthèse des systèmes réactifs interactifs. | |
Système d'agents mobiles pour les architectures de calculs auto-adaptatifs | |
Techniques d'abstraction dans la verification des systèmes concurrents. | |
Théorie algébrique des langages formels temps réel | |
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics | |
Verification and validation of healthcare access control policies. | |
Vérification de spécifications EB-3 à l'aide de techniques de model-checking | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical | |
Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. |