Selected publications by Stefan Haar

Journals

• S. Balaguer, Th. Chatain and S. Haar.  A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.  Formal Methods in System Design, 2012. To appear. ( PDF | BibTeX + Abstract )
• S. Haar.  What topology tells us about diagnosability in partial order semantics.  Discrete Event Dynamic Systems: Theory and Applications, 2012. To appear. ( PDF | BibTeX + Abstract )
• P. Baldan, Th. Chatain, S. Haar and B. König.  Unfolding-based Diagnosis of Systems with an Evolving Topology.  Information and Computation 208(10), pages 1169-1192, 2010. ( PDF | BibTeX + Abstract )
• S. Haar.  Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets.  IEEE Transactions on Automatic Control 55(10), pages 2310-2320, 2010. ( PDF | BibTeX + Abstract )
• H. Pouyllau and S. Haar.  Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks.  Annals of Telecomunications 63(11-12), pages 621-630, 2008. ( BibTeX + Abstract )
• S. Rosario, A. Benveniste, S. Haar and C. Jard.  Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.  IEEE Transactions on Services Computing 1(4), pages 187-200, 2008. ( PDF | BibTeX + Abstract )
• É. Fabre, A. Benveniste, S. Haar and C. Jard.  Distributed monitoring of concurrent and asynchronous systems.  Discrete Event Dynamic Systems: Theory and Applications 15(1), pages 33-84, 2005. ( PDF | BibTeX + Abstract )
• A. Benveniste, É. Fabre and S. Haar.  Markov Nets: Probabilistic Models for Distributed and Concurrent Systems.  IEEE Transactions on Automatic Control 48(11), pages 1936-1950, 2003. ( PDF | BibTeX + Abstract )
• A. Benveniste, É. Fabre, S. Haar and C. Jard.  Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.  IEEE Transactions on Automatic Control 48(5), pages 714-727, 2003. ( PDF | BibTeX + Abstract )
• B. Gaujal, S. Haar and 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), pages 515-548, 2003. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• S. Haar.  Probabilistic Cluster Unfoldings.  Fundamenta Informaticae 53(3-4), pages 281-314, 2002. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• S. Haar.  Clusters, Confusion and Unfoldings.  Fundamenta Informaticae 47(3-4), pages 259-270, 2001. ( BibTeX )
• S. Haar.  Occurrence Net Logics.  Fundamenta Informaticae 43(1-4), pages 105-127, 2000. ( BibTeX )

Conferences

