Edit Profile (opens in new tab) Massart, Thierry Jacques Co-Author Distance Author ID: massart.thierry-jacques Published as: Massart, Thierry; Massart, T. J.; Massart, Thierry J.; Massart, T.; Massart, Thierry Jacques more...less Documents Indexed: 34 Publications since 1991 Co-Authors: 37 Co-Authors with 32 Joint Publications 961 Co-Co-Authors all top 5 Co-Authors 2 single-authored 4 Doyen, Laurent 4 Geers, Marc G. D. 4 Kalyon, Gabriel 4 Leuschel, Michael 4 Meuter, Cédric 4 Peerlings, Ron H. J. 4 Shirmohammadi, Mahsa 3 Berke, Peter Z. 3 Ehab Moustafa Kamel, Karim 3 Le Gall, Tristan 3 Sonon, Bernard 2 De Wachter, Bram 2 Genon, Alexandre 2 Kilingar, Nanda Gopala 2 Marchand, Hervé 2 Mazzoni-Leduc, L. 2 Noels, Ludovic 2 Pardoen, Thomas 2 Van Begin, Laurent 1 Béchet, Eric 1 Beex, Lars A. A. 1 Bordas, Stéphane Pierre Alain 1 Bošnački, Dragan 1 Chen, Li 1 Csáti, Zoltán 1 Currie, Andrew O. 1 Devillers, Raymond 1 Díez, Pedro 1 Donaldson, Alastair F. 1 Jung, Anne 1 Larion, Ygee 1 Leblanc, Christophe 1 Marchand, Herv 1 Mercatoris, B. C. N. 1 Moës, Nicolas 1 Wachter, Bram 1 Zlotnik, Sergio all top 5 Serials 4 Computational Mechanics 3 Computer Methods in Applied Mechanics and Engineering 3 International Journal for Numerical Methods in Engineering 3 European Journal of Mechanics. A. Solids 2 Information Processing Letters 2 Formal Aspects of Computing 2 Discrete Event Dynamic Systems 1 International Journal of Solids and Structures 1 IEEE Transactions on Automatic Control 1 Journal of Computer and System Sciences 1 Annals of Mathematics and Artificial Intelligence all top 5 Fields 17 Computer science (68-XX) 15 Mechanics of deformable solids (74-XX) 5 Systems theory; control (93-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 28 Publications have been cited 175 times in 143 Documents Cited by ▼ Year ▼ An enhanced multi-scale approach for masonry wall computations with localization of damage. Zbl 1194.74283 Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 41 2007 A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking. Zbl 1060.74508 Peerlings, R. H. J.; Massart, T. J.; Geers, M. G. D. 29 2004 A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry. Zbl 1217.74104 Mercatoris, B. C. N.; Massart, T. J. 15 2011 How to make FDR spin LTL model checking of CSP by refinement. Zbl 0977.68672 Leuschel, Michael; Massart, Thierry; Currie, Andrew 12 2001 Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry. Zbl 1058.74627 Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 12 2004 Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086 Leuschel, Michael; Massart, Thierry 8 2000 Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006 Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J. 6 2008 An advanced approach for the generation of complex cellular material representative volume elements using distance fields and level sets. Zbl 1329.74194 Sonon, B.; François, B.; Massart, T. J. 6 2015 The complexity of synchronizing Markov decision processes. Zbl 1421.68099 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2019 Infinite synchronizing words for probabilistic automata. Zbl 1343.68136 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2011 Limit synchronization in Markov decision processes. Zbl 1405.68228 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2014 Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453 Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry 4 2007 An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139 Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques 4 2019 Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation. Zbl 1466.74026 Larion, Ygee; Zlotnik, Sergio; Massart, Thierry J.; Díez, Pedro 3 2020 Testing distributed systems through symbolic model checking. Zbl 1215.68042 Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent 2 2007 Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability. Zbl 1442.74147 Chen, Li; Beex, Lars A. A.; Berke, Peter Z.; Massart, Thierry J.; Bordas, Stéphane P. A. 2 2020 Robust synchronization in Markov decision processes. Zbl 1417.68140 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 2 2014 Decentralized control of infinite systems. Zbl 1226.93013 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2012 A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 1506.74396 Csati, Zoltan; Moës, Nicolas; Massart, Thierry J. 2 2020 Equality of agent expressions is preserved under an extension of the universe of actions. Zbl 0781.68056 Massart, T.; Devillers, R. 1 1993 dSL: An environment with automatic code distribution for industrial control systems. Zbl 1078.68581 Wachter, Bram; Massart, Thierry; Meuter, Cédric 1 2004 Computational generation of open-foam representative volume elements with morphological control using distance fields. Zbl 1473.74032 Kilingar, N. G.; Ehab Moustafa Kamel, K.; Sonon, B.; Massart, T. J.; Noels, L. 1 2019 The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin. Zbl 1080.68600 De Wachter, Bram; Genon, Alexandre; Massart, Thierry; Meuter, Cédric 1 2005 Efficient approximate verification of B and Z models via symmetry markers. Zbl 1209.68127 Leuschel, Michael; Massart, Thierry 1 2010 Symbolic supervisory control of distributed systems with communications. Zbl 1360.93425 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv; Massart, Thierry 1 2014 A calculus to define correct transformations of LOTOS specifications. Zbl 0766.68096 Massart, T. 1 1992 Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351 Berke, P.; Massart, T. J. 1 2011 Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation. Zbl 1466.74026 Larion, Ygee; Zlotnik, Sergio; Massart, Thierry J.; Díez, Pedro 3 2020 Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability. Zbl 1442.74147 Chen, Li; Beex, Lars A. A.; Berke, Peter Z.; Massart, Thierry J.; Bordas, Stéphane P. A. 2 2020 A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 1506.74396 Csati, Zoltan; Moës, Nicolas; Massart, Thierry J. 2 2020 The complexity of synchronizing Markov decision processes. Zbl 1421.68099 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2019 An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139 Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques 4 2019 Computational generation of open-foam representative volume elements with morphological control using distance fields. Zbl 1473.74032 Kilingar, N. G.; Ehab Moustafa Kamel, K.; Sonon, B.; Massart, T. J.; Noels, L. 1 2019 An advanced approach for the generation of complex cellular material representative volume elements using distance fields and level sets. Zbl 1329.74194 Sonon, B.; François, B.; Massart, T. J. 6 2015 Limit synchronization in Markov decision processes. Zbl 1405.68228 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2014 Robust synchronization in Markov decision processes. Zbl 1417.68140 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 2 2014 Symbolic supervisory control of distributed systems with communications. Zbl 1360.93425 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv; Massart, Thierry 1 2014 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2012 A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry. Zbl 1217.74104 Mercatoris, B. C. N.; Massart, T. J. 15 2011 Infinite synchronizing words for probabilistic automata. Zbl 1343.68136 Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2011 Decentralized control of infinite systems. Zbl 1226.93013 Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351 Berke, P.; Massart, T. J. 1 2011 Efficient approximate verification of B and Z models via symmetry markers. Zbl 1209.68127 Leuschel, Michael; Massart, Thierry 1 2010 Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006 Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J. 6 2008 An enhanced multi-scale approach for masonry wall computations with localization of damage. Zbl 1194.74283 Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 41 2007 Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453 Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry 4 2007 Testing distributed systems through symbolic model checking. Zbl 1215.68042 Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent 2 2007 The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin. Zbl 1080.68600 De Wachter, Bram; Genon, Alexandre; Massart, Thierry; Meuter, Cédric 1 2005 A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking. Zbl 1060.74508 Peerlings, R. H. J.; Massart, T. J.; Geers, M. G. D. 29 2004 Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry. Zbl 1058.74627 Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 12 2004 dSL: An environment with automatic code distribution for industrial control systems. Zbl 1078.68581 Wachter, Bram; Massart, Thierry; Meuter, Cédric 1 2004 How to make FDR spin LTL model checking of CSP by refinement. Zbl 0977.68672 Leuschel, Michael; Massart, Thierry; Currie, Andrew 12 2001 Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086 Leuschel, Michael; Massart, Thierry 8 2000 Equality of agent expressions is preserved under an extension of the universe of actions. Zbl 0781.68056 Massart, T.; Devillers, R. 1 1993 A calculus to define correct transformations of LOTOS specifications. Zbl 0766.68096 Massart, T. 1 1992 all cited Publications top 5 cited Publications all top 5 Cited by 301 Authors 13 Massart, Thierry Jacques 8 Geers, Marc G. D. 8 Sluys, Lambertus Johannes 6 Noels, Ludovic 5 Lloberas-Valls, Oriol 4 Kouznetsova, Varvara G. 4 Leuschel, Michael 4 Miehe, Christian 4 Pela’, Luca 4 Stroeven, Martijn 3 Aldakheel, Fadi 3 Ehab Moustafa Kamel, Karim 3 Forest, Samuel 3 Gallagher, John P. 3 Nguyen, Vinh Phu 3 Peerlings, Ron H. J. 3 Sacco, Elio 3 Simone, Angelo 3 Wu, Ling 3 Zeman, Jan 2 Addessi, Daniela 2 Aslan, Ozgur 2 Belytschko, Ted Bohdan 2 Bertrand, Nathalie 2 Bonchi, Filippo 2 Bosco, E. 2 Brekelmans, W. A. M. 2 Camata, Guido 2 Cervera, Miguel 2 Coenen, E. W. C. 2 Derrick, John 2 Doyen, Laurent 2 Fioravanti, Fabio 2 Izzuddin, Bassam A. 2 Kalyon, Gabriel 2 Kilingar, Nanda Gopala 2 Kumar, Sachin 2 Löhnert, Stefan 2 Lourenço, Paulo B. 2 Macorini, Lorenzo 2 Meuter, Cédric 2 Milani, Gabriele 2 Mishra, B. K. 2 Mulay, Shantanu S. 2 Oller, Sergio 2 Pardoen, Thomas 2 Petracca, Massimo 2 Pettorossi, Alberto 2 Polizzotto, Castrenze 2 Proietti, Maurizio 2 Rixen, Daniel J. 2 Roca, Pere 2 Rossi, Riccardo 2 Ruszil, Jakub 2 Sarkar, Subrato 2 Shirmohammadi, Mahsa 2 Silva, Alexandra 2 Singh, Indra Vir 2 Smith, Graeme 2 Sokolova, Ana 2 Song, Jeong-Hoon 2 Sonon, Bernard 2 Spacone, Enrico 2 Tralli, Antonio 2 Van Begin, Laurent 1 Adam, Laurent 1 Andrade Pires, Francisco M. 1 Arson, Chloé 1 Azizi, Reza 1 Bacigalupo, Andrea 1 Balaji, Nikhil 1 Ballarin, Francesco 1 Balzani, Daniel 1 Banda, Gourinath 1 Baraldi, Daniele 1 Béchet, Eric 1 Becker, Gauthier 1 Berkani, Mounira 1 Berke, Peter Z. 1 Besson, Jacques 1 Beyer, Katrin 1 Borino, Guido 1 Bormann, F. 1 Brank, Boštjan 1 Brito-Santana, Humberto 1 Bui, Tinh Quoc 1 Cai, Kai 1 Calleja Vázquez, Juan Manuel 1 Cavalagli, Nicola 1 Cecchi, Antonella 1 Chamoin, Ludovic 1 Chen, Zhaoyu 1 Cluni, Federico 1 Colatosti, Marco 1 Cordero, N. M. 1 Cui, Junzhi 1 De Angelis, Emanuele 1 de Medeiros, Ricardo 1 De Proft, Kurt 1 Degrenne, Nicolas ...and 201 more Authors all top 5 Cited in 31 Serials 34 Computer Methods in Applied Mechanics and Engineering 17 International Journal for Numerical Methods in Engineering 12 Computational Mechanics 12 European Journal of Mechanics. A. Solids 6 Formal Aspects of Computing 4 International Journal of Solids and Structures 3 International Journal of Engineering Science 3 Information Processing Letters 3 Journal of the Mechanics and Physics of Solids 2 Journal of Computational Physics 2 Journal of Computational and Applied Mathematics 2 Discrete Event Dynamic Systems 2 Applied Mathematical Modelling 2 Continuum Mechanics and Thermodynamics 2 Theory and Practice of Logic Programming 2 Logical Methods in Computer Science 1 Acta Informatica 1 Computers & Mathematics with Applications 1 International Journal of Control 1 International Journal of Plasticity 1 Physics Reports 1 Journal of Computer and System Sciences 1 Meccanica 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Mathematics and Mechanics of Solids 1 Archives of Computational Methods in Engineering 1 International Journal of Computational Methods 1 Results in Applied Mathematics all top 5 Cited in 16 Fields 98 Mechanics of deformable solids (74-XX) 35 Computer science (68-XX) 19 Numerical analysis (65-XX) 7 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 4 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Category theory; homological algebra (18-XX) 1 Partial differential equations (35-XX) 1 Statistics (62-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX) 1 Geophysics (86-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year