International Conferences

2012

1. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility of Data-Centric Web Services. In WS-FM, 8th International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science, 2012.

2011

1. Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. In Data and Applications Security and Privacy XXV, Yingjiu Li (ed.), Pages 90-105, 2011.
2. Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau Method and NEXPTIME-completeness of DEL-sequents. In Proceedings of Methods for Modalities (M4M 2011), ENTCS, 2011.
3. Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Fé Ingrand, Axel Legay, Rongjie Yan. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. In Software Composition,, Volume, Pages 116-132, 2011.
4. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. In NASA Formal Methods,, Volume, Pages 453-458, 2011.
5. Nathalie Bertrand, Blaise Genest. Minimal Disclosure in Partially Observable Markov Decision Processes. In 31th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Volume LIPIcs, 2011.
6. Anne Bouillard, Aurore Junier. Worst-case delay bounds with fixed priorities using network calculus. In Proc. of Valuetools'2011, 2011.
7. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Symbolic model checking of software product lines. In ICSE,, Volume, Pages 321-330, 2011.
8. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011.
9. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny B\ogsted Poulsen, Jonas van Vliet, Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. In FORMATS,, Volume, Pages 80-96, 2011.
10. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang. Time for Statistical Model Checking of Real-Time Systems. In CAV,, Volume, Pages 349-355, 2011.
11. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. In VMCAI, Lecture Notes in Computer Science, Volume 6538, Pages 324-339, 2011.
12. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. APAC: A Tool for Reasoning about Abstract Probabilistic Automata. In QEST,, Volume, Pages 151-152, 2011.
13. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Decision Problems for Interval Markov Chains. In LATA,, Volume, Pages 274-285, 2011.
14. Uli Fahrenberg, Axel Legay, Andrzej Wasowski. Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, Pages 490-500, 2011.
15. Uli Fahrenberg, Claus Thrane, Kim G. Larsen. Distances for Weighted Transition Systems: Games and properties. In QAPL, Electronic Proceedings in Theoretical Computer Science, Volume 57, Pages 134-147, 2011.
16. Uli Fahrenberg, Axel Legay, Claus Thrane. The Quantitative Linear-Time-Branching-Time Spectrum. In FSTTCS, LIPIcs, 2011.
17. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. Robust Specification of Real Time Components. In FORMATS,, Volume, Pages 129-144, 2011.
18. James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens. Distributed Event Clock Automata - Extended Abstract. In CIAA,, Volume, Pages 250-263, 2011.
19. Ajay Kattepur. Importance Sampling of Probabilistic Contracts in Web Services. In 9th International Conference on Service-Oriented Computing (ICSOC), Pages 557-565, 2011.
20. Ajay Kattepur, Albert Benveniste, Claude Jard. Optimizing Decisions in Web Services Orchestrations. In 9th International Conference on Service-Oriented Computing (ICSOC), Pages 77-91, 2011.
21. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Pairwise testing of dynamic composite services. In 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS), SEAMS '11, Pages 138-147, New York, NY, USA, 2011.
22. Sucheendra Palaniappan, S. Akshay, Blaise Genest, P.S. Thiagarajan. A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks. In 9th International Conference on Computational Methods in Systems Biology (CMSB), Volume ACM 978-1-4503-0817-5, Pages 35-44, 2011.
23. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Quantitative Refinement for Weighted Modal Transition Systems. In MFCS,, Volume, Pages 60-71, 2011.
24. Sebastian S. Bauer, Philip Mayer, Axel Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. In ATVA,, Volume, Pages 418-421, 2011.
25. François Schwarzentruber. LotrecScheme. In M4M Osuna, November 2011.
26. Lo\"\ig Jezequel, Eric Fabre. Networks of automata with read arcs: a tool for distributed planning. In IFAC World Congress, September 2011.
27. Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin-Obernesser, Sébastien Gambs, Guillaume Piolle, Leendert van der Torre. The Coprelobri project : the logical approach to privacy. In 2e Atelier Protection de la Vie Privée (APVP 2011), Sorèze, France, June 2011.
28. Rouwaida Abdallah, Claude Jard. An experiment in automatic generation of protocols from HMSCs. In Notere, May 2011.

2010

