Bodeveix, Jean-Paul, 1963-....
Bodeveix, Jean-Paul
VIAF ID: 66556683 ( Personal )
Permalink: http://viaf.org/viaf/66556683
Preferred Forms
- 200 _ | ‡a Bodeveix ‡b Jean-Paul
- 100 1 _ ‡a Bodeveix, Jean-Paul
- 100 1 _ ‡a Bodeveix, Jean-Paul, ‡d 1963-....
Works
Title | Sources |
---|---|
Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais | |
Analysis and formal specification of relay-based railway interlocking systems. | |
Bounded domain property for first order linear temporal logic and applications to the verification of infinite-state systems. | |
Combining temporal and deontic logics for the specification of security policies. | |
Conception de systèmes de reconnaissance d'activités humaines | |
Design of human activity recognition systems. | |
Développement et validation d'architectures dynamiques | |
Un environnement formel pour la sémantique des systèmes hétérogènes. | |
Formal decomposition of event-B centralized specifications : application to BIP distributed systems. | |
A formal framework for heterogeneous systems semantics | |
Formal proof in network calculus. | |
Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation | |
Logarithm, a parallel prolog model : its implementation on transputers. | |
A mechanized theory of regular trees in dependent type theory. | |
Pipeline Temporal Behavior Modeling for WCET Computation. | |
Preuve formelle en calcul réseau | |
Programmation en C++ | |
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis | |
Real-time systems refinement application to the verification of web services | |
Rigorous development of secure architecture within the negative and positive statements : properties, models, analysis and tool support | |
Sémantique compositionnelle et raffinement de systèmes temporisés application aux automates temporisés d'UPPAAL et au langage FIACRE | |
Sequence kernels for speaker verification using support vector machines (SVM). | |
Specification and verification of real time schedulers in B. | |
Spécification et vérification des ordonnanceurs temps réel en B | |
Système d'agents mobiles pour les architectures de calculs auto-adaptatifs | |
Une théorie mécanisée des arbres réguliers en théorie des types dépendants | |
Towards an extensible framework for modelling and implementing correct and evolutive web applications, under variability hypothesis. | |
Verification and validation of healthcare access control policies. | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical |