ACTLW–An action-based computation tree logic with unless operator R Meolic, T Kapus, Z Brezočnik Information Sciences 178 (6), 1542-1557, 2008 | 41 | 2008 |
Tagged BDDs: Combining reduction rules from different decision diagram types T Van Dijk, R Wille, R Meolic 2017 Formal Methods in Computer Aided Design (FMCAD), 108-115, 2017 | 32 | 2017 |
Demonstration of sorting algorithms on mobile platforms R Meolic International Conference on Computer Supported Education 2, 136-141, 2013 | 22 | 2013 |
Verification of concurrent systems using ACTL R Meolic, T Kapus, Z Brezocnik Applied informatics: proceedings of the IASTED international conference AI …, 2000 | 22 | 2000 |
Witness and counterexample automata for ACTL R Meolic, A Fantechi, S Gnesi International Conference on Formal Techniques for Networked and Distributed …, 2004 | 15 | 2004 |
Flexible job shop scheduling using zero-suppressed binary decision diagrams R Meolic, Z Brezočnik Advances in Production Engineering & Management 13 (4), 373-388, 2018 | 14 | 2018 |
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo R Meolic Master’s thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 1999 | 11* | 1999 |
A C++ App for Demonstration of Sorting Algorithms on Mobile Platforms. R Meolic, T Dogša International Journal of Interactive Mobile Technologies 8 (1), 2014 | 10 | 2014 |
CTL and ACTL patterns R Meolic, T Kapus, Z Brezočnik EUROCON'2001. International Conference on Trends in Communications …, 2001 | 10 | 2001 |
Biddy-a Multi-platform Academic BDD Package. R Meolic J. Softw. 7 (6), 1358-1366, 2012 | 9 | 2012 |
Model checking: A formal method for safety assurance of logistic systems R Meolic, T Kapus, Z Brezocˇnik 2nd Congress Transport-Trafffic-Logistics, 2000 | 7 | 2000 |
The efficient symbolic tools package R Meolic, T Kapus, Z Brezocnik 8th International Conference Software, Telecommunications and Computer …, 2000 | 7 | 2000 |
Representation of Boolean Functions with ROBDDs A Casar, R Meolic IEEE Student paper contest : regional contest winners 1990-1997 : prize …, 2000 | 5* | 2000 |
Exploring properties of a bounded retransmission protocol with VIS R Meolic, T Kapus, Z Brezočnik Journal of computing and information technology 7 (4), 311-321, 1999 | 5 | 1999 |
Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST R Vogrin, R Meolic, T Kapus Elektrotehniski Vestnik 84 (5), 268-276, 2017 | 3 | 2017 |
Akcijska logika dreves izvajanj z operatorjem unless R Meolic Ph.D thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 2005 | 3 | 2005 |
Verification of Bakery algorithm variants for two processes D Dedic, R Meolic The IEEE Region 8 EUROCON 2003. Computer as a Tool. 2, 35-39, 2003 | 3 | 2003 |
Verification of mutual exclusion algorithms with EST R Meolic, T Kapus, E Gungl, Z Brezocnik Electrotechnical and Computer Science Conference ERK’2001, 15-18, 2001 | 3 | 2001 |
The Biddy BDD package R Meolic Journal of Open Source Software 4 (34), 1189, 2019 | 2 | 2019 |
Computing testing equivalence with binary decision diagrams R Meolic, T Kapus, Z Brezocnik Electrotechnical and Computer Science Conference ERK 1998, 51-54, 1998 | 2* | 1998 |