François Taïani

Activités de Recherche

Lancaster University (Lancaster)	Jan. 2005 - présent Lecturer (~ Maître de Conférence) Je suis maintenant Lecturer dans le Département d'Informatique de l'Université de Lancaster au Royaume Uni. J'y enseigne les systèmes opératoires, les systèmes distribués et les systèmes critiques. J'y travaille étroitement avec les autres membre du groupe Next Generation Middleware.
AT&T (New York)	Fév. 2004 - Déc. 2004 Études post-doctorales bourse INRIA Durant ce séjour post-doctoral j'ai, entre autres, étudié la connectivité de la plate-forme de grille de calcul (grid computing) Globus. Je me suis en particulier penché sur la manière dont une propriété observable de l'extérieur comme la latence des communications pouvait être projetée de façon automatique sur la structure d'un intergiciel de cette complexité pour aider à sa compréhension.
LAAS-CNRS (Toulouse)	Nov. 2000 - Déc. 2003 Doctorat et recherches complémentaires. Réalisation d'un outil de rétro-conception orienté multi-niveaux d'abstraction, nommé "CosmOpen", distribué en source libre GPL. (http://ftaiani.ouvaton.org/7-software/) Participation à l'action de recherche du projet européen IST DSoS (Dependable Systems of Systems): Collaboration à la réalisation du Modèle Conceptuel du projet (voir publications). Coordination (avec M.O. Killijian) et co-programmation (avec 5 autres collègues) de la plate-forme de démonstration DAISY (Dependable Adaptive Interceptors & Serialization based sYstem) présentée à la journée de dissémination du projet.
Twam (Toulouse)	Fév. - Nov. 2000 (8 mois) CIFRE - Interrompue suite à la mise en faillite de la société Ingénieur recherche : pré-étude d'une méthodologie de développement de logiciels embarqués associant UML et concepts formels (Réseaux de Petri, Logique Linéaire)
Daimler Benz (Stuttgart)	Déc. 1997 - Juillet 1998 (8 mois) Projet de fin d'études (Dépt. de Recherche en Télématique) Coopération avec ADtranz pour un projet de la Deutsche Bahn relatif au nouveau standard ETCS (European Train Control System)
Bayer AG (Cologne)	1996 et 1997 (5 mois 1/2) Stage & CDDs (Dépt. de Chimie Informatique) Étude de la polymérisation de polyuréthanes par simulation stochastique (FORTRAN)

Autres Expériences Professionnelles

ILOG GmbH (Francfort)

Sept. 1998 - Déc. 1999 (16 mois) CSNE Support Technique. Consultant. Formateur aux produits ILOG (Java). Responsable marketing opérationnel pour l'Allemagne: organisation de la participation d'ILOG au CeBIT (Hanovre) et à SYSTEMS (Munich).

Publications

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work.Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

IEEE Copyright Notice: © 2001-2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

• [1] Proceedings of the 5th MiNEMA Workshop (Middleware for Network Eccentric and Mobile Applications)
  François Taïani (Editor), 11-12 September 2007, Magdeburg, Germany (79 p.), document complet.

• [2] A generic component model for building systems software
  Geoff Coulson, Gordon Blair, Paul Grace, François Taïani, Ackbar Joolia, Kevin Lee, Jo Ueyama, Thirunavukkarasu Sivaharan, ACM Transactions on Computer Systems (TOCS) 26(1): (2008), p.1-42 (42p) DOI= http://doi.acm.org/10.1145/1328671.1328672, document complet.

  ACM Copyright Notice: © ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Computer Systems (TOCS) 26(1): (2008), p.1-42, http://doi.acm.org/10.1145/1328671.1328672

• [3] Intergiciels pour la tolérance aux fautes : état de l'art et défis
  François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre, Revue des sciences et technologies de l'information, série TSI, Éditions Hermès Lavoisier, Vol. 25, n. 5, juin-juillet 2006, pp. 599-630 (32p.). Cet article (in French!) est basé sur les chapitres 1 et 3 de ma thèse de doctorat que vous pouvez télécharger ici.

• [4] Facilitating Gossip Programming with the GossipKit Framework
  Shen Lin, François Taïani, Gordon S. Blair, to be presented at the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS-2008), Oslo, Norway 4 - 6 June 2008 (14p).

