Concepedia

Ciprian Teodorov

CT

9

Publications

131

Citations

9

H-Index

2008

Active since

Affiliations

Université de Bretagne Occidentale(Current)

École nationale supérieure de techniques avancées Bretagne

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

Centre National de la Recherche Scientifique

École Supérieure d'Électronique de l'Ouest

Ciprian Teodorov is an author at Université de Bretagne Occidentale specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationVerificationSoftware Design

Publications per year

2008–2022

9

Publications

9

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard, Matthias Brun, Frédéric Jouault et al. · 2018 · 23 citations

Engineering, Hardware Verification Language, Verification +22

A new dominating tree routing algorithm for efficient leader election in IoT networks

Ahcène Bounceur, Madani Bezoui, Massinissa Lounis et al. · 2018 · 20 citations

Cluster Computing, Engineering, Iot Communication +18

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni, Issa Papa Diallo, Ciprian Teodorov et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 18 citations

Engineering, Computer Architecture, Software Engineering +17

Designing, animating, and verifying partial UML Models

Frédéric Jouault, Valentin Besnard, Théo Le Calvar et al. · 2020 · 14 citations

Software Maintenance, Engineering, Verification +24

Unified verification and monitoring of executable UML specifications

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault et al. · Software & Systems Modeling · 2021 · 13 citations

Engineering, Runtime Verification, Program Analysis +11

Rows per page

1–5 of 9