VIAF

Virtual International Authority File

Search

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

Sifakis, Joseph ISNI-test German National Library

Joseph Sifakis Wikidata

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 (18)

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  Centre National de la Recherche Scientifique‏ ‎‡e  Affiliation German National Library

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 a 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 History of VIAF ID:110770950 (23)