1. Benedikt Bollig, Loïc Hélouët. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010.
2. Anne Bouillard, Laurent Jouhet, \'E Thierry.. Comparison of Different Classes of Service Curves in Network Calculus. In International Workshop on Discrete Event Systems (WODES 2010), 2010.
3. Anne Bouillard, Laurent Jouhet, \'E Thierry.. Tight performance bounds in the worst-case analysis of feed-forward networks. In IEEE Conference on Computer Communications (INFOCOM 2010), 2010.
4. Thomas Chatain, Claude Jard. Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets. In IEEE 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Volume IEEE, Pages 9-16, 2010.
5. Thomas Chatain, Eric Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165-184, 2010.
6. Eric Fabre, Loig Jézéquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010.
7. Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In ICALP (2), Lecture Notes in Computer Science, Volume 6199, Pages 52-63, 2010.
8. Blaise Genest, Anca Muscholl, Zhilin Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Volume 8, Pages 469-480, Dagstuhl, Germany, 2010.
9. Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. Diagnosis Using Unfoldings of Parametric Time Petri Nets. In FORMATS, Lecture Notes in Computer Science, Volume 6246, Pages 137-151, 2010.
10. Bartosz Grabiec, Claude Jard, Axel Legay. Unfolding Petri nets under partial observation. In International Workshop on Distributed Open Timed Systems, satellite of CONCUR 2010, Volume Paris 7, Pages 16-23, 2010.
11. Loïc Hélouët, Albert Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010.
12. Loïc Hélouët, Aline Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010.
13. Loïc Hélouët, Aline Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010.
14. Loïc Hélouët, Benedikt Bollig, Stefan Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010.
15. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In ICWS, Pages 99-106, 2010.
16. Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In ATVA, Lecture Notes in Computer Science, Volume 6252, Pages 291-305, 2010.
17. Eric Fabre, Loig Jézéquel, Patrik Haslum, Sylvie Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Pages 65-72, Toronto, Ontario, Canada, 2010.

2009

1. Samy Abbes, Albert Benveniste. Concurrency, Sigma-Algebras, and Probabilistic Fairness. In FOSSACS, Pages 380-394, 2009.
2. Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. In Twenty-Fourth Annual IEEE Symposium on Logic In Computer Science (LICS), Volume IEEE 978-0-7695-3746-7, Pages 319-328, 2009.
3. Debmalya Biswas, Ashwin Jiwane, Blaise Genest. Atomicity for XML Databases. In Sixth International XML Database Symposium (XSym), Volume LNCS 5679, Pages 160-167, 2009.
4. Anne Bouillard, Linh T.X. Phan, Samarjit Chakraborty. Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
5. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service Orchestrations. In Petri Nets, Lecture Notes in Computer Science, Volume 5606, Pages 263-282, 2009.
6. Anne Bouillard, Stefan Haar, Sidney Rosario. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. In FORMATS, Jo\"e Ouaknine, Frits W. Vaandrager (eds.), Lecture Notes in Computer Science, Volume 5813, 2009.
7. Anne Bouillard, Bertrand Cottenceau, Bruno Gaujal, Laurent Hardouin, Sébastien Lagrange, Mehdi Lhommeau, Eric Thierry. COINC Library: a toolbox for the Network Calculus. In Fourth International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2009.
8. Marc Boyer, Laurent Jouhet, Anne Bouillard. Notations pour le calcul réseau. In Modélisation des systèmes réactifs (MSR), 2009.
9. Eric Fabre, Lo\"\ic Jézéquel. Distributed Optimal Planning: an Approach by Weighted Automata Calculus. In Conference on Detection and Control (CDC), 2009.
10. Florian Kerschbaum, Daniel Dahlmeier, Axel Schröpfer, Debmalya Biswas. On the practical importance of communication complexity for secure multi-party computation protocols. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, Pages 2008-2015, 2009.
11. Bartosz Grabiec, Claude Jard. Unfolding of Networks of Automata and their Application in Supervision. In 9th annual international conference on New Technologies of Distributed Systems (NOTERE), July 2009.
12. Sidney Rosario, Albert Benveniste, Claude Jard. Probabilistic QoS Management of Transaction based Web services Orchestrations. In IEEE 7th International Conference on Web Services (ICWS 2009), July 2009.
13. Sidney Rosario, Albert Benveniste, Claude Jard. Monitoring Probabilistic SLAs in Web Service Orchestrations. In IFIP/IEEE Intern. Symposium on Integrated Network Management, Mini-conference, June 2009.
14. Florian Kerschbaum, Debmalya Biswas, Daniel Dahlmeier, Axel Schropfer. An Experimental Study on the Practical Importance of Communication Complexity for Secure Multi-Party Computation Protocols. In 24th Annual ACM Symposium on Applied Computing (SAC 2009), Hawaii, USA, March 2009.

