Aleksander Vreze

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Formal Verification

Integrated Development Environment

Top Venues

Publications

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)
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus
Automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 29 (4) (2007)
Janez Brest, Aleksander Vreze, Viljem Zumer
A Sorting Algorithm on a PC Cluster. SAC (2) (2000)