科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
V
Vladimir Herdt
University of Bremen
17
H指数
106
论文数
817
被引数
0
相关解读
订阅
收录论文
6
发表时间
发表时间
IF
被引数
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT
物联网中有状态网络协议实现的基于规范的符号执行
IEEE INTERNET OF THINGS JOURNAL
IF
8.9
2023-06-01
3
PRE
AI
Tempel, Soeren; Herdt, Vladimir; Drechsler, Rolf
分享
收藏
The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research
JOURNAL OF SYSTEMS ARCHITECTURE
IF
4.1
2022-12-01
10
PRE
AI
Ahmadi-Pour, Sallar; Herdt, Vladimir; Drechsler, Rolf
分享
收藏
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware
JOURNAL OF SYSTEMS ARCHITECTURE
IF
4.1
2022-05-01
6
OA
AI
Tempel, Soeren; Herdt, Vladimir; Drechsler, Rolf
分享
收藏
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
SCIENCE CHINA-INFORMATION SCIENCES
IF
7.6
2021-12-23
3
OA
AI
Herdt, Vladimir; Drechsler, Rolf
分享
收藏
Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform
JOURNAL OF SYSTEMS ARCHITECTURE
IF
4.1
2021-06-01
2
OA
AI
Herdt, Vladimir; Grosse, Daniel; Tempel, Soeren; Drechsler, Rolf
分享
收藏
RISC-V based virtual prototype: An extensible and configurable platform for the system-level
JOURNAL OF SYSTEMS ARCHITECTURE
IF
4.1
2020-10-01
34
PRE
AI
Herdt, Vladimir; Grosse, Daniel; Pieper, Pascal; Drechsler, Rolf
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
R
Rolf Drechsler
H 指数: 56 · 论文数: 1.5K
D
Daniel Große
H 指数: 30 · 论文数: 284
P
Pascal Pieper
H 指数: 6 · 论文数: 16
S
Sallar Ahmadi-Pour
H 指数: 5 · 论文数: 32
S
Sören Tempel
H 指数: 4 · 论文数: 25
已加载全部