Back
  1. Home
  2. Profile of Pierre Carlier (UMONS)
Profil

Carlier Pierre

Main Referenced Co-authors
BRIHAYE, Thomas  (11)
Bouyer, Patricia (6)
MENET, Quentin  (6)
Bertrand, Nathalie (5)
Bouyer-Decitre, Patricia (5)
Main Referenced Keywords
General Earth and Planetary Sciences (1); General Environmental Science (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (15)
Main Referenced Disciplines
Electrical & electronics engineering (14)
Computer science (1)
Mathematics (1)

Publications (total 15)

The most downloaded
3 downloads
Bertrand, N., Bouyer, P., Brihaye, T., & Carlier, P. (2018). When are stochastic transition systems tameable? Journal of Logical and Algebraic Methods in Programming. https://hdl.handle.net/20.500.12907/17910

The most cited

5 citations (Scopus®)

Bertrand, N., Bouyer, P., Brihaye, T., & Carlier, P. (2018). When are stochastic transition systems tameable? Journal of Logical and Algebraic Methods in Programming. https://hdl.handle.net/20.500.12907/17910

Bertrand, N., Bouyer, P., Brihaye, T., & Carlier, P. (2018). When are stochastic transition systems tameable? Journal of Logical and Algebraic Methods in Programming.
Peer reviewed

Carlier, P. (2017). Verification of Stochastic Timed Automata [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/11111

Carlier, P. (18 November 2017). Verification of Stochastic Timed Automata [Paper presentation]. Séminaire du LSV, ENS Paris-Saclay (Cachan), France.

Bertrand, N., Bouyer-Decitre, P., Brihaye, T., & Carlier, P. (2016). Decisive Stochastic Timed Automata [Paper presentation]. International Colloquium on Automata, Languages and Programming, Rome, Italy.

Bertrand, N., Bouyer-Decitre, P., Brihaye, T., & Carlier, P. (28 June 2016). Decisiveness and stochastic timed automata [Paper presentation]. 12th Summer School on Modelling and Verification of Parallel Processes (MOVEP'16), Gênes, Italy.

Bouyer, P., Brihaye, T., Carlier, P., & Menet, Q. (2016). Compositional Design of Stochastic Timed Automata [Paper presentation]. Computer Science Symposium in Russia, Saint-Pétersbourg, Russia.

Bouyer-Decitre, P., Brihaye, T., Carlier, P., & Menet, Q. (2016). Composition of stochastic timed automata. Lecture Notes in Computer Science.
Peer reviewed

Carlier, P. (12 April 2016). Atteignabilité dans les automates temporisés et stochastiques [Paper presentation]. Séminaire Jeunes (Math-Info) 2016, Mons, Belgium.

Bertrand, N., Bouyer-Decitre, P., Brihaye, T., & Carlier, P. (23 March 2016). Decisiveness and stochastic timed automata [Paper presentation]. Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan, Cachan, France.

Bertrand, N., Bouyer-Decitre, P., Brihaye, T., & Carlier, P. (26 February 2016). Decisiveness and stochastic timed automata [Paper presentation]. Centre Fédéré en Vérification (ULB), Bruxelles, Belgium.

Bouyer, P., Brihaye, T., Carlier, P., & Menet, Q. (09 June 2015). Compositional Design of Stochastic Timed Automata [Paper presentation]. Annual seminar of the LSV, Dourdan, France.

Bouyer, P., Brihaye, T., Carlier, P., & Menet, Q. (08 May 2015). Compositional Design of Stochastic Timed Automata [Paper presentation]. Méthodes formelles et Vérification, Bruxelles (ULB), Belgium.

Bouyer, P., Brihaye, T., Carlier, P., & Menet, Q. (12 March 2015). Composition of stochastic timed automata [Paper presentation]. ERC Workshop in Verification, Vienne, Austria.

Bouyer, P., Brihaye, T., Carlier, P., & Menet, Q. (25 February 2015). Composition of stochastic timed automata [Paper presentation]. Frontiers of Formal Methods, Aachen, Germany.

Bohy, A., Carlier, P., De Pril, J., Oualhadj, Y., & Randour, M. (2014). Jouer n'est pas qu'un jeu !

Contact ORBi UMONS