Search the dblp DataBase
Stefan Haar :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hélia Pouyllau , Armen Aghasaryan , Laurent Ciarletta , Stefan Haar X-domain QoS budget negotiation using Dynamic Programming. [Citation Graph (0, 0)][DBLP ] AICT/ICIW, 2006, pp:35- [Conf ] Albert Benveniste , Stefan Haar , Eric Fabre , Claude Jard Distributed Monitoring of Concurrent and Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:1-26 [Conf ] Paolo Baldan , Stefan Haar , Barbara König Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2006, pp:126-141 [Conf ] Eric Fabre , Albert Benveniste , Stefan Haar , Claude Jard , Armen Aghasaryan Algorithms for Distributed Fault Management in Telecommunications Networks. [Citation Graph (0, 0)][DBLP ] ICT, 2004, pp:820-825 [Conf ] Stefan Haar Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:95-114 [Conf ] Serge Abiteboul , Zoë Abrams , Stefan Haar , Tova Milo Diagnosis of asynchronous discrete event systems: datalog to the rescue! [Citation Graph (0, 0)][DBLP ] PODS, 2005, pp:358-367 [Conf ] Stefan Haar Branching Processes of general S/T-Systems and their properties. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal ] Stefan Haar Occurrence Net Logics. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2000, v:43, n:1-4, pp:105-127 [Journal ] Stefan Haar Clusters, Confusion and Unfoldings. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2001, v:47, n:3-4, pp:259-270 [Journal ] Stefan Haar Probabilistic Cluster Unfoldings. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2002, v:53, n:3-4, pp:281-314 [Journal ] Bruno Gaujal , Stefan Haar , Jean Mairesse Blocking a transition in a free choice net and what it tells about its throughput. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2003, v:66, n:3, pp:515-548 [Journal ] Sidney Rosario , Albert Benveniste , Stefan Haar , Claude Jard Probabilistic QoS and soft contracts for transaction based Web services. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:126-133 [Conf ] Hélia Pouyllau , Stefan Haar A protocol for QoS contract negotiation and its implementation using Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:168-175 [Conf ] Stefan Haar , Claude Jard , Guy-Vincent Jourdan Testing Input/Output Partial Order Automata. [Citation Graph (0, 0)][DBLP ] TestCom/FATES, 2007, pp:171-185 [Conf ] Hélia Pouyllau , Stefan Haar Distributed End-to-End QoS Contract Negotiation. [Citation Graph (0, 0)][DBLP ] AIMS, 2007, pp:180-183 [Conf ] Bruno Gaujal , Stefan Haar , Jean Mairesse Blocking a transition in a Free Choice net and what it tells about its throughput [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP ] Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP ] Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. [Citation Graph (, )][DBLP ] Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. [Citation Graph (, )][DBLP ] Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP ] Event Structure Semantics of Orc. [Citation Graph (, )][DBLP ] Qualitative diagnosability of labeled petri nets revisited. [Citation Graph (, )][DBLP ] Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. [Citation Graph (, )][DBLP ] Monotony in Service Orchestrations [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs