VBPMN: Automated Verification of BPMN Processes (Tool Paper). - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (IFM, 2017)

Automated analysis of industrial workflow-based models. - Mario Cortes Cornax; Ajay Krishna 001; Adrian Mos; Gwen Salaün (SAC, 2018)

Rigorous design and deployment of IoT applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Ludovic Noirie; Gwen Salaün (FormaliSE@ICSE, 2019)

IoT composer: composition and deployment of IoT applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Ludovic Noirie; Gwen Salaün (ICSE (Companion Volume), 2019)

Automated Composition, Analysis and Deployment of IoT Applications. - Francisco Durán 001; Gwen Salaün; Ajay Krishna 001 (TOOLS, 2019)

Checking business process evolution. - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (Sci. Comput. Program., 2019)

MOZART: Design and Deployment of Advanced IoT Applications. - Ajay Krishna 001; Michel Le Pallec; Alejandro Martinez; Radu Mateescu 001; Gwen Salaün (WWW (Companion Volume), 2020)

R-MOZART: A Reconfiguration Tool for WebThings Applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (ICSE (Companion Volume), 2021)

Business Process Models for Analysis of Industrial IoT Applications. - Ajay Krishna 001; Gwen Salaün (IOT, 2021)

Seamless Reconfiguration of Rule-based IoT Applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (SEAMS@ICSE, 2021)

Models and analysis for user-driven reconfiguration of rule-based IoT applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (Internet Things, 2022)

Design and Deployment of Expressive and Correct Web of Things Applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (ACM Trans. Internet Things, 2022)