Publications of Stefan Haar

Load the BibTeX file

Books

1. Stefan Haar, Eric Fabre. Distributed Control of Large Plants; Chapter 13, Diagnosis with Petri nets unfoldings. Stefan Haar, Eric FabreCarla Seatzu, Manuel Silva, Jan H. van Schuppen (eds.), Springer, 2012.

Academic Journals

1. Helia Pouyllau, Stefan Haar. Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. Annals of Telecommunications, pages 0-0, October 2008.
2. E. Fabre, A. Benveniste, S. Haar, C. Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Systems, special issue, pages 33-84, May 2005.
3. B. Gaujal, S. Haar, J. Mairesse. Blocking a Transition in a Free Choice Net, and what it tells about its throughput. Journal of Computer and System Sciences, 66(3):515-548, 2003.
4. A. Benveniste, E. Fabre, S. Haar. Markov Nets: Probabilistic Models for distributed and concurrent systems. IEEE Transactions on Automatic Control, 48(11):1936-1950, November 2003.
5. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, May 2003.
6. S. Haar. Probabilistic Cluster Unfoldings. Fundamenta Informaticae, 53(3):281-314, December 2002.
7. S. Haar. Clusters, Confusion and Unfoldings. Fundamenta Informaticae, 47(3):259-270, September 2001.
8. Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, 43:105-127, August 2000.

International Conferences

1. Loïc Hélouët, Benedikt Bollig, Stefan Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010.
2. 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.
3. 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.
4. 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.
5. 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.
6. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007.
7. S. Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets. In Proceedings CDC, 2007.
8. 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.
9. 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.
10. 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.
11. 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.
12. P. Baldan, S. Haar, B. Koenig. Distributed Unfolding of Petri Nets. In FOSSACS 2006, LNCS, Pages 126-141, 2006.
13. 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.
14. 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.
15. 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.
16. 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.
17. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, 2005.
18. S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004.
19. 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.
20. 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.
21. 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.
22. S. Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. In Proceedings of PNPM, 2003.
23. 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.
24. Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. In Proc. of PAPM-ProbMiV Copenhagen 2002, LNCS, Pages 95-114, 2002.
25. 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.
26. 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.
27. 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.

Research Reports

1. Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. Research Report INRIA, No 7003, 2009.
2. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, January 2006.
3. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne IRISA, No 1636, July 2004.
4. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 2004.
5. Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. INRIA Research Report INRIA, No 5248, July 2004.
6. S. Abbes, A. Benveniste, S. Haar. Distributed Probabilities on Locally Finite Event Structures - Extended Version. Research Report IRISA, No 1615, 2004.
7. A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004.
8. S. Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. Research Report INRIA, No 5248, 2004.
9. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1456, May 2002.
10. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001.
11. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1399, May 2001.

Misc

1. S. Haar. Modélisation de la dynamicité à l'aide de Grammaires de graphes. Livrable 1.1.1. of SWAN project, 2005.
2. Stefan Haar, Thomas Chatain. Grammaires de graphes comme modèle commun pour Swan. Livrable 1.1.1. of SWAN project, December 2004.

Thesis

1. Stefan Haar. Law and Partial Order; Nonsequential Behaviour and Probability in Asynchronous Systems. PhD Thesis Université de Rennes 1, 2008.

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