Plan du site
Actualités
- Archives
- Appel à contribution - SITIS 09
- Appel à contribution - SITIS 2010
- Début du cours RSX101
- Début du cours RSX101
- Début du cours RSX102
- Début du cours RSX112
- Début du cours RSX116
- Début du cours SMB137
- Début du cours SMB137
- Début du cours SMB137
- Nouvelle adresse
- Proposition de thèses LE2I - Dijon - 2009/2010
- Rubrique foire aux questions
- Rubrique foires aux questions sur SPIP
- Thèse CIFRE informatique 2010 - recherche candidat
Enseignement
- Enseignements en DUT/BUT Informatique et LP ISAM
- ITR3 - Méthodes Formelles
- ITR6 - Méthodes Formelles
- Module RSX112 - Sécurité et Réseaux
- Module SMB137 - Systèmes informatiques et applications concurrentes
- Programmation Objet
- Programmation Web
- RSX101 - Réseaux et télécommunications
- RSX102 - Technologies pour les applications client-serveur
- RSX116 - Réseaux mobiles et réseaux sans fil
FAQ
Recherche
- Écoles d’été/hiver
- Implications
- Logiciels
- Publications
- [BCHMMR09] An Integrated Framework for Web Services Orchestration
- [HMMR04a] A dense time semantics for Web services specifications languages.
- [HMMR04b] Modelling web services interoperability.
- [HMR06] Client synthesis for web services by way of a timed semantics.
- [HMR08] A Formal Semantics and a Client Synthesis for a BPEL Service
- [MBSR06] Verifying correctness of web services choreography.
- [MMR09] Extending SPARQL with Temporal Logic
- [MR08a] Formal Modeling and Discrete-Time Analysis of BPEL Web Services
- [MR08b] Formal modelling and discrete-time analysis of BPEL web
- [Rampacek06] Sémantique, interactions et langages de description des services web complexes.
- [Rampacek08] Formal Modeling and Discrete-Time Analysis of BPEL Web Services
- Séminaires
- Thèse de Doctorat
CV
Liens
- Développer un site web ?
- Indications pour rédiger un rapport en LaTeX
- Linux : distributions et documentations
