
| No. | Verified | |||||
|---|---|---|---|---|---|---|
| 1 | A System for Classroom Environment Monitoring Using the Internet of Things and Cloud Computing | 2017 | 12 | Q3 | Q3 | |
| 2 | Model checking for input/output properties of a black-box model | 2007 | 1 | N/A | N/A | |
| 3 | From stream transformers to Moore state transition machines with input and output | 2006 | 2 | N/A | N/A | |
| 4 | On history-sensitive models of interactive queues | 2006 | 9 | N/A | N/A | |
| 5 | Model checking for aspect-oriented software evolution | 2005 | 1 | N/A | N/A |

