Ajay Krishna

According to our database, Ajay Krishna authored at least 12 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Design and Deployment of Expressive and Correct Web of Things Applications.

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün

ACM Trans. Internet Things, 2022

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

Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün

Internet Things, 2022

2021

Seamless Reconfiguration of Rule-based IoT Applications.

Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Business Process Models for Analysis of Industrial IoT Applications.

Ajay Krishna, Gwen Salaün

Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021

R-MOZART: A Reconfiguration Tool for WebThings Applications.

Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

MOZART: Design and Deployment of Advanced IoT Applications.

Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün

Proceedings of the Companion of The 2020 Web Conference 2020, 2020

2019

Checking business process evolution.

Ajay Krishna, Pascal Poizat, Gwen Salaün

Sci. Comput. Program., 2019

Automated Composition, Analysis and Deployment of IoT Applications.

Francisco Durán, Gwen Salaün, Ajay Krishna

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

IoT composer: composition and deployment of IoT applications.

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Rigorous design and deployment of IoT applications.

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Automated analysis of industrial workflow-based models.

Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

VBPMN: Automated Verification of BPMN Processes (Tool Paper).

Ajay Krishna, Pascal Poizat, Gwen Salaün

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017