Blog

Présentation de la mention

Вид материала

Документы

Содержание

Responsable : Claude DUTHEILLET

Подобный материал:

A few slides from the Presentation, 31.45kb.
На русском и английском языках, 160.31kb.
Стандарт університету, 259.5kb.
International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.

1 ... 84 85 86 87 88 89 90 91 ... 133

Acronyme : msr	Spécialité : SAR	3 ECTS	Niveau : 500	Semestre : S3
Titre : Modélisation formelle de systèmes répartis
Responsable : Claude DUTHEILLET		Répartition hebdomadaire ou semestrielle
		(CM: 20h00/5 semaines)(TD/TME: 10h00/5 semaines)
Contenu La vérification d'un système se fait par la mise en oeuvre de méthodes utilisant une représentation formelle du fonctionnement de ce système. Le but de ce module est de montrer comment formaliser les caractéristiques du système nécessaires à la vérification des propriétés que l'on souhaite établir. Nous y présentons des outils adaptés aux différentes phases de la modélisation.
Expérience du responsable dans le domaine de l’UE Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, ma recherche s’est poursuivie dans ce domaine, notamment en exploitant les symétries intrinséques du système pour réduire la représentation du graphe des états accessibles. Je m’intéresse aussi à la prise en compte de caractéristiques temporelles dans la représentation du système, dans le but d’obtenir des résultats en moyenne sur le comportement quantitatif du système.
Réalisations du responsable dans le domaine de l’UE S. Baarir, C. Dutheillet, S. Haddad, J.-M. Ilié : "On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets", QEST05. Y. Thierry-Mieg, C. Dutheillet, I. Mounier : "Automatic Symmetry Detection in Well-Formed Nets", ICATPN 2003 L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Towards Performance Analysis with Partially Symmetrical SWN", MASCOT'99 C. Dutheillet, J.-M. Ilié, D. Poitrenaud, I. Vernier-Mounier : "State-Space-Based Methods and Model Checking", in Petri nets for Systems Engineering L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Exploiting Partial Symmetries for Markov Chain Aggregation", ENTCS, vol. 39

Acronyme : msv	Spécialité : SAR	3 ECTS	Niveau : 500	Semestre : S3
Titre : Musique et science au XXème siècle
Responsable : Georges Bloch		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Ce cours expose les mouvements d'idées dans la musique au XXème siècle et leurs relations avec les sciences et les technologies.
Expérience du responsable dans le domaine de l’UE Maître de conférences à l'Université de Strasbourg et compositeur.
Réalisations du responsable dans le domaine de l’UE