Zmago Brezocnik

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