Concepedia

Radu Mateescu

RM

Statistics

Publications

38

Citations

1.7K

H-Index

20

Active since

1996

Affiliations

Centre Inria de l'Université Grenoble Alpes(Current)

Institut national de recherche en sciences et technologies du numérique

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Centre National de la Recherche Scientifique

Radu Mateescu is an author at Centre Inria de l'Université Grenoble Alpes specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationComputer EngineeringSoftware DesignProgram AnalysisSoftware Analysis

Publications per year

1996–2024

38

Publications

38

CADP 2011: a toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · International Journal on Software Tools for Technology Transfer · 2012 · 271 citations · Full text

Cluster Computing, Engineering, Software Engineering +18

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

G. Batt, Delphine Ropers, Hidde de Jong et al. · Computer applications in the biosciences · 2005 · 192 citations

Efficient on-the-fly model-checking for regular alternation-free mu-calculus

Radu Mateescu, Mihaela Sighireanu · Science of Computer Programming · 2002 · 159 citations

Regular Alternation-free Mu-calculus, Engineering, Automated Reasoning +8

An overview of CADP 2001

Hubert Garavel, Frédéric Lang, Radu Mateescu · 2001 · 151 citations · Full text

Engineering, Industrial Engineering, Digital Manufacturing +28

Parallel state space construction for model-checking

Hubert Garavel, Radu Mateescu, Irina Smarandache · International workshop on Model Checking Software · 2001 · 126 citations

Engineering, Automated Reasoning, Verification +7

1–5 of 38