Bostjan Vlaovic

Orcid: 0000-0002-8401-1465

According to our database¹, Bostjan Vlaovic authored at least 5 papers between 2007 and 2017.

Collaborative distances:

Dijkstra number² of six.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2017

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

[BibT_eX]

[DOI]

Bostjan Vlaovic

Aleksander Vreze

Zmago Brezocnik

IEEE Access, 2017

2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Aleksander Vreze

Bostjan Vlaovic

Zmago Brezocnik

Comput. Stand. Interfaces, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2009

2007

Automated generation of Promela model from SDL specification.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2007

Bostjan Vlaovic

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...