Dr François Taïani

Navigation

• Research Activities
• Industrial Work Experience
• Publications
• Grants and Scholarships
• Service
• Main Education
• Other Degrees

Research Activities

Lancaster University (Lancaster)	Jan. 2005 - now Lecturer (~ Assistant Professor) I am currently a Lecturer at the School of Computing and Communications of Lancaster University in the UK. I teach courses about Operating Systems, Distributed systems (middleware, cloud computing), Web programming, and Safety Critical Systems. I am a member of the Next Generation Middleware research group.
INRIA (Rennes)	Jan. 2011 - Dec. 2011 Invited Professor In 2011, I visited the ASAP research group (As Scalable As Possible) headed by Anne-Marie Kermarrec on a sabbatical leave from Lancaster. I worked on the Gossple project to develop and program novel approaches for peer-to-peer search and recommendation engines, in particular when including geolocation information.
AT&T (New Jersey)	Feb. 2004 - Dec. 2004 Post-Doctoral Studies / INRIA Scholarship At AT&T, I investigated the connectivity properties of the grid computing platform Globus. With my colleagues Matti Hiltunen and Rick Schlichting, I studied how profiling results could be visualised for such a complex middleware in a way that leverages the internal structure of the software and helps program comprehension.
LAAS-CNRS (Toulouse, France)	Nov. 2000 - Jan. 2004 Research Assistant During my Ph.D., I developed the "CosmOpen" reverse-engineering tool suite to analyze complex multi-level software. The suite is programmed in Java and C++, and contains circa 20,000 lines of code. It is distributed under the GNU General Public License, http://ftaiani.ouvaton.org/7-software/. I was an active member of the DSoS (Dependable Systems of Systems) IST European Project (2000-2003). I supervised with M.O. Killijian the development of the DAISY (Dependable Adaptive Interceptors & Serialization-based sYstem) prototyping platform, which was one of the project deliverables.
Twam (Toulouse, France)	Feb. 2000 - Nov. 2000 (8 months) Research Engineer I investigated the combined use of UML (Unified Modeling Language) and Petri nets for the development of real-time systems.
Daimler Benz (Stuttgart, Germany)	Dec. 1997 - July 1998 (8 months) Masters Thesis (Telematics Research Dept. ) I took part in a collaborative project with ADtranz and the Deutsche Bahn (the German railways) regarding the use of the new ETCS standard (European Train Control System). I developed a geographical data model for on-board digital maps.
Bayer AG (Cologne, Germany)	1996 and 1997 (5 months 1/2) Internship and Student Job (Computer Chemistry Dept.) I worked on the stochastic Simulation of Polyurethane Polymerization (FORTRAN).

Industrial Work Experience

ILOG GmbH (Frankfurt)

Sep. 1998 - Dec. 1999 (16 months) I was a marketing assistant for Germany and Austria (budget circa £ 60,000): I organized ILOG's participation at the CeBIT Fair (Hanover) and the SYSTEMS Fair (Munich). I also worked as a technical support, pre-sales engineer and consultant. I trained prospective customers on ILOG Java products.

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-2012 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.

Book Chapters

• [1] Overlay-based Middleware for the Pervasive Grid
  Paul Grace, Danny Hughes, Geoff Coulson, Gordon S. Blair, Barry Porter, François Taïani, Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, N. Antonopoulos, G. Exarchakos, M. Li, A. Liotta (Eds.) IGI, 31 January 2010, ISBN: 978-1615206865, http://www.amazon.com/Handbook-Research-Systems-Service-oriented-Computing/dp/1615206868, doi: http://dx.doi.org/10.4018/978-1-61520-686-5.ch042.

Proceedings

