Boštjan Vlaovič:

Življenjepis

Besedilo je pripravljeno le v angleškem jeziku. V kolikor potrebujete kopijo v slovenskem jeziku, me prosim kontaktirajte po e-pošti.

Mailing address: UM FERI, Smetanova ulica 17, SI-2000 Maribor, Slovenia
Phone: +386 (2) 220 7217
Fax: +386 (2) 25 11 178
E-mail: bostjan.vlaovic(pri)uni-mb.si
Web address: matrix.uni-mb.si

Ph.D. in Electrical Engineering, Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia, 2004. Thesis:"Automatic generation of models with probes from the SDL system specification" (Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL).

Diploma in Electrical Engineering, Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia, 1999.
Diploma title:"Analog subscriber call generator for the switch node MLB SI2000 V5" (Generator klicev za telefonsko centralo MLB SI2000 V5).

Secondary Electro-Technical School Celje, Slovenia, 1993.

Languages spoken: Slovenian, English, Croatian, Serbian.

I work as an assistant in the field of telecommunications. My primary research area is Formal Verification of telecommunication systems. Especially mechanical extraction of a Promela (Process Meta-Language) model from an SDL (Specification and Description Language) specification of a system. Our research group uses formal verification tool Spin (Simple Promela Interpreter) and Promela language for the description of the model. With the model checking technique the model's accordance with the system correctness requirements can be established with mathematical accuracy. The model can be generated manually or mechanically. If it is to be prepared manually, we need an expert with the detailed knowledge of the system and both languages. The quality of the model is directly influenced by the expert. The process is prone to the incorrect modelling of the system's properties. Therefore, automatic generation of models from the SDL specification would help with the introduction of formal methods to the development cycle.

My other interests cover voice communications over packet based networks (Internet - H.323, SIP, MGCP), their integration with traditional Circuit Switched Telephone Network (CSTN), Packet Amateur Radio, etc.

