Ž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].
- 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.
- Iskratel d.o.o. contract SIP-FERI-2008: "Research on SIP protocol for products SI3000",
- Iskratel d.o.o. contract SDL-FERI-2007: "SDL development environments analysis",
- Iskratel d.o.o. contract SIP-FERI-2007: "Extention of SIP protocol",
- Iskratel d.o.o. contract SIP-FERI-2006: "Extention of SIP protocol",
- Iskratel d.o.o. contract MGCP-FERI-2005: "Extention of MGCP protocol",
- Iskratel d.o.o. contract SIP-FERI-2005: "Extention of SIP protocol",
- Iskratel d.o.o. contract SIP-FERI-2004: "SIP protocol",
- Iskratel d.o.o. contract 2002-2003-FERI: "Application for testing MGCP devices",
- Iskratel d.o.o. contract 2002-2003-FERI: "Robust connectivity management of MGC and MG",
- Iskratel d.o.o. contract 2001-SIPTEL-FERI: "Decoder, Encoder, and Protocol Control for SIP and SDP protocols for IP telephone",
- Iskratel d.o.o. contract 2001-MGCP-FERI: "Decoder and Encoder of MGCP"
- Iskratel d.o.o. contract 2000-JG-BV-FERI: "Specification and realization of SIP-V5.2 Gateway".
- Slovensko društvo za elektronske komunikacije founding member since 2005.
- EZS.
- ACM-SIGPLAN special interest group on Programming Languages member since 2003.
- ACM student member since 2001.
- IEEE student member since 1994.
Service
- Radioklub "ŠTUDENT" Maribor, serving as a president of the Radio Club, 2007 to date
- Slovensko društvo za elektronske komunikacije (SIKOM), Executive Board member 2007 to date.
- Slovensko društvo za elektronske komunikacije, Secretary 2005-2007.
- Strategy of the Republic of Slovenia for the Switchover from Analogue to Digital Broadcasting [Slovenian version], Project Group member 2006.
- IEEE Young Members Focus Group member 2001-2002.
(SPARC is the Strategic Planning Group of the IEEE Technical Activities Board. Champion of the Young Members Focus Group reports to the activities of SPARC.) - Radioklub "ŠTUDENT" Maribor, Managing Board member 2001 to 2007
- IEEE SB Maribor, Treasurer 2000-2001.
- IEEE SB Maribor, Chair 1999-2000.
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
- 20th workshop on Telecommunications: Optična dostopovna omrežja, Brdo pri Kranju, Slovenia, November 5-6, 2007. [COBISS.SI-ID ]
- 11th International Conference ICIN - Emerging Web and Telecom Services: Collision or Coopetition?, Bordeaux, France, October 8-11, 2007. [COBISS.SI-ID ]
- 19th workshop on Telecommunications: Brezžični širokopasovni dostop, Brdo pri Kranju, Slovenia, 2007. [COBISS.SI-ID ]
- International Symposium on Telecommunications VITEL 2006: Content and Networking, Ljubljana, Slovenia, 2006. [COBISS.SI-ID 229391360]
- 18th workshop on Telecommunications: Triple Play, Brdo pri Kranju, Slovenia, 2005. [COBISS.SI-ID 5028948]
- 17th workshop on Telecommunications: IP Telephony, Brdo pri Kranju, Slovenia, 2005. [COBISS.SI-ID 4771924]
- 16th workshop on Telecommunications: Smart Buildings, Brdo pri Kranju, Slovenia, 2004.
- International Symposium on Telecommunications, VITEL - Next generation user, Maribor, Slovenia, 2004.
- 15th workshop on Telecommunications: Mobile Internet, Brdo pri Kranju, Slovenia, 2003.
- 14th workshop on Telecommunications: Security in Telecommunication Systems, Brdo pri Kranju, Slovenia, 2003. [COBISS.SI-ID 124426496]
- Extra skills for young engineers ESYE 2001: second symposium, 2001, Maribor, Slovenia. 2001. [COBISS.SI-ID 6650390]
- Extra skills for young engineers, Maribor, Slovenia, 2000. [COBISS.SI-ID 6650390]
Conference Organising Committee
- 20th workshop on Telecommunications: Optična dostopovna omrežja, Brdo pri Kranju, Slovenia, 2007. [COBISS.SI-ID ]
- 19th workshop on Telecommunications: Brezžični širokopasovni dostop, Brdo pri Kranju, Slovenia, 2007. [COBISS.SI-ID ]
- International Symposium on Telecommunications VITEL 2006: Content and Networking, Ljubljana, Slovenia, 2006. [COBISS.SI-ID 229391360]
- 18th workshop on Telecommunications: Triple Play, Brdo pri Kranju, Slovenia, 2005. [COBISS.SI-ID 5028948]
- 17th workshop on Telecommunications: IP Telephony, Brdo pri Kranju, Slovenia, 2005. [COBISS.SI-ID 4771924]
- 14th workshop on Telecommunications: Security in Telecommunication Systems, Brdo pri Kranju, Slovenia, 2003. [COBISS.SI-ID 124426496]
- Extra skills for young engineers ESYE 2001: second symposium, 2001, Maribor, Slovenia. 2001. [COBISS.SI-ID 5753366]
- Extra skills for young engineers, Maribor, Slovenia, 2000. [COBISS.SI-ID 6650390]
Organisation of other events
- UM FERI Exhibition Area, European Researchers Night, Maribor, Slovenia
- UM FERI Exhibition Area, TeleINFOS 2004, Ljubljana, Slovenia
- Student Conference How tech are you?, TeleINFOS 2004, Ljubljana, Slovenia
- Creative workshop for students ITCT challenges and opportunities in EU, TeleINFOS 2004, Ljubljana, Slovenia
- UM FERI Exhibition Area, TeleINFOS 2003, Ljubljana, Slovenia
- Creative workshop for students Telecommunications and spare time, TeleINFOS 2003, Ljubljana, Slovenia
- Creative workshop for students Influence of telecommunication and information technologies on education, TeleINFOS 2002, Ljubljana, Slovenia
- Creative workshop for students How to make a convergence a Business?, TeleINFOS 2001, Ljubljana, Slovenia
- 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.