Zmago Brezocnik - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2020

Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product UnitJure Vreca, Karl J. X. Sturm, Ernest Gungl, Farhad Merchant, Paolo Bientinesi, Rainer Leupers, Zmago Brezocnik. access, 8:165913-165926, 2020. [doi]

2017

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With SpinBostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik. access, 5:5046-5058, 2017. [doi]

2014

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checkerZmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze. spin 2014: 125-128 [doi]

2009

Eclipse Plug-In for Spin and st2msc Tools-Tool PresentationTim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik. spin 2009: 143-147 [doi]

Sdl2pml - Tool for automated generation of Promela model from SDL specificationAleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik. csi, 31(4):779-786, 2009. [doi]

2008

ACTLW - An action-based computation tree logic with unless operatorRobert Meolic, Tatjana Kapus, Zmago Brezocnik. isci, 178(6):1542-1557, 2008. [doi]

2007

Automated generation of Promela model from SDL specificationBostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus. csi, 29(4):449-461, 2007. [doi]

1999

Specifying and Verifying Dataflow Networks in TLATatjana Kapus, Zmago Brezocnik. appinf 1999: 544-547

1997

TLA-style Specification of a Mobile NetworkTatjana Kapus, Zmago Brezocnik. euromicro 1997: 440-447 [doi]

Verification of XTP Context Management Closing Procedure in Style of TLATatjana Kapus, Zmago Brezocnik. SCP, 29(1-2):23-52, 1997.

Microcomputer unit for control of distributed devices over computer networksGregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh. jsa, 43(1-5):81-85, 1997.

1996

Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTLAles Casar, Zmago Brezocnik, Tatjana Kapus. date 1996: 606 [doi]

1989

Formal hardware specification and verification using prologZmago Brezocnik, Bogomir Horvat. jsa, 27(1-5):163-170, 1989. [doi]

1988

Automatic Formal Verification of Digital Systems using PrologZmago Brezocnik, Bogomir Horvat. sigchi, 19(4):13-14, 1988. [doi]

Sign in or sign up to see more results.

runs on WebDSL