Please see selected publications.

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. Please let me know if you have cited any of my work. Visit COBISS database for the complete list of bibliography items.

  • Zmago Brezočnik, Boštjan Vlaovič, Aleksander Vreže, "Model checking using Spin and SpinRCP = Preverjanje modelov z uporabo orodij Spin in SpinRCP", Informacije MIDEM, vol. 43, no. 4, str. 235-250. [COBISS.SI-ID 17523222, bibtex, pdf]
  • Tim Kovše, Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, "Eclipse plug-in for spin and st2msc tools-tool presentation", Lect. notes comput. sci., vol. 5578, pages 143-147, 2009. [COBISS.SI-ID 13289750, bibtex, pdf]
  • Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik, "Sdl2pml - tool for automated generation of Promela model from SDL specification",Comput. stand. interfaces, vol. 31, iss. 4, str. 779-786, June 2009, doi: 10.1016/j.csi.2008.09.005. [COBISS.SI-ID 13208086, bibtex, pdf]
  • Tim Kovše, Boštjan Vlaovič, Aleksander Vreže in Zmago Brezočnik, "Spin Trail to Message Sequence Chart Conversion Tool". The 10th International Conference on Telecomunications, 2009, Zagreb, Croatia. [COBISS.SI-ID 11273750, bibtex, pdf].
  • Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, "Automated Generation of Promela Model from SDL Specification", Computer Standards & Interfaces, 2007, iss. 4, vol. 29, pages 449-461. [COBISS.SI-ID 11273750, bibtex, pdf].
  • Andrej Romih, Boštjan Vlaovič, Zmago Brezočnik, "Širokopasovni nizkošumni oscilatorji spektralnega analizatorja", Štirinajsta mednarodna Elektrotehniška in računalniška konferenca ERK, 2005, Portorož, Slovenija. [COBISS.SI-ID 9850902, bibtex, pdf].
  • Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, "Toward automatic generation of Promela models from SDL specification", 8th International Conference on Telecommunications, Zagreb, Croatia, 2005. [COBISS.SI-ID 9627414, bibtex, pdf].
  • Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik, Tatjana Kapus, "Development of MGCP protocol stack for SI2000 digital switch node", Electrotechnical Review, 2005. [COBISS.SI-ID 9559574, bibtex, pdf].
  • Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, "Verification of an SDL specification - a case study", Electrotechnical Review, 2005. [COBISS.SI-ID 9559062, bibtex, pdf]. 
  • Boštjan Vlaovič, "Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL", doktorska disertacija, Maribor, 2004. [COBISS.SI-ID 217706496, bibtex, pdf].
  • Anton Zorko, Boštjan Vlaovič, Zmago Brezočnik, "Digitalni prenos merilnih vrednosti v industrijskih sistemih", Dvanajsta mednarodna Elektrotehniška in računalniška konferenca ERK, 2003, Ljubljana, Slovenija. [COBISS.SI-ID 8227350, bibtex, pdf].
  • Rudi Krebs, Boštjan Vlaovič, Zmago Brezočnik, "Prehod na konvergenčna omrežja z uporabo tuneliranja DSS1 v H.323", Dvanajsta mednarodna Elektrotehniška in računalniška konferenca ERK, 2003, Ljubljana, Slovenija. [COBISS.SI-ID 8221462, bibtex, pdf].
  • Peter Vicman, Simon Nedok, Boštjan Vlaovič, Zmago Brezočnik, "SIPIS - SIP Info Service", IASTED International Conference Applied Informatics, Innsbruck, Austria, 2002. [COBISS.SI-ID 6914838, bibtex, pdf].
  • Boštjan Vlaovič, Simon Nedok, Peter Vicman, Zmago Brezočnik, "SIP-DSS1 Signalling Gateway", E-generation: technology for business momentum, Cork, Ireland, 2002. [COBISS.SI-ID 7495702, bibtex, pdf].
  • Boštjan Vlaovič, Zmago Brezočnik, "Analog subscriber call generator", Electrotechnical Review, 2002. [COBISS.SI-ID 7689750, bibtex, pdf].
  • Dragoslav Petrovič,Boštjan Vlaovič, "MBone : ogrodno omrežje za oddajo več uporabnikom hkrati", Deseta Elektrotehniška in računalniška konferenca ERK, 2001, Portorož, Slovenija. [COBISS.SI-ID 6541334, bibtex, pdf].
  • Dragoslav Petrovič, Boštjan Vlaovič, "Orodja za uporabo omrežja MBone", Deseta Elektrotehniška in računalniška konferenca ERK, 2001, Portorož, Slovenija. [COBISS.SI-ID 6541334, bibtex, pdf].
  • Boštjan Vlaovič, Zmago Brezočnik, "Packet Based Telephony", International conference on trends in communications, Eurocon'2001, Bratislava, Slovakia, 2001. [COBISS.SI-ID 6387734, bibtex, pdf, cited by].
  • Simon Nedok, Boštjan Vlaovič, Tatjana Kapus, Zmago Brezočnik, "FSK message indication service for analog telephone", 5th WSES International Conference on Circuits, Systems, Communications and Computers (CSCC 2001), Rethymno, Greece, 2001. [COBISS.SI-ID 6522390, bibtex, pdf].
  • Boštjan Vlaovič, Zmago Brezočnik, "Uporaba jezika SDL pri predmetu Programska oprema v TK sistemih", Deveta Elektrotehniška in računalniška konferenca ERK, 2000, Portorož, Slovenija. [COBISS.SI-ID 5816342, bibtex, pdf, cited by].
  • Boštjan Vlaovič, Zmago Brezočnik, "Testing of switch node with Call generator software module", IASTED international conference, February 2000, Innsbruck, Austria. [COBISS.SI-ID 5346582, bibtex, pdf].  
  • Boštjan Vlaovič, "Generator klicev za telefonsko centralo MLB SI2000 V5", diplomsko delo univerzitetnega študija, Fakulteta za elektrotehniko, računalništvo in informatiko, Maribor, 1999. [COBISS.SI-ID 4828438, bibtex, pdf].
February 2007 to date:   Assistant with Ph.D. at Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia.
October 2004 to February 2007:   Assistant at Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia.
November 1999 to October 2004:   Researcher at Faculty of Electrical Engineering and Computer Science, University of Maribor, Slovenia.
1998:   Student Researcher at Iskratel d.o.o., Kranj, Slovenia.

Positions

September 2007 to date:
  Assistant Professor
February 2001 to 2007:
  Assistant

Faculty of EE & CS, University of Maribor

  • Antene in razširjanje valov (714/4/tel./UN, assistant, undergraduate), University of Maribor, 2007.
  • Mikroračunalniški sistemi I (214/4/ele./UN, assistant, undergraduate), University of Maribor, 2006.
  • Mikroprocesorski sistemi I (348/3/ele./VS, assistant, undergraduate), University of Maribor, 2006.
  • Mikro in signalni procesorji (407/3/tel./VS, assistant, undergraduate), University of Maribor, 2006.
  • Telekomunikacijska omrezja II (700/4/tel./UN, assistant, undergraduate), University of Maribor, 2006.
  • Snovanje telekomunikacijske programske opreme (702/4/tel./UN, assistant, undergraduate), University of Maribor, 2006.
  • Antene in razširjanje valov (714/4/tel./UN, assistant, undergraduate), University of Maribor, 2006.
  • Mikroračunalniški sistemi I (214/4/ele./UN, assistant, undergraduate), University of Maribor, 2005.
  • Medprocesorske komunikacije (221/5/ele./UN, assistant, undergraduate), University of Maribor, 2005.
  • Telekomunikacijska omrezja II (700/4/tel./UN, assistant, undergraduate), University of Maribor, 2005.
  • Snovanje telekomunikacijske programske opreme (702/4/tel./UN, assistant, undergraduate), University of Maribor, 2005.
  • Mikroprocesorski sistemi I (348/3/ele./VS, assistant, undergraduate), University of Maribor, 2005.
  • Mikro in signalni procesorji (407/3/tel./VS, assistant, undergraduate), University of Maribor, 2005.
  • Mikroračunalniški sistemi I (214/4/ele./UN, assistant, undergraduate), University of Maribor, 2004.
  • Medprocesorske komunikacije (221/5/ele./UN, assistant, undergraduate), University of Maribor, 2004.
  • Mikroprocesorski sistemi I (348/3/ele./VS, assistant, undergraduate), University of Maribor, 2004.
  • Programska oprema TK sistemov (415/3/tel./VS, student assistant, undergraduate), University of Maribor, 2000.
  • Programska oprema TK sistemov (415/3/tel./VS, student assistant, undergraduate), University of Maribor, 1999.
  • One of the first courses for "non-student" listeners was HTML course in 1998. We held number of HTML courses for high school teachers aimed at Web presentation of their teaching material with FronPage and on-line Java Script tests.
  • I got my first experience as an assistant-student in year 1996. I was helping with the practical part course titled "Praktikum iz informatike". I have been helping with the course for two years.

Other teaching

  • Winter School for future students: "Telecommunications - Radioamateur Packet Network, APRS, ATV, Echolink", University of Maribor, 2003.

Supervisor or Co-Supervisor for Undergraduate Theses

  • FERREIRA, Vitor, "Voice Communications over Internet Protocol Networks", Maribor, 2001, [COBISS.SI-ID 6442774].
  1. CO ICT RR6, Contract Number: 3311-04-855022: Information and Communication Technologies Centre of Excellence R&D project "Correctness Verification of Communication System Functioning"

