Articles dans des revues avec comité de lecture (29)
25.
Massart, T. (1993). A collision problem in OSI standard formal specifications. Computer Networks and ISDN Systems, 26(2), 233-238.
26.
Massart, T., & Devillers, R. (1993). Equality of agent expressions is preserved under an extension of the universe of actions. Formal aspects of computing, 5(1), 79-88. doi:10.1007/BF01211317
27.
Massart, T. (1992). A calculus to define correct transformations of lotos specifications. IFIP transactions. Computer science and technology, 2, 281-296.
28.
Massart, T. (1991). An agent calculus with simple actions where the enabling and disabling are derived operators. Information processing letters, 40(4), 213-218. doi:10.1016/0020-0190(91)90080-2
29.
Cohen, A., Massart, T., Sales, B., & Van Binst, P. (1988). The helios project: Osi conformant, high speed data communication by satellite in Europe. Monograph series of the International Council for Computer Communications, 94-98.
Communications publiées lors de congrès ou colloques nationaux et internationaux (20)
1.
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference (pp. 1456-1462) ECC’09(August 2009: Budapest, Hungary).
2.
Leuschel, M., & Massart, T. (2007). Efficient approximate verification of b and z models via symmetry markers. Proceedings of the international symmetry conference (p. 15) International symmetry conference(14-17 January 2007: Edinburgh).
3.
De Wachter, B., Massart, T., & Meuter, C. (2003). dSL verification with spin, a case study. Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03) (p. 17) Automated Verification of Critical Systems(3: April 2003: Southampton, UK).
4.
Leuschel, M., & Massart, T. (2002). Logic programming and reactive deduction for the verification of reactive systems: an experimental evaluation. Proceedings of AVoCS'02: Second Workshop on Automated Verification of Critical Systems (p. 7) (15-16 April 2002: Birmingham, UK).
5.
De Wachter, B., Massart, T., & Saeednia, S. (2002). Efficient heuristics for the optimal task labeling problem. Proceedings of the International Conference on Operations Research for Development - XXXVth Annual Convention of ORSI (p. 4) (December 2002: Chennai, India).
6.
Massart, T., Raskin, J.-F., & Van Begin, L. (2002). Symbolic distributed verification of a class of parametric concurrent systems. Proceedings of PDMC02: Workshop on Parallel and Distributed Model Checking (p. 6) (August 2002: Brno, Czech Republic).
7.
Leuschel, M., Wolton, I., Massart, T., & Adhianto, L. (2001). Temporal logic model checking of csp, tools and techniques. Proceedings of AVoCS'01: Workshop on Automated Verification of Critical Systems (p. 3) (April 2001: Oxford, UK).