×

Massart, Thierry Jacques

Compute Distance To:
Author ID: massart.thierry-jacques Recent zbMATH articles by "Massart, Thierry Jacques"
Published as: Massart, Thierry; Massart, T. J.; Massart, Thierry J.; Massart, T.; Massart, Thierry Jacques
Documents Indexed: 33 Publications since 1991
Co-Authors: 33 Co-Authors with 31 Joint Publications
671 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 139 times in 119 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.
36
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.
26
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.
14
2011
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.
11
2004
How to make FDR spin LTL model checking of CSP by refinement. Zbl 0977.68672
Leuschel, Michael; Massart, Thierry; Currie, Andrew
10
2001
Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086
Leuschel, Michael; Massart, Thierry
6
2000
Limit synchronization in Markov decision processes. Zbl 1405.68228
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
5
2014
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.
5
2015
Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006
Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J.
4
2008
An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139
Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques
3
2019
Infinite synchronizing words for probabilistic automata. Zbl 1343.68136
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2011
Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453
Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry
2
2007
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.
1
2020
A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 07413153
Csati, Zoltan; Moës, Nicolas; Massart, Thierry J.
1
2020
dSL: An environment with automatic code distribution for industrial control systems. Zbl 1078.68581
Wachter, Bram; Massart, Thierry; Meuter, Cédric
1
2004
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
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
1
2012
Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351
Berke, P.; Massart, T. J.
1
2011
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
The complexity of synchronizing Markov decision processes. Zbl 1421.68099
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
1
2019
Robust synchronization in Markov decision processes. Zbl 1417.68140
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
1
2014
Decentralized control of infinite systems. Zbl 1226.93013
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry
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
1
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.
1
2020
A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials. Zbl 07413153
Csati, Zoltan; Moës, Nicolas; Massart, Thierry J.
1
2020
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
1
2020
An integrated approach for the conformal discretization of complex inclusion-based microstructures. Zbl 1464.74139
Ehab Moustafa Kamel, Karim; Sonon, Bernard; Massart, Thierry Jacques
3
2019
The complexity of synchronizing Markov decision processes. Zbl 1421.68099
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
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.
5
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
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
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.74104
Mercatoris, B. C. N.; Massart, T. J.
14
2011
Infinite synchronizing words for probabilistic automata. Zbl 1343.68136
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2011
Coupled friction and roughness surface effects in shallow spherical nanoindentation. Zbl 1273.74351
Berke, P.; Massart, T. J.
1
2011
Decentralized control of infinite systems. Zbl 1226.93013
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry
1
2011
Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels. Zbl 1173.74006
Mazzoni-Leduc, L.; Pardoen, T.; Massart, T. J.
4
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.
36
2007
Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453
Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry
2
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.
26
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.
11
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
10
2001
Infinite state model checking by abstract interpretation and program specialisation. Zbl 0964.68086
Leuschel, Michael; Massart, Thierry
6
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 top 5

Cited by 242 Authors

12 Massart, Thierry Jacques
8 Geers, Marc G. D.
8 Sluys, Lambertus Johannes
5 Lloberas-Valls, Oriol
4 Kouznetsova, Varvara G.
4 Miehe, Christian
4 Noels, Ludovic
4 Pela’, Luca
4 Stroeven, Martijn
3 Aldakheel, Fadi
3 Leuschel, Michael
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 Dewaskar, Miheer
2 Ehab Moustafa Kamel, Karim
2 Forest, Samuel
2 Gallagher, John P.
2 Genest, Blaise
2 Gimbert, Hugo
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 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 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 Cordero, N. M.
1 de Medeiros, Ricardo
1 De Proft, Kurt
1 Degrenne, Nicolas
1 Deliktas, Babur
1 Diebels, Stefan
1 Dima, Cătălin
1 Doghri, Issam
1 Doménech, Jesús J.
1 Doškář, Martin
1 Doyen, Laurent
1 Du, Xiaoxiao
1 Esposito, Rita
1 Etse, Guillermo
1 Faria, Sérgio H.
1 Ferreira, António Joaquim Mendes
1 Feyel, Frédéric
1 Fioravanti, Fabio
...and 142 more Authors

Citations by Year