2008

1. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-Based Diagnosis of Systems with an Evolving Topology. In CONCUR 2008, Pages 203-217, 2008.
2. Albert Benveniste. Composing Web Services in an Open World: Issues of Quality of Service. In FORMATS, Pages 0-0, 2008.
3. Debmalya Biswas, Thomas Gazagnaire, Blaise Genest. Small Logs for Transactional Services. In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, China, December 2008.
4. Anne Bouillard, Laurent Jouhet, Éric Thierry. Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis. In 3rd international conference on Performance Evaluation Methodologies and Tools (ValueTools 2008), Athens, Greece, October 2008.
5. Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun. Tree Pattern Rewrite Systems. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS, Volume 5311, Pages 332-346, Seoul, Korea, October 2008.
6. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. In 19th International Conference on Concurrency Theory (CONCUR'08), Volume LNCS 5201, Pages 310-324, Toronto, Canada, August 2008.
7. Debmalya Biswas, Blaise Genest. Minimal Observability for Transactional Hierarchical Services. In 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Volume ISBN 1-891706-22-5, Pages 531-536, San Francisco, USA, July 2008.
8. Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. In ACSD'08, Applications of Concurrency to System Design, Xian, China, July 2008.
9. Gregor Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input/Output Automata. In Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, Volume LNCS 5047, Pages 169-183, Tokyo, June 2008.
10. Claude Jard. Runs of Distributed Systems and Partial Orders. In ROGICS'2008, 1st International Conference on Relations, Orders and Graphs: Interaction with Computer Science, Pages 0-0, Mahdia, Tunisia, May 2008.
11. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08), Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008.
12. Debmalya Biswas. Active XML Replication and Recovery. In 2nd IEEE International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), Pages 263-269, Barcelona, Spain, March 2008.
13. Claude Jard. Teaching Distributed Algorithms using Spin. In Formal Methods in Computer Science Education, ETAPS 2008, Pages 0-0, Budapest, Hungary, March 2008.
14. Debmalya Biswas, K Vidyasankar. A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities. In 9th International Conference on Distributed Computing and Networking (ICDCN 2008), Volume LNCS 4904, Pages 363-374, Kolkata, India, January 2008.

2007

1. Debmalya Biswas. Web Services Discovery and Constraints Composition. In RR, Volume LNCS 4524, Pages 73-87, 2007.
2. Debmalya Biswas, Il-Gon Kim. Atomicity for P2P based XML Repositories. In 2nd IEEE International Workshop on Services Engineering (SEIW), 2007.
3. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. In ICALP, Volume LNCS 4596, Pages 158-170, 2007.
4. A. Bouillard, B. Gaujal, S. Lagrange, E. Thierry. Optimal routing for end-to-end guarantees: the price of multiplexing. In VALUETOOLS, 2007.
5. Edith Elkind, Blaise Genest, Doron Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
6. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007.
7. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
8. Thomas Gazagnaire, Loïc Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007.
9. T. Gazagnaire, C. Jard. Abstraire à la volée les événements d'un système réparti. In Proceedings of NOTERE 2007, 2007.
10. S. Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. In Proceedings CDC, 2007.
11. Hélia Pouyllau, Stefan Haar. Distributed End-to-End QoS Contract Negotiation. In Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, Lecture Notes in Computer Science, Pages 180-183, 2007.
12. Hé Pouyllau, Stefan Haar. A protocol for QoS contract negotiation and its implementation using Web Services. In IEEE International Conference on Web Services (ICWS 2007) Salt Lake City, Utah, USA, Pages 168-175, 2007.
13. Hélia Pouyllau, Stefan Haar. End-to-end QoS of X-Domain pipes. In IEEE International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine), 2007, Vancouver, Canada, 2007.
14. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007.
15. Sidney Rosario, David Kitchin, Albert Benveniste, William and Haar,Stefan Cook, Claude Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.
16. S. Haar, C. Jard, G.-V. Jourdan. Testing Input/Output Partial Order Automata. In Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, Lecture Notes in Computer Science, Pages 171-185, June 2007.
17. E. Fabre. Modular Processings Based on Unfoldings. In UFO, Workshop on Unfoldings and Partial Order Techniques, 2007.
18. C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.
19. A. Madalinski, E. Fabre. Modular Construction of Finite and Complete Prefixes. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 69-84, 2007.

