Aleksander Vreze

According to our database, Aleksander Vreze authored at least 6 papers between 2000 and 2017.

Collaborative distances:

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

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

2007

Automated generation of Promela model from SDL specification.

Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus

Comput. Stand. Interfaces, 2007

2000

A Sorting Algorithm on a PC Cluster.

Janez Brest, Aleksander Vreze, Viljem Zumer

Proceedings of the Applied Computing 2000, 2000