Sifakis, Joseph, 1946-....
Sifakis, J.
Sifakis, J. (Joseph), 1946-
Ιωσήφ Σηφάκης
Sifakis, Joseph
VIAF ID: 110770950 ( Personal )
Permalink: http://viaf.org/viaf/110770950
Preferred Forms
- 100 1 _ ‡a Sifakis, J.
-
- 100 1 _ ‡a Sifakis, J. ‡q (Joseph), ‡d 1946-
-
-
- 100 1 _ ‡a Sifakis, Joseph
-
-
- 100 1 _ ‡a Sifakis, Joseph ‡d 1946-
- 100 1 _ ‡a Sifakis, Joseph ‡d 1946-
-
-
- 100 1 _ ‡a Sifakis, Joseph, ‡d 1946-....
- 100 0 _ ‡a Ιωσήφ Σηφάκης
4xx's: Alternate Name Forms (40)
5xx's: Related Names (4)
Works
Title | Sources |
---|---|
Aldebaran : a system of verification of communicating processes by using reduction | |
Une algèbre de processus : pour un calcul basé sur la déduction | |
Analyse sémantique des communications entre processus de programmes parallèles | |
Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel | |
Applying controller synthesis to real-time system scheduling. | |
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 | |
Component-based modeling of heterogeneous real-time systems in BIP, anglais | |
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 a 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 | |
Le Contrôle des systèmes asynchrones : concepts, propriétés, analyse statique | |
Description and analysis of real-time and hybrid systems. | |
Design and implementation of component based system. Towards a unification of the software engineering and the system paradigms. | |
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework. | |
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, (Springer) | |
A general logic model for information retrieval systems. Application to the prototype RIME. | |
Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle | |
Impact of computational models on scheduling in parallel computing. | |
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. | |
Implémentation rigoureuse des systèmes temps-réels | |
Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP | |
L'analyse formelle des systèmes temporisés en pratique | |
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 | |
Methods and tools for the symbolic verification of real-time systems | |
Modèles temporels des systèmes logiques | |
Modélisation des systèmes synchrones en BIP | |
Notes et compléments de cours sur les réseaux de Pétri | |
A process algebra for a deduction based computation. | |
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones | |
Special issue on hybrid systems | |
Spécification et validation de systèmes en Xesar | |
Understanding and Changing the World : From Information to Knowledge and Intelligence | |
Venus : an environment to specify and verify communicating systems. | |
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 | |
Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems |