Ajay Krishna -

Registered user since Thu 13 Dec 2018

Name:Ajay Krishna

Country:France

Affiliation:Inria Grenoble, France

Research interests:formal methods, IoT, verification, software engineering

Contributions

2021

ICSE

Author of R-MOZART: A Reconfiguration Tool for WebThings Applications within the DEMO - Demonstrations-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Author of Seamless Reconfiguration of Rule-based IoT Applications within the SEAMS 2021-track

2019

ICSE

Author of IoT Composer: Composition and Deployment of IoT Applications within the Demonstrations-track

FormaliSE

Author of Rigorous Design and Deployment of IoT Applications within the FormaliSE 2019-track