Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000121477236 | 1 hits
Person
ISNI: 
0000 0001 2147 7236
Name: 
Sifakis, J.
Sifakis, Joseph
Dates: 
1946-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
writer of accompanying material
Related names: 
Bouyssounouse, Bruno
Chiaramella, Yves
Fernandez, Jean-Claude (1954-....))
Grenoble
Jorrand, Philippe
Payan, Charles
Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli, Alberto (1947-)
Sangiovanni-Vincentelli, Alberto L. (1947-)
Trilling, Laurent
Verjus, Jean-Pierre (1943-....))
Voiron, Jacques
Yovine, Sergio
Titles: 
Aldebaran : a system of verification of communicating processes by using reduction
algèbre de processus pour un calcul basé sur la déduction, Une
ANALYSE FORMELLE DES SYSTEMES TEMPORISES EN PRATIQUE, L'
Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel
Applications des methodes formelles aux developpements de systemes : en telecommunications, systemes VLSI et systemes de controle-commande temps reel : telecommunications, VLSI and real-time computerized control systems
Applying controller synthesis to real-time system scheduling
ATP: an algebra for the specification and analysis of real time systems
Automates
Automatic verification methods for finite state systems international workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings
Cléo diagnostic des erreurs en Xesar
Comparison of communicating process behaviours: application to the language FP2
Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique
Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système
Contribution à l'analyse de la methode des tableaux
Contribution to the study of a rational agent : specification in intensional logics and implementation
Contributions à la sémantique du parallélisme bisimulations pour le raffinement et le vrai parallélisme
Contrôle des systèmes asynchrones concepts, propriétés, analyse statique, Le
Design and implementation of component based system. Towards a unification of the software engineering and the system paradigms
Embedded software second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Embedded systems design the ARTIST roadmap for research and development
From programs to systems - the systems perspective in computing ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings
Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP
Logiques du temps arborescent pour la spécification et la preuve de programmes
Méthodes et outils pour la vérification symbolique de systèmes temporisés
modèle logique général pour les systèmes de recherche d'informations application au prototype RIME, Un
Modèles temporels des systèmes logiques
Modélisation des systèmes synchrones en BIP
Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified
Notes et compléments de cours sur les réseaux de Pétri
process algebra for a deduction based computation, A
Rigorous Implementation of Real-Time Systems.
Sémantique des systèmes réactifs raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones
Spécification et validation de systèmes en Xesar
VENUS un outil d'aide à la vérification des systèmes communicants
Vérification de propriétés de programmes flots de données synchrones
Notes: 
Grenoble, Diss., 1974
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP