Matthieu Renard

Statistics

Publications

Citations

H-Index

Active since

2017

Affiliations

Centre National de la Recherche Scientifique(Current)

Matthieu Renard is an author at Centre National de la Recherche Scientifique specializing in formal specification, formal methods, and probability theory.

Top concepts

EntropyBlockchainEngineeringProbabilityVerificationFormal MethodsComputer ScienceReal-time SystemsSoftware AnalysisFormal Verification

Publications per year

2017–2022

Publications

Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach

Sylvain Kubler, Matthieu Renard, Sankalp Ghatpande et al. · Expert Systems with Applications · 2022 · 18 citations · Full text

Blockchain, Decision Support System, Platform Selection +1

Optimal enforcement of (timed) properties with uncontrollable events

Matthieu Renard, Ylìès Falcone, Antoine Rollet et al. · Mathematical Structures in Computer Science · 2017 · 17 citations · Full text

Engineering, Verification, Runtime Enforcement +20

1–2 of 2