• [5] Experiences with Open Overlays: A Middleware Approach to Network Heterogeneity
  Paul Grace, Danny Hughes, Barry Porter, Gordon Blair, Geoff Coulson, François Taïani, to be presented at the European Conference on Computer Systems, (Eurosys 2008), Glasgow, Scotland 31st March - 4th April 2008 (13p), document complet.

  ACM Copyright Notice: © ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 3rd ACM Sigops/Eurosys European Conference on Computer Systems 2008 (Glasgow, Scotland UK, April 01 - 04, 2008), http://doi.acm.org/10.1145/1352592.1352606

• [6] Component-based System Software: A Generic Approach
  Jo Ueyama, François Taïani, Edmundo R. M. Madeira, Geoff Coulson, Paul Grace, Proceedings of the 21st Brazilian Symposium on Software Engineering (SBES07), João Pessoa, Brazil, Oct 07, document complet.

• [7] Generalised Repair for Overlay Networks
  Barry Porter, François Taïani and Geoff Coulson, In Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Leeds, UK, October 2 - 4, 2006, pp. 132-142 (11p.), document complet.

• [8] Reflections on Aspects and Configurable Protocols
  Matti Hiltunen, François Taïani, Rick Schlichting, The Fifth International Conference on Aspect-Oriented Software Development (AOSD.06), Bonn, Germany, March 20-24, 2006, pp.87-98 (12 p.), document complet.

  ACM Copyright Notice: © ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 5th International Conference on Aspect-Oriented Software Development, March 20-24 2006, Bonn Germany, http://doi.acm.org/10.1145/1119655.1119669

• [9] The Impact of Web Service Integration on Grid Performance
  François Taïani, Matti Hiltunen, Rick Schlichting, The 14th IEEE International Symposium on High Performance Distributed Computing (HPDC-14), Research Triangle Park, NC, USA, 24-27 July, 2005, pp.14-23 (10 p.), document complet, présentation.

