Checking business process evolution A Krishna, P Poizat, G Salaün Science of Computer Programming 170, 1-26, 2019 | 41 | 2019 |
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 | 39 | 2019 |
VBPMN: Automated Verification of BPMN Processes (Tool Paper) A Krishna, P Poizat, G Salaün Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 30 | 2017 |
Checking business process evolution P Poizat, G Salaün, A Krishna Formal Aspects of Component Software: 13th International Conference, FACS …, 2017 | 27 | 2017 |
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 | 16 | 2019 |
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 | 14 | 2020 |
Design and deployment of expressive and correct web of things applications A Krishna, M Le Pallec, R Mateescu, G Salaün ACM Transactions on Internet of Things 3 (1), 1-30, 2021 | 12 | 2021 |
Automated composition, analysis and deployment of IoT applications F Durán, G Salaün, A Krishna Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 7 | 2019 |
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 | 5 | 2018 |
Models and analysis for user-driven reconfiguration of rule-based IoT applications F Durán, A Krishna, M Le Pallec, R Mateescu, G Salaün Internet of Things 19, 100515, 2022 | 4 | 2022 |
Business process models for analysis of industrial IoT applications A Krishna, G Salaün Proceedings of the 11th International Conference on the Internet of Things …, 2021 | 4 | 2021 |
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 | 4 | 2021 |
Seamless reconfiguration of rule-based iot applications F Durán, A Krishna, M Le Pallec, R Mateescu, G Salaün 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 4 | 2021 |
FormaliSE 2020 W Ahmad, W Barnett, M Blumreiter, F Bobot, SAA Bukhari, V Ciancia, ... | | |
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, ... | | |