[François Taïani] 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.), abstract, complete document.

• [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, abstract, complete document.

  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.), abstract. 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), abstract.

• [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), abstract, complete document.

  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, abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

  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.), abstract, complete document, presentation.

• [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.), abstract, complete document, presentation.

• [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.), abstract, complete document.

• [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.), abstract, complete document, presentation.

• [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.), abstract, complete document, presentation.

• [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.), abstract, complete document, presentation.

• [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.), abstract, complete document.

• [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, abstract, presentation. 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), abstract.

• [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.), abstract.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document.

• [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.), abstract, complete document. 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.), abstract, complete document. 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, abstract, complete document.

Copies / Update: Please contact me by email if you wish to obtain a copy of a paper that is not available on line.

Back to Home

---

 

Last generated on 4 Sep 2008       francois.taiani@comp.lancs.ac.uk