Stefan Haar

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

Coauthor Index

1	Serge Abiteboul	[11]
2	Zoë Abrams	[11]
3	Armen Aghasaryan	[8] [14]
4	Paolo Baldan	[13] [24]
5	Albert Benveniste	[7] [8] [9] [10] [12] [16] [19] [21] [25]
6	Gregor von Bochmann	[23]
7	Anne Bouillard	[21] [25] [26]
8	Thomas Chatain	[24]
9	Laurent Ciarletta	[14]
10	William R. Cook	[16]
11	Daniele Corona	[10]
12	Eric Fabre	[7] [8] [9] [10]
13	Bruno Gaujal	[6] [15]
14	Alessandro Giua	[10]
15	Claude Jard	[7] [8] [9] [10] [12] [16] [17] [19] [23]
16	Guy-Vincent Jourdan	[17] [23]
17	David Kitchin	[16]
18	Barbara König	[13] [24]
19	Jean Mairesse	[6] [15]
20	Tova Milo	[11]
21	Hélia Pouyllau	[14] [18] [20] [22]
22	Sidney Rosario	[12] [16] [19] [21] [25] [26]
23	Carla Seatzu	[10]
24	Shigemasa Takai	[10]
25	Toshimitsu Ushio	[10]

Colors in the list of coauthors