Cristina Seceleanu

Mälardalen University, TU Dortmund University

论文数

8

总引用数

65

H-Index

6

关于

暂无简介。

研究焦点

Computer science8 · 65 次引用
Programming language4 · 40 次引用
Model checking3 · 31 次引用
Software engineering4 · 23 次引用
Formal verification2 · 18 次引用
Callback2 · 16 次引用
Assisted living2 · 15 次引用
Artificial intelligence2 · 15 次引用
Drone1 · 13 次引用
Medicine1 · 13 次引用
Gerontology1 · 13 次引用
Robot1 · 13 次引用

主要成就

6
H 指数
8
论文
65
总引用数
8
篇均引用
🏆 最高被引论文
Statistical Model Checking of Complex Robotic Systems
13 次引用 · 2019
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 16
🏛 所属机构: Mälardalen University, TU Dortmund University

代表论文

  1. 1
    Statistical Model Checking of Complex Robotic Systems
    13 次引用 · 2019
  2. 2
    Do We Need an Integrated Framework for Ambient Assisted Living?
    13 次引用 · 2016
  3. 3
    Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
    9 次引用 · 2023
  4. 4
    Critical Systems: Formal Methods and Automated Verification
    9 次引用 · 2017
  5. 5
    From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration
    9 次引用 · 2021
  6. 6
    Experimental Evaluation of Callback Behavior in ROS 2 Executors
    7 次引用 · 2023
  7. 7
    A Model-Based Methodology for Automated Verification of ROS 2 Systems
    3 次引用 · 2024
  8. 8
    Analyzing ambient assisted living solutions: A research perspective
    2 次引用 · 2017

主要合作者

SMSaad Mubeen3 篇合著论文AKAshalatha Kunnappilly3 篇合著论文MEMikael Ekström3 篇合著论文RGRong Gu3 篇合著论文LDLukas Dust3 篇合著论文MLMaría Lindén1 篇合著论文MFMohammed Foughali1 篇合著论文BSBernhard Steffen1 篇合著论文LPLaure Petrucci1 篇合著论文ALAxel Legay1 篇合著论文EPEmil Persson1 篇合著论文FIFélix Ingrand1 篇合著论文LTLouis‐Marie Traonouez1 篇合著论文PBPeter Backeman1 篇合著论文TMTiziana Margaria1 篇合著论文ACAna Cavalcanti1 篇合著论文
尚未生成