Pr François Taïani

Navigation

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

Research Activities

Inria (Rennes, FR)	Jan. 2018 - now Lead of the WIDE Research Team Since Jan 2018, I lead the WIDE research team at Inria / IRISA, a 15+ strong group of researchers, academics, and PhD students focusing on the design, evaluation and implementation of large-scale distributed computer systems (from geodistributed applications to IoT ecosystems).
Université de Rennes 1 (Rennes, FR)	Nov. 2012 - now Professeur des Universités Since November 2012, I am a "Professeur des Universités" (roughly covering the span from Associate to Full Professor in France) at the Université de Rennes 1 in Rennes, France. I teach system courses at the École Supérieure d'Ingénieurs de Rennes (ESIR). From 2012 to 2016 I served as Director of Teaching of ESIR, and from April 2015 to December 2017, I headed the ASAP research group (As Scalable As Possible) of IRISA - Inria Rennes, which focuses on large scale distributed computer systems.
Lancaster University (Lancaster, UK)	Jan. 2005 - Oct. 2012 Lecturer (~ Assistant Professor) For almost 8 years, I worked as a Lecturer at the School of Computing and Communications of Lancaster University in the UK. There, I taught courses about Operating Systems, Distributed systems (middleware, cloud computing), Web programming, and Safety Critical Systems. I was a member of the Next Generation Middleware research group.
INRIA (Rennes, FR)	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 Labs & Research (New Jersey, USA)	Feb. 2004 - Dec. 2004 Visiting Scholar 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, FR)	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 SA (Toulouse, FR)	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) Diplomand (MSc Thesis), Consultant (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) Praktikant, Werkstudent (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-2020 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, and François Taïani, Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, ISBN: 978-1-61520-686-5, pp. 981-1002, IGI, 2010, http://www.amazon.com/Handbook-Research-Systems-Service-oriented-Computing/dp/1615206868.

Proceedings

• [2] Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers
  Andreas Podelski, and François Taïani, Lecture Notes in Computer Science, volume 11028, ISBN 978-3-030-05528-8, Springer, 2019.

• [3] Proceedings of the 15th International Middleware Conference
  Laurent Réveillère, Lucy Cherkasova, and François Taïani, Bordeaux, France, December, ISBN 978-1-4503-2785-5, ACM, 2014 (334p.), http://dl.acm.org/citation.cfm?id=2663165.

• [4] Proceedings of the Distributed Applications and Interoperable Systems - 13th IFIP WG 6.1 International Conference, DAIS 2013
  Jim Dowling, and François Taïani, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June, Lecture Notes in Computer Science, volume 7891, ISBN 978-3-642-38540-7, Springer, 2013, http://dx.doi.org/10.1007/978-3-642-38541-4.

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

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

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

Peer-Reviewed Journals

• [8] Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks
  Hicham Lakhlef, Michel Raynal, and François Taïani, IEEE Transactions on Parallel and Distributed Systems, , volume , issue , pp. 1-14, 2018 (14p.).

• [9] Want to scale in centralized systems? Think P2P
  Anne-Marie Kermarrec, and François Taïani, J. Internet Services and Applications, volume 6, issue 1, pp. 16:1-16:12, 2015 (12p.), complete document. (available in Open Access)

• [10] GossipKit: A Unified ComponentFramework for Gossip
  François Taïani, Shen Lin, and Gordon S. Blair, IEEE Trans. Software Eng., volume 40, issue 2, pp. 123-136, 2014 (17p.), complete document.

• [11] PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family (journal version)
  Christopher Winstanley, Rajiv Ramdhany, François Taïani, Barry Porter, and Hugo Miranda, J. Internet Services and Applications, volume 5, issue 1, Springer, 2014 (16p.), complete document. (available in Open Access)

• [12] Exploiting a Generic Approach to Construct Component-Based Systems Software in Linux Environments
  Jo Ueyama, Edmundo R. M. Madeira, François Taïani, Raphael Y. de Camargo, Paul Grace, and Geoff Coulson, International Journal of Software Engineering and Knowledge Engineering, volume 20, issue 6, pp. 843-873, 2010 (31p.).

• [13] COSMOPEN: dynamic reverse engineering on a budget. How cheap observation techniques can be used to reconstruct complex multi-level behaviour
  François Taïani, Marc-Olivier Killijian, and Jean-Charles Fabre, Software: Practice and Experience, volume 39, issue 18, pp. 1467-1514, John Wiley & Sons, Ltd., 2009 (48p.). This paper is an extended version of the technical report <link-publi file=RAPPORTS/2008_CosmopenTR2008.html>COMP-002-2008</link-publi>. You may also want to look at the <link-resource file=cosmopen-talk-WebVersion.pdf>slides</link-resource> of my corresponding <a href=<get-var site_root/>TALKS/RL2009-Perpignan.ref>talk</a>.

• [14] A generic component model for building systems software
  Geoff Coulson, Gordon Blair, Paul Grace, François Taïani, Ackbar Joolia, Kevin Lee, Jo Ueyama, and Thirunavukkarasu Sivaharan, ACM Trans. Comput. Syst., New York, NY, USA, Mars, volume 26, pp. 1:1-1:42, ACM, 2008 (42p.), 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

• [15] Intergiciels pour la tolérance aux fautes : état de l'art et défis
  François Taïani, Marc-Olivier Killijian, and Jean-Charles Fabre, Technique et Science Informatiques, volume 25, issue 5, pp. 599-630, 2006 (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.

Peer-Reviewed Conferences

• [16] Robust Privacy-Preserving Gossip Averaging
  Amaury Bouchra Pilet, Davide Frey, and François Taïani, SSS 2019 - 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, Pisa, Italy, November, pp. 38-52, Springer, 2019 (15p.).

• [17] Byzantine-Tolerant Set-Constrained Delivery Broadcast
  Alex Auvolat, Michel Raynal, and François Taïani, OPODIS 2019 - International Conference on Principles of Distributed Systems, Neuchâtel, Switzerland, December, pp. 1-23, 2019 (23p.).

• [18] Merkle Search Trees: Efficient State-Based CRDTs in Open Networks
  Alex Auvolat, and François Taïani, SRDS 2019 - 38th IEEE International Symposium on Reliable Distributed Systems, Lyon, France, October, pp. 1-10, IEEE, 2019 (10p.).

• [19] Fingerprinting Big Data: The Case of KNN Graph Construction (short paper)
  Rachid Guerraoui, Anne-Marie Kermarrec, Olivier Ruas, and François Taïani, 35th IEEE International Conference on Data Engineering (ICDE 2019), Macao, China, April, pp. 1738-1741, IEEE, 2019 (4p.).

• [20] Sprinkler: A probabilistic dissemination protocol to provide fluid user interaction in multi-device ecosystems
  Adrien Luxey, Yérom-David Bromberg, Fábio M Costa, Vinícius Lima, Ricardo Da Rocha, and François Taïani, IEEE International Conference on Pervasive Computing and Communications (PerCom 2018), Athens, Greece, Mars, pp. 1-10, 2018 (10p.).

• [21] Weighting Past on the Geo-Aware State Deployment Problem (Short Paper)
  Diogo Lima, Hugo Miranda, and François Taïani, 19th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM 2018), Chania, Greece, June, pp. 1-3, IEEE Computer Society, 2018.

• [22] Nobody cares if you liked Star Wars: KNN graph construction on the cheap
  Anne-Marie Kermarrec, Olivier Ruas, and François Taïani, Europar 2018, Turin, Italy, August, LNCS, volume 11014, pp. 419-431, Springer, 2018 (12p.).

• [23] CASCADE: Reliable Distributed Session Handoff for Continuous Interaction across Devices
  Yérom-David Bromberg, Adrien Luxey, and François Taïani, 38th IEEE International Conference on Distributed Computing Systems (ICDCS 2018), Vienna, Austria, July, pp. 244-254, IEEE, 2018.

• [24] Mind the Gap: Autonomous Detection of Partitioned MANET Systems using Opportunistic Aggregation
  Simon Bouget, Yérom-David Bromberg, Hugues Mercier, Etienne Rivière, and François Taïani, 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 2018), Salvador, Brazil, October, pp. 1-10, IEEE, 2018.