2006

1. P. Baldan, S. Haar, B. Koenig. Distributed Unfolding of Petri Nets. In FOSSACS 2006, LNCS, Pages 126-141, 2006.
2. Debmalya Biswas, K. Vidyasankar. Modeling Visibility in Hierarchical Systems. In ER, Volume LNCS 4215, Pages 155-167, 2006.
3. Anne Bouillard, Bruno Gaujal. Backward coupling in Petri nets. In VALUETOOLS, Pages 0-0, 2006.
4. F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.
5. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. Grey Box Checking. In FORTE, Volume LNCS 4229, Pages 420-435, 2006.
6. Blaise Genest, Anca Muscholl. Constructing Exponential-size Deterministic Zielonka Automata. In ICALP, Volume LNCS 4052, Pages 565-576, 2006.
7. Loïc Hélouët, Thomas Gazagnaire, Blaise Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006.
8. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006.
9. Il-Gon Kim, Debmalya Biswas. Application of Model Checking to AXML System's Security: A Case Study. In WS-FM, Volume LNCS 4184, Pages 242-256, 2006.
10. H. Pouyllau, L. Ciarletta, A. Aghasaryan, S. Haar. X-domain QoS budget negotiation using Dynamic Programming. In IEEE Advanced International Conference on Telecommunications (AICT), 2006.
11. S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
12. E. Fabre. A Trellis Notion for Distributed System Diagnosis with Sequential Semantics. In 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
13. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. In plenary address, 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
14. T. Chatain, C. Jard. Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In Proc. of ICATPN, LNCS, Pages 125-145, June 2006.
15. E. Fabre. On the Construction of Pullbacks for Safe Petri Nets. In Applications and Theory of Petri Nets and other Models of Concurrency, ATPN'06, Turku, Finland, June 2006.
16. A. Aghasaryan, S. Piekarec, H. Pouyllau, S. Haar, E. Fabre, L. Ciarletta, N. Mbarek, E. Moreau. Multi-Domain Self Aware Management: Negotiation and Monitoring. In 13th Int. Conf. on Telecommunications, Funchal, Madeira, May 2006.
17. E. Donin de Rosière, C. Jard, B. Parreaux. LaTe, A Non-fully Deterministic Testing Language. In 18th IFIP International Conference on Testing Communicating Systems -TestCom'2006, LNCS, May 2006.
18. Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel. Semantic-based Weaving of Scenarios. In Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD 06), Pages 27-38, Bonn, Germany, March 2006.

2005

1. Samy Abbes, Albert Benveniste. Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. In FoSSaCS, V. Sassone (ed.), Volume 3441, Pages 95-109, 2005.
2. Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, Pages 358-367, New York, NY, USA, 2005.
3. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. In 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, G. Ciardo, P. Darondeau (eds.), LNCS, Pages 108-127, 2005.
4. A. Bouillard, B Gaujal, J. Mairesse. Throughput in stochastic free-choice nets under various policies. In Joint 44th IEEE Conference on Decision and Control and European Control Conference, 2005.
5. Blaise Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005.
6. Blaise Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005.
7. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.
8. Blaise Genest, Anca Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005.
9. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, 2005.
10. Eric Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005.
11. Thomas Chatain, Loïc Hélouët, Claude Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Volume 3731, Pages 489-502, October 2005.
12. T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005.
13. Eric Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005.
14. \relax Thomas Chatain, Claude Jard. Models for the Supervision of Web Services Orchestration with Dynamic Changes. In Telecommunications 2005: Advanced Industrial Conference on Telecommunications - Service Assurance with Partial and Intermittent Resources Conference - E-Learning on Telecommunications Workshop (AICT\slash SAPIR\slash ELETE 2005), Pages 446-451, Lisbon, Portugal, July 2005.
15. T. Chatain. Diagnostic pour les systèmes distribués dynamiques partiellement observables. In Colloque Francophone d'Ingénierie des Protocoles (CFIP'05), March 2005.

