Authors

• Jan Jancar (ORCID: https://orcid.org/0000-0002-1864-0183)
• Pierre-Alain Fouque (ORCID: https://orcid.org/0000-0003-4997-2276)
• Marcel Fourné (ORCID: https://orcid.org/0000-0003-4442-0085)
• Mohamed Sabt
• Daniel De Almeida Braga (ORCID: https://orcid.org/0000-0001-5083-5434)
• Peter Schwabe (ORCID: https://orcid.org/0000-0002-1310-0997)
• Yasemin Acar (ORCID: https://orcid.org/0000-0001-7167-7383)
• Gilles Barthe (ORCID: https://orcid.org/0000-0002-3853-1777)

Institutions

• Centre National de la Recherche Scientifique (FR)
• Radboud University Nijmegen (NL)
• George Washington University (US)
• Paderborn University (DE)
• Masaryk University (CZ)
• Institut de Recherche en Informatique et Systèmes Aléatoires (FR)
• Max Planck Institute for Security and Privacy (DE)
• IMDEA Software Institute (ES)
• Université de Rennes (FR)

Publication Details

Journal

SPIRE - Sciences Po Institutional REpository

Published

2024-08-14

Primary Topic

Simulation Techniques and Applications

Type

article

Field-Weighted Citation Impact

0.00

Funders

• European Commission