Ajay Krishna
Ajay Krishna
University of Grenoble, Inria
Vahvistettu sähköpostiosoite verkkotunnuksessa inria.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Checking business process evolution
P Poizat, G Salaün, A Krishna
International Workshop on Formal Aspects of Component Software, 36-53, 2016
212016
IoT composer: composition and deployment of IoT applications
A Krishna, M Le Pallec, R Mateescu, L Noirie, G Salaün
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
172019
Checking business process evolution
A Krishna, P Poizat, G Salaün
Science of Computer Programming 170, 1-26, 2019
172019
VBPMN: Automated Verification of BPMN Processes (Tool Paper)
A Krishna, P Poizat, G Salaün
International Conference on Integrated Formal Methods, 323-331, 2017
172017
VBPMN: Automated Verification of BPMN Processes (Tool Paper)
A Krishna, P Poizat, G Salaün
International Conference on Integrated Formal Methods, 323-331, 2017
172017
Rigorous design and deployment of IoT applications
A Krishna, M Le Pallec, R Mateescu, L Noirie, G Salaün
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
72019
MOZART: Design and deployment of advanced IoT applications
A Krishna, ML Pallec, A Martinez, R Mateescu, G Salaün
Companion Proceedings of the Web Conference 2020, 163-166, 2020
52020
Automated composition, analysis and deployment of IoT applications
F Durán, G Salaün, A Krishna
International Conference on Objects, Components, Models and Patterns, 252-268, 2019
32019
Automated analysis of industrial workflow-based models
M Cortes-Cornax, A Krishna, A Mos, G Salaün
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 120-127, 2018
32018
R-MOZART: A Reconfiguration Tool for WebThings Applications
F Durán, A Krishna, M Le Pallec, R Mateescu, G Salaün
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
2021
Tran, Hoang-Dung 51 Xiang, Weiming 51 Yalcinkaya, Beyazit 31
X Yang, K Chalmers, P Collet, M Cordy, M Famelis, MJ Frade, M Gario, ...
FormaliSE 2019
O Al-Bataineh, M Reynolds, A Krishna, M Le Pallec, D Ivanov, S Schupp, ...
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–12