2004

1. S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004.
2. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.
3. Blaise Genest, Anca Muscholl, Dietrich Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004.
4. T. Chatain, Jard C.. Symbolic Diagnosis of Partially Observable Concurrent Systems. In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), LNCS, Pages 326-342, Madrid, Spain, September 2004.
5. A. Aghasaryan, C. Jard, J. Thomas. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. In International Communication Conference (ICT), LNCS, Pages 841-847, Fortaleza, Brasil, August 2004.
6. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004.
7. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004.
8. Loïc Hélouët, Marc Zeitoun, Aldric Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004.
9. M. Koca, E. Fabre, A. Roumy. Turbo Decoding of multiple descriptions with quantized frame expansions. In International Symposium on Image/Video Communications over fixed and mobile networks, ISIVC'04, July 2004.
10. Loïc Hélouët. Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2. In Proc. of SAM'2004, 4th conference on SDL and MSC, June 2004.
11. A. Roumy, D. Declercq, E. Fabre. Low Complexity Code Design for the 2-user Gaussian Multiple Access Channel. In Proc. of ISIT, IEEE Int. Conference on Information Theory, June 2004.
12. Jacques Klein, Benoît Caillaud, Loïc Hélouët. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
13. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
14. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004.

2003

1. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis. In Proc of the 42nd IEEE Conference on Decision and Control(CDC), 2003.
2. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems (plenary address). In Proc. of CONCUR'2003, Marseille, LNCS, Pages 1-26, 2003.
3. A. Bouillard, J. Mairesse. Generating series of the trace group. In Developments in Language Theory, Z. Ésik, Z. Fülöp (eds.), LNCS, Volume 2710, Pages 159-170, 2003.
4. Blaise Genest, Anca Muscholl, Doron Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.
5. S. Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. In Proceedings of PNPM, 2003.
6. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.
7. Blaise Genest, Loïc Hélouët, Anca Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
8. Loïc Hélouët, Marc Zeitoun, Claude Jard. Covert channels detection in protocols using scenarios. In Proceedings of SPV'03, Security Protocols Verification, Marseille, September 2003.

2002

1. Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002.
2. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002.
3. Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. In Proc. of PAPM-ProbMiV Copenhagen 2002, LNCS, Pages 95-114, 2002.
4. E. Fabre. Compositional models of distributed and asynchronous dynamical systems. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
5. E. Fabre, V. Pigourier. Monitoring distributed systems with distributed algorithms. In 41st IEEE Conference on Decision and Control (CDC), Las Vegas, December 2002.
6. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. In Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.
7. A. Aghasaryan, C. Dousson, E. Fabre, A. Osmani, Y. Pencolé. Modeling Fault Propagation In Telecommunications Networks for Diagnosis Purposes. In World Telecommunication Congress, September 2002.
8. T. Guionnet, C. Guillemot, E. Fabre. Soft Decoding of Multiple Descriptions. In International Conference on Multimedia and Expo, August 2002.
9. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002.
10. C. Jard, T. Jeron. TGV: Theory, Principles and Algorithms. In The sixth world conference on integrated design and process technology, Pasadena, California, June 2002.
11. C. Jard. Principles of Distributed Test Synthesis based on True-concurrency Models. In Testcom'2002, Berlin, March 2002.

2001

1. A. Bouillard, B. Gaujal. Coupling time of a (max,plus) matrix. In Workshop on Max-Plus Algebras and Their Applications to Discrete-event Systems, Theoretical Computer Science, and Optimization, Pages 235-240, 2001.
2. Loïc Hélouët. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
3. A. Benveniste, E. Fabre, S. Haar. Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems. In 40th IEEE Conference on Decision and Control (CDC), Orlando, December 2001.
4. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
5. Loïc Hélouët. Etat de l'art sur les langages de scénarios. In proceedings of MSR'2001,Colloque francophone sur la modélisation des systèmes réactifs, October 2001.
6. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
7. E. Fabre, A. Guyader, C. Guillemot. Robust decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
8. S. Haar, A. Benveniste, E. Fabre. Markov nets : A new probabilistic model for fault diagnosis in concurrent systems. In Workshop on Concurrency in Dependable Computing, Newcastle, June 2001.
9. C. Jard. How to simulate HMSC. In SDL'01 : meeting UML, 10th SDL Forum, LNCS, Copenhagen, June 2001.
10. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-coded Markov sources. In 26th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Salt Lake City, Volume Volume IV, May 2001.

