A paper by Associate Professor Tei et al. has been accepted by IEEE Transactions on Software Engineering (core rank A*)
Towards scalable model checking of reflective systems via labeled transition systems
- Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga
- IEEE Transactions on Software Engineering (TSE), 23 pages, May. 2022