• [10] A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures
  François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The International Conference on Dependable Systems and Networks (DSN'2005), Yokohama, Japan, June 28 - July 1, 2005, pp.270-279 (10 p.), document complet, présentation.

• [11] Implementing Simple Replication Protocols Using CORBA Portable Interceptors and Java Serialization
  Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, François Taïani, The International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 28th - July 1, 2004, pp.549-554 (6 p.), document complet.

• [12] Towards Implementing Multi-Layer Reflection for Fault-Tolerance
  François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The International Conference on Dependable Systems and Networks (DSN'2003), San Francisco, CA, June 22nd-25th, 2003, pp.435-444 (10 p.), document complet, présentation.

• [13] Principles of Multi-Level Reflection for Fault-Tolerant Architectures
  François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Tsukuba (Japon), 16-18 Décembre 2002, pp.59-66 (8 p.), document complet, présentation.

• [14] Composing Real-Time Objects: a Case for Petri Nets and Girard's Linear Logic
  François Taïani, Mario Paludetto, Jérome Delatour, The 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg (Germany), 2-4 May 2001, pp.298-305 (8 p.), document complet, présentation.

• [15] Vérification d'objets temps réel à l'aide des réseaux de Petri et de la logique linéaire
  François Taïani, Mario Paludetto, Jérome Delatour, Thierry Cros, Rapport LAAS No00483, 9th Conference on Real-time and Embedded Systems (RTS'2001), Paris (France), 6-8 Mars 2001, pp.65-77, (13p.), document complet.

• [16] The Impact of Web Service Integration on Grid Performance
  François Taïani, invited talk, IBM Hursley Technical Exchange (HTX'06), Hursley, UK, May 23, 2006, présentation. This talk extends over the results we presented in our HPDC-14 article with the same name.

• [17] Using grid technologies to optimise a wireless sensor network for flood management
  Phil Greenwood, Danny Hughes, Barry Porter, Paul Grace, Geoff Coulson, Gordon Blair, Francois Taiani, Florian Pappenberger, Paul Smith, Keith Beven, Proceedings of the 4th international Conference on Embedded Networked Sensor Systems (SenSys '06), held in Boulder, Colorado, USA, October 31 - November 03, 2006). ACM Press, New York, NY, pp.389-390 (3p).

• [18] Tailoring a broadcast algorithm to particular network conditions
  Carl Ellis, Hugo Miranda, François Taïani, to be presented at the 6th Workshop on Middleware for Network Eccentric and Mobile Applications (MiNEMA-08), in collocation with EuroSys 2008, April 1, 2008 Glasgow, Scotland (3 p.).

• [19] GossipKit: A Framework of Gossip Protocol Family
  Shen Lin, François Taïani, Gordon S. Blair, Proceedings of the 5th MiNEMA Workshop (Middleware for Network Eccentric and Mobile Applications), 11-12 September 2007, Magdeburg, Germany, p.26-30 (5 p.), document complet.

• [20] Interaction Analysis for Fault-Tolerance in Aspect-Oriented Programming
  Nathan Weston, François Taïani, and Awais Rashid, Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT), July 3, 2007, Oxford, UK, held in conjunction with iFM 2007: integrated Formal Methods, Technical report CS-TR-1032, Newcastle University, UK, pp. 95-102 (8 p.), document complet.

• [21] A Generic Self-Repair Approach for Overlays
  Barry Porter, Geoff Coulson, and François Taïani, International Workshop on Reliability in Decentralized Distributed systems (RDDS 2006), in conjunction with OnTheMove Federated Conferences (OTM'06), Montpellier, France, Oct 30, 2006 (10 p.), document complet.

• [22] Modular Aspect Verification for Safer Aspect-Based Evolution
  Nathan Weston, François Taïani, Awais Rashid, RAM-SE'05, 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution, Glasgow, Scotland, 25th of July 2005 (12 p.), document complet.

• [23] CosmOpen: A Reverse-Engineering Tool for Complex Open-Source Architectures
  François Taïani, Rapport LAAS No03226 Student Forum of DSN'03, The International Conference on Dependable Systems and Networks, San Francisco, CA, June 22nd-25th, 2003, pp.A49-A51 (3 p.), document complet.

• [24] Modeling vs. Checking with UML
  François Taïani, Mario Paludetto, Rapport LAAS No00236 MOdelling and VErification of Parallel processes (MOVEP'2k), Nantes (France), 19-23 Juin 2000, p.228-233 (6 p.).

• [25] On the convergent detection of crashed regions in overlay networks
  Barry Porter, François Taïani, Geoff Coulson, Technical Report COMP-010-2008, Computing Department, Lancaster University, Feb. 2008, (10 p.), document complet.

• [26] CosmOpen: Dynamic reverse-engineering on a budget
  François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre, Technical Report COMP-002-2008, Computing Department, Lancaster University, Feb. 2008, (38 p.), document complet.

• [27] Dependable Systems of Systems: Final Version of Conceptual Model
  Marie-Claude Gaudel, Valérie Issarny, Cliff Jones, Hermann Kopetz, Eric Marsden, Nick Moffat, Michael Paulitsch, David Powell, Brian Randell, Alexander Romanovsky, Robert Stroud, François Taïani, Rapport LAAS No02441, DSoS, Project IST-1999-11585, Mars 2003, (103 p.).

• [28] Model Checking And Object Orientation: A Tool Overview
  François Taïani, Mario Paludetto, Thierry Cros, Rapport LAAS No00379 Contrat de Recherche LAAS-Twam Informatique N° 413/99, Sept.2000, (30 p.), document complet.

• [29] Avoiding State Explosion: A Brief Introduction To Binary Branching Diagrams And Petri Net Unfoldings
  François Taïani, Mario Paludetto, Thierry Cros, Rapport LAAS No00377 Contrat de Recherche LAAS-Twam Informatique N° 413/99, Sept.2000, (14 p.), document complet.

• [30] La Réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
  François Taïani, Thèse de Doctorat de l'Université Paul Sabatier (Toulouse 3), soutenue le 12 janvier 2004 (154 p.), document complet. The slides of my presentation (in French and in English) can be found here.

• [31] Datenstruktur und Anwendung eines digitalen Streckenatlas für den Schienenverkehr
  François Taïani, Stuttgart University, Computer Science Faculty, Master Thesis Nr. 1623 (1998), German, (171 p.), document complet. Except for some minor layout corrections, you may get the same version on the Computer Science Faculty Server at Stuttgart University here.

• [32] Adaptabilité et tolérance aux fautes : intérêt des intergiciels réflexifs face à l'évolutivité des systèmes informatiques
  François Taïani, Rapport LAAS No02192 3ème Congrès des Doctorants de l'Ecole Doctorale Systèmes, Toulouse (France), 22-23 Mai 2002, pp.52-57, document complet.

Copies / Mises-à-jour : N'hésitez pas à me contacter si vous souhaiter obtenir une copie d'un papier qui n'est pas disponible en ligne.

Implication dans l'Administration de la Recherche

LAAS	Avril 2001 - Mars 2003 Élu suppléant au Conseil de Laboratoire Participation aux réunions de préparation du Conseil de Laboratoire par les élus. Participation à la campagne de sensibilisation des doctorants lors du vote de renouvellement du CL en Mars 2003.
LAAS	Janvier - Octobre 2002 Nommé à la Commission des Statuts Participation à la réflexion sur la nouvelle organisation du laboratoire et à la rédaction des nouveaux statuts, à l'occasion du renouvellement de direction.
École Doctorale Systèmes	Juin 2001 - Déc. 2002 Représentant des doctorants au Conseil de l'École
Conférence MAJECSTIC'03	MAnifestation des JEunes Chercheurs STIC, les 29-31 octobre 2003, Marseille Membre du comité de programme
Conférence DSN	The IEEE/IFIP International Conference on Dependable Systems and Networks Reviewer en 2002, 2003 et 2004
Conférence PODC	The ACM Symposium on Principles of Distributed Computing Reviewer en 2004
Conférence SRDS	The IEEE Symposium on Reliable Distributed Systems Reviewer en 2004

Enseignement

Cours Magistraux (60h)

• Génie Logiciel Temps réel
  Année   : DESS Systèmes Intelligents (Université Paul Sabatier)
  Volume : 13h (+ 5 de TD) en 2001-2002 et en 2002-2003
  
• Génie Logiciel
  Année   : 3éme année cycle ingénieur (ENSEEIHT (INPT))
  Volume : 14h en 2001-2002, 20h en 2002-2003
  

• Conception Orientée Objets
  Année   : 2éme année cycle ingénieur (ENSICA)
  Volume : 20h en 2001-2002, 12h30 en 2002-2003
  
• TP de C++
  Année   : 2éme année cycle ingénieur (Automatique Électronique Informatique) (INSA Toulouse)
  Volume : 12h en 2000-2001 et en 2001-2002
  
• TP de Java
  Année   : 2éme année cycle ingénieur (Génie Informatique et Industriel) (INSA Toulouse)
  Volume : 15h en 2002-2003
  

Cursus Universitaire

LAAS-CNRS (Toulouse)	Nov. 2000- Jan. 2004 Thèse de doctorat: La Réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes. Directeurs de thèse: Jean-Charles Fabre, Directeur de Recherche au CNRS, et Marc-Olivier Killijian, Chargé de Recherche au CNRS, Travail effectué au Laboratoire d'Analyse et d'Architecture des Système (LAAS) dans le groupe TSF (Tolérance aux fautes et Sûreté de Fonctionnement informatique) Soutenance : 12 janvier 2004
Universität Stuttgart	1996-1998 2d Cycle (Hauptstudium) à la Faculté d'Informatique (reconnu comme valant dispense de DEA par l'École Doctorale Systèmes de Toulouse)
Centrale Paris	1994-1996 Études d'ingénieur généraliste
Lycée du Parc	1992-1994 Classes prépa. : mathématiques supérieures puis spéciales M'
Baccalauréat	1992 Filière C mention Très Bien

Langues

Anglais	Courant (première langue vivante)
Allemand	Courant (3 ans 1/2 en Allemagne)
Espagnol	Lu, écrit, parlé (seconde langue vivante)

Divers

Théâtre Amateur

Textes et improvisation