About: Joseph Sifakis

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Joseph Sifakis Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Sifakis, Joseph (1946-.... ; informaticien) Sifakis, Joseph (1946-.... ; informaticien) Sifakis, Joseph (1946-.... ; informaticien) Sifakis, Joseph (1946-.... ; informaticien)
Life Event	http://www.idref.fr/060235128/birth
preferred label	Sifakis, Joseph (1946-.... ; informaticien)
name	Joseph Sifakis
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000121477236
Given name	Joseph
familyName	Sifakis
has biographical i...tion (Deprecated)	Auteur d'une thèse de docteur-ingénieur en informatique (Grenoble 1, 1974) et d'une thèse d'État en sciences. Mathématiques (Grenoble 1/INPG, 1979). - Directeur de recherche CNRS. - Directeur du laboratoire VERIMAG. - Directeur de thèse à Grenoble INPG-ENSIMAG (-1982-1994-) . Prix Turing 2007
gender	male
Scopus ID	6701777238
is Thesis advisor of	De la composition des systèmes temporisés Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système http://www.sudoc.fr/144323109/id http://www.sudoc.fr/004893565/id ATP, une algèbre pour la spécification et l'analyse des systèmes temps réel http://www.sudoc.fr/128927194/id http://www.sudoc.fr/148073719/id Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel http://www.sudoc.fr/05375140X/id http://www.sudoc.fr/012545368/id http://www.sudoc.fr/202664023/id http://www.sudoc.fr/129510203/id http://www.sudoc.fr/164938028/id http://www.sudoc.fr/129415553/id QUASAR, une réalisation du système CESAR ; description, spécification et analyse des applications réparties http://www.sudoc.fr/146155777/id http://www.sudoc.fr/013262777/id http://www.sudoc.fr/167452738/id http://www.sudoc.fr/186283679/id http://www.sudoc.fr/004928962/id Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP http://www.sudoc.fr/126108080/id Spécification et validation de systèmes en Xesar L'analyse formelle des systèmes temporisés en pratique Méthodes et outils pour la vérification symbolique de systèmes temporisés http://www.sudoc.fr/160351987/id http://www.sudoc.fr/167625446/id http://www.sudoc.fr/060234962/id http://www.sudoc.fr/049591711/id http://www.sudoc.fr/043994253/id Logiques du temps arborescent pour la spécification et la preuve de programmes http://www.sudoc.fr/127918655/id http://www.sudoc.fr/006118321/id http://www.sudoc.fr/008285268/id Cléo, diagnostic des erreurs en Xesar Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées http://www.sudoc.fr/126118280/id http://www.sudoc.fr/126477450/id http://www.sudoc.fr/245560602/id Application des méthodes d'ordre partiel aux équivalences comportementales des systèmes concurrents Modélisation compositionnelle des systèmes temps-réels, théorie et pratique http://www.sudoc.fr/247182672/id http://www.sudoc.fr/245454497/id http://www.sudoc.fr/262063336/id http://www.sudoc.fr/126479089/id http://www.sudoc.fr/247943509/id http://www.sudoc.fr/247170712/id http://www.sudoc.fr/245539697/id http://www.sudoc.fr/24625517X/id Modélisation et analyse de systèmes temporisés et hybrides http://www.sudoc.fr/126118752/id http://www.sudoc.fr/245481842/id Modélisation à base de composants de systèmes temps réel hétérogènes en BIP
is Praeses of	http://www.sudoc.fr/044045573/id Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle Une algèbre de processus, pour un calcul basé sur la déduction http://www.sudoc.fr/053781082/id http://www.sudoc.fr/154034096/id http://www.sudoc.fr/126423261/id http://www.sudoc.fr/24628904X/id
is Author of	Conception des systèmes logiques, 2e année ENSIMAG-C'4 maîtrise informatique http://www.sudoc.fr/004903153/id http://www.sudoc.fr/004729595/id Le Contrôle des systèmes asynchrones, concepts, propriétés, analyse statique http://www.sudoc.fr/004903145/id Embedded Systems Design, The ARTIST Roadmap for Research and Development http://www.sudoc.fr/14804865X/id http://www.sudoc.fr/12309271X/id http://www.sudoc.fr/009162593/id Modèles temporels des systèmes logiques http://www.sudoc.fr/004916190/id http://www.sudoc.fr/004912411/id http://www.sudoc.fr/005709415/id http://www.sudoc.fr/168905302/id Automated Conflict-Free Distributed Implementation of Component-Based Models Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures Source-to-Source Architecture Transformation for Performance Optimization in BIP Checking deadlock-freedom of parametric component-based systems A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Compositional Verification for Component-based Systems and Application Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems Priority Systems Checking Deadlock-Freedom of Parametric Component-Based Systems http://www.sudoc.fr/126091854/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software