| 2011 |
|---|
| 31 | Computing the Reveals Relation in Occurrence Nets. Stefan Haar, Christian Kern, Stefan Schwoon. GandALF 2011, 31-44. Web SearchBibTeXDownload |
| 2010 |
|---|
| 30 | Unfolding-based diagnosis of systems with an evolving topology. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Inf. Comput. (208): 1169-1192 (2010). Web SearchBibTeXDownload |
| 29 | A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. Sandie Balaguer, Thomas Chatain, Stefan Haar. TIME 2010, 77-84. Web SearchBibTeXDownload |
| 2009 |
|---|
| 28 | Qualitative diagnosability of labeled petri nets revisited. Stefan Haar. CDC 2009, 1248-1253. Web SearchBibTeXDownload |
| 27 | Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. Anne Bouillard, Stefan Haar, Sidney Rosario. FORMATS 2009, 43-57. Web SearchBibTeXDownload |
| 26 | Monotonicity in Service Orchestrations. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Petri Nets 2009, 263-282. Web SearchBibTeXDownload |
| 2008 |
|---|
| 25 | Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. Hélia Pouyllau, Stefan Haar. Annales des Télécommunications (63): 621-630 (2008). Web SearchBibTeXDownload |
| 24 | Unfolding-Based Diagnosis of Systems with an Evolving Topology. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. CONCUR 2008, 203-217. Web SearchBibTeXDownload |
| 23 | Monotony in Service Orchestrations. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. CoRR (abs/0804.4896) (2008). Web SearchBibTeXDownload |
| 22 | Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. IEEE T. Services Computing (1): 187-200 (2008). Web SearchBibTeXDownload |
| 21 | Testing Systems Specified as Partial Order Input/Output Automata. Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. TestCom/FATES 2008, 169-183. Web SearchBibTeXDownload |
| 2007 |
|---|
| 20 | Distributed End-to-End QoS Contract Negotiation. Hélia Pouyllau, Stefan Haar. AIMS 2007, 180-183. Web SearchBibTeXDownload |
| 19 | Blocking a transition in a Free Choice net and what it tells about its throughput. Bruno Gaujal, Stefan Haar, Jean Mairesse. CoRR (abs/0707.4372) (2007). Web SearchBibTeXDownload |
| 18 | A protocol for QoS contract negotiation and its implementation using Web Services. Hélia Pouyllau, Stefan Haar. ICWS 2007, 168-175. Web SearchBibTeXDownload |
| 17 | Probabilistic QoS and soft contracts for transaction based Web services. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. ICWS 2007, 126-133. Web SearchBibTeXDownload |
| 16 | Testing Input/Output Partial Order Automata. Stefan Haar, Claude Jard, Guy-Vincent Jourdan. TestCom/FATES 2007, 171-185. Web SearchBibTeXDownload |
| 15 | Event Structure Semantics of Orc. Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard. WS-FM 2007, 154-168. Web SearchBibTeXDownload |
| 2006 |
|---|
| 14 | X-domain QoS budget negotiation using Dynamic Programming. Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar. AICT/ICIW 2006, 35. Web SearchBibTeXDownload |
| 13 | Distributed Unfolding of Petri Nets. Paolo Baldan, Stefan Haar, Barbara König. FoSSaCS 2006, 126-141. Web SearchBibTeXDownload |
| 12 | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. ISoLA 2006, 309-316. Web SearchBibTeXDownload |
| 2005 |
|---|
| 11 | Distributed Monitoring of Concurrent and Asynchronous Systems*. Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard. Discrete Event Dynamic Systems (15): 33-84 (2005). Web SearchBibTeXDownload |
| 10 | Contributing Authors. Yiping Cheng, Da-Zhong Zheng, Eric Fabre, Albert Benveniste, Xi-Ren Cao, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu. Discrete Event Dynamic Systems (15): 109-112 (2005). Web SearchBibTeXDownload |
| 9 | Diagnosis of asynchronous discrete event systems: datalog to the rescue!. Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo. PODS 2005, 358-367. Cited by 31Web SearchBibTeXDownload |
| 2004 |
|---|
| 8 | Algorithms for Distributed Fault Management in Telecommunications Networks. Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan. ICT 2004, 820-825. Web SearchBibTeXDownload |
| 2003 |
|---|
| 7 | Distributed Monitoring of Concurrent and Asynchronous Systems. Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. CONCUR 2003, 1-26. Web SearchBibTeXDownload |
| 6 | Blocking a transition in a free choice net and what it tells about its throughput. Bruno Gaujal, Stefan Haar, Jean Mairesse. J. Comput. Syst. Sci. (66): 515-548 (2003). Web SearchBibTeXDownload |
| 2002 |
|---|
| 5 | Probabilistic Cluster Unfoldings. Stefan Haar. Fundam. Inform. (53): 281-314 (2002). Web SearchBibTeXDownload |
| 4 | Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. Stefan Haar. PAPM-PROBMIV 2002, 95-114. Web SearchBibTeXDownload |
| 2001 |
|---|
| 3 | Clusters, Confusion and Unfoldings. Stefan Haar. Fundam. Inform. (47): 259-270 (2001). Web SearchBibTeXDownload |
| 2000 |
|---|
| 2 | Occurrence Net Logics. Stefan Haar. Fundam. Inform. (43): 105-127 (2000). Web SearchBibTeXDownload |
| 1998 |
|---|
| 1 | Branching Processes of general S/T-Systems and their properties. Stefan Haar. Electr. Notes Theor. Comput. Sci. (18): 65-74 (1998). Web SearchBibTeXDownload |
