Ajay Krishna

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 13

Top Topics

Business Process

Automated Analysis

Top Venues

ICSE (Companion Volume)

Publications

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