Jishu Guin

According to our database, Jishu Guin authored at least 4 papers between 2016 and 2025.

Collaborative distances:

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

2025

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

2022

Temporal Multi-View Contracts Help Developing Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Balt. J. Mod. Comput., 2022

Temporal Multi-view Contracts for Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Proceedings of the Digital Business and Intelligent Systems, 2022

2016

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.

Jüri Vain, Leonidas Tsiopoulos, Jishu Guin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016