| 2008 |
|---|
| 18 | EE | Anne Bouillard,
Sidney Rosario,
Albert Benveniste,
Stefan Haar:
Monotony in Service Orchestrations
CoRR abs/0804.4896: (2008) |
| 2007 |
|---|
| 17 | EE | Hélia Pouyllau,
Stefan Haar:
Distributed End-to-End QoS Contract Negotiation.
AIMS 2007: 180-183 |
| 16 | EE | Sidney Rosario,
Albert Benveniste,
Stefan Haar,
Claude Jard:
Probabilistic QoS and soft contracts for transaction based Web services.
ICWS 2007: 126-133 |
| 15 | EE | Hélia Pouyllau,
Stefan Haar:
A protocol for QoS contract negotiation and its implementation using Web Services.
ICWS 2007: 168-175 |
| 14 | EE | Stefan Haar,
Claude Jard,
Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata.
TestCom/FATES 2007: 171-185 |
| 13 | EE | Sidney Rosario,
David Kitchin,
Albert Benveniste,
William Cook,
Stefan Haar,
Claude Jard:
Event Structure Semantics of Orc.
WS-FM 2007: 154-168 |
| 12 | 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 |
|---|
| 11 | EE | Hélia Pouyllau,
Armen Aghasaryan,
Laurent Ciarletta,
Stefan Haar:
X-domain QoS budget negotiation using Dynamic Programming.
AICT/ICIW 2006: 35 |
| 10 | EE | Paolo Baldan,
Stefan Haar,
Barbara König:
Distributed Unfolding of Petri Nets.
FoSSaCS 2006: 126-141 |
| 2005 |
|---|
| 9 | EE | Serge Abiteboul,
Zoë Abrams,
Stefan Haar,
Tova Milo:
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
PODS 2005: 358-367 |
| 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) |
