Sifakis, Joseph (1946-....) Amélioration Assistance
060235128
Notice de type Personne

Forme retenue

Sifakis, Joseph (1946-....)

Information

Langue d'expression : français

Source

Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel [thèse 2001] / Karine Altisen


Internet, http://www.academie-sciences.fr/presse/communique/election_150311.pdf, 2011-03-28

Information trouvée :Joseph Sifakis, né le 26 décembre 1946

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :4rôle(s)

070 Auteur ( 9 )
340 Editeur scientifique ( 3 )
555 Opposant ( 20 )
727 Directeur de thèse ( 22 )



Auteur :

Rôles ?



004729595 : Modèles temporels des systèmes logiques [Texte imprimé] / Joseph Sifakis ; sous la dir. de Jean Kuntzmann / [S.l.] : [s.n.] , 1974

004903145 : Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique / C. Payan, J. Sifakis / [Grenoble] : ENSIMAG , 1974-...

004912411 : Le Contrôle des systèmes asynchrones [Texte imprimé] : concepts, propriétés, analyse statique / par Joseph Sifakis ; sous la dir. de Louis Bolliet / [S.l] : [s.n.] , 1979

004916190 : Notes et compléments de cours sur les réseaux de Pétri [Texte imprimé] / Joseph Sifakis / Grenoble : ENSIMAG , 1982

14804865X : Modèles temporels des systèmes logiques [Ressource électronique] / Joseph Sifakis ; sous la dir. de Jean Kuntzmann / S.l. : Université Grenoble 1 , 2005

168905302 : Le Contrôle des systèmes asynchrones [Ressource électronique] : concepts, propriétés, analyse statique / par Joseph Sifakis ; sous la dir. de Louis Bolliet / Grenoble : Université Joseph Fourier , 2008

004903153 : Conception des systèmes logiques 1, Automates : 2e année ENSIMAG-C'4 maîtrise informatique / C. Payan, J. Sifakis / [Nouv. éd.] / Grenoble : ENSIMAG , [1982?]

005709415 : Conception des systèmes logiques 1, Automates : 2e année ENSIMAG-C'4 maîtrise informatique / C. Payan, J. Sifakis / [Nouv. éd.], [Nouv. tirage] / Grenoble : ENSIMAG , [1984]

009162593 : Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique / C. Payan, J. Sifakis / [Nouv. éd.] / [Grenoble] : ENSIMAG , [1991?]



Editeur scientifique :

Rôles ?



099470039 : 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 / Colloque dans le cadre des neuviemes entretiens du centre Jacques Cartier ; 2 - 4 octobre 1996 ; Montreal, CA / Montreal, CA : CRIM , 1996

06988093X : Embedded software [Texte imprimé] : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.) / Berlin : Springer , cop. 2002

091946344 : Embedded systems design [Texte imprimé] : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.) / Berlin : Springer , cop. 2005



Opposant :

Rôles ?



043539483 : Comparaison des comportements des processus communicants [Texte imprimé] : application au langage FP2 / Sylvie Rogé ; sous la direction de [Philippe Jorrand] / [S.l.] : [s.n.] , 1986

043576842 : Contribution à l'étude d'un agent rationnel [Texte imprimé] : spécification en logique intensionnelle et implantation / Jean-Pierre Muller ; sous la direction de [Jean-Claude Latombe] / [S.l.] : [s.n.] , 1987

043577091 : VENUS [Texte imprimé] : un outil d'aide à la vérification des systèmes communicants / par Amelia Soriano Montes ; sous la direction de [Jacques Voiron] / [S.l.] : [s.n.] , 1987

043982263 : Un modèle logique général pour les systèmes de recherche d'informations [Texte imprimé] : application au prototype RIME / Jianyun Nie ; sous la direction de [Yves Chiaramella] / [S.l.] : [s.n.] , 1990

126099952 : Contribution a l'analyse de la methode des tableaux [Texte imprimé] / Michel Levy ; sous la direction de [Laurent Trilling] / [S.l.] : [s.n.] , 1991