• [2] Proceedings of the 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing (MAACS '11)
  Ada Diaconescu, François Taïani, Philippe Lalanda (Program Chairs), in collocation with the 11th Int. Conf. on New Technologies of Dist. Sys. (NOTERE'11), 12 May 2011, Paris, France (33p). ACM, New York, NY. ISBN: 978-1-4503-0847-2, http://dl.acm.org/citation.cfm?id=2034649.

• [3] Proceedings of the 7th workshop on Reflective and adaptive middleware (ARM '08)
  François Taïani, Renato Cerqueira (Editors), in collocation with the Middleware 2008 conference, December 1st 2008, Leuven, Belgium, (57p.). ACM, New York, NY. ISBN:978-1-60558-367-9, http://portal.acm.org/citation.cfm?id=1462716.

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

Peer-Reviewed Journals

• [5] Exploiting a Generic Approach to Construct Component-Based Systems Software in Linux Environments
  Jó Ueyama, Edmundo R. M. Madeira, Francois Taiani, Raphael Y. Camargo, Paul Grace, Geoff Coulson, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Volume: 20, Issue: 6(2010) pp. 843-873 (31p), doi: http://dx.doi.org/10.1142/S0218194010004967.

• [6] CosmOpen: Dynamic reverse-engineering on a budget (journal version)
  François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre, Software: Practice and Experience, John Wiley & Sons, Ltd. 39(18): (Dec. 2009) pp. 1467-1514 (48p.), doi: http://dx.doi.org/10.1002/spe.943. This paper is an extended version of the technical report COMP-002-2008. You may also want to look at the slides of my corresponding talk.

• [7] 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), complete document, doi: http://doi.acm.org/10.1145/1328671.1328672.

  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

• [8] 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.), doi: http://dx.doi.org/10.3166/tsi.25.599-630. 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.

Peer-Reviewed Conferences

• [9] Geology: Modular Georecommendation In Gossip-Based Social Networks
  Juan M. Tirado, Anne-Marie Kermarrec, François Taïani, Florin Isaila, Jesus Carretero, To be presented at the The IEEE 32nd International Conference on Distributed Computing Systems (ICDCS 2012), June 18-21, 2012, Macau, China.

• [10] Reasoning about Faults in Aspect-Oriented programs: A Metrics-based Evaluation
  Rachel Burrows, François Taïani, Alessandro Garcia, Fabiano C. Ferrari, Proc. of the 19th IEEE International Conference on Program Comprehension (ICPC'2011), Kingston, Ontario, Canada 22 - 24 June, 2011, complete document, doi: http://dx.doi.org/10.1109/ICPC.2011.30.

• [11] Robustness of Automotive Applications Using Reflective Computing: Lessons learnt
  Jean-Charles Fabre, Marc-Olivier Killijian, François Taïani, To be presented in the 6th Dependable and Adaptive Distributed Systems (DADS'2011) Track of the 26th ACM Symposium on Applied Computing, March 21 - 25, 2011 Taichung, Taiwan, doi: http://doi.acm.org/10.1145/1982185.1982237.

• [12] Transparent Componentisation: High-level (Re)configurable Programming for Evolving Distributed Systems
  Shen Lin, Francois Taiani, Marin Bertier, Gordon S. Blair, Anne-Marie Kermarrec, 6th Dependable and Adaptive Distributed Systems (DADS'2011) Track of the 26th ACM Symposium on Applied Computing (SAC'2011), March 21 - 25, 2011 Taichung, Taiwan, pp. 203-208 (6p), complete document, talk, doi: http://doi.acm.org/10.1145/1982185.1982233.

  ACM Copyright Notice: © ACM, 2011. 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 Proceedings of the 26th ACM Symposium on Applied Computing (SAC'2011), http://doi.acm.org/10.1145/1982185.1982233

• [13] The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study
  Rachel Burrows, Fabiano C. Ferrari, Otavio A. L. Lemos, Alessandro Garcia, François Taïani, Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE'2010), Nov. 1-4, 2010 San Jose CA, USA, (10p.), complete document, doi: http://dx.doi.org/10.1109/ISSRE.2010.33.

• [14] Towards anomaly comprehension: Using structural compression to navigate profiling call-trees
  Shen Lin, Francois Taiani, Thomas C. Ormerod, Linden J. Ball, Proceedings of 2010 ACM Symposium on Software Visualization (SoftVis'2010), October 25-26, 2010, Salt Lake City, Utah, USA, Co-Located with IEEE VisWeek 2010 (10p.), complete document, talk, doi: http://doi.acm.org/10.1145/1879211.1879228. Check the tutorial and videos.

  ACM Copyright Notice: © ACM, 2010. 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 Proceedings of the 2010 ACM Symposium on Software Visualization (SOFTVIS'10), October 25-26, 2010, Salt Lake City, Utah, USA. Copyright 2010 ACM 978-1-4503-0028-5/10/10, http://doi.acm.org/10.1145/1879211.1879228

• [15] Exploiting Synergies Between Coexisting Overlays
  Shen Lin, François Taïani, Gordon S. Blair, Proceedings of the 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS-2009), June 9-12, 2009 Lisbon, Portugal, pp. 1-15 (14p), complete document, doi: http://dx.doi.org/10.1007/978-3-642-02164-0_1.

• [16] Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies
  Rachel Burrows, Alessandro Garcia, François Taïani, Proc. of 3rd & 4th Int. Conf. on Evaluation of Novel Approaches to Soft. Eng., ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected Papers, Springer Series Comm. in Comp. and Inf. Sc. (CCIS), Vol. 69, 2010, ISBN 978-3-642-14818-7, pp. 277-290 (14p), complete document, doi: http://dx.doi.org/10.1007/978-3-642-14819-4_20.

• [17] Facilitating Gossip Programming with the GossipKit Framework
  Shen Lin, François Taïani, Gordon S. Blair, Proceedings of the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS-2008), Oslo, Norway 4 - 6 June 2008, pp. 238-252 (14p), complete document, doi: http://dx.doi.org/10.1007/978-3-540-68642-2_19.

• [18] Experiences with Open Overlays: A Middleware Approach to Network Heterogeneity
  Paul Grace, Danny Hughes, Barry Porter, Gordon Blair, Geoff Coulson, François Taïani, Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (Eurosys 2008), Glasgow, Scotland 31st March - 4th April 2008, pp. 123-136 (13p), complete document, doi: http://doi.acm.org/10.1145/1352592.1352606.

  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

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

• [20] 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.), proceedings published by the IEEE Computer Society, ISBN~ISSN:1060-9857, 0-7695-2677-2., complete document, doi: http://doi.ieeecomputersociety.org/10.1109/SRDS.2006.23.

• [21] 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.), complete document, doi: http://doi.acm.org/10.1145/1119655.1119669.

  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

• [22] 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.), proceedings published by the IEEE Computer Society, ISBN:0-7803-9037-7, complete document, talk, doi: http://doi.ieeecomputersociety.org/10.1109/HPDC.2005.1520929.

• [23] 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.), proceedings published by the IEEE Computer Society, ISBN 0-7695-2282-3, complete document, talk, doi: http://doi.ieeecomputersociety.org/10.1109/DSN.2005.10.

