| Research Activities |
| Lancaster University (Lancaster) |
Jan. 2005 - now Lecturer (~ Assistant Professor) I am now a Lecturer at the Computing Department of Lancaster University in the UK. I teach courses about Operating Systems, Distributed systems, and Safety Critical Systems. I am a member of the Next Generation Middleware research group. |
| AT&T (New Jersey) |
Feb. 2004 - Dec. 2004 Post-Doctoral Studies / INRIA Scholarship Among other things, 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. |
| Grants and Scholarships |
| EPSRC | 2005 - 2008 The Divergent Grid: Dealing with Extreme Heterogeneity and Dynamicity in Next Generation Grid Middleware. Project in collaboration with Gordon Blair (PI for Lancaster), Geoff Coulson (CI), and UCL (University College London). Total value (Lancaster's side): £256,644 |
| INRIA | 2004 - 2005 Postdoc scholarship for a one year visit at the AT&T Shannon Laboratory (New Jersey) |
| French-German University |
1996 - 1998 Two year scholarship to study at the Stuttgart University |
| Service |
| Conference Organisation |
Fast-Abstract Chair: Sixth European Dependable Computing Conference (EDCC-6) |
| Programme Committees |
CCGrid 2007 Workshop on Context-Awareness and Mobility in Grid
Computing 27th International Conference on Distributed Computing Systems (ICDCS 2007) 21st Annual ACM Symposium on Applied Computing (SAC'06) 4th International Workshop on Middleware for Grid Computing (MGC 2006) 1st Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC) First International Workshop on Reliability in Decentralised Distributed Systems (RDDS 2006) Self-adaptability and self-management of context-aware systems (SELF'06) |
| 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) |
| Publications |
Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work.Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
IEEE Copyright Notice: © 2001-2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Proceedings[1] Proceedings of the 5th MiNEMA Workshop (Middleware for Network Eccentric and Mobile Applications)
François Taïani (Editor), 11-12 September 2007, Magdeburg, Germany (79 p.), complete document.
[2] A generic component model for building systems software 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
Geoff Coulson, Gordon Blair, Paul Grace, François Taïani, Ackbar Joolia, Kevin Lee, Jo Ueyama, Thirunavukkarasu Sivaharan, ACM Transactions on Computer Systems (TOCS) 26(1): (2008), p.1-42 (42p) DOI= http://doi.acm.org/10.1145/1328671.1328672, complete document.
[3] Intergiciels pour la tolérance aux fautes : état de l'art et défis
François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre, Revue des sciences et technologies de l'information, série TSI, Éditions Hermès Lavoisier, Vol. 25, n. 5, juin-juillet 2006, pp. 599-630 (32p.). Cet article (in French!) est basé sur les chapitres 1 et 3 de ma thèse de doctorat que vous pouvez télécharger ici.
[4] Facilitating Gossip Programming with the GossipKit Framework
Shen Lin, François Taïani, Gordon S. Blair, 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.
[5] Experiences with Open Overlays: A Middleware Approach to Network Heterogeneity 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
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.
[6] Component-based System Software: A Generic Approach
Jo Ueyama, François Taïani, Edmundo R. M. Madeira, Geoff Coulson, Paul Grace, Proceedings of the 21st Brazilian Symposium on Software Engineering (SBES07), João Pessoa, Brazil, Oct 07, complete document.
[7] Generalised Repair for Overlay Networks
Barry Porter, François Taïani and Geoff Coulson, In Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Leeds, UK, October 2 - 4, 2006, pp. 132-142 (11p.), complete document.
[8] Reflections on Aspects and Configurable Protocols 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
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.
[9] The Impact of Web Service Integration on Grid Performance
François Taïani, Matti Hiltunen, Rick Schlichting, The 14th IEEE International Symposium on High Performance Distributed Computing (HPDC-14), Research Triangle Park, NC, USA, 24-27 July, 2005, pp.14-23 (10 p.), complete document, presentation.
[10] A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures
François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The International Conference on Dependable Systems and Networks (DSN'2005), Yokohama, Japan, June 28 - July 1, 2005, pp.270-279 (10 p.), complete document, presentation.
[11] Implementing Simple Replication Protocols Using CORBA Portable Interceptors and Java Serialization
Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, François Taïani, The International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 28th - July 1, 2004, pp.549-554 (6 p.), complete document.
[12] Towards Implementing Multi-Layer Reflection for Fault-Tolerance
François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The International Conference on Dependable Systems and Networks (DSN'2003), San Francisco, CA, June 22nd-25th, 2003, pp.435-444 (10 p.), complete document, presentation.
[13] Principles of Multi-Level Reflection for Fault-Tolerant Architectures
François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian, The 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Tsukuba (Japon), 16-18 Décembre 2002, pp.59-66 (8 p.), complete document, presentation.
[14] Composing Real-Time Objects: a Case for Petri Nets and Girard's Linear Logic
François Taïani, Mario Paludetto, Jérome Delatour, The 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg (Germany), 2-4 May 2001, pp.298-305 (8 p.), complete document, presentation.
[15] Vérification d'objets temps réel à l'aide des réseaux de Petri et de la logique linéaire
François Taïani, Mario Paludetto, Jérome Delatour, Thierry Cros, Rapport LAAS No00483, 9th Conference on Real-time and Embedded Systems (RTS'2001), Paris (France), 6-8 Mars 2001, pp.65-77, (13p.), complete document.
[16] The Impact of Web Service Integration on Grid Performance
François Taïani, invited talk, IBM Hursley Technical Exchange (HTX'06), Hursley, UK, May 23, 2006, presentation. This talk extends over the results we presented in our
[17] 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.
[18] Using grid technologies to optimise a wireless sensor network for flood management 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
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.
[19] Past and future of reflective middleware: Towards a corpus-based impact analysis
François Taïani, Paul Grace, Geoff Coulson, Gordon Blair, To be presented at the 7th Workshop on Adaptive and Reflective Middleware (ARM'08), in collocation with the Middleware 2008 conference, December 1st 2008, Leuven, Belgium, (6p.).
[20] 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 (MiNEMA-08), in collocation with EuroSys 2008, April 1, 2008 Glasgow, Scotland (3 p.), complete document.
[21] 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.
[22] 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.
[23] A Generic Self-Repair Approach for Overlays
Barry Porter, Geoff Coulson, and François Taïani, International Workshop on Reliability in Decentralized Distributed systems (RDDS 2006), in conjunction with OnTheMove Federated Conferences (OTM'06), Montpellier, France, Oct 30, 2006 (10 p.), complete document.
[24] Modular Aspect Verification for Safer Aspect-Based Evolution
Nathan Weston, François Taïani, Awais Rashid, RAM-SE'05, 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution, Glasgow, Scotland, 25th of July 2005 (12 p.), complete document.
[25] 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.
[26] 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.).
[27] 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.
[28] 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.
[29] 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.).
[30] 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.
[31] 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.
[32] La Réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
François Taïani, Thèse de Doctorat de l'Université Paul Sabatier (Toulouse 3), soutenue le 12 janvier 2004 (154 p.), complete document. The slides of my presentation (in French and in English) can be found here.
[33] 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.
[34] 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.
| Teaching (2001-2003) |
| Education |
| LAAS-CNRS (Toulouse) |
Nov. 2000 - Jan. 2004 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) (Defense : 12th January 2004) |
| Universität Stuttgart |
1996-1998 Grade : 1.3 (Sehr Gut - would correspond to an 'A') Masters Studies ("Hauptstudium") in Computer Science |
| Centrale Paris | 1994-1996 Grade : 14.16 / 20 (in the top 10% best students) Masters Studies ("Ingéniorat") in Industrial Engineering |
| Lycée du Parc | 1992-1994 Undergraduate Studies (Mathematics and Physics Majors) |
| Language Skills |
| French | Native language |
| English | Fluent |
| German | I wish I were still fluent! (Ehrlich) |
| Spanish | Some knowledge |