Articles dans des revues avec comité de lecture (29)
13.
Leuschel, M., & Massart, T. (2010). Efficient approximate verification of b and z models via symmetry markers. Annals of mathematics and artificial intelligence, 59(1), 81-106. doi:10.1007/s10472-010-9208-8
14.
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Computational Complexity for State-Feedback Controllers with Partial Observation. IEEE International Conference on Control and Automation, 435-441.
15.
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. Journal européen des systèmes automatisés, 43(7-9), 805-819.
16.
Massart, T., Meuter, C., & Van Begin, L. (2008). On the complexity of partial order trace model checking. Information processing letters, 106(3), 120-126. doi:10.1016/j.ipl.2007.10.013
17.
Kalyon, G., Massart, T., Meuter, C., & Van Begin, L. (2007). Testing distributed systems through symbolic model checking. Lecture notes in computer science, 4574 LNCS, 263-279.
18.
Bošnački, D. D., Donaldson, A. F. A., Leuschel, M., & Massart, T. (2007). Efficient approximate verification of promela models via symmetry markers. Lecture notes in computer science, 4762 LNCS, 300-315.
19.
Genon, A., Massart, T., & Meuter, C. (2006). Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces. Lecture notes in computer science, 4085 LNCS, 557-572.
20.
De Wachter, B., Genon, A., Massart, T., & Meuter, C. (2005). The formal design of distributed controllers with dSL and Spin. Formal aspects of computing, 17(2), 177-200. doi:10.1007/s00165-005-0066-9
21.
De Wachter, B., Genon, A., & Massart, T. (2005). From static code distribution to more shrinkage for the multiterminal cut. Lecture notes in computer science, 3503, 177-188.
22.
De Wachter, B., Massart, T., & Meuter, C. (2004). DSL: An environment with automatic code distribution for industrial control systems. Lecture notes in computer science, 3144, 132-145.
23.
Leuschel, M., & Massart, T. (2001). How to make fdr spin: Ltl model checking of csp by refinement. Lecture notes in computer science, 2021, 99-118.
24.
Leuschel, M., & Massart, T. (1999). Infinite state model checking by abstract interpretation and program specialisation. Lecture notes in computer science, 1817, 63-82.