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: 33 Publications since 1991 Co-Authors: 34 Co-Authors with 31 Joint Publications 962 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 Le Gall, Tristan 3 Sonon, Bernard 2 De Wachter, Bram 2 Ehab Moustafa Kamel, Karim 2 Genon, Alexandre 2 Marchand, Hervé 2 Mazzoni-Leduc, L. 2 Pardoen, Thomas 2 Van Begin, Laurent 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 Kilingar, Nanda Gopala 1 Larion, Ygee 1 Marchand, Herv 1 Mercatoris, B. C. N. 1 Moës, Nicolas 1 Noels, Ludovic 1 Wachter, Bram 1 Zlotnik, Sergio all top 5 Serials 4 Computational Mechanics 3 Computer Methods in Applied Mechanics and Engineering 3 European Journal of Mechanics. A. Solids 2 Information Processing Letters 2 International Journal for Numerical Methods in Engineering 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) 14 Mechanics of deformable solids (74-XX) 5 Systems theory; control (93-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-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 26 Publications have been cited 155 times in 130 Documents Cited by ▼ Year ▼ An enhanced multi-scale approach for masonry wall computations with localization of damage. Zbl 1194.74283Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 39 2007 A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking. Zbl 1060.74508Peerlings, R. H. J.; Massart, T. J.; Geers, M. G. D. 28 2004 A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry. Zbl 1217.74104Mercatoris, B. C. N.; Massart, T. J. 15 2011 Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry. Zbl 1058.74627Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 11 2004 How to make FDR spin LTL model checking of CSP by refinement. Zbl 0977.68672Leuschel, Michael; Massart, Thierry; Currie, Andrew 11 2001 Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086Leuschel, Michael; Massart, Thierry 7 2000 Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J. 5 2008 An advanced approach for the generation of complex cellular material representative volume elements using distance fields and level sets. Zbl 1329.74194Sonon, B.; François, B.; Massart, T. J. 5 2015 Limit synchronization in Markov decision processes. Zbl 1405.68228Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2014 Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry 4 2007 Infinite synchronizing words for probabilistic automata. Zbl 1343.68136Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 4 2011 An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques 3 2019 Testing distributed systems through symbolic model checking. Zbl 1215.68042Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent 2 2007 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 1506.74396Csati, Zoltan; Moës, Nicolas; Massart, Thierry J. 2 2020 The complexity of synchronizing Markov decision processes. Zbl 1421.68099Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 2 2019 Equality of agent expressions is preserved under an extension of the universe of actions. Zbl 0781.68056Massart, T.; Devillers, R. 1 1993 A calculus to define correct transformations of LOTOS specifications. Zbl 0766.68096Massart, T. 1 1992 Efficient approximate verification of B and Z models via symmetry markers. Zbl 1209.68127Leuschel, Michael; Massart, Thierry 1 2010 Robust synchronization in Markov decision processes. Zbl 1417.68140Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 1 2014 dSL: An environment with automatic code distribution for industrial control systems. Zbl 1078.68581Wachter, Bram; Massart, Thierry; Meuter, Cédric 1 2004 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351Berke, P.; Massart, T. J. 1 2011 The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin. Zbl 1080.68600De Wachter, Bram; Genon, Alexandre; Massart, Thierry; Meuter, Cédric 1 2005 Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation. Zbl 1466.74026Larion, Ygee; Zlotnik, Sergio; Massart, Thierry J.; Díez, Pedro 1 2020 Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability. Zbl 1442.74147Chen, Li; Beex, Lars A. A.; Berke, Peter Z.; Massart, Thierry J.; Bordas, Stéphane P. A. 1 2020 A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 1506.74396Csati, Zoltan; Moës, Nicolas; Massart, Thierry J. 2 2020 Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation. Zbl 1466.74026Larion, Ygee; Zlotnik, Sergio; Massart, Thierry J.; Díez, Pedro 1 2020 Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability. Zbl 1442.74147Chen, Li; Beex, Lars A. A.; Berke, Peter Z.; Massart, Thierry J.; Bordas, Stéphane P. A. 1 2020 An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques 3 2019 The complexity of synchronizing Markov decision processes. Zbl 1421.68099Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 2 2019 An advanced approach for the generation of complex cellular material representative volume elements using distance fields and level sets. Zbl 1329.74194Sonon, B.; François, B.; Massart, T. J. 5 2015 Limit synchronization in Markov decision processes. Zbl 1405.68228Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 5 2014 Robust synchronization in Markov decision processes. Zbl 1417.68140Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 1 2014 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry. Zbl 1217.74104Mercatoris, B. C. N.; Massart, T. J. 15 2011 Infinite synchronizing words for probabilistic automata. Zbl 1343.68136Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa 4 2011 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351Berke, P.; Massart, T. J. 1 2011 Efficient approximate verification of B and Z models via symmetry markers. Zbl 1209.68127Leuschel, Michael; Massart, Thierry 1 2010 Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J. 5 2008 An enhanced multi-scale approach for masonry wall computations with localization of damage. Zbl 1194.74283Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 39 2007 Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry 4 2007 Testing distributed systems through symbolic model checking. Zbl 1215.68042Kalyon, 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.68600De 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.74508Peerlings, R. H. J.; Massart, T. J.; Geers, M. G. D. 28 2004 Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry. Zbl 1058.74627Massart, T. J.; Peerlings, R. H. J.; Geers, M. G. D. 11 2004 dSL: An environment with automatic code distribution for industrial control systems. Zbl 1078.68581Wachter, Bram; Massart, Thierry; Meuter, Cédric 1 2004 How to make FDR spin LTL model checking of CSP by refinement. Zbl 0977.68672Leuschel, Michael; Massart, Thierry; Currie, Andrew 11 2001 Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086Leuschel, Michael; Massart, Thierry 7 2000 Equality of agent expressions is preserved under an extension of the universe of actions. Zbl 0781.68056Massart, T.; Devillers, R. 1 1993 A calculus to define correct transformations of LOTOS specifications. Zbl 0766.68096Massart, T. 1 1992 all cited Publications top 5 cited Publications all top 5 Cited by 265 Authors 12 Massart, Thierry Jacques 8 Geers, Marc G. D. 8 Sluys, Lambertus Johannes 5 Lloberas-Valls, Oriol 4 Kouznetsova, Varvara G. 4 Leuschel, Michael 4 Miehe, Christian 4 Noels, Ludovic 4 Pela’, Luca 4 Stroeven, Martijn 3 Aldakheel, Fadi 3 Forest, Samuel 3 Nguyen, Vinh Phu 3 Peerlings, Ron H. J. 3 Simone, Angelo 3 Zeman, Jan 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 Ehab Moustafa Kamel, Karim 2 Gallagher, John P. 2 Izzuddin, Bassam A. 2 Kalyon, Gabriel 2 Kumar, Sachin 2 Löhnert, Stefan 2 Lourenço, Paulo B. 2 Macorini, L. 2 Meuter, Cédric 2 Milani, Gabriele 2 Mulay, Shantanu S. 2 Oller, Sergio 2 Pardoen, Thomas 2 Petracca, Massimo 2 Polizzotto, Castrenze 2 Rixen, Daniel J. 2 Roca, Pere 2 Rossi, Riccardo 2 Sacco, Elio 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 2 Wu, Ling 1 Adam, Laurent 1 Addessi, Daniela 1 Arson, Chloé 1 Azizi, Reza 1 Bacigalupo, Andrea 1 Balaji, Nikhil 1 Banda, Gourinath 1 Baraldi, Daniele 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 Cavalagli, Nicola 1 Cecchi, Antonella 1 Chamoin, Ludovic 1 Chen, Zhaoyu 1 Cluni, Federico 1 Colatosti, Marco 1 Cordero, N. M. 1 de Medeiros, Ricardo 1 De Proft, Kurt 1 Degrenne, Nicolas 1 Deliktas, Babur 1 Dewaskar, Miheer 1 Diebels, Stefan 1 Dima, Cătălin 1 Doghri, Issam 1 Doménech, Jesús J. 1 Doškář, Martin 1 Du, Xiaoxiao 1 Engeler, Erwin 1 Esposito, Rita 1 Etse, Guillermo 1 Fantuzzi, Nicholas 1 Faria, Sérgio H. ...and 165 more Authors all top 5 Cited in 30 Serials 33 Computer Methods in Applied Mechanics and Engineering 12 International Journal for Numerical Methods in Engineering 12 Computational Mechanics 10 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 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 Theory and Practice of Logic Programming 1 International Journal of Computational Methods all top 5 Cited in 14 Fields 91 Mechanics of deformable solids (74-XX) 31 Computer science (68-XX) 16 Numerical analysis (65-XX) 7 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 2 Fluid mechanics (76-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 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year