dr. Zmago Brezočnik [02071]

1. VREŽE, Aleksander, VLAOVIČ, Boštjan, BREZOČNIK, Zmago. Sdl2pml - tool for automated generation of Promela model from SDL specification. Computer standards & interfaces. [Print ed.]. June 2009, vol. 31, iss. 4, str. 779-786. ISSN 0920-5489. DOI: 10.1016/j.csi.2008.09.005. [COBISS.SI-ID 13208086]

2. KOVŠE, Tim, VLAOVIČ, Boštjan, VREŽE, Aleksander, BREZOČNIK, Zmago. Eclipse plug-in for spin and st2msc tools-tool presentation. V: PǍSǍREANU, Corina S. (ur.). Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings. Berlin; Heidelberg; New York: Springer, 2009. Vol. 5578, str. 143-147. Lecture notes in computer science, 5578. ISBN 978-3-642-02651-5, ISBN 3-642-02651-6. ISSN 0302-9743. [COBISS.SI-ID 13289750]

3. MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. ACTLW - an action-based computation tree logic with unless operator. Information sciences. [Print ed.]. 2008, vol. 178, iss. 6, str. 1542-1557. ISSN 0020-0255. http://dx.doi.org/10.1016/j.ins.2007.10.023, Digitalna knjižnica Univerze v Mariboru – DKUM. [COBISS.SI-ID 12047638]

4. VLAOVIČ, Boštjan, VREŽE, Aleksander, BREZOČNIK, Zmago, KAPUS, Tatjana. Automated generation of Promela model from SDL specification. Computer standards & interfaces. [Print ed.]. 2007, iss. 4, vol. 29, str. 449-461. ISSN 0920-5489. [COBISS.SI-ID 11273750]

5. BREZOČNIK, Miran, BALIČ, Jože, BREZOČNIK, Zmago. Emergence of intelligence in next-generation manufacturing systems. Robotics and computer-integrated manufacturing. 2003, vol. 19, no 1/2, str. 55-63. ISSN 0736-5845. [COBISS.SI-ID 7690518]

6. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Exploiting symbolic model checking for sensing stuck-at faults in digital circuits. Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale. [Tiskana izd.]. september 2002, letn. 32, št. 3, str. 171-180. ISSN 0352-9045. http://www.dlib.si/details/URN:NBN:SI:DOC-DH1QX1KZ. [COBISS.SI-ID 7703318]

7. VREČKO, Gregor, BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, DUH, Andrej. Microcomputer unit for control of distributed devices over computer networks. Journal of systems architecture. [Print ed.]. March 1997, vol. 43, no. 1-5, str. 81-85. ISSN 1383-7621. [COBISS.SI-ID 2688278]

8. KAPUS, Tatjana, BREZOČNIK, Zmago. Verification of XTP context management closing procedure in style of TLA. Science of computer programming. 1997, vol. 29, no. 1/2, str. 23-52. ISSN 0167-6423. [COBISS.SI-ID 2986006]

9. BREZOČNIK, Zmago, HORVAT, Bogomir. Formal hardware specification and verification using Prolog. Microprocessing and microprogramming. 27(1989), 1-5 ; str. 163-170. ISSN 0165-6074. [COBISS.SI-ID 4478724]

10. BREZOČNIK, Zmago. Spin model checking using SpinRCP. V: ŽEMVA, Andrej (ur.), ŠORLI, Polona (ur.), ŠORLI, Iztok (ur.). Proceedings. 49th International Conference on Microelectronics, Devices and Materials & theWorkshop on Digital Electronic Systems, September 25 - September 27, 2013, Kranjska Gora, Slovenia. Ljubljana: MIDEM - Society for Microelectronics, Electronic Components and Materials, 2013. Str. 45-57, ilustr. ISBN 978-961-92933-3-1. [COBISS.SI-ID 17202710]