- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j14 |      | Stefan Haar: What topology tells us about diagnosability in partial order semantics. Discrete Event Dynamic Systems 22(4): 383-402 (2012) |
| j13 | | 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) |
| c21 | | Hernán Ponce de León, Stefan Haar, Delphine Longuet: Conformance Relations for Labeled Event Structures. TAP 2012: 83-98 |
| 2011 | ||
| c20 | | Sandie Balaguer, Thomas Chatain, Stefan Haar: Building Tight Occurrence Nets from Reveals Relations. ACSD 2011: 44-53 |
| c19 | | Stefan Haar, Christian Kern, Stefan Schwoon: Computing the Reveals Relation in Occurrence Nets. GandALF 2011: 31-44 |
| 2010 | ||
| j12 | | 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) |
| j11 | | Stefan Haar: Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. IEEE Trans. Automat. Contr. 55(10): 2310-2320 (2010) |
| c18 | | Sandie Balaguer, Thomas Chatain, Stefan Haar: A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME 2010: 77-84 |
| 2009 | ||
| c17 | | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282 |
| c16 | | |
| c15 | | Anne Bouillard, Stefan Haar, Sidney Rosario: Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. FORMATS 2009: 43-57 |
| 2008 | ||
| j10 | | 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) |
| j9 | | 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) |
| c14 | | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217 |
| c13 | | Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 |
| i2 | | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations. CoRR abs/0804.4896 (2008) |
| 2007 | ||
| c12 | | |
| c11 | | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 |
| c10 | | Hélia Pouyllau, Stefan Haar: A protocol for QoS contract negotiation and its implementation using Web Services. ICWS 2007: 168-175 |
| c9 | | Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185 |
| c8 | | Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168 |
| i1 | | 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 | ||
| c7 | | Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar: X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW 2006: 35 |
| c6 | | Paolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141 |
| c5 | | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316 |
| 2005 | ||
| j8 | | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems 15(1): 33-84 (2005) |
| c4 | | Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo: Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS 2005: 358-367 |
| 2004 | ||
| c3 | | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825 |
| 2003 | ||
| j7 | | 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) |
| j6 | | Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard: Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Automat. Contr. 48(5): 714-727 (2003) |
| j5 | | Albert Benveniste, Eric Fabre, Stefan Haar: Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Automat. Contr. 48(11): 1936-1950 (2003) |
| c2 | | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26 |
| 2002 | ||
| j4 | | |
| c1 | | Stefan Haar: Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV 2002: 95-114 |
| 2001 | ||
| j3 | | |
| 2000 | ||
| j2 | | |
| 1998 | ||
| j1 | | Stefan Haar: Branching Processes of general S/T-Systems and their properties. Electr. Notes Theor. Comput. Sci. 18: 65-74 (1998) |
Colors in the list of coauthors
Last update Thu May 23 05:28:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page