Zmago Brezocnik

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 2

Top Topics

Gaussian Kernels

Colored Petri Nets

Top Venues

Publications

Jure Vreca, Karl J. X. Sturm, Ernest Gungl, Farhad Merchant, Paolo Bientinesi, Rainer Leupers, Zmago Brezocnik
Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit. IEEE Access 8 (2020)
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik
Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin. IEEE Access 5 (2017)
Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. SPIN (2014)
Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. SPIN (2009)
Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik
Sdl2pml - Tool for automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 31 (4) (2009)
Robert Meolic, Tatjana Kapus, Zmago Brezocnik
ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178 (6) (2008)
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus
Automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 29 (4) (2007)
Tatjana Kapus, Zmago Brezocnik
Specifying and Verifying Dataflow Networks in TLA. Applied Informatics (1999)
Tatjana Kapus, Zmago Brezocnik
TLA-style Specification of a Mobile Network. EUROMICRO (1997)
Tatjana Kapus, Zmago Brezocnik
Verification of XTP Context Management Closing Procedure in Style of TLA. Sci. Comput. Program. 29 (1-2) (1997)
Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh
Microcomputer unit for control of distributed devices over computer networks. J. Syst. Archit. 43 (1-5) (1997)
Ales Casar, Zmago Brezocnik, Tatjana Kapus
Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL. ED&TC (1996)
Zmago Brezocnik, Bogomir Horvat
Formal hardware specification and verification using prolog. Microprocessing and Microprogramming 27 (1-5) (1989)
Zmago Brezocnik, Bogomir Horvat
Automatic Formal Verification of Digital Systems using Prolog. ACM SIGCHI Bull. 19 (4) (1988)