Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche MEXICO
Publications de l'équipe MEXICO
2012
Rapports
- Titre
- Avoiding Shared Clocks in Networks of Timed Automata
- Auteurs
- Sandie Balaguer
; Thomas Chatain - Détail
- [Research Report], 2012, pp. 26. RR-7990
- Accès au texte intégral et bibtex
-
2011
Communications avec actes
- Titre
- Building Tight Occurrence Nets from Reveals Relations.
- Auteurs
- Sandie Balaguer; Thomas Chatain; Stefan Haar
- Détail
- Caillaud, Benoit and Carmona, Josep. ACSD 2011, Jun 2011, Newcastle, United Kingdom. IEEE Computer Society Press, pp. 44-53
- Accès au texte intégral et bibtex
-
- Titre
- Computing the Reveals Relation in Occurrence Nets
- Auteurs
- Stefan Haar; Christian Kern; Stefan Schwoon
- Détail
- D'Agostino, Giovanna and La Torre, Salvatore. Gandalf, Jun 2011, Minori, Italy. 54, pp. 31-44, Electronic Proceedings in Theoretical Computer Science
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- What Topology tells us about Diagnosability in Partial Order Semantics
- Auteurs
- Stefan Haar
- Détail
- [Research Report], 2011. RR-7593
- Accès au texte intégral et bibtex
-
2010
Articles dans des revues avec comité de lecture
- Titre
- Unfolding-based Diagnosis of Systems with an Evolving Topology
- Auteurs
- Paolo Baldan; Thomas Chatain; Stefan Haar; Barbara König
- Détail
- Information and Computation, Elsevier Science Publishers, 2010, 10, pp. 1169-1192
- Accès au texte intégral et bibtex
-
- Titre
- Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
- Auteurs
- Stefan Haar
- Détail
- IEEE Transactions on Automatic Control, IEEE Computer Society Press, 2010, 55 (10), pp. 2310-2320
- Accès au texte intégral et bibtex
-
Communications avec actes
- Titre
- A~Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
- Auteurs
- Sandie Balaguer; Thomas Chatain; Stefan Haar
- Détail
- Markey, Nicolas and Wijsen, Jef. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), Sep 2010, Paris, France, France. IEEE Computer Society Press, pp. 77-84
- Accès au bibtex
-
- Titre
- What Topology Tells us about Diagnosability in Partial Order Semantics
- Auteurs
- Stefan Haar
- Détail
- Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp. 221-226
- Accès au bibtex
-
2009
Communications avec actes
- Titre
- Qualitative Diagnosability of Labeled Petri Nets Revisited
- Auteurs
- Stefan Haar
- Détail
- Proceedings of the Joint 48th IEEE Conference on Decision and Control (CDC'09) and 28th Chinese Control Conference (CCC'09), Dec 2009, Shanghai, China, China. IEEE Control System Society, pp. 1248-1253
- Accès au bibtex
-
- Titre
- Critical paths in the Partial Order Unfolding of a Stochastic Petri Net
- Auteurs
- Anne Bouillard; Stefan Haar; Sidney Rosario
- Détail
- Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp. 43-57
- Accès au bibtex
-
- Titre
- Monotonicity in Service Orchestrations
- Auteurs
- Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar
- Détail
- Franceschinis, Giuliana and Wolf, Karsten. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. Springer, 5606, pp. 263-282
- Accès au bibtex
-
2008
Articles dans des revues avec comité de lecture
- Titre
- Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks
- Auteurs
- Hélia Pouyllau; Stefan Haar
- Détail
- Annals of Telecomunications, Springer, 2008, 63 (11-12), pp. 621-630
- Accès au bibtex
-
Communications avec actes
- Titre
- Unfolding-based Diagnosis of Systems with an Evolving Topology
- Auteurs
- Paolo Baldan; Thomas Chatain; Stefan Haar; Barbara König
- Détail
- van Breugel, Franck and Chechik, Marsha. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), 2008, Toronto, Canada, Canada. Springer, 5201, pp. 203-217
- Accès au bibtex
-
2000
Articles dans des revues avec comité de lecture
- Titre
- Occurrence Net Logics
- Auteurs
- Stefan Haar
- Détail
- Fundamenta Informaticae, IOS Press, 2000, 43 (1-4), pp. 105-127
- Accès au bibtex
-
Communications avec actes
- Titre
- A~Limit Semantics for Timed Petri Nets
- Auteurs
- Bruno Gaujal; Stefan Haar
- Détail
- Boel, René and Stremersch, Geert. Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), 2000, Ghent, Belgium, Belgium. Kluwer Academic Publishers, pp. 219-228
- Accès au bibtex
-
1998
Communications avec actes
- Titre
- Branching Processes of General S/T-Systems and their Properties
- Auteurs
- Stefan Haar
- Détail
- Jan\v car, Petr and Křetínský, Mojmír. Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. Elsevier Science Publishers, 18, pp. 65-74
- Accès au bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
