Pregled po CROSBI profilu: Bruno Blašković (CROSBI Profil: 12106, MBZ: 126634)
Pronađeno 70 radova
-
1.Škopljanac-Mačina, FranoFormalna analiza koncepata i kombinatorno testiranje za automatiziranu provjeru znanja u sustavima za e-učenje, 2023., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb
-
2.Gledec, Gordan; Horvat, Marko; Mikuc, Miljenko; Blašković, BrunoA Comprehensive Dataset of Spelling Errors and Users’ Corrections in Croatian Language // Data, 8 (2023), 5; 89, 11 doi:10.3390/data8050089 (međunarodna recenzija, članak, znanstveni)
-
3.Blašković, Bruno; Dadić, Martin; Pintar, Damir; Randić, Mirko; Trkulja, Bojan; Vranić, MihaelaOsnove elektrotehnike / Sandra Gračan, dipl. ing (ur.).
Zagreb: Element, 2022 -
4.Škopljanac-Mačina, Frano; Zakarija, Ivona; Blašković, BrunoOrganizing online exams during the COVID-19 pandemic // 2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO) - proceedings / Skala, Karolj (ur.).
Rijeka: Croatian Society for Information, Communication and Electronic Technology - MIPRO, 2021. str. 841-846 doi:10.23919/MIPRO52101.2021.9597173 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.Škopljanac-Mačina, Frano; Zakarija, Ivona; Blašković, BrunoTowards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis // IEEE access, 9 (2021), 52957-52976 doi:10.1109/ACCESS.2021.3070510 (međunarodna recenzija, članak, znanstveni)
-
6.Zakarija, IvonaSinteza procesa iz tokova podataka temeljena na induktivnom strojnom učenju, 2020., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb
-
7.Zakarija, Ivona; Škopljanac-Mačina, Frano; Blašković, BrunoAutomated simulation and verification of process models discovered by process mining // Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije, 61 (2020), 2; 312-324 doi:10.1080/00051144.2020.1734716 (međunarodna recenzija, članak, znanstveni)
-
8.Blašković, Bruno; Ježić, GordanGuest Editorial: Special Issue of CIT.Journal of Computing and Information Technology on Agent and Multiagent System Design (AMASD), 2019. doi:10.20532/cit.2019.1004796 (ostalo).
-
9.Škopljanac-Mačina, Frano; Blašković, Bruno; Zakarija, IvonaAutomated analysis of e-learning web applications // MIPRO 2019, 42nd International Convention, Proceedings / Skala, Karolj (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2019. str. 957-962 doi:10.23919/mipro.2019.8756749 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Blašković, Bruno; Škopljanac-Mačina, Frano; Knežević, Petar; Palić , NikoModeling constraint satisfaction problem with model checker // Proceedings of the 29th DAAAM International Symposium 2018
Zadar, Hrvatska, 2018. str. 1-9 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
11.Blašković, Bruno; Škopljanac-Mačina, Frano; Zakarija, IvonaDiscovering e-Learning Process Models from Counterexamples // Proceedings of the 41st International Convention on Information and Communication Technology, Electronics and Microelectronics MIPRO 2018 / Skala, Karolj (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2018. str. 0593-0598 doi:10.23919/MIPRO.2018.8400112 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
12.Škopljanac-Mačina, Frano; Blašković, BrunoAssessment Process Synthesis for Adaptive E- learning Systems // Abstract Book - Second International Workshop on Data Science / Lončarić, Sven ; Šmuc, Tomislav (ur.).
Zagreb, Hrvatska: Centre of Research Excellence for Data Science and Cooperative Systems Research Unit for Data Science Croatia, 2017. str. 31-33 (poster, međunarodna recenzija, prošireni sažetak, znanstveni) -
13.Škopljanac-Mačina, Frano; Blašković, Bruno; Pintar, DamirAutomated Generation of Questions for Basic Electrical Engineering Education // Annals of DAAAM and Proceedings of the International DAAAM Symposium Volume 27 / Katalinic, Branko (ur.).
Mostar, Bosna i Hercegovina, 2016. str. 377-385 doi:10.2507/27th.daaam.proceedings.056 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
14.Belani, Hrvoje; Ljubi, Igor; Blašković, BrunoA Security Assessment Framework for e-Health: A Croatian Perspective // Meeting Security Challenges through Data Analytics and Decision Support / Shahbazian, Elisa ; Rogova, Galina (ur.).
Amsterdam: IOS Press, 2016. str. 293-300 -
15.Škopljanac-Mačina, Frano; Zakarija, Ivona; Blašković, BrunoExam questions consistency checking // Proceedings of 38th International Convention on Information and Communication Technology, Electronics and Microelectronics MIPRO 2015 / Biljanović, Petar (ur.).
Rijeka: GRAFIK, 2015. str. 921-924 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
16.Zakarija, Ivona; Škopljanac-Mačina, Frano; Blašković, BrunoDiscovering Process Model from Incomplete Log using Process Mining // Proceedings of ELMAR-2015 57h International Symposium / Muštra, Mario ; Tralić, Dijana ; Zovko-Cihlar, Branka (ur.).
Zagreb: LotusGRAF, 2015. str. 117-120 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
17.Škopljanac-Mačina, Frano; Blašković, BrunoFormal Concept Analysis – Overview and Applications // Procedia engineering, 69 (2014), 1258-1267 doi:10.1016/j.proeng.2014.03.117 (podatak o recenziji nije dostupan, članak, znanstveni)
-
18.Škopljanac-Mačina, Frano; Blašković, Bruno; Skočir, ZoranUsing Formal Concept Analysis for student assessment // Proceedings of ELMAR-2014 56th International Symposium / Dijana Tralić ; Mario Muštra ; Branka Zovko-Cihlar (ur.).
Zagreb: LotusGRAF, 2014. str. 285-288 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Randić, Mirko; Blašković Bruno; Dembitz, ŠandorAnalysis of Sojourn Times in QBD Model of a Thread Pool // Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije, 54 (2013), 4; 495-506 doi:10.7305/automatika.54-4.465 (međunarodna recenzija, članak, znanstveni)
-
20.Bruno BlaškovićModel Checking Executable Specification for Reactive Components // VALID 2012 The Fourth International Conference on Advances in System Testing and Validation Lifecycle / Alimohammad, A., Dini, P. (ur.).
Lisabon: International Academy, Research, and Industry Association (IARIA), 2012. str. 107-113 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
21.Blašković, Bruno; Skočir, Zoran; Humski, LukaScenario Modeling and Verification for Business Processes // 6th KES International Conference, KES-AMSTA 2012 : proceedings
Dubrovnik, Hrvatska, 2012. str. 414-423 doi:10.1007/978-3-642-30947-2_46 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
22.Dembitz, Šandor; Blašković, Bruno; Gledec, GordanCroatian Language N-Gram System // Frontiers in artificial intelligence and applications, 243 (2012), 696-705 doi:10.3233/978-1-61499-105-2-696 (međunarodna recenzija, članak, znanstveni)
-
23.Blašković, Bruno; Randić, Mirko; Dembitz, ŠandorScenarios and Model Based Design // Annals of DAAAM for 2011. & Proceedings of the 22nd International DAAAM Symposium / Katalinić, Branko (ur.).
Beč: DAAAM International Vienna, 2011. str. 89-90 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
24.Blašković Bruno; Randić, MirkoInterpreting Petri nets with CLIPS for software model checking // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 2010. str. 111-112 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
25.Randić, Mirko; Jednaković, Hrvoje; Blašković BrunoDynamic Thread Assigment in a Tandem of Threadpools Inspired by the Adaptation Mechanism in Honeybee Foraging // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 2010. str. 47-49 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
26.Dembitz, Šandor; Gledec, Gordan; Blašković, BrunoArchitecture of Hascheck – An Intelligent Spellchecker for Croatian Language // Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, 6277 (2010), 292-301 doi:10.1007/978-3-642-15390-7_30 (međunarodna recenzija, članak, znanstveni)
-
27.Randić, Mirko; Blašković, Bruno; Dembitz, ŠandorModel Generation for Analysis with Modelica Based on the ATL Model Transformation Language // DAAAM international scientific book ..., 6 (2007), 265-278 (podatak o recenziji nije dostupan, članak, znanstveni)
-
28.Bruno Blašković, Mirko RandićFrom Declarative Model to Solution: Scheduling Scenario Synthesis // Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2007. str. 139-142 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
29.Randić, Mirko; Kunštić, Marijan; Blašković , BrunoApplication Design for Ad Hoc Collaboration Environment Based on Dependency Injection Pattern // Proceedings of the 13th IEEE Mediterranean Electrotechnical Conference
Málaga, 2006. str. 664-667 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
30.Blašković, Bruno; Randić , MirkoModel Based Scheduling Scenario Generation // DAAAM international scientific book ..., 5 (2006), 031-044 (podatak o recenziji nije dostupan, članak, znanstveni)
-
31.Randić, Mirko; Blašković, Bruno; Knežević, Petar;Modeling Service Dependencies in Ad Hoc Collaborative Systems // EUROCON 2005 - The International Conference on "Computers as a Tool" Proceedings / Milić Ljiljana (ur.).
Beograd: Institut of Electrical and Electronics Engineers and School of Electrical Engineering, University of Belgrade, Serbia and Montenegro, 2005. str. 1842-1845 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
32.Randić, Mirko; Kunštić, Marijan; Blašković, BrunoObject by Value Transfer Mechanisms for Obligation Policy Enforcement Object Loading // Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference / Matijašević, Maja ; Pejčinović, Branimir ; Tomšić, Željko ; Butković, Željko (ur.).
Zagreb: The Institute of Electrical and Electronics Engineers, 2004. str. 727-730 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
33.Blaskovic, B.Petri net modeling for reactive system verification // ConTEL Conference on Telecommunications / Jevtić, D. ; Mikuc, M. (ur.).
Zagreb: Institute of Electrical and Electronics Engineers (IEEE), 2003. str. 257-264 doi:10.1109/contel.2003.176918 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
34.Knežević, Petar; Sršen, Vedran; Blašković, BrunoAn overview of IP telephony routing information problem solving // Eurocon 2003, Computer as a tool : Proceedings / Zajc, Baldomir ; Tkalčič, Marko (ur.).
Ljubljana: Faculty of EE, University of Ljubljana, 2003. str. 1-223 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
35.Blašković, BrunoModeliranje Petrijevom mrežom za verifikaciju reaktivnih sustava // Proceedings of the 7th International Conference on Telecommunications / Jevtić, Mikuc (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2003. str. 257-264 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
36.Sršen, Vedran; Knežević, Petar; Blašković, BrunoCalculating overall delay in Voice over IP network // Annals of DAAAM for 2002 & Proceedings / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 2002. str. 525-526 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
37.Segaric, K.; Knezevic, P.; Blaskovic, B.An Approach To Build Stable Spanning Tree Topology // Proceedings of EUROCON'2001
Bratislava, Slovačka: Institute of Electrical and Electronics Engineers (IEEE), 2001. str. 400-403 doi:10.1109/eurcon.2001.938148 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
38.Blašković, Bruno; Knežević, Petar; Randić, MirkoModel checking approach for communication procedures validation // EUROCON'2001, Trends in Communications, International Conference on. (Volume:2 ) / Farkaš, P. (ur.).
Bratislava: Institute of Electrical and Electronics Engineers (IEEE), 2001. str. 532-535 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
39.Blaskovic, B.; Dembitz, S.; Knezevic, P.Model checking of concurrent system with SDL/sup --/ specification // Proceedings of 10th MELECON / Economides, C. (ur.).
Lahti: Institute of Electrical and Electronics Engineers (IEEE), 2000. str. 77-80 doi:10.1109/melcon.2000.880372 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
40.Blašković, Bruno; Dembitz, Šandor; Knežević, Petar; Randić, Mirko;Linear Network Analyser Design with Heterogeneous Component Composition // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nikozija: Violaris Press Ltd, Nicosia, Cyprus, 2000. str. 89-92 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
41.Blašković, Bruno; Dembitz, Šandor; Knežević, Petar;Model Checking of Concurrent System with SDL-- Specification // 10th Mediterranean Electrotechnical Conference, Melecon 2000, Vol. l / Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory (ur.).
Nikozija: Violaris Press Ltd, Nicosia, Cyprus, 2000. str. 77-80 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
42.Blašković, Bruno; Knežević, Petar; Randić, Mirko.Generic parser for (CO)4PE metamodel framework // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Beč: DAAAM International, Vienna, 2000. str. 029-030 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
43.Knežević, Petar; Blašković, Bruno; Segarić, Krešimir;An approach to build high available and high performance workload distribution system // Annals of DAAAM for 2000 & Proceedings of the 11th International DAAAM Symposium / Katalinic, B. (ur.).
Beč: DAAAM International, Vienna, 2000. str. 231-232 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
44.Randić, Mirko; Kunštić, Marijan; Blašković, BrunoInformation Modeling of Applications Using Mobile Management Agents with extensible Behavior in Run-Time // Proceedings of MeleCon 2000 / Economides, Costas ; Patticichis, Constantinos ; Maliotis, Gregory (ur.).
Nikozija: Violaris Press, 2000. str. 15-18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
45.Blaskovic, B.; Mikac, B.An Approach for Evaluation of Telecommunication Network Reliability // Proceedings 6th Mediterranean Electrotechnical Conference MELECON / Zajc, B. ; Solina, F. (ur.).
Ljubljana: Institute of Electrical and Electronics Engineers (IEEE), 1999. str. 518-521 doi:10.1109/melcon.1991.161890 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
46.Blašković, Bruno; Knežević, Petar;Concurrent Process Synthesis and Protocol Specification for Intelligent Network // Elektrotehniški vestnik, 66 (1999), 240-248 (međunarodna recenzija, članak, znanstveni)
-
47.Randić, Mirko; Kunštić Marijan; Blašković BrunoExtensions to UML for ORB-centric Software Modeling: The Group and Policy Stereotypes // Proceedings of the International Conference on Software in Telecommunications and Computer Networks SoftCOM'99
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1999. str. 173-180 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
48.Blašković Bruno; Knežević, Petar; Randić, MirkoFormal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1999. str. 153-162 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
49.Blašković, Bruno; Knežević, Petar; Dembitz, ŠandorCommunication Based Design of Parallel Programs // Annals of DAAAM for 1999 & Proceedings / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 1999. str. 49-50 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
50.Blašković, B.; Knežević, P.; Segarić, K.Workload Distribution in Internet/Intranet Environment // Proceedings of the Intl. Conf. on Software in Telecommunications and Computer Networks SoftCOM 98 / Rožić, N. ; Begušić, D. (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1998. str. 513-520 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