• [25] Pleiades: Distributed Structural Invariants at Scale
  Simon Bouget, Yérom David Bromberg, Adrien Luxey, and François Taïani, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), Luxembourg, June, pp. 542-553, 2018 (12p.).

• [26] Simulation of partial replication in Distributed Transactional Memory
  Diogo Lima, Hugo Miranda, and François Taïani, 2017 Wireless Days, Porto, Portugal, Mars, pp. 54-59, IEEE, 2017.

• [27] Agar: A Caching System for Erasure-Coded Data
  Raluca Halalai, Pascal Felber, Anne-Marie Kermarrec, and François Taïani, 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, GA, USA, June, pp. 23-33, IEEE Computer Society, 2017, complete document.

• [28] Filament: A Cohort Construction Service for Decentralized Collaborative Editing Platforms
  Ariyattu C. Resmi, and François Taïani, 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2017), Neuchâtel, Switzerland, June, pp. 146-160, 2017, complete document.

• [29] Scalable Anti-KNN: Decentralized Computation of k-Furthest-Neighbor Graphs with HyFN
  Simon Bouget, Yérom-David Bromberg, François Taïani, and Anthony Ventresque, 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2017), Neuchâtel, Switzerland, June, pp. 101-114, 2017, complete document.

• [30] Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks
  Abdelmadjid Bouabdallah, Hicham Lakhlef, Michel Raynal, and François Taïani, 31st IEEE International Conference on Advanced Information Networking and Applications (AINA 2017), Taipei, Taiwan, Mars, pp. 399-406, IEEE Computer Society, 2017.

