Jishu Guin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2016–2025
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELSWARD | Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. | Jishu Guin, Jri Vain, Leonidas Tsiopoulos |
| 2016 | ICECCS | Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Jishu Guin |