• A. Agarwal, A. Madalinski and S. Haar.  Effective Verification of Weak Diagnosability.  In SAFEPROCESS'12. IFAC, 2012. To appear. ( PDF | BibTeX + Abstract )
• S. Balaguer, Th. Chatain and S. Haar.  Building Tight Occurrence Nets from Reveals Relations.  In ACSD'11, pages 44-53. IEEE Computer Society Press, 2011. ( PDF | BibTeX + Abstract )
• S. Haar, C. Kern and S. Schwoon.  Computing the Reveals Relation in Occurrence Nets.  In GandALF'11, Electronic Proceedings in Theoretical Computer Science 54, pages 31-44. 2011. ( PDF | BibTeX + Abstract )
• S. Balaguer, Th. Chatain and S. Haar.  A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.  In TIME'10, pages 77-84. IEEE Computer Society Press, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
• S. Haar.  What Topology Tells us about Diagnosability in Partial Order Semantics.  In WODES'10, pages 221-226. 2010. ( PDF | BibTeX + Abstract )
• S. Haar.  Qualitative Diagnosability of Labeled Petri Nets Revisited.  In CDC/CCC'09, pages 1248-1253. IEEE Control System Society, 2009. ( PDF | BibTeX + Abstract )
• A. Bouillard, S. Haar and S. Rosario.  Critical paths in the Partial Order Unfolding of a Stochastic Petri Net.  In FORMATS'09, LNCS 5813, pages 43-57. Springer, 2009. ( PDF | BibTeX + Abstract )
• A. Bouillard, S. Rosario, A. Benveniste and S. Haar.  Monotonicity in Service Orchestrations.  In ICATPN'09, LNCS 5606, pages 263-282. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )
• S. Rosario, D. Kitchin, A. Benveniste, W. R. Cook, S. Haar and C. Jard.  Event Structure Semantics of Orc.  In WS-FM'07, LNCS 4937, pages 154-168. Springer, 2008. ( BibTeX + Abstract )
• P. Baldan, Th. Chatain, S. Haar and B. König.  Unfolding-based Diagnosis of Systems with an Evolving Topology.  In CONCUR'08, LNCS 5201, pages 203-217. Springer, 2008. ( PDF | BibTeX + Abstract )
• G. von Bochmann, S. Haar, C. Jard and G.-V. Jourdan.  Testing Systems Specified as Partial Order Input/Output Automata.  In TestCom/FATES'08, LNCS 5047, pages 169-183. Springer, 2008. ( PDF | BibTeX + Abstract )
• S. Haar.  Unfold and Cover: Qualitative Diagnosability for Petri Nets.  In CDC'07, pages 1886-1891. IEEE Control System Society, 2007. ( BibTeX + Abstract )
• H. Pouyllau and S. Haar.  A protocol for QoS contract negotiation and its implementation using web Services.  In ICWS'07, pages 168-175. IEEE Computer Society Press, 2007. ( BibTeX + Abstract )
• S. Rosario, A. Benveniste, S. Haar and C. Jard.  Probabilistic QoS and soft contracts for transaction based web services.  In ICWS'07, pages 126-133. IEEE Computer Society Press, 2007. ( BibTeX + Abstract )
• S. Haar, C. Jard and G.-V. Jourdan.  Testing Input/Output Partial Order Automata.  In TestCom/FATES'07, LNCS 4581, pages 171-185. Springer, 2007. ( PDF | BibTeX + Abstract )
• P. Baldan, S. Haar and B. König.  Distributed Unfolding of Petri Nets.  In FoSSaCS'06, LNCS 3921, pages 126-141. Springer, 2006. ( PDF | BibTeX + Abstract )
• S. Haar, A. Benveniste, É. Fabre and C. Jard.  Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems.  In IFAC'05. Elsevier Science Publishers, 2005. ( PDF | BibTeX + Abstract )
• S. Abiteboul, Z. Abrams, S. Haar and T. Milo.  Diagnosis of asynchronous discrete event systems: datalog to the rescue!  In PODS'05, pages 358-367. ACM Press, 2005. ( BibTeX + Abstract )
• É. Fabre, A. Benveniste, S. Haar, S. Jard and A. Aghasaryan.  Algorithms for Distributed Fault Management in Telecommunications Networks.  In ICT'04, LNCS 3124, pages 820-825. Springer, 2004. ( BibTeX + Abstract )
• A. Benveniste, S. Haar, É. Fabre and C. Jard.  Distributed unfoldings: a tool to address distributed discrete event systems diagnosis.  In CDC'03, pages 3742-3747. IEEE Control System Society, 2003. ( BibTeX + Abstract )
• S. Haar, A. Benveniste, É. Fabre and C. Jard.  Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings.  In CDC'03, pages 3748-3753. IEEE Control System Society, 2003. ( BibTeX + Abstract )
• S. Haar.  Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets.  In PNPM'03, pages 114-123. IEEE Computer Society Press, 2003. ( BibTeX )
• A. Benveniste, S. Haar, É. Fabre and C. Jard.  Distributed Monitoring of Concurrent and Asynchronous Systems.  In CONCUR'03, LNCS 2761, pages 1-26. Springer, 2003. ( BibTeX + Abstract )
• A. Benveniste, É. Fabre, C. Jard and S. Haar.  Diagnosis of Asynchronous Discrete Event Systems, A Net Unfolding Approach.  In WODES'02, pages 182-190. 2002. ( BibTeX )
• S. Haar, F. Simonot-Lion, L. Kaiser and J. Toussaint.  Equivalence of Timed State Machines and Safe Time Petri Nets.  In WODES'02, pages 119-126. 2002. ( BibTeX )
• S. Haar.  Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.  In PAPM-PROBMIV'02, LNCS 2399, pages 95-114. Springer, 2002. ( BibTeX + Abstract )
• B. Gaujal and S. Haar.  A Limit Semantics for Timed Petri Nets.  In WODES'00, pages 219-228. Kluwer Academic Publishers, 2000. ( BibTeX )
• S. Haar.  Branching Processes of General S/T-Systems and their Properties.  In Proceedings of the MFCS'98 Workshop on Concurrency, Brno, Czech Republic, August 1998, ENTCS 18, pages 65-74. Elsevier Science Publishers, 1998. ( BibTeX )

Theses

• S. Haar.  Law and Partial Order - Nonsequential Behaviour and Probability in Asynchronous Systems.  Mémoire d'habilitation, Université Rennes 1, Rennes, France, October 2008. ( PDF | BibTeX )
• S. Haar.  Kausalität, Nebenläufigkeit und Konflikt. Elementare Netzsysteme aus topologisch-relationaler Sicht.  Thèse de doctorat, Hamburg University, Germany, 1997. ( BibTeX )

Other Publications

• H. Pouyllau and S. Haar.  Distributed End-to-End QoS Contract Negotiation.  In AIMS'07, LNCS 4543, pages 180-183. Springer, 2007. ( BibTeX )
• H. Pouyllau, A. Aghasaryan, L. Ciarletta and S. Haar.  X-domain QoS budget negotiation using Dynamic Programming.  In AICT/ICIW'06, page 35. IEEE Computer Society Press, 2006. ( BibTeX )
• S. Haar.  Probabilizing Parallelism in Cluster Unfoldings.  In CS&P'02, Informatik Bericht 161. Humboldt Universität zu Berlin, 2002. ( BibTeX )
• A. Benveniste, É. Fabre and S. Haar.  Probabilistic Petri Net Unfoldings in Network Fault Diagnosis.  In Proceedings of the 39th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA, October 2001. 2001. ( BibTeX )
• A. Benveniste, É. Fabre and S. Haar.  Probabilistic Branching Processes for Fault Diagnosis in Concurrent Systems.  In PMCCS-5. 2001. ( BibTeX )
• F. Baccelli and S. Haar.  Counter Equations for Timed Competition Nets.  In Proceedings of the Workshop on Max-Plus Algebras, Prague, Czech Republic, August 2001. 2001. ( BibTeX )
• S. Haar.  Cyclic and Partial Order Models for Concurrency.  In GETCO'01. 2001. ( BibTeX )
• S. Haar, A. Benveniste and É. Fabre.  Markov Nets: a new Probabilistic Model for Fault Diagnosis in Concurrent Systems.  In Proceedings of the Workshop on Concurrency in Dependable Computing, Newcastle upon Tyne, UK, June 2001. 2001. ( BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique