logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Cristina Seceleanu

malardalen university

16H指数
176论文数
1.0K被引数
收录论文 9
发表时间
logo
Contract-Based Verification of Digital Twins基于契约的数字孪生验证
errENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2025
IF0
err2026-01-01
err0
PREAI
errNaeem, Muhammad; Seceleanu, Cristina
err分享
err收藏
A model-based approach to automation of formal verification of ROS 2-based systems基于模型的方法用于基于ROS 2系统的形式化验证自动化
errFrontiers in Robotics and AI
IF3
err2025-08-08
err0
errOAAI
errLukas Dust; Rong Gu; Saad Mubeen; Mikael Ekström; Cristina Seceleanu
err分享
err收藏
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions复杂路况下多自主agent任务计划的综合与验证
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-09-27
err2
errOAAI
errGu, Rong; Baranov, Eduard; Ameri, Afshin; Seceleanu, Cristina; Enoiu, Eduard Paul; Cuerueklue, Baran; Legay, Axel; Lundqvist, Kristina
err分享
err收藏
Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL STRATEGO
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024
IF0
err2024-07-14
err0
PREAI
errNaeem, Muhammad; Gu, Rong; Seceleanu, Cristina; Larsen, Kim Guldstrand; Nielsen, Brian; Albano, Michele
err分享
err收藏
TAMAA: UPPAAL-based Mission Planning for Autonomous AgentsTAMAA: 基于UPPAAL的自主代理任务规划
errproceedings of the
IF0
err2020-03-30
err8
PREAI
errGu, Rong; Enoiu, Eduard; Seceleanu, Cristina
err分享
err收藏
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions
errSENSORS
IF3.5
err2019-11-19
err6
errOAAI
errKunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina
err分享
err收藏
Data aggregation processes: a survey, a taxonomy, and design guidelines数据聚合过程: 调查、分类和设计指南
errCOMPUTING
IF2.8
err2018-11-16
err13
errOAAI
errCai, Simin; Gallina, Barbara; Nystrom, Dag; Seceleanu, Cristina
err分享
err收藏
Guest editorial foreword
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2016-11-01
err0
PREAI
errSeceleanu, Cristina; Yoshida, Kenichi
err分享
err收藏
A methodology for formal analysis and verification of EAST-ADL models
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2013-12-01
err22
errOAAI
errKang, Eun-Young; Enoiu, Eduard Paul; Marinescu, Raluca; Seceleanu, Cristina; Schobbens, Pierre-Yves; Pettersson, Paul
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Kim G. Larsen
H 指数: 70 · 论文数: 854
P
Paul Pettersson
H 指数: 42 · 论文数: 205
A
Axel Legay
H 指数: 39 · 论文数: 536
K
Kenichi Yoshida
H 指数: 36 · 论文数: 481
P
Pierre‐Yves Schobbens
H 指数: 32 · 论文数: 208
查看更多