Leonidas Tsiopoulos

Tallinn University of Technology

论文数

2

总引用数

18

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 18 次引用
Distributed computing1 · 2 次引用
Event (particle physics)1 · 2 次引用
Formal verification1 · 2 次引用
Human–computer interaction1 · 2 次引用
Interdependence1 · 2 次引用
Merge (version control)1 · 2 次引用
Model checking1 · 2 次引用
Programming language1 · 2 次引用
Redundancy (engineering)1 · 2 次引用
Separation of concerns1 · 2 次引用
Software engineering1 · 2 次引用

主要成就

2
H 指数
2
论文
18
总引用数
9
篇均引用
🏆 最高被引论文
DTRON: a tool for distributed model-based testing of time critical applications; pp. 75–88
16 次引用 · 2017
📈 最高产年份: 2017 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: Tallinn University of Technology

代表论文

  1. 1
    DTRON: a tool for distributed model-based testing of time critical applications; pp. 75–88
    16 次引用 · 2017
  2. 2
    Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
    2 次引用 · 2016

主要合作者

JVJüri Vain2 篇合著论文JGJishu Guin1 篇合著论文AAAivo Anier1 篇合著论文
尚未生成