Stefan Haar

	2012
33		Hernán Ponce de León, Stefan Haar, Delphine Longuet: Conformance Relations for Labeled Event Structures. TAP 2012: 83-98
32		Sandie Balaguer, Thomas Chatain, Stefan Haar: A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods in System Design 40(3): 330-355 (2012)
	2011
31		Sandie Balaguer, Thomas Chatain, Stefan Haar: Building Tight Occurrence Nets from Reveals Relations. ACSD 2011: 44-53
30		Stefan Haar, Christian Kern, Stefan Schwoon: Computing the Reveals Relation in Occurrence Nets GandALF 2011: 31-44
	2010
29		Sandie Balaguer, Thomas Chatain, Stefan Haar: A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME 2010: 77-84
28		Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010)
	2009
27		Stefan Haar: Qualitative diagnosability of labeled petri nets revisited. CDC 2009: 1248-1253
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)
20		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE T. Services Computing 1(4): 187-200 (2008)
	2007
19		Hélia Pouyllau, Stefan Haar: Distributed End-to-End QoS Contract Negotiation. AIMS 2007: 180-183
18		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
17		Hélia Pouyllau, Stefan Haar: A protocol for QoS contract negotiation and its implementation using Web Services. ICWS 2007: 168-175
16		Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185
15		Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
14		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		Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar: X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW 2006: 35
12		Paolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141
11		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316
	2005
10		Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo: Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS 2005: 358-367
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: 65-74 (1998)

Coauthor Index

1	Serge Abiteboul	[10]
2	Zoë Abrams	[10]
3	Armen Aghasaryan	[8] [13]
4	Sandie Balaguer	[29] [31] [32]
5	Paolo Baldan	[12] [24] [28]
6	Albert Benveniste	[7] [8] [9] [11] [15] [18] [20] [21] [25]
7	Gregor von Bochmann	[23]
8	Anne Bouillard	[21] [25] [26]
9	Thomas Chatain	[24] [28] [29] [31] [32]
10	Laurent Ciarletta	[13]
11	William R. Cook	[15]
12	Eric Fabre	[7] [8] [9]
13	Bruno Gaujal	[6] [14]
14	Claude Jard	[7] [8] [9] [11] [15] [16] [18] [20] [23]
15	Guy-Vincent Jourdan	[16] [23]
16	Christian Kern	[30]
17	David Kitchin	[15]
18	Barbara König	[12] [24] [28]
19	Hernán Ponce de León	[33]
20	Delphine Longuet	[33]
21	Jean Mairesse	[6] [14]
22	Tova Milo	[10]
23	Hélia Pouyllau	[13] [17] [19] [22]
24	Sidney Rosario	[11] [15] [18] [20] [21] [25] [26]
25	Stefan Schwoon	[30]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page