• [31] Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks
  Hicham Lakhlef, Michel Raynal, and François Taïani, 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS 2016), Aarhus, Denmark, August, 2016 (16p.), complete document.

• [32] Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems
  Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, and François Taïani, 35th Symposium on Reliable Distributed Systems (SRDS 2016), Budapest, Hungary, September, 2016 (10p.), complete document.

• [33] Mignon: a Fast Decentralized Content Consumption Estimation in Large-Scale Distributed Systems
  Stéphane Delbruel, Davide Frey, and François Taïani, 16th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2016), Heraklion, Greece, June, Lecture Notes in Computer Science, volume 9687, pp. 32-46, Springer, 2016 (14p.), complete document.

• [34] Being prepared in a sparse world: the case of KNN graph construction
  Antoine Boutet, Anne-Marie Kermarrec, Nupur Mittal, and François Taïani, 32nd IEEE International Conference on Data Engineering (ICDE'16), Helsinki, Finland, May, pp. 172-181, 2016 (12p.), complete document, talk.

• [35] Exploring The Use of Tags for Georeplicated Content Placement
  Stéphane Delbruel, Davide Frey, and François Taïani, IEEE International Conference on Cloud Engineering (IC2E), Berlin, Germany, April, IEEE Computer Society, 2016, complete document. Best paper award

• [36] Hide & Share: Landmark-based Similarity for Private KNN Computation
  Antoine Boutet, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Antoine Rault, François Taïani, and Jingjing Wang, 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'15), Rio de Janeiro, Brazil, June, 2015 (12p.), complete document.

• [37] Scaling Out Link Prediction with SNAPLE: 1 Billion Edges and Beyond
  Anne-Marie Kermarrec, François Taïani, and Juan M. Tirado, 16th ACM/IFIP/USENIX International Middleware Conference, Vancouver, Canada, 7-11 December, pp. 247-258, 2015 (12p.), complete document, talk.

  ACM Copyright Notice: © ACM, 2015. 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 16th Annual Middleware Conference (Middleware '15)

• [38] Fisheye Consistency: Keeping Data in Synch in a Georeplicated World
  Roy Friedman, Michel Raynal, and François Taïani, Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers, LNCS 9466, Agadir, Morocco, May, pp. 246-262, Springer International Publishing, 2015 (15p.), complete document.

• [39] Fluidify: Decentralized Overlay Deployment in a Multi-cloud World
  A. C. Resmi, and François Taïani, Proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS'15), Grenoble, France, 2-4 June, pp. 1-15, 2015 (14p.), complete document.

• [40] Cheap and Cheerful: Trading Speed and Quality for Scalable Social-Recommenders
  Anne-Marie Kermarrec, François Taïani, and Juan M. Tirado, Proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS'15), Grenoble, France, 2-4 June, pp. 138-151, 2015 (14p.), complete document.

• [41] Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders
  Davide Frey, Anne-Marie Kermarrec, Christopher Maddock, Andreas Mauthe, Pierre-Louis Roman, and François Taïani, Proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS'15), Grenoble, France, 2-4 June, pp. 51-65, 2015 (14p.), complete document.

• [42] Polystyrene: the Decentralized Data Shape That Never Dies
  Simon Bouget, Hoel Kervadec, Anne-Marie Kermarrec, and François Taïani, 2014 IEEE 34th International Conference on Distributed Computing Systems (ICDCS'14), June, pp. 288-297, 2014 (10p.), complete document, talk.

• [43] Cliff-Edge Consensus: Agreeing on the Precipice
  François Taïani, Barry Porter, Geoff Coulson, and Michel Raynal, Parallel Computing Technologies, Lecture Notes in Computer Science, volume 7979, pp. 51-64, ISBN 978-3-642-39957-2, Springer Berlin Heidelberg, 2013 (14p.), complete document.

• [44] Geology: Modular Georecommendation In Gossip-Based Social Networks
  Jesús Carretero, Florin Isaila, Anne-Marie Kermarrec, François Taïani, and Juan M. Tirado, IEEE 32nd International Conference on Distributed Computing Systems (ICDCS 2012), Macau, China, June, IEEE Computer Society, 2012 (10p.), complete document.

• [45] Transparent componentisation: high-level (re)configurable programming for evolving distributed systems
  Shen Lin, François Taïani, Marin Bertier, Gordon S. Blair, and Anne-Marie Kermarrec, Proceedings of the 2011 ACM Symposium on Applied Computing (SAC'11), TaiChung, Taiwan, Mars, pp. 203-208, ISBN 978-1-4503-0113-8, ACM, 2011 (6p.), complete document, talk.

  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)

• [46] Robustness of automotive applications using reflective computing: lessons learnt
  Jean-Charles Fabre, Marc-Olivier Killijian, and François Taïani, Proceedings of the 2011 ACM Symposium on Applied Computing, 6th Dependable and Adaptive Distributed Systems Track (SAC-DADS'2011) (SAC'11), TaiChung, Taiwan, Mars, pp. 230-235, ISBN 978-1-4503-0113-8, ACM, 2011 (6p.), complete document.

  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 2011 ACM Symposium on Applied Computing (SAC'2011)

• [47] Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation
  Rachel Burrows, François Taïani, Alessandro Garcia, and Fabiano C. Ferrari, The 19th IEEE International Conference on Program Comprehension, ICPC 2011, Kingston, ON, Canada, June, pp. 131-140, ISBN 978-1-61284-308-7, IEEE Computer Society, 2011 (10p.), complete document.

• [48] Towards anomaly comprehension: using structural compression to navigate profiling call-trees
  Shen Lin, François Taïani, Thomas C. Ormerod, and Linden J. Ball, Proceedings of the 5th international symposium on Software visualization (SOFTVIS'10), Salt Lake City, Utah, USA, October, pp. 103-112, ISBN 978-1-4503-0028-5, ACM, 2010 (10p.), complete document, talk.

  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

• [49] The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study
  Rachel Burrows, Fabiano C. Ferrari, Otávio A. L. Lemos, Alessandro Garcia, and François Taïani, IEEE 21st International Symposium on Software Reliability Engineering (ISSRE'10), San Jose, CA, USA, November, pp. 329-338, IEEE Computer Society, 2010 (10p.), complete document.

• [50] Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies
  Rachel Burrows, Alessandro Garcia, and François Taïani, Proceedings of 3rd & 4th International Conferences on the Evaluation of Novel Approaches to Software Engineering, (ENASE 2008 / 2009), Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected Papers, Springer Series Communications in Computer and Information Sciences (CCIS), volume 69, pp. 277-290, Springer Verlag, 2010 (14p.), complete document.

• [51] Exploiting Synergies between Coexisting Overlays
  Shen Lin, François Taïani, and Gordon S. Blair, Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS'09), Lisbon, Portugal, 9-12 June, pp. 1-15, ISBN 978-3-642-02163-3, Springer-Verlag, 2009 (15p.), complete document.

• [52] Facilitating gossip programming with the GossipKit framework
  Shen Lin, François Taïani, and Gordon S. Blair, Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems (DAIS'08), Oslo, Norway, 4-6 June, pp. 238-252, ISBN 3-540-68639-8, 978-3-540-68639-2, Springer-Verlag, 2008 (15p.), complete document.

• [53] Experiences with open overlays: a middleware approach to network heterogeneity
  Paul Grace, Danny Hughes, Barry Porter, Gordon S. Blair, Geoff Coulson, and François Taïani, Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (Eurosys'08), Glasgow, Scotland UK, Mars, pp. 123-136, ISBN 978-1-60558-013-5, ACM, 2008 (14p.), 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)

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

• [55] Reflections on aspects and configurable protocols
  Matti Hiltunen, François Taïani, and Richard Schlichting, Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD'06), Bonn, Germany, Mars, pp. 87-98, ISBN 1-59593-300-X, ACM, 2006 (12p.), 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

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

• [57] The impact of Web service integration on grid performance
  François Taïani, Matti Hiltunen, and Richard Schlichting, Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing (HPDC-14), Research Triangle Park, NC, USA, July, pp. 14-23, ISBN 0-7803-9037-7, IEEE Computer Society, 2005 (10p.), complete document, talk.

• [58] A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures
  François Taïani, Jean-Charles Fabre, and Marc-Olivier Killijian, Proceedings of the 35th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2005), DCCS Track, Yokohama, Japan, June, pp. 270-279, ISBN 0-7695-2282-3, IEEE Computer Society, 2005 (10p.), complete document, talk.

• [59] 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, Eric Marsden, and François Taïani, Proceedings of the 34th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'04), DCCS Track, Florence, Italy, June, pp. 549-554, ISBN 0-7695-2052-9, IEEE Computer Society, 2004 (6p.), complete document.

• [60] Towards Implementing Multi-Layer Reflection for Fault-Tolerance
  François Taïani, Jean-Charles Fabre, and Marc-Olivier Killijian, Proceedings of the 33rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'03), San Francisco, CA, USA, June, pp. 435-444, 2003 (10p.), complete document, talk.

• [61] Principles of Multi-Level Reflection for Fault Tolerant Architectures
  François Taïani, Jean-Charles Fabre, and Marc-Olivier Killijian, Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02), Tsukuba (Japan), December, pp. 59-66, ISBN 0-7695-1852-4, IEEE Computer Society, 2002 (8p.), complete document, talk.

• [62] 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, and Thierry Cros, Proceedings of the 9th Conference on Real-time and Embedded Systems (RTS'2001), ISBN:2-87717-078-0, Paris (France), 6-8 Mars, pp. 65-77, Teknea, 2001 (13p.), complete document, http://www.teknea.com/RTS2001.HTM.

• [63] Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear Logic
  François Taïani, Mario Paludetto, and Jérome Delatour, Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg (Germany), 2-4 May, pp. 298-305, ISBN 0-7695-1089-2, IEEE Computer Society, 2001 (8p.), complete document, talk.

Keynotes

• [64] Pleiades: Distributed Structural Invariants at Scale (lecture)
  François Taïani, Invited lecture at the 4th GDR RSD and ASF Winter School on Distributed Systems and Networks 2019, France, February, 2019. This talk in an extended version of the results discussed in the DSN 2018 paper with the same name.

• [65] Large-Scale Systems And Self-Organization (lecture)
  François Taïani, Invited Lecture at the Doctoral School on "Interoperability and automatic adaptation for novel generation middleware systems" organized by the Conférence universitaire de Suisse occidentale (CUSO, Wester Switzerland University Conference), Neuchâtel, Switzerland, 26-27 November, 2015, talk.

• [66] Engineering Scale: Software and Distribution for Tomorrow's World (keynote)
  François Taïani, Keynote presentation at the Journées Nationales 2015 of the GDR GPL (France's research federation on software engineering and programming), Bordeaux, France, 9-12 June, 2015, talk.

• [67] Deconstructing Complex Distributed Platforms: A Report From the Trenches (keynote)
  François Taïani, keynote speaker at the 9th International Workshop on Automated Specification and Verification of Web Systems, Florence, Italie, June, Electronic Proceedings in Theoretical Computer Science , volume 123, p. 2, 2013, complete document, talk.

• [68] Cloud Computing in the Biosciences (lecture)
  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, Venice, Italy, 10-17 June, 2011.

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

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

Workshops

• [71] Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds
  Diogo Lima, Hugo Miranda, and François Taïani, 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC'16), Trento, Italy, December, pp. 1 - 6, 2016.

• [72] Bringing secure Bitcoin transactions to your smartphone
  Davide Frey, Marc X. Makkes, Pierre-Louis Roman, François Taïani, and Spyros Voulgaris, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware (ARM 2016), Trento, Italy, December, pp. 3:1-3:6, ACM, 2016.

• [73] Decentralized view prediction for global content placement
  Stéphane Delbruel, Davide Frey, and François Taïani, Middleware 2015 : ARM Workshop, Vancouver, Canada, December, 2015 (3p.).

• [74] Holons: towards a systematic approach to composing systems of systems
  Gordon Blair, Yérom-David Bromberg, Geoff Coulson, Yehia Elkhatib, Laurent Réveillère, Heverson Borba Ribeiro, Etienne Rivière, and François Taïani, The 14th International Workshop on Adaptive and Reflective Middleware (ARM 2015), Vancouver, France, December, 2015.

• [75] Concept Vocabularies in Programmer Sociolects (Work in Progress)
  Rice Jackie, Bradley Ellert, Inge Genee, François Taïani, and Paul Rayson, PPIG 2014 - 25th Annual Conference, Psychology of Programming Interest Group (PPIG), Brighton, United Kingdom, June, 2014 (6p.), complete document.

• [76] Towards a New Model for Cyber Foraging
  Diogo Lima, Hugo Miranda, and François Taïani, Proceedings of the 13th Workshop on Adaptive and Reflective Middleware (ARM'14), Bordeaux, France, pp. 6:1-6:6, ISBN 978-1-4503-3232-3, ACM, New York, NY, USA, 2014 (6p.), complete document.

  ACM Copyright Notice: © ACM, 2014. 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 13th Workshop on Reflective and Adaptive Middleware (ARM 2014, Bordeaux, France, December 9, 2014).

• [77] Adaptation for the Masses: Towards Decentralized Adaptation in Large-scale P2P Recommenders
  Davide Frey, Anne-Marie Kermarrec, Christopher Maddock, Andreas Mauthe, and François Taïani, Proceedings of the 13th Workshop on Adaptive and Reflective Middleware (ARM'14), Bordeaux, France, pp. 4:1-4:6, ISBN 978-1-4503-3232-3, ACM, New York, NY, USA, 2014 (6p.), complete document.

  ACM Copyright Notice: © ACM, 2014. 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 13th Workshop on Reflective and Adaptive Middleware (ARM 2014, Bordeaux, France, December 9, 2014).

• [78] PAMPA in the Wild: A Real-life Evaluation of a Lightweight Ad-hoc Broadcasting Family
  Christopher Winstanley, Rajiv Ramdhany, François Taïani, Barry Porter, and Hugo Miranda, Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks (MidSens'12), Montreal, Quebec, Canada, pp. 3:1-3:6, ISBN 978-1-4503-1610-1, ACM, New York, NY, USA, 2012 (6p.), complete document. Best Paper Award

  ACM Copyright Notice: © ACM, 2012. 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 Middleware Tools, Services and Run-time Support for Networked Embedded Systems (MidSens 2012, Montreal, Canada, December 4, 2012)

• [79] What is Middleware Made of?: Exploring Abstractions, Concepts, and Class Names in Modern Middleware
  François Taïani, Jackie Rice, and Paul Rayson, Proceedings of the 11th International Workshop on Adaptive and Reflective Middleware (ARM'12), Montreal, Quebec, Canada, pp. 6:1-6:6, ISBN 978-1-4503-1609-5, ACM, New York, NY, USA, 2012 (6p.), complete document, talk.

  ACM Copyright Notice: © ACM, 2012. 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 11th Workshop on Reflective and Adaptive Middleware (ARM 2012, Montreal, Canada, December 4, 2012).

• [80] Diverging towards the common good: Heterogeneous Self-Organisation in Decentralised Recommenders
  Anne-Marie Kermarrec, and François Taïani, to be presented at EuroSys 2012 5th Workshop on Social Network Systems (SNS'2012), in collocation with the ACM SIGOPS EuroSys Conference, Bern, Switzerland, 10 April, 2012 (6p.), complete document.

  ACM Copyright Notice: © ACM, 2012. 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 In Proceedings of the Fifth Workshop on Social Network Systems (SNS '12). ACM, New York, NY, USA, Article 1 , 6 pages

• [81] Constellation: Programming decentralised social networks
  Anne-Marie Kermarrec, and François Taïani, 3 pages, presented at the 1st International Workshop for Languages for Distributed Algorithms (LADA-2012), Philadelphia, USA, 23-24 January 2012, co-located with POPL 2012: 39th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, November, 2012 (3p.), complete document, talk.

• [82] Content and Geographical Locality in User-generated Content Sharing Systems
  Kévin Huguenin, Anne-Marie Kermarrec, Konstantinos Kloudas, and François Taïani, Proceedings of the 22Nd International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV'12), Toronto, Ontario, Canada, pp. 77-82, ISBN 978-1-4503-1430-5, ACM, New York, NY, USA, 2012 (6p.), complete document.

  ACM Copyright Notice: © ACM, 2012. 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 In Proceedings of The 22nd ACM Workshop on Network and Operating Systems Support for Digital Audio and Video. ACM, New York, NY, USA, 6 pages

• [83] From CPU to GP-GPU: Challenges and Insights in GPU-based Environmental Simulations
  Jools Chadwick, François Taïani, and Jonathan Beecham, Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science (MGC'12), Montreal, Quebec, Canada, pp. 6:1-6:6, ISBN 978-1-4503-1608-8, ACM, New York, NY, USA, 2012 (6p.), complete document.

  ACM Copyright Notice: © ACM, 2012. 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 10th International Workshop on Middleware for Clouds and e-science (MGC 2012, Montreal, Canada, December 3, 2012).

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

• [85] An empirical evaluation of coupling metrics on aspect-oriented programs
  Rachel Burrows, Fabiano C. Ferrari, Alessandro Garcia, and François Taïani, Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics, in collocation with the ACM/IEEE 32nd Internation Conf. on Software Engineering (ICSE) (WETSoM'10), Cape Town, South Africa, 4 May, pp. 53-58, ISBN 978-1-60558-976-3, ACM, Cape Town, South Africa, 2010 (6p.), complete document.

  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

• [86] 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, Rapport LAAS n. 09169 , Toulouse, France, May, pp. 3 pages, 2009 (2p.), complete document, talk.

• [87] Count on me: lightweight ad-hoc broadcasting in heterogeneous topologies
  Carl Ellis, Hugo Miranda, and François Taïani, Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing, in collocation with the ACM/IFIP/USENIX 10th Int. Middleware Conf. (Middleware 2009) (M-PAC'09), Urbana Champaign, Illinois, pp. 1:1-1:6, ISBN 978-1-60558-849-0, ACM, 2009 (6p.), complete document, talk.

  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

• [88] Design of a backup network for catastrophe scenarios
  Sérgio Alves, Boris Koldehofe, Hugo Miranda, and 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) (IWCMC'09), Leipzig, Germany, pp. 613-617, ISBN 978-1-60558-569-7, ACM, 2009 (5p.), complete document.

  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

• [89] Past and future of reflective middleware: towards a corpus-based impact analysis
  François Taïani, Paul Grace, Geoff Coulson, and Gordon Blair, Proceedings of the 7th workshop on Reflective and adaptive middleware, in collocation with the ACM/IFIP/USENIX 9th Int. Middleware Conf. (Middleware 2008) (ARM'08), Leuven, Belgium, pp. 41-46, ISBN 978-1-60558-367-9, ACM, 2008 (6p.), complete document, talk.

  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.

• [90] Tailoring a broadcast algorithm to particular network conditions
  Carl Ellis, Hugo Miranda, and François Taïani, Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications (MiNEMA'08), Glasgow, Scotland, pp. 18-20, ISBN 978-1-60558-122-4, ACM, 2008 (3p.), 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 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.

• [91] 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), held in conjunction with iFM 2007: integrated Formal Methods, Technical report CS-TR-1032, Newcastle University, UK, July, pp. 95-102, 2007 (8p.), complete document.

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

• [93] A Generic Self-repair Approach for Overlays
  Barry Porter, Geoff Coulson, and François Taïani, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Lecture Notes in Computer Science, volume 4278, pp. 1490-1499, ISBN 978-3-540-48273-4, Springer Berlin / Heidelberg, 2006 (10p.), complete document.

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

• [95] CosmOpen: A Reverse-Engineering Tool for Complex Open-Source Architectures
  François Taïani, DSN-03 supplemental volume, Student Forum of DSN'03, The International Conference on Dependable Systems and Networks, San Francisco, CA, June, pp. A49-A51, 2003 (3p.), complete document.

• [96] Modeling vs. Checking with UML
  François Taïani, and Mario Paludetto, Proceedings of MOdelling and VErification of Parallel processes (MOVEP'2k), Nantes (France), June, pp. 228-233, 2000 (6p.).

Demonstrations

• [97] The Lorien dynamic component based OS
  Barry Porter, Utz Roedig, François Taïani, and Geoff Coulson, Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys'10), Zürich, Switzerland, pp. 355-356, ISBN 978-1-4503-0344-6, ACM, 2010 (2p.), complete document.

  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

• [98] Using grid technologies to optimise a wireless sensor network for flood management
  Danny Hughes, Phil Greenwood, Barry Porter, Paul Grace, Geoff Coulson, Gordon Blair, Francois Taiani, Florian Pappenberger, Paul Smith, and Keith Beven, Proceedings of the 4th international conference on Embedded networked sensor systems (SenSys'06), Boulder, Colorado, USA, pp. 389-390, ISBN 1-59593-343-3, 2006 (2p.), 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 4th international Conference on Embedded Networked Sensor Systems (SenSys '06), held in Boulder, Colorado, USA, October 31 - November 03, 2006)

• [99] Using a Grid-Enabled Wireless Sensor Network for Flood Management
  Phil Greenwood, Danny Hughes, Barry Porter, Paul Grace, Goeff Coulson, Gordon Blair, Taïani François, Florian Pappenberger, Paul Smith, and Keith Beven, the demonstration supplement of the 8th International Conference on Ubiquitous Computing (Ubicomp'06), Orange County, CA, USA, September, 2006, complete document.

Talks

• [100] Pleiades: Distributed Structural Invariants at Scale (talk)
  François Taïani, Delyss/Whisper Inria Team Retrait, Inria, Saint-Valéry, France, June, 2018, talk. This talk presents the results discussed in the DSN 2018 paper with the same name.

• [101] Being prepared in a sparse world: the case of KNN graph construction (talk)
  François Taïani, Invited Talk by the DCL Lab, EPFL, Lausanne, Switzerland, January, 2018, talk. This talk presents the results discussed in the ICDE 2016 paper with the same name.

• [102] Being prepared in a sparse world: the case of KNN graph construction (talk)
  François Taïani, Invited Seminar of the Inria Project Team TAO, Inria Saclay, France, May, 2016, talk. This talk presents the results discussed in the ICDE 2016 paper with the same name.

• [103] Being prepared in a sparse world: the case of KNN graph construction (talk)
  François Taïani, Séminaire invité (invited seminar) du Département Informatique et télécommunications (DIT) de l'ENS Rennes, France, September, 2016, talk. This talk presents the results discussed in the ICDE 2016 paper with the same name.

• [104] Protection et passage à l'échelle dans les grands réseaux sociaux (talk)
  François Taïani, invited talk, colloque La politique des données personnelles : big data ou contrôle individuel ?, Institut Rhône-Alpin des Systèmes Complexes (IXXI), ENS Lyon, 21 novembre 2013, 2013, talk.

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

• [106] 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, 2010, talk. This talk gives an overview of some recent research in the Next Generation Middleware group of Lancaster.

• [107] 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, May, 2009, talk. This talk presents the results discussed in the SP&E Journal paper with the same name.

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

Technical Reports

• [109] Fisheye Consistency: Keeping Data in Synch in a Georeplicated World (report)
  Roy Friedman, Michel Raynal, and François Taïani, November, Research Report number 2022, 2014 (23p.), complete document, https://hal.inria.fr/hal-01081186.

• [110] Conceptual Models for Assessment and 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, and Francois Taiani, Deliverable D5.1, CONNECT, Project EU ICT-231162, Rocquencourt (F), February, Rapport INRIA number 00465221 version 1, 2010 (118p.), complete document, http://hal.inria.fr/inria-00465221/en/.

• [111] From stack traces to call-trees: outline of a proof
  François Taïani, Lancaster (UK), January, number COMP-010-2009, 2009 (11p.), complete document.

• [112] On the convergent detection of crashed regions in overlay networks
  Barry Porter, François Taïani, and Geoff Coulson, 10, Lancaster (UK), February, number COMP-010-2008, 2008 (10p.), complete document.

• [113] CosmOpen: Dynamic reverse-engineering on a budget
  François Taïani, Marc-Olivier Killijian, and Jean-Charles Fabre, Lancaster (UK), February, number COMP-002-2008, 2008 (38p.), complete document.

• [114] 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, and François Taïani, DSoS, Project IST-1999-11585, Toulouse (F), Mars, Rapport LAAS number No02441, 2003 (103p.).

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

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

Thesis

• [117] Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools
  François Taïani, Habilitation à Diriger des Recherches, Université de Rennes 1, Rennes (F), 17 November, 2011 (109p.), complete document, talk.

• [118] La Réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
  François Taïani, Thèse de Doctorat, Université Paul Sabatier (Toulouse 3), Toulouse (F), 12 January, 2004 (169p.), complete document. You may also be interested to look at the slides of my talk (in French and in English)

• [119] Datenstruktur und Anwendung eines digitalen Streckenatlas für den Schienenverkehr
  François Taïani, Universität Stuttgart, Stuttgart (Germany), 1998 (171p.), 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.

• [120] 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 May, pp. 52-57, 2002, 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 Co-Chair: 15th ACM/IFIP.Usenix International Middleware Conference (Middleware 2014) Programme Co-Chair: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS-2013) 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) 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), Concurrency and Computation: 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) performed 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 Masters Studies ("Hauptstudium") in Computer Science
École Centrale Paris (France)	1994-1996 Diplôme d'ingénieur 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.