Sapna Jaidka

According to our database, Sapna Jaidka authored at least 4 papers between 2017 and 2021.

Collaborative distances:

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

2021

A Decentralised Mechanism for Secure Cloud Computing Transactions.

Monjur Ahmed, Md. Mahabub Alam Bhuiyan, Sapna Jaidka, Peerumporn Jiranantanagorn

Proceedings of the Sixth International Conference on Fog and Mobile Edge Computing, 2021

2019

Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets.

Sapna Jaidka, Steve Reeves, Judy Bowen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.

Sapna Jaidka, Steve Reeves, Judy Bowen

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2017

Modelling safety-critical devices: coloured petri nets and Z.

Sapna Jaidka, Steve Reeves, Judy Bowen

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017