Robert Meolic
Robert Meolic
Milan Vidmar Electric Power Research Institute
Verified email at meolic.com - Homepage
Title
Cited by
Cited by
Year
ACTLW–An action-based computation tree logic with unless operator
R Meolic, T Kapus, Z Brezočnik
Information Sciences 178 (6), 1542-1557, 2008
222008
Verification of concurrent systems using ACTL
R Meolic, T Kapus, Z Brezocnik
Applied informatics: proceedings of the IASTED international conference AIá…, 2000
192000
An action computation tree logic with unless operator
R Meolic, T Kapus, Z Brezocnik
1st South-East European workshop on formal methods SEEFM 2003, 100-114, 2003
172003
Witness and counterexample automata for ACTL
R Meolic, A Fantechi, S Gnesi
International Conference on Formal Techniques for Networked and Distributedá…, 2004
132004
Demonstration of Sorting Algorithms on Mobile Platforms.
R Meolic
CSEDU, 136-141, 2013
112013
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
92017
Model checking: A formal method for safety assurance of logistic systems
R Meolic, T Kapus, Z Brezocˇnik
2nd Congress Transport-Trafffic-Logistics, 2000
92000
Preverjanje pravilnosti obnašanja sistemov s sočasnostjo
R Meolic
Master’s thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 1999
9*1999
CTL and ACTL patterns
R Meolic, T Kapus, Z Brezočnik
EUROCON'2001. International Conference on Trends in Communicationsá…, 2001
82001
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
72018
The efficient symbolic tools package
R Meolic, T Kapus, Z Brezocnik
8th International Conference Software, Telecommunications and Computerá…, 2000
72000
Biddy-a Multi-platform Academic BDD Package.
R Meolic
JSW 7 (6), 1358-1366, 2012
52012
Representation of Boolean Functions with ROBDDs
A Casar, R Meolic
IEEE Student paper contest : regional contest winners 1990-1997 : prizeá…, 2000
4*2000
A C++ App for Demonstration of Sorting Algorithms on Mobile Platforms
R Meolic, T Dogša
International Journal of Interactive Mobile Technologies (iJIM) 8 (1), 40-45, 2014
32014
Akcijska logika dreves izvajanj z operatorjem unless
R Meolic
Ph.D thesis, Faculty of Electrical Engineering and Computer Science, Maribor, 2005
32005
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
32003
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
31999
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
22001
The Biddy BDD package
R Meolic
Journal of Open Source Software 4 (34), 1189, 2019
12019
Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST
R Vogrin, R Meolic, T Kapus
Elektrotehniski Vestnik 84 (5), 268-276, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20