| ACTLW–An action-based computation tree logic with unless operator R Meolic, T Kapus, Z Brezočnik Information Sciences 178 (6), 1542-1557, 2008 | 42 | 2008 |
| Verification of concurrent systems using ACTL R Meolic, T Kapus, Z Brezocnik Applied informatics: proceedings of the IASTED international conference AI …, 2000 | 23 | 2000 |
| Automated generation of Promela model from SDL specification B Vlaovič, A Vreže, Z Brezočnik, T Kapus Computer Standards & Interfaces 29 (4), 449-461, 2007 | 19 | 2007 |
| Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15. 4 networks T Kapus Simulation Modelling Practice and Theory 77, 367-378, 2017 | 14 | 2017 |
| CTL and ACTL patterns R Meolic, T Kapus, Z Brezocˇnik EUROCON'2001. International Conference on Trends in Communications …, 2001 | 10 | 2001 |
| Verification of an SDL Specification- a Case Study B Vlaovic, A Vreze, Z Brezocnik, T Kapus Elektrotehniski Vestnik 72 (1), 14-21, 2005 | 7 | 2005 |
| Model checking: A formal method for safety assurance of logistic systems R Meolic, T Kapus, Z Brezocnik 2nd Congress Transport–Traffic–Logistics, Portoroz, Slovenia, 355-358, 2000 | 7 | 2000 |
| The efficient symbolic tools package R Meolic, T Kapus, Z Brezocnik 8th International Conference Software, Telecommunications and Computer …, 2000 | 7 | 2000 |
| Specifying system families with TLA+ T Kapus Recent Researches in Engineering Education and Software Engineering, 98-103, 2012 | 6 | 2012 |
| Using mobile TLA as a logic for dynamic I/O automata T Kapus IEICE transactions on information and systems 92 (8), 1515-1522, 2009 | 6 | 2009 |
| Exploring properties of a bounded retransmission protocol with VIS R Meolic, T Kapus, Z Brezočnik Journal of computing and information technology 7 (4), 311-321, 1999 | 5 | 1999 |
| Modelling medium access control in IEEE 802.15. 4 nonbeacon-enabled networks with probabilistic timed automata T Kapus Mobile Information Systems 9 (2), 157-188, 2013 | 4 | 2013 |
| TLA-style specification of a mobile network T Kapus, Z Brezocnik EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of …, 1997 | 4 | 1997 |
| Efficient symbolic traversal algorithms using partitioned transition relations Z Brezocnik, A Casar, T Kapus Proceedings of COST 247 International Workshop on Applied Formal Methods in …, 1996 | 4 | 1996 |
| Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST R Meolic, T Kapus Elektrotehniski Vestnik 84 (5), 268-276, 2017 | 3 | 2017 |
| Mobile Agent System Specification using the Temporal Logic of Actions. T Kapus IASTED Conf. on Software Engineering, 319-324, 2005 | 3 | 2005 |
| Modelling of agent computations using the temporal logic of actions T Kapus Proc. Intl. Conf. on Software, Telecommunications and Computer Networks …, 2002 | 3 | 2002 |
| Verification of mutual exclusion algorithms with EST R Meolic, T Kapus, E Gungl, Z Brezocnik Proceedings of the Tenth Electrotechnical and Computer Science Conference …, 2001 | 3 | 2001 |
| Verification of a mobile network handover procedure using Mur [phi] T Kapus, Z Brezočnik | 3 | 1997 |
| Generating and Employing Witness Automata for ACTLW Formulae R Meolic, T Kapus IEEE Access, 2022 | 2 | 2022 |
