Radu Mateescu - Publications, H-index & Citations

Radu Mateescu

Inria

29H指数

156论文数

3.6K被引数

收录论文 4

发表时间

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS

IF2.8

2023-04-21

PREAI

Horel, Jean-Baptiste; Ledent, Philippe; Marsso, Lina; Muller, Lucie; Laugier, Christian; Mateescu, Radu; Paigwar, Anshul; Renzaglia, Alessandro; Serwe, Wendelin

Models and analysis for user-driven reconfiguration of rule-based IoT applications

INTERNET OF THINGS

IF7.6

2022-08-01

OAAI

Duran, Francisco; Krishna, Ajay; Le Pallec, Michel; Mateescu, Radu; Salaun, Gwen

Design and Deployment of Expressive and Correct Web of Things Applications

acm transactions on internet technology

IF3.7

2021-10-27

OAAI

Krishna, Ajay; Le Pallec, Michel; Mateescu, Radu; Salaun, Gwen

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2012-07-01

OAAI

Mateescu, Radu; Poizat, Pascal; Salauen, Gwen

研究方向