Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Paolo Baldan, Stefan Haar, Barbara König
   Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:126-141 [Conf]
   
4. 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]
   
5. Stefan Haar
   Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:95-114 [Conf]
   
6. 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]
   
7. 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]
   
8. Stefan Haar
   Occurrence Net Logics. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2000, v:43, n:1-4, pp:105-127 [Journal]
   
9. Stefan Haar
   Clusters, Confusion and Unfoldings. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:47, n:3-4, pp:259-270 [Journal]
   
10. Stefan Haar
    Probabilistic Cluster Unfoldings. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:53, n:3-4, pp:281-314 [Journal]
    
11. 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]
    
12. 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]
    
13. 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]
    
14. 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]
    
15. Hélia Pouyllau, Stefan Haar
    Distributed End-to-End QoS Contract Negotiation. [Citation Graph (0, 0)][DBLP]
    AIMS, 2007, pp:180-183 [Conf]
    
16. 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]
    
17. 
    Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP]
    
    
18. 
    Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP]
    
    
19. 
    Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. [Citation Graph (, )][DBLP]
    
    
20. 
    Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. [Citation Graph (, )][DBLP]
    
    
21. 
    Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]
    
    
22. 
    Event Structure Semantics of Orc. [Citation Graph (, )][DBLP]
    
    
23. 
    Qualitative diagnosability of labeled petri nets revisited. [Citation Graph (, )][DBLP]
    
    
24. 
    Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. [Citation Graph (, )][DBLP]
    
    
25. 
    Monotony in Service Orchestrations [Citation Graph (, )][DBLP]