Cristina Seceleanu
Papers
8
Total Citations
65
H-Index
6
About
No biography available yet.
Research Focus
Computer science8 · 65 citations
Programming language4 · 40 citations
Model checking3 · 31 citations
Software engineering4 · 23 citations
Formal verification2 · 18 citations
Callback2 · 16 citations
Assisted living2 · 15 citations
Artificial intelligence2 · 15 citations
Drone1 · 13 citations
Medicine1 · 13 citations
Gerontology1 · 13 citations
Robot1 · 13 citations
Key Achievements
6
H-Index
8
Papers
65
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Statistical Model Checking of Complex Robotic Systems
13 citations · 2019
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: Mälardalen University, TU Dortmund University
Top Papers
- 1Statistical Model Checking of Complex Robotic Systems13 citations · 2019
- 2Do We Need an Integrated Framework for Ambient Assisted Living?13 citations · 2016
- 3Pattern-Based Verification of ROS 2 Nodes Using UPPAAL9 citations · 2023
- 4Critical Systems: Formal Methods and Automated Verification9 citations · 2017
- 5
- 6Experimental Evaluation of Callback Behavior in ROS 2 Executors7 citations · 2023
- 7A Model-Based Methodology for Automated Verification of ROS 2 Systems3 citations · 2024
- 8Analyzing ambient assisted living solutions: A research perspective2 citations · 2017
Key Collaborators
SMSaad Mubeen3 shared papersAKAshalatha Kunnappilly3 shared papersMEMikael Ekström3 shared papersRGRong Gu3 shared papersLDLukas Dust3 shared papersMLMaría Lindén1 shared papersMFMohammed Foughali1 shared papersBSBernhard Steffen1 shared papersLPLaure Petrucci1 shared papersALAxel Legay1 shared papersEPEmil Persson1 shared papersFIFélix Ingrand1 shared papersLTLouis‐Marie Traonouez1 shared papersPBPeter Backeman1 shared papersTMTiziana Margaria1 shared papersACAna Cavalcanti1 shared papers
Not generated yet