2000

1. E. Fabre, A. Benveniste, C. Jard, L. S. Ricker, M. Smith. Distributed state reconstruction for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney, Pages 2252-2257, December 2000.
2. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Pages 3-18, Ottawa, August 2000.
3. Pierre Le Maigat, Loïc Hélouët. A (max,+) approach for time in Message Sequence Charts. In 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000.
4. Philippe Darondeau, Benoit Caillaud, Loïc Hélouët, Gilles Lesventes. HMSCs as partial specifications.with Petri Nets as completion. In MOdelling and Verification of Parallel Processes (MOVEP'2000), Nantes, France, June 2000.
5. E. Fabre, A. Benveniste, C. Jard, L. Ricker, M. Smith. Inference on (Bayesian) networks of dynamic systems. In Partial Knowledge and Uncertainty workshop, June 2000.
6. E. Fabre, A. Guyader. Dealing with short cycles in graphical codes. In IEEE International Symposium on Information Theory (ISIT), Sorrento, Pages 0-0, June 2000.
7. Loïc Hélouët, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
8. Loïc Hélouët, Claude Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), Berlin, April 2000.
9. L. Tanguy, C. Viho, C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. In ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed.), Pages 0-0, Taipei, Taiwan, April 2000.

1999

1. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
2. C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote Testing can be as Powerful as Local Testing. In Methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, S. Chanson J. Wu, Q. Gao (eds.), Pages 25-40, Beijing, China, October 1999.
3. Eric Farbe. Mixing probabilities and constraints in conditional independance structures. In Fields Institute Workshop on Conditional Independence Structures and Graphical Models, Toronto, September 1999.

1998

1. C. Jard, T. Jéron. Verification and Distributed Observation of the Alternating Bit Protocol. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, 1998.
2. C. Jard, T. Jéron, H. Kahlouche, C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, 1998.
3. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A ``hybrid'' stochastic Petri net approach to fault diagnosis in large distributed system. In Mathematical Theory of Networks and Systems (MTNS), Pages 921-924, July 1998.

1997

1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 2). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 726-731, December 1997.
2. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, A. Benveniste. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 1). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 720-725, December 1997.
3. R. Boubour, C. Jard. Fault Detection in Telecommunication Networks based on Petri Net Representation of Alarm Propagation. In Proceedings of the 18th Int. Conf. on Application and Theory of Petri Nets, Toulouse, June 1997.

1996

1. JC Fernandez, C. Jard, T. Jéron, C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Computer Aided Verification (CAV96), LNCS, Boston, August 1996.

1995

1. C. Bareau, B. Caillaud, C. Jard, R. Thoraval. Measuring Concurrency of Regular Distributed Computations. In TAPSOFT Conference, LNCS, Pages 711-725, Aarhus Danemark, May 1995.
2. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. Recognition of Patterns on Control Flows for Debugging Distributed Executions. In 2nd International Workshop on Automated and Algorithmic Debugging, Pages 22-24, St Malo, May 1995.

1994

1. C. Jard, GV Jourdan. On the Coding of Dependences in Distributed Computations. In ACM PODC, Principles of Distributed Computing, Los-Angeles, August 1994.
2. C. Jard, T. Jéron, GV Jourdan, JX Rampon. A General Approach to Trace-checking in Distributed Computing Systems. In IEEE ICDCS- 14th International Conference on Distributed Computing Systems, Poznan, June 1994.

1993

1. C. Diehl, C. Jard, JX Rampon. Reachability Analysis on Distributed Executions. In TAPSOFT Conference, LNCS, Pages 629-643, Paris, Orsay, April 1993.

1992

1. C. Diehl, C. Jard. Interval Approximations of Message Causality in Distributed Executions. In Symposium on the Theoretical Aspects of Computer Science. STACS, LNCS, Pages 363-376, Cachan, February 1992.

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. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic