| 2006 | ICINCO | Considerations for selecting functions and terminals in genetic programming for fault-detection in embedded systems. | Matej Sprogar, Domen Verber, Matjaz Colnaric |
| 2006 | ISORC | Safe and Timely Scenario Switching in UML Real-Time Projects. | Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang |
| 2004 | ISORC | Temporal Feasibility Verification of Specification PEARL Designs. | Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang |
| 2001 | ISORC | An Approach to Modeling and Verification of Real-Time Systems. | Roman Gumzej, Matjaz Colnaric |
| 2000 | ADBIS | Computing Science Research Activities at the Faculty of Electrical Engineering, Computer Science and Informatics. | Tatjana Welzer, Ivan Rozman, Peter Kokol, J. Gyrs, Matjaz Colnaric, Bostjan Brumen |
| 2000 | SAFECOMP | A Safety Licensable PES for SIL 4 Applications. | Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric |
| 1997 | CBMS | On Safety--Critical Computer Control Systems. | Wolfgang A. Halang, Matjaz Colnaric |
| 1997 | EuroPar | Designing an Embedded Hard Real-Time System: A Case Study. | Matjaz Colnaric, C. T. Cheung, Wolfgang A. Halang |
| 1995 | ICECCS | A graphical paradigm facilitating correct programming of complex computer control systems. | Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric |
| 1993 | SAFECOMP | Exception Handling and Predictability in Hard Real-Time Systems. | Matjaz Colnaric, Wolfgang A. Halang |