In 2001 we have received recognition from Faculty of EE&CS for our successful and innovative cooperation with the industry.

  1. Iskratel d.o.o. contract SIP-FERI-2008: "Research on SIP protocol for products SI3000",
  2. Iskratel d.o.o. contract SDL-FERI-2007: "SDL development environments analysis",
  3. Iskratel d.o.o. contract SIP-FERI-2007: "Extention of SIP protocol",
  4. Iskratel d.o.o. contract SIP-FERI-2006: "Extention of SIP protocol",
  5. Iskratel d.o.o. contract MGCP-FERI-2005: "Extention of MGCP protocol",
  6. Iskratel d.o.o. contract SIP-FERI-2005: "Extention of SIP protocol",
  7. Iskratel d.o.o. contract SIP-FERI-2004: "SIP protocol",
  8. Iskratel d.o.o. contract 2002-2003-FERI: "Application for testing MGCP devices",
  9. Iskratel d.o.o. contract 2002-2003-FERI: "Robust connectivity management of MGC and MG",
  10. Iskratel d.o.o. contract 2001-SIPTEL-FERI: "Decoder, Encoder, and Protocol Control for SIP and SDP protocols for IP telephone",
  11. Iskratel d.o.o. contract 2001-MGCP-FERI: "Decoder and Encoder of MGCP"
  12. Iskratel d.o.o. contract 2000-JG-BV-FERI: "Specification and realization of SIP-V5.2 Gateway".

Service

Editorial board

  • Content and Networking : proceedings of the International Symposium on Telecommunications [also] VITEL 2006, October 23 and 24, 2006, Ljubljana, Slovenia, ISBN 961-6187-36-8. [COBISS.SI-ID 229391360]
  • Proceedings of the 18th workshop on Telecommunications, 14. - 15 November 2005, Ljubljana, Slovenia. Triple Play, ISSN 1581-6737. [COBISS.SI-ID 5028948]
  • Proceedings of the 17th workshop on Telecommunications, 16. - 17 May 2005, Brdo pri Kranju, Slovenia. IP Telephony (VoIP), ISSN 1581-6737. [COBISS.SI-ID 4771924]
  • Proceedings of the 14th workshop on Telecommunications, 19. - 20. May 2003, Brdo pri Kranju. Security in Telecommunication Systems, ISSN 1581-6737. [COBISS.SI-ID 124426496]
  • Proceedings of the Symposium Extra Skills for Young Engineers, October 18-20, 2000, Maribor, Slovenia. ISBN 86-435-0357-6. [COBISS.SI-ID 45324545]

Techical Program Committee

Conference Organising Committee

Organisation of other events

  • Proceedings of the 15th International Conference ICIN - From Bits to Data, from Pipes to Clouds: The network as an asset for convergence of telecoms, IT and Media into an Inetrnet of Knowledge, Berlin, Germany, October 4-7, 2011. ISBN . [COBISS.SI-ID ]
  • Proceedings of the 11th International Conference ICIN - Emerging Web and Telecom Services: Collision or Coopetition?, Bordeaux, France, October 8-11, 2007. ISBN . [COBISS.SI-ID ]
  • Proceedings of the 14th International Conference on systems, Signals and Image Processing IWSSIP 2007, Maribor, Slovenia, June 27-30, 2007. ISBN . [COBISS.SI-ID ]
  • Proceedings of the 6th EURASIP Conference Focused on Speech and Image Processing, Multimedia Communications and Services EC-SIPMCS 2007, Maribor, Slovenia, June 27-30, 2007. ISBN . [COBISS.SI-ID ]
  • Proceedings of the 9th International Conference on Telecommunications, Zagreb, Croatia, June 13-15, 2007. ISBN . ISBN . [COBISS.SI-ID ]
  • Proceedings of the 8th International Conference on Telecommunications, Zagreb, Croatia, June 15-17, 2005. ISBN 953-184-082-2. ISBN 953-184-083-0. [COBISS.SI-ID 9627158]

Currently most of my free time is spent my son Žiga. From time to time I manage to find time for the Amateur Radio activities. I am specially interested in digital radio communication - Packet Radio.

Other interests include sailing, biking, swimming, skiing, tennis, squash and traveling. I have visited Austria, Belgium, Bosnia, Croatia, Czech Republic, England, France, Germany, Greece, Hungary, Ireland, Italy, Luxembourg, Malaysia, Netherlands, Poland, Serbia, Singapore, Slovak Republic, Spain, Switzerland, Thailand and USA.