044045573 : Une algèbre de processus [Texte imprimé] : pour un calcul basé sur la déduction / Zineb Habbas-Talantikit ; sous la direction de [Phillipe Jorrand] / [S.l.] , 1992

012594814 : Sémantique des systèmes réactifs [Texte imprimé] : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones / Juan Vicente Echagüe Zappettini ; sous la direction de [Philippe Jorrand] / [Grenoble] , 1993

129383848 : Contributions à la sémantique du parallélisme [Ressource électronique] : bisimulations pour le raffinement et le vrai parallélisme / Ferroudja Cherief ; sous la direction de [Philippe Jorrand] / S.l. : Université Grenoble 1 , 2008

129542350 : Sémantique des systèmes réactifs [Ressource électronique] : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones / Juan Vicente Echagüe Zappettini ; sous la direction de [Philippe Jorrand] / S.l. : Université Grenoble 1 , 2008

128891149 : Un modèle logique général pour les systèmes de recherche d'informations [Ressource électronique] : application au prototype RIME / Jianyun Nie ; sous la direction de [Yves Chiaramella] / S.l. : Université Grenoble 1 , 2008

129248924 : Contribution à l'analyse de la methode des tableaux [Ressource électronique] / Michel Levy ; sous la direction de [Laurent Trilling] / S.l. : Université Grenoble 1 , 2008

127891048 : ALDEBARAN [Ressource électronique] : un système de vérification par réduction de processus communicants / Jean-Claude Fernandez ; sous la direction de [Jacques Voiron] / S.l. : Université Grenoble 1 , 2008

128721626 : Vérification de propriétés de programmes flots de données synchrones [Ressource électronique] / Glory Anne-Cécile ; sous la direction de [Farid Ouabdesselam] / S.l. : Université Grenoble 1 , 2008

127423400 : Comparaison des comportements des processus communicants [Ressource électronique] : application au langage FP2 / Sylvie Rogé ; sous la direction de [Philippe Jorrand] / S.l. : Université Grenoble 1 , 2008

127562192 : VENUS [Ressource électronique] : un outil d'aide à la vérification des systèmes communicants / par Amelia Soriano Montes ; sous la direction de [Jacques Voiron] / S.l. : Université Grenoble 1 , 2008

129407798 : Une algèbre de processus [Ressource électronique] : pour un calcul basé sur la déduction / Auteur ; sous la direction de [Phillipe Jorrand] / S.l. : Université Grenoble 1 , 2008

127835091 : Contribution à l'étude d'un agent rationnel [Ressource électronique] : spécification en logique intensionnelle et implantation / Jean-Pierre Muller ; sous la direction de [Jean-Claude Latombe] / S.l. : Université Grenoble 1 , 2008

006193846 : ALDEBARAN [Texte imprimé] : un système de vérification par réduction de processus communicants / Jean-Claude Fernandez ; sous la direction de [Jacques Voiron] / [S.l.] : [s.n.] , [1988]

007417357 : Vérification de propriétés de programmes flots de données synchrones [Texte imprimé] / Glory Anne-Cécile ; sous la direction de [Farid Ouabdesselam] / [S. l.] : [s. n.] , [1989]

012546259 : Contributions à la sémantique du parallélisme [Texte imprimé] : bisimulations pour le raffinement et le vrai parallélisme / Ferroudja Cherief ; sous la direction de [Philippe Jorrand] / [Grenoble] : [s.n.] , [1992]



Directeur de thèse :

Rôles ?



012545368 : ATP [Texte imprimé] : une algèbre pour la spécification et l'analyse des systèmes temps réel / Xavier Nicollin / [Grenoble : repro CENG , 1992]

043994253 : Modélisation et analyse de systèmes temporisés et hybrides [Texte imprimé] / Alfredo Olivero ; sous la direction de J. Sifakis / [S.l.] : [s.n.] , 1994

049591711 : L'ANALYSE FORMELLE DES SYSTEMES TEMPORISES EN PRATIQUE / STAVROS TRIPAKIS ; SOUS LA DIRECTION DE JOSEPH SIFAKIS / [S.l.] : [s.n.] , 1998

