VIAF

Virtual International Authority File

Search

Sifakis, Joseph, 1946-.... National Library of the Netherlands-test National Library of the Czech Republic NUKAT Center of Warsaw University Library Sudoc [ABES], France German National Library

Sifakis, Joseph Wikipedia (en) German National Library ISNI-test

Sifakis, J. (Joseph), 1946- Library of Congress/NACO

VIAF ID: 110770950 (Personal)

Permalink: http://viaf.org/viaf/110770950

ISNI-test: 0000  0001  2147  7236 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close SectionWorks

Title Sources
Aldebaran : a system of verification of communicating processes by using reduction Sudoc [ABES], France
Une algèbre de processus pour un calcul basé sur la déduction Sudoc [ABES], France
Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel Sudoc [ABES], France
Applications des methodes formelles aux developpements de systemes : en telecommunications, systemes VLSI et systemes de controle-commande temps reel = Application of formal methods to system development : telecommunications, VLSI and real-time computerized control systems Sudoc [ABES], France
Applying controller synthesis to real-time system scheduling Sudoc [ABES], France
ATP: an algebra for the specification and analysis of real time systems Sudoc [ABES], France
Automates Sudoc [ABES], France
Automatic verification methods for finite state systems international workshop, Grenoble, France, June 12 - 14, 1989 ; proceedings National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library
Cléo diagnostic des erreurs en Xesar Sudoc [ABES], France
Comparison of communicating process behaviours: application to the language FP2 Sudoc [ABES], France
Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique Sudoc [ABES], France
Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système Sudoc [ABES], France
Contribution à l'analyse de la methode des tableaux Sudoc [ABES], France
Contribution to the study of a rational agent : specification in intensional logics and implementation Sudoc [ABES], France
Contributions à la sémantique du parallélisme bisimulations pour le raffinement et le vrai parallélisme Sudoc [ABES], France
Le Contrôle des systèmes asynchrones concepts, propriétés, analyse statique Sudoc [ABES], France
Design and implementation of component based system. Towards a unification of the software engineering and the system paradigms Sudoc [ABES], France
Embedded software second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Embedded systems design the ARTIST roadmap for research and development National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
From programs to systems - the systems perspective in computing ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings National Library of the Netherlands-test
Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP Sudoc [ABES], France
L'ANALYSE FORMELLE DES SYSTEMES TEMPORISES EN PRATIQUE Sudoc [ABES], France
Logiques du temps arborescent pour la spécification et la preuve de programmes Sudoc [ABES], France
Méthodes et outils pour la vérification symbolique de systèmes temporisés Sudoc [ABES], France
Un modèle logique général pour les systèmes de recherche d'informations application au prototype RIME Sudoc [ABES], France
Modélisation des systèmes synchrones en BIP Sudoc [ABES], France
Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified Sudoc [ABES], France
Notes et compléments de cours sur les réseaux de Pétri Sudoc [ABES], France
A process algebra for a deduction based computation Sudoc [ABES], France
Rigorous Implementation of Real-Time Systems. Sudoc [ABES], France
Sémantique des systèmes réactifs raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones Sudoc [ABES], France
Spécification et validation de systèmes en Xesar Sudoc [ABES], France
VENUS un outil d'aide à la vérification des systèmes communicants Sudoc [ABES], France
Vérification de propriétés de programmes flots de données synchrones Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:110770950 (21)