Zmago Brezocnik

According to our database, Zmago Brezocnik authored at least 14 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit.

Jure Vreca, Karl J. X. Sturm, Ernest Gungl, Farhad Merchant, Paolo Bientinesi, Rainer Leupers, Zmago Brezocnik

IEEE Access, 2020

2017

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin.

Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik

IEEE Access, 2017

2014

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker.

Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2009

Sdl2pml - Tool for automated generation of Promela model from SDL specification.

Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik

Comput. Stand. Interfaces, 2009

Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.

Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik

Proceedings of the Model Checking Software, 2009

2008

ACTLW - An action-based computation tree logic with unless operator.

Robert Meolic, Tatjana Kapus, Zmago Brezocnik

Inf. Sci., 2008

2007

Automated generation of Promela model from SDL specification.

Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus

Comput. Stand. Interfaces, 2007

1999

Specifying and Verifying Dataflow Networks in TLA.

Tatjana Kapus, Zmago Brezocnik

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1997

Verification of XTP Context Management Closing Procedure in Style of TLA.

Tatjana Kapus, Zmago Brezocnik

Sci. Comput. Program., 1997

Microcomputer unit for control of distributed devices over computer networks.

Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh

J. Syst. Archit., 1997

TLA-style Specification of a Mobile Network.

Tatjana Kapus, Zmago Brezocnik

Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996

Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL.

Ales Casar, Zmago Brezocnik, Tatjana Kapus

Proceedings of the 1996 European Design and Test Conference, 1996

1989

Formal hardware specification and verification using prolog.

Zmago Brezocnik, Bogomir Horvat

Microprocessing and Microprogramming, 1989

1988

Automatic Formal Verification of Digital Systems using Prolog.

Zmago Brezocnik, Bogomir Horvat

ACM SIGCHI Bull., 1988