Login / Signup
Sapna Jaidka
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Fault Tolerant
Interactive Systems
Petri Net
Formal Verification
Top Venues
FM Workshops (1)
APSEC
FMEC
EICS
</>
Publications
</>
Monjur Ahmed
,
Md. Mahabub Alam Bhuiyan
,
Sapna Jaidka
,
Peerumporn Jiranantanagorn
A Decentralised Mechanism for Secure Cloud Computing Transactions.
FMEC
(2021)
Sapna Jaidka
,
Steve Reeves
,
Judy Bowen
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets.
FM Workshops (1)
(2019)
Sapna Jaidka
,
Steve Reeves
,
Judy Bowen
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.
APSEC
(2019)
Sapna Jaidka
,
Steve Reeves
,
Judy Bowen
Modelling safety-critical devices: coloured petri nets and Z.
EICS
(2017)