Jishu Guin
Papers
1
Total Citations
2
H-Index
1
About
Jishu Guin is a researcher whose work focuses on the formal verification and compositional design of complex cyber-physical systems (CPS). His key research areas include design-by-contract methodologies, multi-view modeling, and the integration of formal methods like Event-B and Uppaal Timed Automata to ensure system reliability. Guin’s major contribution lies in developing multi-view contracts, which enable the separation of design concerns for heterogeneous, parallel components in CPS. This approach supports compositional design and verification, addressing critical challenges in system safety and correctness. His most-cited paper, “Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata” (2016, 2 citations), lays foundational groundwork for this methodology. While his citation count is modest, his work is notable for bridging theoretical formal methods with practical engineering needs, offering a structured path to verify complex interactions in real-time systems. Guin’s research is particularly valuable for students and engineers tackling the growing complexity of cyber-physical systems, where ensuring component interoperability and safety is paramount.
Research Focus
Key Achievements
Top Papers
- 1Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata2 citations · 2016