• [24] 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.), complete document, doi: http://doi.ieeecomputersociety.org/10.1109/DSN.2004.1311924.

• [25] 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.), complete document, talk, doi: http://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209954.

• [26] 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.), complete document, talk, doi: http://doi.ieeecomputersociety.org/10.1109/PRDC.2002.1185619.

• [27] Composing Real-Time Objects: a Case for Petri Nets and Girard's Linear Logic
  François Taïani, Mario Paludetto, Jérome Delatour, Proc. of 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.), complete document, talk, doi: http://doi.ieeecomputersociety.org/10.1109/ISORC.2001.922853.

• [28] 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.) ISBN:2-87717-078-0, complete document, http://www.teknea.com/RTS2001.HTM.

Keynotes

• [29] Cloud Computing in the Biosciences
  François Taïani, Keynote speaker at the 2nd Summer School on Biogeodynamics and Earth System Sciences (BESS), funded by the Natural Environment Research Council (NERC, UK Research Council), the University of Padua, and organised by the Istituto Veneto di Scienze Lettere ed Arti.

• [30] Web-Services engines: Do we still understand what they are made of?
  François Taïani, Invited talk, 4th Workshop on Middleware for Service Oriented Computing (MW4SOC'09) of 10th ACM/IFIP/Usenix Int. Conf. on Middleware (Middleware 2009).

Demonstrations

• [31] The Lorien Dynamic Component Based OS
  Barry Porter, Utz Roedig, Francois Taiani, Geoff Coulson, presented at the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland - November 3-5, 2010 (3p), complete document, doi: http://doi.acm.org/10.1145/1869983.1870020.

  ACM Copyright Notice: © ACM, 2010. 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 Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys'10), held in Zurich, Switzerland - November 3-5, 2010, http://doi.acm.org/10.1145/1869983.1870020

• [32] Using a Grid-Enabled Wireless Sensor Network for Flood Management
  Greenwood P., Hughes D., Porter B., Grace P., Coulson G., Blair G., Taiani F., Pappenberger F., Smith P., Beven K., in the demonstration supplement of the 8th International Conference on Ubiquitous Computing (Ubicomp'06), September 2006., complete document.

• [33] 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), complete document, doi: http://doi.acm.org/10.1145/1182807.1182869.

  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 4th international Conference on Embedded Networked Sensor Systems (SenSys '06), held in Boulder, Colorado, USA, October 31 - November 03, 2006), http://doi.acm.org/10.1145/1182807.1182869

Workshops

• [34] Constellation: Programming decentralised social networks
  Anne-Marie Kermarrec, François Taïani, presented at the First Workshop on Languages for Distributed Algorithms (LADA-2012), Philadelphia, USA, 23-24 January 2012, co-located with POPL 2012, (3 p.), complete document, talk.

• [35] A comparison of static and dynamic component models for Wireless Sensor Networks
  Barry Porter, Utz Roedig, François Taïani, Geoff Coulson, presented at the First International Workshop on Networks of Cooperating Objects (CONET 2010), April 12th, 2010 - Stockholm, Sweden (11p.), complete document.

• [36] An Empirical Evaluation of Coupling Metrics on Aspect-Oriented Programs
  Rachel Burrows, Fabiano C Ferrari, Alessandro Garcia, François Taïani, In Proceedings of the Workshop on Emerging Trends in Software Metrics - (WETSoM @ ICSE 2010), held in collocation with the ACM/IEEE 32nd Int. Conf. on Software Engineering (ICSE'2010). ACM, New York, NY, ISBN: 978-1-60558-976-3, complete document, doi: http://doi.acm.org/10.1145/1809223.1809231.

  ACM Copyright Notice: © ACM, 2010. 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 Workshop on Emerging Trends in Software Metrics - (WETSoM @ ICSE 2010), held in collocation with the ACM/IEEE 32nd Int. Conf. on Software Engineering (ICSE'2010). ACM, New York, NY, http://doi.acm.org/10.1145/1809223.1809231

• [37] Count on me: Lightweight Ad-Hoc Broadcasting in Heterogeneous Topologies
  Carl Ellis, Hugo Miranda, François Taïani, In Proceedings of the Int. Workshop on Middleware For Pervasive Mobile and Embedded Computing (Urbana Champaign, Illinois, Nov. 30, 2009) M-PAC '09. , in collocation with the ACM/IFIP/USENIX 10th Int. Middleware Conf. (Middleware 2009). ACM, New York, NY, pp.1-6, ISBN:978-1-60558-849-0, complete document, talk, doi: http://doi.acm.org/10.1145/1657127.1657129.

  ACM Copyright Notice: © ACM, 2009. 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 Proceedings of the international Workshop on Middleware For Pervasive Mobile and Embedded Computing (Urbana Champaign, Illinois, November 30 - 30, 2009). M-PAC '09. ACM, New York, NY, p.1-6, http://doi.acm.org/10.1145/1657127.1657129

• [38] Some Challenges in Adaptive Fault Tolerant Computing
  François Taïani and Jean-Charles Fabre, Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, 14-15 May 2009 (2p.), complete document, talk.

• [39] Design of a Backup Network for Catastrophe Scenarios
  Sérgio Alves, Boris Koldehofe, Hugo Miranda, François Taïani, Proc. of the 2009 Int. Conf. on Wireless Communications and Mobile Computing (IWCMC'09), SESSION: Emergency management II, International Workshop on Advanced Topics in Mobile Computing for Emergency Management: Communication and Computing Platforms (MCEM 2009), June 21-24, 2009, Leipzig, Germany, pp.613-617, (6p.) ISBN:978-1-60558-569-7, complete document, doi: http://doi.acm.org/10.1145/1582379.1582512.

  ACM Copyright Notice: © ACM, 2009. 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 Proc. of the 2009 Int. Conf. on Wireless Communications and Mobile Computing: Connecting the World Wirelessly (Leipzig, Germany, June 21 - 24, 2009). IWCMC '09. ACM, New York, NY, p.613-617, http://doi.acm.org/10.1145/1582379.1582512

• [40] Past and future of reflective middleware: Towards a corpus-based impact analysis
  François Taïani, Paul Grace, Geoff Coulson, Gordon Blair, Proceedings of the 7th Workshop on Adaptive and Reflective Middleware (ARM'08), in collocation with the Middleware 2008 conference, December 1st 2008, Leuven, Belgium, pp.41-46 (6p.) ISBN:978-1-60558-367-9, complete document, talk, doi: http://doi.acm.org/10.1145/1462716.1462723.

  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 Proceedings of the 7th Workshop on Reflective and Adaptive Middleware (Leuven, Belgium, December 01 - 05, 2008), p.41-46., http://doi.acm.org/10.1145/1462716.1462723

• [41] Tailoring a broadcast algorithm to particular network conditions
  Carl Ellis, Hugo Miranda, François Taïani, Proceedings of the 6th Workshop on Middleware For Network Eccentric and Mobile Applications (Glasgow, Scotland, April 01 - 01, 2008). MiNEMA'08. ACM, New York, NY, pp.18-20. (3 p.) ISBN:978-1-60558-122-4, complete document, doi: http://doi.acm.org/10.1145/1435467.1435472.

  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 Proceedings of the 6th Workshop on Middleware For Network Eccentric and Mobile Applications (Glasgow, Scotland, April 01 - 01, 2008). MiNEMA '08. ACM, New York, NY, 18-20., http://doi.acm.org/10.1145/1435467.1435472

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

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

• [44] A Generic Self-Repair Approach for Overlays
  Barry Porter, Geoff Coulson, and François Taïani, Proceedings of the Int. Workshop on Reliability in Decentralized Distributed systems (RDDS 2006), held in conjunction with OnTheMove Federated Conferences (OTM'06), Montpellier, France, Oct 30, 2006, LNCS 4278/2006, Springer Verlag, pp.1490-1499 (10 p.) ISBN:978-3-540-48273-4, complete document, doi: http://dx.doi.org/10.1007/11915072_54.

• [45] Modular Aspect Verification for Safer Aspect-Based Evolution
  Nathan Weston, François Taïani, Awais Rashid, Proceedings of the 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'05), Glasgow, Scotland, 15th July 2005, W. Cazzola, S. Chiba, G. Saake, T. Tourwé (Eds.), Fakultät für Informatik, Universität Magdeburg 2005, pp.17-28 (12 p.), complete document.

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

• [47] 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.).

Technical Reports

• [48] Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
  Antonia Bertolino, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, Antinisca Di Marco, Paul Grace, Valérie Issarny, Marta Kwiatkowska, Fabio Martinelli, Paolo Masci, Ilaria Matteucci, Hongyang Qu, Mark Rouncefield, Rachid Saadi, Antonino Sabetta, Romina Spalazzese, Francois Taiani, Rapport INRIA 00465221, version 1, Deliverable D5.1, CONNECT, Project EU ICT-231162, February 2010, (118 p.), complete document, http://hal.inria.fr/inria-00465221/en/.

• [49] From stack traces to call-trees: outline of a proof
  François Taïani, Technical Report COMP-010-2009, Computing Department, Lancaster University, Jan. 2009, (11 p.), complete document.

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

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

• [52] 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.).

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

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

Talks

• [55] An Introduction to Gossip Protocols
  François Taïani, invited talk, ASCOLA Team (INRIA), Nantes (France), 6 December 2011, talk. This talk provides a brief introduction to gossip protocols, based on my visit of the ASAP team of Anne-Marie Kermarrec.

• [56] Deep & wide: Distributed programming in a large-scale fast-moving world (talk)
  François Taïani, invited talk, LAAS-CNRS, Toulouse (France), 20 July 2010, talk. This talk gives an overview of some recent research in the Next Generation Middleware group of Lancaster.

• [57] CosmOpen: Dynamic reverse engineering on a budget (talk)
  François Taïani, invited talk, DALI Research Group, Université de Perpignan Via Domitia (UPVD), Perpignan (France), 19 May 2009, talk. This talk presents the results discussed in the SP&E Journal paper with the same name.

• [58] Explorations in the Grid Computing Jungle
  François Taïani, invited talk, Opera Research Group, Computing Department, University of Cambridge, Cambridge (UK), 6 May 2008, talk. This talk is a new version of the HTX'06 talk.

• [59] 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, talk. This talk extends over the results we presented in our HPDC-14 article with the same name.

Thesis

• [60] Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools
  François Taïani, Mémoire d'Habilitation à Diriger des Recherches (HDR) de l'Université de Rennes 1, soutenue le 17 novembre 2011 (109 p.), complete document. The slides of my oral presentation can be found here.

• [61] 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 (169 p.), complete document. The slides of my presentation (in French and in English) can be found here.

• [62] 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.), complete document. Except for some minor layout corrections, you may get the same version on the Computer Science Faculty Server at Stuttgart University here.

Misc.

• [63] 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, 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.

Grants and Scholarships

As primary investigator (PI)

As co-investigator (CI)

Service

Conference Organisation	Programme Chair: Eighth European Dependable Computing Conference (EDCC-2010) Tutorials Chair: Tenth ACM/IFIP/Usenix Int. Conf. on Middleware (Middleware 2009) Fast-Abstract Chair: Sixth European Dependable Computing Conference (EDCC-6, 2005)
Workshop Organisation	Co-organiser: 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing (MAASC'11) Co-organiser: 7th Workshop on Adaptive and Reflective Middleware (ARM'08) Programme Coordinator: The 5th MiNEMA Workshop (Middleware For Network Eccentric And Mobile Applications (MiNEMA'2007)
Conference Programme Committees	42th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2012) 9th European Dependable Computing Conf. (EDCC 2012) 12th Int. IFIP Conf. on Distributed Applications and Interoperable Systems (DAIS 2012) 27th ACM Symposium on Applied Computing (ACM SAC 2012) 2012 IEEE Int. Conf. on Service Oriented Computing and Applications (SOCA 2012) 12th ACM/IFIP/USENIX Int. Middleware Conf. (Middleware 2011) 41th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2011) 40th IEEE/IFIP Int. Conf. on Dependable Sys. and Networks (DSN 2010) 11th Int. IFIP Conf. on Distributed Applications and Interoperable Systems (DAIS 2011) La 11ème Conf. Int.e sur les NOuvelles Technologies de la REpartition (NOTERE 2011) 26th ACM Symposium on Applied Computing (ACM SAC 2011) 29th IEEE Int. Symposium on Reliable Distributed Systems (SRDS 2010) 2010 IEEE Int. Conf. on Service-Oriented Comp. and Applications (SOCA 2010) ACM/IFIP/Usenix 11th Int. Conf. on Middleware (Middleware 2010) 40th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2010) 25st Annual ACM Symposium on Applied Computing (ACM SAC 2010) 10th ACM/IFIP/Usenix Int. Conf. on Middleware (Middleware 2009) 7th European Dependable Computing Conf. (EDCC 2008) 27th IEEE Int. Conf. on Distributed Computing Systems (ICDCS 2007) Int. Conf. on Complex Open Distributed Systems (CODS 2007) 33rd Int. Conf. on Current Trends in Theory and Practice of Comp. Sc. (SOFSEM 2007) 21st Annual ACM Symposium on Applied Computing (ACM SAC 2006)
Workshop Programme Committees	10th Int. Workshop on Adaptive and Reflective Middleware (ARM 2011) 6th Workshop on Middleware for Service Oriented Computing (MW4SOC 2011) 3rd Int. Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2011) 2nd Int. Workshop on Green Computing Middleware (GCM 2011) Int. Workshop on Clouds for Enterprises (C4E 2011) 13th European Workshop on Dependable Computing (EWDC 2011) 4th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI 2011) Workshop on Exception Handling in Contemporary Software Systems (EHCoS 2011) 9th Workshop on Adaptive and Reflective Middleware (ARM 2010) 2nd Int. Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010) 5th Workshop on Middleware for Service Oriented Computing (MW4SOC 2010) 1st Int. Workshop on Green Computing Middleware (GCM 2010) 1st Int. workshop on Validation and Verification of Dynamic Software Systems (ViDaS'10) 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems (WMUPS 2009) 4th Int. Workshop on Exception Handling (WEH 2008) 8th Workshop on Adaptive and Reflective Middleware (ARM 2009) Fifth Middleware Doctoral Symposium (MDS 2008) Int. workshop on Middleware for Network Eccentric & Mobile Applications (MiNEMA'08) DSN 2008 Workshop on Architecting Dependable Systems (WADS) 3rd Int. Workshop On Reliability in Decentralized Distributed Sys. (RDDS-08) 2nd Int. Workshop On Reliability in Decentralized Distributed Systems (RDDS-06) 1st Int. Workshop On Reliability in Decentralized Distributed Sys. (RDDS-07) Workshop on Dependable Application Support in Self-Organising Networks (DASSON 2007) Workshop on Context-Awareness and Mobility in Grid Computing (WCAMG 07) 4th Int. Workshop on Middleware for Grid Computing (MGC 2006) 1st Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006) 1st Int. Workshop on Reliability in Decentralized Distributed systems (RDDS 2006)
Reviewer	I have been a reviewer on major conferences and journals in distributed systems and dependability: DSN (The IEEE/IFIP International Conference on Dependable Systems and Networks), PODC (The ACM Symposium on Principles of Distributed Computing), SRDS (The IEEE Symposium on Reliable Distributed Systems), Software: Practice and Experience (journal), IEEE TSE (IEEE Transactions on Software Engineering), MC2R (ACM SIGMOBILE Mobile Computing and Communications Review), IEEE DSO (Distributed System Online)

