Articles in Journals

[1]

A. Benveniste, E. Fabre, S. Haar, C. Jard, Diagnosis of asynchronous discrete event systems, a net unfolding approach, IEEE Transactions on Automatic Control AC-48, 5, May 2003, pages 714-727.

[2]

A. Benveniste, E. Fabre, S. Haar, Markov nets : Probabilistic models for distributed and concurrent systems, IEEE Transactions on Automatic Control AC-48, 11, November 2003, pages 1936-1950.

[3]

B. Gaujal, S. Haar, J. Mairesse, Blocking a transition in a free choice net, and what it tells about its throughput, Journal of Computer and System Sciences 66, 3, May 2003, pages 515-548.

[4]

S. Haar, Clusters, confusion and unfoldings, Fundamenta Informaticæ 47, 3-4, September / October 2001, pages 259-270.

[5]

S. Haar, Probabilistic cluster unfoldings, Fundamenta Informaticæ 53, 3-4, December 2002, pages 281-314.

Articles in Contributed Volumes

[6]

A. Benveniste, F. Le Gland, E. Fabre, S. Haar, Distributed hidden Markov models, in : Optimal Control and PDE's - Innovations and Applications. In honor of Alain Bensoussan on the occasion of his 60th birthday, J.-L. Menaldi, E. Rofman, and A. Sulem, editors, IOS Press, Amsterdam, 2001, pages 211-220.

[7]

S. Haar, Probabilistic unfoldings and partial order fairness in Petri nets, in : Process Algebra and Probabilistic Methods. Performance Modeling and Verification (PAPM-PROBMIV), Copenhagen, H. Hermanns and R. Segala, editors, Lecture Notes in Computer Science, 2399, Springer Verlag, Berlin, 2002, pages 95-114.

Articles in Conference Proceedings

[8]

A. Benveniste, E. Fabre, S. Haar, C. Jard, Distributed and asynchronous discrete event systems diagnosis, in : 42nd IEEE Conference on Decision and Control (CDC), Maui, IEEE Control Systems Society, December 2003.

[9]

A. Benveniste, E. Fabre, S. Haar, Hidden Markov models for distributed and concurrent systems, in : 40th IEEE Conference on Decision and Control (CDC), Orlando, IEEE Control Systems Society, December 2001. Paper FrP12-6.

[10]

A. Benveniste, E. Fabre, C. Jard, S. Haar, Diagnosis of asynchronous discrete event systems, a net unfolding approach, in : Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.

[11]

A. Benveniste, S. Haar, E. Fabre, C. Jard, Distributed monitoring of concurrent and asynchronous systems, in : CONCUR'03, August 2003. Plenary talk.

[12]

B. Gaujal, S. Haar, J. Mairesse, Blocking a transition in a Petri net, and what it tells about its asymptotic behavior, in : 11th INFORMS Applied Probability Conference, New York, INFORMS, June 2001.

[13]

S. Haar, F. Baccelli, Counter equations for timed competition nets, in : Workshop on Max-Plus Algebras and their Applications to Discrete-Event Systems, Theoretical Computer Science, and Optimization, Prague, IFAC, August 2001.

[14]

S. Haar, A. Benveniste, E. Fabre, C. Jard, Partial order diagnosability of discrete event systems using Petri net unfoldings, in : 42nd IEEE Conference on Decision and Control (CDC), Maui, IEEE Control Systems Society, December 2003.

[15]

S. Haar, A. Benveniste, E. Fabre, Markov nets : A new probabilistic model for fault diagnosis in concurrent systems, in : Workshop on Concurrency in Dependable Computing, Newcastle, June 2001.

[16]

S. Haar, L. Kaiser, F. Simonot-Lion, J. Toussaint, Equivalence between timed state machines and time Petri nets, in : Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.

[17]

S. Haar, Probabilizing parallelism in cluster unfoldings, in : Workshop on Concurrency, Specification and Programming (CS&P), Berlin, October 2002.

[18]

S. Haar, Distributed semi-Markov processes in stochastic T-timed Petri nets, in : 10th Workshop on Petri Nets and Performance Models (PNPM), Urbana-Champaign, September 2003.

Research and Technical Reports

[19]

A. Benveniste, E. Fabre, S. Haar, Markov nets : Probabilistic models for distributed and concurrent systems, Publication Interne 1415, IRISA, September 2001, [download !].

[20]

A. Benveniste, E. Fabre, S. Haar, Markov nets : Probabilistic models for distributed and concurrent systems, Publication Interne 1538 (extended version, update of 1415), IRISA, May 2003, [download !].

[21]

A. Benveniste, E. Fabre, C. Jard, S. Haar, Diagnosis of asynchronous discrete event systems, a net unfolding approach, Publication Interne 1399, IRISA, May 2001, [download !].

[22]

A. Benveniste, E. Fabre, C. Jard, S. Haar, Diagnosis of asynchronous discrete event systems, a net unfolding approach, Publication Interne 1456 (update of 1399), IRISA, May 2002, [download !].

[23]

B. Gaujal, S. Haar, J. Mairesse, Blocking a transition in a free choice net, and what it tells about its throughput, Rapport de Recherche 4225, INRIA, July 2001, [download !].

[24]

S. Haar, Probabilistic cluster unfoldings for Petri nets, Publication Interne 1428, IRISA, April 2002, [download !].

[25]

S. Haar, Distributed semi-Markov processes in stochastic T-timed Petri nets, Publication Interne 1518, IRISA, March 2003, [download !].

[26]

S. Haar, Probabilistic cluster unfoldings for Petri nets, Publication Interne 1517 (update of 1428), IRISA, March 2003, [download !].

---

File translated from T_EX by T_TH, version 2.25.
On 8 Dec 2003, 19:13.