[François Taïani] Publications

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

IEEE Copyright Notice: © 2001-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.

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

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

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

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

• [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, abstract, 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, abstract, 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), abstract, 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.), abstract, 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.), abstract, 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), abstract, 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), abstract, 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), abstract, 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), abstract, 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, abstract, 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., abstract, 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.), abstract, 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, abstract, 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, abstract, 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.), abstract, 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.), abstract, 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.), abstract, 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.), abstract, 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, abstract, complete document, http://www.teknea.com/RTS2001.HTM.

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

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

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

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

• [55] An Introduction to Gossip Protocols
  François Taïani, invited talk, ASCOLA Team (INRIA), Nantes (France), 6 December 2011, abstract, 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, abstract, 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, abstract, 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, abstract, 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, abstract, talk. This talk extends over the results we presented in our HPDC-14 article with the same name.

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

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

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

Back to Home

---

 

Last generated on 7 Feb 2012       f.taiani@lancaster.ac.uk