by Méry, Dominique
Published in Leveraging Applications of Formal Methods, Verification and Validation. Modeling

by Kherroubi, Souad, Méry, Dominique
Published in Model and Data Engineering (01.01.2017)

by Jain, Vineeta, Wetzker, Ulf, Laxmi, Vijay, Gaur, Manoj Singh, Mosbah, Mohamed, Mery, Dominique
Published in IEEE access (01.01.2023)

by Mendil, Ismail, Riviere, Peter, Ait-Ameur, Yamine, Singh, Neeraj Kumar, Mery, Dominique, Palanque, Philippe
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)

by Gibson, J Paul, Méry, Dominique
Published in Electronic proceedings in theoretical computer science (01.01.2018)

by Raschke, Alexander, Méry, Dominique
Year of Publication 2021

by Mery, Dominique
Published in 2021 Second International Conference on Information Systems and Software Technologies (ICI2ST) (01.03.2021)

by Raschke, Alexander, Méry, Dominique
Published in International journal on software tools for technology transfer (01.06.2024)

by TOURNIGAND, Christophe, ANDRE, Thierry, LANDI, Bruno, COLIN, Philippe, LOUVET, Christophe, DE GRAMONT, Aimery, ACHILLE, Emmanuel, LLEDO, Gérard, FLESH, Michel, MERY-MIGNARD, Dominique, QUINAUX, Emmanuel, COUTEAU, Corinne, BUYSE, Marc, GANEM, Gérard
Published in Journal of clinical oncology (15.01.2004)

by Méry, Dominique
Published in Future generation computer systems (01.03.2017)

by Aït-Ameur, Yamine, Gibson, John Paul, Méry, Dominique
Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (08.10.2014)

by Méry, Dominique, Raschke, Alexander
Published in Science of computer programming (01.04.2022)

by Raschke, Alexander, Méry, Dominique, Houdek, Frank
Year of Publication 2020

by Tounsi, Mohamed, Mosbah, Mohamed, Mery, Dominique
Published in 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2013)

by Ait-Ameur, Yamine, Méry, Dominique
Published in Science of computer programming (01.06.2016)

by Mendil, Ismail, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Dupont, Guillaume, Méry, Dominique, Palanque, Philippe
Published in Journal of systems architecture (01.02.2023)

by Méry, Dominique
Published in Model and Data Engineering

by Singh, Neeraj Kumar, Aït‐Ameur, Yamine, Mendil, Ismail, Méry, Dominique, Navarre, David, Palanque, Philippe, Pantel, Marc
Published in Journal of software : evolution and process (01.07.2023)

by Singh, Neeraj Kumar, Ait-Ameur, Yamine, Mery, Dominique
Published in 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2018)

by Mendil, Ismail, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Méry, Dominique, Palanque, Philippe
Published in Formal Methods for Industrial Critical Systems (2021)