×

Massart, Thierry Jacques

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: 34 Publications since 1991
Co-Authors: 37 Co-Authors with 32 Joint Publications
961 Co-Co-Authors

Publications by Year

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 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

Citations by Year