Stefan Haar

2008
21	EE	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183
20	EE	Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008)
2007
19	EE	Hélia Pouyllau, Stefan Haar: Distributed End-to-End QoS Contract Negotiation. AIMS 2007: 180-183
18	EE	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
17	EE	Hélia Pouyllau, Stefan Haar: A protocol for QoS contract negotiation and its implementation using Web Services. ICWS 2007: 168-175
16	EE	Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185
15	EE	Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
14	EE	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
13	EE	Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar: X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW 2006: 35
12	EE	Paolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141
2005
11	EE	Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo: Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS 2005: 358-367
10	EE	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	EE	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	EE	Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
2003
7	EE	Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
6	EE	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	EE	Stefan Haar: Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV 2002: 95-114
4	EE	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	EE	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] [13]
4	Paolo Baldan	[12]
5	Albert Benveniste	[7] [8] [9] [10] [15] [18] [20]
6	Gregor von Bochmann	[21]
7	Anne Bouillard	[20]
8	Laurent Ciarletta	[13]
9	William Cook	[15]
10	Daniele Corona	[10]
11	Eric Fabre	[7] [8] [9] [10]
12	Bruno Gaujal	[6] [14]
13	Alessandro Giua	[10]
14	Claude Jard	[7] [8] [9] [10] [15] [16] [18] [21]
15	Guy-Vincent Jourdan	[16] [21]
16	David Kitchin	[15]
17	Barbara König	[12]
18	Jean Mairesse	[6] [14]
19	Tova Milo	[11]
20	Hélia Pouyllau	[13] [17] [19]
21	Sidney Rosario	[15] [18] [20]
22	Carla Seatzu	[10]
23	Shigemasa Takai	[10]
24	Toshimitsu Ushio	[10]

Colors in the list of coauthors