Ajay Krishna

13 papers B 1Misc 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Design and Deployment of Expressive and Correct Web of Things Applications.
ACM Trans. Internet Things
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022 J jnl
Models and analysis for user-driven reconfiguration of rule-based IoT applications.
Internet Things
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021 — conf
Business Process Models for Analysis of Industrial IoT Applications.
IOT
Ajay Krishna, Gwen Salaün
2021 — conf
R-MOZART: A Reconfiguration Tool for WebThings Applications.
ICSE (Companion Volume)
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021 — conf
Seamless Reconfiguration of Rule-based IoT Applications.
SEAMS@ICSE
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2020 — conf
MOZART: Design and Deployment of Advanced IoT Applications.
WWW (Companion Volume)
Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
2019 — conf
Automated Composition, Analysis and Deployment of IoT Applications.
TOOLS
Francisco Durán, Gwen Salaün, Ajay Krishna
2019 J jnl
Checking business process evolution.
Sci. Comput. Program.
Ajay Krishna, Pascal Poizat, Gwen Salaün
2019 — conf
IoT composer: composition and deployment of IoT applications.
ICSE (Companion Volume)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2019 — conf
Rigorous design and deployment of IoT applications.
FormaliSE@ICSE
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2018 Misc conf
Automated analysis of industrial workflow-based models.
SAC
Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
2017 B conf
VBPMN: Automated Verification of BPMN Processes (Tool Paper).
IFM
Ajay Krishna, Pascal Poizat, Gwen Salaün
2016 — conf
Checking Business Process Evolution.
FACS
Pascal Poizat, Gwen Salaün, Ajay Krishna