COBISS Co-operative Online Bibliographic system & services COBISS

Aleš Časar

Personal bibliography for the period 1992-2019

1992

1. ČASAR, Aleš, MEOLIC, Robert, BREZOČNIK, Zmago, HORVAT, Bogomir. Predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafi. Elektrotehniški vestnik. [Slovenska tiskana izd.]. 59 (1992), 5 ; str. 299-307. ISSN 0013-5852. [COBISS.SI-ID 4599556]

1993

2. BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO, Gabrijela, BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC, Robert, ŠTRAKL, Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega dela na temeljnem raziskovalnem projektu v letu 1993 [za MZT Slovenije] : temeljni raziskovalni projekt P2-5122/796-93. Maribor: Tehniška fakulteta, 1993. 1 zv. (loč. pag.). [COBISS.SI-ID 5900292]
3. MEOLIC, Robert, ČASAR, Aleš. Representation of Boolean functions with ROBDDs : [drugouvrščeni referat na študentskem tekmovanju IEEE Regije 8, COMPEURO '93, 24.-27. maj 1993, Pariz]. Maribor: Faculty of technical sciences, 1993. II, 23 f. [COBISS.SI-ID 3146262]

1994

4. BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO, Gabrijela, BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC, Robert, ŠTRAKL, Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega raziskovalnega dela na temeljnem raziskovalnem projektu v letu 1994 [za MZT Slovenije] : temeljni raziskovalni projekt J2-5122-0796-94. Maribor: Tehniška fakulteta, 1994. 1 zv. (loč. pag.). [COBISS.SI-ID 7621380]

1995

5. ČASAR, Aleš, MEOLIC, Robert, BREZOČNIK, Zmago. BDD programming package. Maribor: Faculty of Electrical Engineering and Computer Science, 1995. http://biddy.meolic.com/, Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 3145750]
6. ČASAR, Aleš. Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo. Maribor: [A. Časar], 1995. XVIII, 95 str. Fakulteta za elektrotehniko, računalništvo in informatiko, Diplomska dela visokošolskega študija. Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 1821718]
7. ČASAR, Aleš, BREZOČNIK, Zmago. Simbolično preiskovanje prostora stanj končnih avtomatov. In: SOLINA, Franc (ed.), ZAJC, Baldomir (ed.). Zbornik četrte Elektrotehniške in računalniške konference ERK '95, 25. - 27. september 1995, Portorož, Slovenija. Ljubljana: Slovenska sekcija IEEE, 1995. Zv. a, str. 85-88. ISBN 961-6062-06-9, ISBN 961-6062-07-7. [COBISS.SI-ID 7741444]

1996

8. BREZOČNIK, Zmago, BALAN, Filip Samo, ČASAR, Aleš, DUGONIK, Bogdan, HORVAT, Bogomir, JAGODIČ, Marko, KAPUS, Tatjana, KRUŠČIČ, Andrej, MEOLIC, Robert, FREY-PUČKO, Marjeta, ŠTRAKL, Marjan. COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19, 1996, Maribor, Slovenia. 1996. [COBISS.SI-ID 3155478]
9. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO, Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert. COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : številka pogodbe MS-20/95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1996. 1 zv. (loč. pag.). [COBISS.SI-ID 1985302]
10. BREZOČNIK, Zmago, ČASAR, Aleš, KAPUS, Tatjana. Efficient symbolic traversal algorithms using partitioned transition relations. In: BREZOČNIK, Zmago (ed.), KAPUS, Tatjana (ed.). Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design, June 17 - 19, 1996, Maribor, Slovenia. Maribor: Faculty of Electrical Engineering and Computer Science, 1996. Str. 146-155. ISBN 86-435-0155-7. [COBISS.SI-ID 2471702]
11. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Exploiting partitioned transition relations for efficient symbolic model checking in CTL. In: Proceedings. The European Design and Test conference, March 11-14, 1996, Paris, France. Los Alamitos: IEEE Computer Society Press, 1996. Str. 606. ISBN 0-8186-7423-7, ISBN 0-8186-7424-5, ISBN 0-8186-7425-3. [COBISS.SI-ID 2471446]
12. BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO-RODOŠEK, Gabrijela, BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC, Robert, ŠTRAKL, Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : številka pogodbe J2-5122-0796-95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1996. 1 zv. (loč. pag.). [COBISS.SI-ID 1983510]
13. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Simbolično preverjanje končnih avtomatov s CTL. In: ZAJC, Baldomir (ed.), SOLINA, Franc (ed.). Zbornik pete Elektrotehniške in računalniške konference ERK '96, 19. - 21. september 1996, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1996. Str. 51-54. ISBN 961-6062-08-5, ISBN 961-6062-09-3. [COBISS.SI-ID 2193430]

1997

14. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO, Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert. COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : št. pogodbe MS-20/95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1997. 1 zv. (loč. pag.). [COBISS.SI-ID 2640918]
15. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, DUGONIK, Bogdan, BALAN, Filip Samo, MEOLIC, Robert, DREO-RODOŠEK, Gabrijela, ŠTRAKL, Marjan, ČASAR, Aleš. Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : št. pogodbe J2-7495-0796-96. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1997. V, 54 f. [COBISS.SI-ID 2640406]

1998

16. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO, Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert, DUGONIK, Bogdan. COST 247 "Verification and validation methods for formal descriptions" : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1998. VIII, 138 f. [COBISS.SI-ID 3457814]
17. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Poštenostne omejitve v simboličnem preverjanju modelov s CTL. In: ZAJC, Baldomir (ed.). Zbornik sedme Elektrotehniške in računalniške konference ERK '98, 24. - 26. september 1998, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1998. Zv. b, str. 39-42. ISBN 961-6062-14-X, ISBN 961-6062-15-8. [COBISS.SI-ID 4006934]
18. ČASAR, Aleš. Verifikacija končnih avtomatov s simboličnim preverjanjem modelov : magistrsko delo. Maribor: [A. Časar], 1998. XXVI, 140 str., graf. prikazi. [COBISS.SI-ID 3701014]
19. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, DUGONIK, Bogdan, BALAN, Filip Samo, MEOLIC, Robert, DREO, Gabrijela, ČASAR, Aleš. Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih raziskovalnega projekta v letu 1997. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1998. IV, 40 f. [COBISS.SI-ID 3456534]

1999

20. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Urejanje blokov ločene prehajalne relacije. In: ZAJC, Baldomir (ed.). Zbornik osme Elektrotehniške in računalniške konference ERK '99, 23. - 25. september 1999, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1999. Zv. b, str. 11-14. ISBN 961-6062-17-4, ISBN 961-6062-18-2. [COBISS.SI-ID 4837654]
21. BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, DUGONIK, Bogdan, BALAN, Filip Samo, MEOLIC, Robert, DREO-RODOŠEK, Gabrijela, ČASAR, Aleš. Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : zaključno poročilo o rezultatih raziskovalnega projekta v letu 1998. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1999. 13 f. [COBISS.SI-ID 4288278]

2000

22. MEOLIC, Robert, KAPUS, Tatjana, ČASAR, Aleš, SEPESY MAUČEC, Mirjam, BREZOČNIK, Zmago. EST - Efficient Symbolic Tools. Maribor: UM FERI, 2000. 1 el. optični disk (CD-ROM). http://est.meolic.com/, Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 5626902]
23. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Formal verification of digital circuits using symbolic model checking. Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale. [Tiskana izd.]. 2000, letn. 30, št. 3, str. 153-160. ISSN 0352-9045. http://www.dlib.si/details/URN:NBN:SI:DOC-6NVC8Q5S. [COBISS.SI-ID 5935638]
24. ČASAR, Aleš, VLAOVIČ, Boštjan. IEEE - ?. Študentski utrip. okt. 2000, leto 8, št. 4, str. 18. ISSN 1408-6077. [COBISS.SI-ID 5753878]
25. VLAOVIČ, Boštjan (editor), ČASAR, Aleš (editor), MEOLIC, Robert (editor), BALAN, Filip Samo (editor). Proceedings of the Symposium Extra Skills for Young Engineers, October 18-20, 2000, Maribor, Slovenia. Maribor: Faculty of Electrical Engineering and Computer Science, 2000. X, 64 str., ilustr. ISBN 86-435-0357-6. [COBISS.SI-ID 45324545]
26. ČASAR, Aleš, MEOLIC, Robert. Representation of Boolean functions with ROBDDs. In: IEEE Student paper contest : regional contest winners 1990-1997 : prize-winning papers demonstrating student excellence worldwide. Piscataway: The Institute of Electrical and Electronics Engineers, 2000. Str. 1-8. Digital Library of the University of Maribor – DLUM. [COBISS.SI-ID 6992150]
27. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Symbolic CTL model checking using fairness constraints. In: HAMZA, M. H. (ed.). Applied informatics : proceedings of the IASTED international conference, February 14-17, 2000, Innsbruck, Austria. Anaheim; Calgary; Zürich: IASTED/ACTA Press, 2000. Str. 186-189. Applied informatics. ISBN 0-88986-280-X. ISSN 1027-2666. [COBISS.SI-ID 5346326]
28. VLAOVIČ, Boštjan, BREZOČNIK, Zmago, BALAN, Filip Samo, ČASAR, Aleš, DUGONIK, Bogdan, KASTELIC, Dejan, MEOLIC, Robert, VREŽE, Aleksander. Symposium Extra skills for young engineers. 2000. [COBISS.SI-ID 5753366]

2001