05375140X : DE LA COMPOSITION DES SYSTEMES TEMPORISES / SEBASTIEN BORNOT ; SOUS LA DIR. DE JOSEPH SIFAKIS / [S.l.] : [s.n.] , 1998

126108080 : Modélisation compositionnelle des systèmes temps-réels [Texte imprimé] : théorie et pratique / Gregor Gössler, sous la direction de Joseph Sifakis / [S.l.] : [s.n.] , 2001

060234962 : Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel [Texte imprimé] / Karine Altisen ; sous la dir. de Joseph Sifakis / [S.l.] : [s.n.] , 2001

127918655 : Spécification et validation de systèmes en Xesar [Ressource électronique] / Carlos Rodriguez / Carloz Rodriguez ; sous la direction de [Joseph Sifakis] / S.l. : Université Grenoble 1 , 2008

167625446 : QUASAR [Ressource électronique] : une réalisation du système CESAR ; description, spécification et analyse des applications réparties / Schwartz Jean-Philippe ; sous la dir. de Joseph Sifakis / Grenoble : Université Joseph Fourier , 2008

129415553 : ATP [Ressource électronique] : une algèbre pour la spécification et l'analyse des systèmes temps réel / Xavier Nicollin ; sous la direction de [Joseph Sifakis] / S.l. : Université Grenoble 1 , 2008

129510203 : Méthodes et outils pour la vérification symbolique de systèmes temporisés [Ressource électronique] / Yovine Sergio ; sous la direction de [Joseph Sifakis] / S.l. : Université Grenoble 1 , 2008

128927194 : Cléo [Ressource électronique] : diagnostic des erreurs en Xesar / Anne Rasse ; sous la direction de [Joseph Sifakis] / S.l. : Université Grenoble 1 , 2008

146155777 : Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système [Texte imprimé] / Marc Poulhiès ; sous la direction de Joseph Sifakis / [S. l.] : [s. n.] , 2010

144323109 : 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 [Texte imprimé] / Mohamed Yassin Chkouri ; sous la direction de Joseph Sifakis / [S. l.] : [s. n.] , 2010

148073719 : Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP [Texte imprimé] / Mohamad Jaber ; sous la direction de Jean-Claude Fernandez / [S. l.] : [s. n.] , 2010

160351987 : Modélisation des systèmes synchrones en BIP [Ressource électronique] / Vasiliki Sfyrla ; sous la direction de Joseph Sifakis et de Marius Bozga / [S.l.] : [s.n.] , 2011

164938028 : Implémentation rigoureuse des systèmes temps-réels [Ressource électronique] / Tesnim Abdellatif ; sous la direction de Joseph Sifakis / [S.l.] : [s.n.] , 2012

004893565 : QUASAR [Texte imprimé] : une réalisation du système CESAR ; description, spécification et analyse des applications réparties / Schwartz Jean-Philippe ; sous la dir. de Joseph Sifakis / [S.l.] : [s.n.] , [1983]

167452738 : Logiques du temps arborescent pour la spécification et la preuve de programmes [Ressource électronique] / Susanne Graf ; sous la dir. de Joseph Sifakis / [S.l.] : [s.n.] , [1984]

004928962 : Logiques du temps arborescent pour la spécification et la preuve de programmes [Texte imprimé] / Susanne Graf ; sous la dir. de Joseph Sifakis / [S.l.] : [s.n.] , [1984]

006118321 : Spécification et validation de systèmes en Xesar [Texte imprimé] / Carlos Rodriguez / Carloz Rodriguez ; sous la direction de [Joseph Sifakis] / [S.l.] : [s.n.] , [1988]

008285268 : Cléo [Texte imprimé] : diagnostic des erreurs en Xesar / Anne Rasse ; sous la direction de [Joseph Sifakis] / Grenoble , [1990]

013262777 : Méthodes et outils pour la vérification symbolique de systèmes temporisés / Yovine Sergio / [Grenoble] , [1993]


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance