Formal modeling and verification of scalable process-aware distributed iot applications
- Rakesh Jain
- Kais Klai
- et al.
- 2019
- ISPA/BDCloud/SustainCom/SocialCom 2019
Conference paper
Publications
7 results for Rakesh Jain
Living in the Cloud or on the Edge: Opportunities and Challenges of IOT Application Architecture
- Samir Tata
- Rakesh Jain
- et al.
- 2017
- SCC 2017
Conference paperCloud to Edge: Distributed Deployment of Process-Aware IoT Applications
- Rakesh Jain
- Samir Tata
- 2017
- EDGE 2017
Conference paperAccount clustering in multi-tenant storage management environments
- Gabor Madl
- Ramani Routray
- et al.
- 2015
- Big Data 2015
Conference paperA data-driven storage recommendation service for multitenant storage management environments
- Yang Song
- Ramani Routray
- et al.
- 2015
- IM 2015
Conference paperQueueing-based storage performance modeling and placement in OpenStack environments
- Yang Song
- Rakesh Jain
- et al.
- 2014
- HiPC 2014
Conference paperVirtual-to-physical mapping inference in virtualized cloud environments
- Yang Song
- Ramani Routray
- et al.
- 2014
- IC2E 2014
Conference paper