Main Education

Université de Rennes 1 (France)	Nov. 2011 HDR (Habilitation à Diriger des Recherches) Habilitation Thesis: "Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools" obtained from Université de Rennes 1 (France). Defence panel: Anne-Marie Kermarrec (President), Laurence Duchien (Reviewer), Pascal Felber (Reviewer), Rick Schlichting (Reviewer), Jean-Charles Fabre (Examiner), Hugues Fauconnier (Examiner), and Rachid Guerraoui (Examiner). (Defence : 17 November 2011)
LAAS-CNRS (Toulouse, F)	Nov. 2000 - Jan. 2004 Ph.D. (Grade: Highly Honourable) Ph.D. Thesis: "Reflection in Multi-Level Software Architecture : Application on Fault-Tolerant Systems" Advisers: Jean-Charles Fabre (Research Director (DR), CNRS) and Marc-Olivier Killijian (Research Associate (CR), CNRS) carried out at the Laboratory for Analysis and Architecture of Systems (LAAS), in the TSF Group (Dependable Computing and Fault Tolerance) (Defence : 12th January 2004)
Universität Stuttgart (Germany)	1996-1998 Diplom der Informatik (Grade : 1.3, Sehr Gut - would correspond to an 'A') Masters Studies ("Hauptstudium") in Computer Science
Centrale Paris (France)	1994-1996 Ingéniorat (Grade : 14.16 / 20, in the top 10% best students) Masters Studies ("Ingéniorat") in Industrial Engineering
Lycée du Parc (Lyon, F)	1992-1994 Undergraduate Studies (Mathematics and Physics Majors)

Other Degrees

Lancaster University (UK)

2007 Postgraduate Certificate in Academic Practice (CAP) This degree of 32 ECTS credits (equivalent to half a year of study) trains to teaching in higher education, both at undergraduate and graduate levels.