29. BREZOČNIK, Zmago, KOKOL, Peter, RIEDLING, Eveline, SÁNCHEZ-PONZ, Jorge-Luis, JEVTIĆ, Saša, BALAN, Filip Samo, ČASAR, Aleš, MEOLIC, Robert, MERTIK, Matej, NEDOK, Simon, VAČUN, Sebastijan, VLAOVIČ, Boštjan, VREŽE, Aleksander. Extra skills for young engineers ESYE 2001 : second symposium, October 17-19, 2001, Maribor, Slovenia. 2001. [COBISS.SI-ID 6650390]
30. JEVTIĆ, Saša (editor), MEOLIC, Robert (editor), VREŽE, Aleksander (editor), ČASAR, Aleš (editor). Proceedings of the Second symposium Extra skills for young engineers ESYE 2001, October 17-19, 2001, Maribor, Slovenia. Maribor: Faculty of Electrical Engineering and Computer Science, 2001. X, 65 str., ilustr. ISBN 86-435-0440-8. [COBISS.SI-ID 46473985]

2002

31. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Exploiting symbolic model checking for sensing stuck-at faults in digital circuits. Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale. [Tiskana izd.]. september 2002, letn. 32, št. 3, str. 171-180. ISSN 0352-9045. http://www.dlib.si/details/URN:NBN:SI:DOC-DH1QX1KZ. [COBISS.SI-ID 7703318]
32. ČASAR, Aleš. Odkrivanje zatičnih napak s simboličnim preverjanjem modelov : doktorska disertacija. Maribor: [A. Časar], 2002. XXIV, 180 str., ilustr. [COBISS.SI-ID 7273750]

2003

33. ČASAR, Aleš. Analiza PISUM s stališča varnosti : 1. poročilo. Maribor: Univerza, Računalniški center, 2003. 12 str. [COBISS.SI-ID 50800385]
34. ČASAR, Aleš. Distribuirani napadi onemogočitve storitve s preplavljanjem. In: VLAOVIČ, Boštjan (ed.), et al. Varnost v telekomunikacijskih sistemih : [zbornik referatov]. Štrinajsta delavnica o telekomunikacijah, 19. in 20. maj 2003, Brdo pri Kranju. Ljubljana: Elektrotehniška zveza Slovenije, 2003. Str. 81-84. Vitel. ISSN 1581-6737. [COBISS.SI-ID 50800129]

2004

35. DINEVSKI, Dejan, DEBEVC, Matjaž, ŠMITEK, Branislav, ZORIČ-VENUTI, Metka, STRMŠEK, Zvezdana, SCHAFF, Ervin, GERLIČ, Ivan, OJSTERŠEK, Milan, ŠAFARIČ, Riko, HORVAT, Branko, GORENJAK, Borut, KRAŠNA, Marjan, ČASAR, Aleš, BRGLEZ, Medeja, KLOJČNIK, Tomaž. Razvoj integriranega programskega okolja za poučevanje in učenje na daljavo : končno poročilo. Maribor: Univerza, 2004. [84] f., ilustr. Konkurenčnost Slovenije 2001-2006, Človeški viri in socialna kohezivnost. [COBISS.SI-ID 55848961]

2008

36. ČASAR, Aleš. Varnost in IP telefonija. In: HUMAR, Iztok (ed.), et al. Povsem IP-omrežja : [zbornik referatov]. Enaindvajseta delavnica o telekomunikacijah, 10. in 11. november 2008, Brdo pri Kranju. Ljubljana: Elektrotehniška zveza Slovenije: Slovensko društvo za elektronske komunikacije, cop. 2008. Str. 29-32. VITEL, Delavnica o telekomunikacijah, 21. ISSN 1581-6737. [COBISS.SI-ID 63946497]

2017

37. KOLEŽNIK, Janko, ČASAR, Aleš, SOUVENT, Andrej, DJURICA, Vladimir, ZLATAREV, Georgi, MILEV, Goran. Popis procesov, določitev arhitekture in analiza potrebne strojne opreme za sistem SUMO : študija št. 2371. Ljubljana: Elektroinštitut Milan Vidmar, 2017. XV, 75 str. [COBISS.SI-ID 39269125]

2019

38. KOLEŽNIK, Janko, BARTOL, Janez, MEOLIC, Robert, ČASAR, Aleš, KODEK, Timotej, DJURICA, Vladimir, MILEV, Goran, MARUŠA, Leon, SOUVENT, Andrej. Vzpostavitev končne konfiguracije notranjega in delno zunanjega dela SUMO : študija št. 2397. Ljubljana: Elektroinštitut Milan Vidmar, dec. 2019. XVIII, 66 str., ilustr. [COBISS.SI-ID 40319749]
Selected format of bibliographic unit: ISO 690
Sorting of bibliographic units: Year - ascending, title

A source of bibliographic data: shared data base COBISS.SI/COBIB.SI, 1. 10. 2026