Eclipse plug-in for spin and st2msc tools-tool presentation T Kovše, B Vlaovič, A Vreže, Z Brezočnik Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 20 | 2009 |
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 |
Packet based telephony B Vlaovic, Z Brezocnik EUROCON'2001. International Conference on Trends in Communications …, 2001 | 19 | 2001 |
Sdl2pml—Tool for automated generation of Promela model from SDL specification A Vreže, B Vlaovič, Z Brezočnik Computer Standards & Interfaces 31 (4), 779-786, 2009 | 14 | 2009 |
SpinRCP: the Eclipse rich client platform integrated development environment for the Spin model checker Z Brezočnik, B Vlaovič, A Vreže Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 13 | 2014 |
Spin trail to a Message Sequence Chart conversion tool T Kovse, B Vlaovic, A Vreze, Z Brezocnik 2009 10th International Conference on Telecommunications, 125-129, 2009 | 9 | 2009 |
Automatic generation of models with probes from the SDL system specification B Vlaovic Ph. D dissertation (in Slovene). University of Maribor, Faculty of EE&CS …, 2004 | 9 | 2004 |
Applying automated model extraction for simulation and verification of real-life SDL specification with Spin B Vlaovič, A Vreže, Z Brezočnik IEEE access 5, 5046-5058, 2017 | 7 | 2017 |
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 using Spin and SpinRCP Z Brezočnik, B Vlaovič, A Vreže Informacije MIDEM, Journal of Microelectronics, Electronic Components and …, 2013 | 5 | 2013 |
Discrete time model for process meta language with fictitious-clock B Vlaovič, A Vreže Applied Sciences 12 (6), 2990, 2022 | 2 | 2022 |
Development of MGCP protocol stack for S 12000 digital switch node A Vreze, B Vlaovic, Z Brezoenik, T Kapus Elektrotehniski Vestnik 72 (1), 22-29, 2005 | 2 | 2005 |
Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL B Vlaovic FERI, 2004 | 2 | 2004 |
Generator klicev za telefonsko centralo MLB SI2000 V5: diplomsko delo univerzitetnega študija B Vlaovič Univerza v Mariboru, Fakulteta za elektrotehniko, računalništvo in informatiko, 1999 | 2 | 1999 |
Analog subscriber call generator B Vlaovic, Z Brezocnik Electrotechnical Review 69 (5), 259-265, 2002 | 1 | 2002 |
» Sistem za mikrokrmilniško merjenje s podporo protokolu SNMP « M Mastnak, B Vlaovič Fakulteta za elektrotehniko, računalništvo in informatiko, Univerza v Mariboru, 0 | 1 | |
Uporaba jezika SDL pri predmetu Programska oprema v TK sistemih B Vlaovic, Z Brezocnik | 1 | |
IP Telephony Today and Tomorrow B Vlaovic, Z Brezocnik SSGR 2000 Conference, 0 | 1 | |
Testing of switch node with Call Generator software module B Vlaovic, Z Brezocnik Proc. of the IASTED international conference, Applied informatics (IASTED …, 0 | 1 | |
Advanced player tracking system A Skerbinek, B Vlaovic International Journal of Electrical and Computer Engineering 9 (2), 1418, 2019 | | 2019 |