Bostjan Vlaovic

According to our database, Bostjan Vlaovic authored at least 6 papers between 2007 and 2025.

Collaborative distances:

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

2025

Micro-credentials in Higher Education: Challenges and Solutions for Lifelong Learning at the University of Maribor (short paper).

Bostjan Vlaovic

Proceedings of the Third Workshop on Co-Creating New Ways of Information Systems Education, 2025

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