BibTeX records: Matjaz Colnaric

download as .bib file

@article{DBLP:journals/arc/RuanoGGLPC14,
  author       = {Ant{\'{o}}nio E. B. Ruano and
                  Shuzhi Sam Ge and
                  Thierry{-}Marie Guerra and
                  Frank L. Lewis and
                  Jos{\'{e}} C. Pr{\'{\i}}ncipe and
                  Matjaz Colnaric},
  title        = {Computational intelligence in control},
  journal      = {Annu. Rev. Control.},
  volume       = {38},
  number       = {2},
  pages        = {233--242},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.arcontrol.2014.09.006},
  doi          = {10.1016/J.ARCONTROL.2014.09.006},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/arc/RuanoGGLPC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/Colnaric12,
  author       = {Matjaz Colnaric},
  editor       = {Herwig Unger and
                  Kyandoghere Kyamakya and
                  Janusz Kacprzyk},
  title        = {Struggle for Temporal Predictability of Processors for Real-Time Environments,
                  Revisited 20 Years after},
  booktitle    = {Autonomous Systems: Developments and Trends},
  series       = {Studies in Computational Intelligence},
  volume       = {391},
  pages        = {3--12},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-24806-1\_1},
  doi          = {10.1007/978-3-642-24806-1\_1},
  timestamp    = {Tue, 16 May 2017 14:24:36 +0200},
  biburl       = {https://dblp.org/rec/series/sci/Colnaric12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/GumzejCH09,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  title        = {Safety shell for specification-PEARL oriented {UML} real-time projects},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {35},
  number       = {3},
  pages        = {277--292},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.cl.2008.05.001},
  doi          = {10.1016/J.CL.2008.05.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/GumzejCH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GumzejCH09,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  title        = {A reconfiguration pattern for distributed embedded systems},
  journal      = {Softw. Syst. Model.},
  volume       = {8},
  number       = {1},
  pages        = {145--161},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10270-007-0075-7},
  doi          = {10.1007/S10270-007-0075-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GumzejCH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/JuricRBCH06,
  author       = {Matjaz B. Juric and
                  Ivan Rozman and
                  Bostjan Brumen and
                  Matjaz Colnaric and
                  Marjan Hericko},
  title        = {Comparison of performance of Web services, WS-Security, RMI, and {RMI-SSL}},
  journal      = {J. Syst. Softw.},
  volume       = {79},
  number       = {5},
  pages        = {689--700},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jss.2005.08.006},
  doi          = {10.1016/J.JSS.2005.08.006},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/JuricRBCH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SprogarVC06,
  author       = {Matej Sprogar and
                  Domen Verber and
                  Matjaz Colnaric},
  editor       = {Juan Andrade{-}Cetto and
                  Jean{-}Louis Ferrier and
                  Jos{\'{e}} Miguel Dias Pereira and
                  Joaquim Filipe},
  title        = {Considerations for selecting functions and terminals in genetic programming
                  for fault-detection in embedded systems},
  booktitle    = {{ICINCO} 2006, Proceedings of the Third International Conference on
                  Informatics in Control, Automation and Robotics, Intelligent Control
                  Systems and Optimization, Set{\'{u}}bal, Portugal, August 1-5,
                  2006},
  pages        = {142--147},
  publisher    = {{INSTICC} Press},
  year         = {2006},
  timestamp    = {Sat, 17 Feb 2024 13:14:27 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/SprogarVC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GumzejCH06,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  title        = {Safe and Timely Scenario Switching in {UML} Real-Time Projects},
  booktitle    = {Ninth {IEEE} International Symposium on Object-Oriented Real-Time
                  Distributed Computing {(ISORC} 2006), 24-26 April 2006, Gyeongju,
                  Korea},
  pages        = {335--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISORC.2006.69},
  doi          = {10.1109/ISORC.2006.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/GumzejCH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/SprogarSC05,
  author       = {Matej Sprogar and
                  Miha Sprogar and
                  Matjaz Colnaric},
  title        = {Autonomous evolutionary algorithm in medical data analysis},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {80},
  number       = {Supplement-1},
  pages        = {S29--S38},
  year         = {2005},
  url          = {https://doi.org/10.1016/S0169-2607(05)80004-5},
  doi          = {10.1016/S0169-2607(05)80004-5},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmpb/SprogarSC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GumzejCH04,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  editor       = {Bernd Kleinjohann and
                  Guang R. Gao and
                  Hermann Kopetz and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {Profiling Specification {PEARL} Designs},
  booktitle    = {Design Methods and Applications for Distributed Embedded Systems,
                  {IFIP} 18th World Computer Congress, {TC10} Working Conference on
                  Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
                  2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {150},
  pages        = {217--226},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8149-9\_22},
  doi          = {10.1007/1-4020-8149-9\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/GumzejCH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GumzejCH04,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  title        = {Temporal Feasibility Verification of Specification {PEARL} Designs},
  booktitle    = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
  pages        = {249--252},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ISORC.2004.1300365},
  doi          = {10.1109/ISORC.2004.1300365},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/GumzejCH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/ColnaricVH03,
  author       = {Matjaz Colnaric and
                  Domen Verber and
                  Wolfgang A. Halang},
  title        = {Improving integrity of embedded computers in control},
  journal      = {Annu. Rev. Control.},
  volume       = {27},
  number       = {1},
  pages        = {47--54},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1367-5788(03)00006-3},
  doi          = {10.1016/S1367-5788(03)00006-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/arc/ColnaricVH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/SprogarC03,
  author       = {Matej Sprogar and
                  Matjaz Colnaric},
  title        = {Agent-oriented Framework for Decision Tree Evolution},
  booktitle    = {2003 {IEEE/WIC} International Conference on Intelligent Agent Technology
                  {(IAT} 2003), 13-17 October 2003, Halifax, Canada},
  pages        = {503--506},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IAT.2003.1241131},
  doi          = {10.1109/IAT.2003.1241131},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/SprogarC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/VerberCH02,
  author       = {Domen Verber and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  editor       = {Bernd Kleinjohann and
                  K. H. Kim and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {Fault Detection in Safety-Critical Embedded Systems},
  booktitle    = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
                  World Computer Congress - {TC10} Stream on Distributed and Parallel
                  Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
                  Qu{\'{e}}bec, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {219},
  pages        = {113--119},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 26 Aug 2002 08:29:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/VerberCH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/DruzovecWCG01,
  author       = {Marjan Druzovec and
                  Tatjana Welzer and
                  Matjaz Colnaric and
                  J{\'{o}}zsef Gy{\"{o}}rk{\"{o}}s},
  title        = {Diagnostics and a qualitative model},
  journal      = {Int. J. Medical Informatics},
  volume       = {63},
  number       = {1-2},
  pages        = {51--60},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1386-5056(01)00171-X},
  doi          = {10.1016/S1386-5056(01)00171-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmi/DruzovecWCG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GumzejC01,
  author       = {Roman Gumzej and
                  Matjaz Colnaric},
  title        = {An Approach to Modeling and Verification of Real-Time Systems},
  booktitle    = {4th International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2001), 2-4 May 2001, Magdeburg, Germany},
  pages        = {283--290},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISORC.2001.922851},
  doi          = {10.1109/ISORC.2001.922851},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/GumzejC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ColnaricV01,
  author       = {Matjaz Colnaric and
                  Domen Verber},
  title        = {Dealing with tasking overload in object oriented real-time applications
                  design},
  booktitle    = {6th Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
                  2001), 8-10 January 2001, Rome, Italy},
  pages        = {214--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/WORDS.2001.945133},
  doi          = {10.1109/WORDS.2001.945133},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/ColnaricV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/GodenaC00,
  author       = {Giovanni Godena and
                  Matjaz Colnaric},
  title        = {Exception handling for PLC-based process control software},
  journal      = {Microprocess. Microsystems},
  volume       = {24},
  number       = {8},
  pages        = {407--414},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0141-9331(00)00092-2},
  doi          = {10.1016/S0141-9331(00)00092-2},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/GodenaC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HalangGCD00,
  author       = {Wolfgang A. Halang and
                  Roman Gumzej and
                  Matjaz Colnaric and
                  Marjan Druzovec},
  title        = {Measuring the Performance of Real-Time Systems},
  journal      = {Real Time Syst.},
  volume       = {18},
  number       = {1},
  pages        = {59--68},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008102611034},
  doi          = {10.1023/A:1008102611034},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HalangGCD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/WelzerRKGCB00,
  author       = {Tatjana Welzer and
                  Ivan Rozman and
                  Peter Kokol and
                  J. Gy{\"{o}}r{\"{o}}s and
                  Matjaz Colnaric and
                  Bostjan Brumen},
  editor       = {Yoshifumi Masunaga and
                  Jaroslav Pokorn{\'{y}} and
                  Julius Stuller and
                  Bernhard Thalheim},
  title        = {Computing Science Research Activities at the Faculty of Electrical
                  Engineering, Computer Science and Informatics},
  booktitle    = {Proceedings of Chalenges, 2000 {ADBIS-DASFAA} Symposium on Advances
                  in Databases and Information Systems, Enlarged Fourth East-European
                  Conference on Advances in Databases and Information Systems, Prague,
                  Czech Republic, September 5-8, 2000},
  pages        = {266--274},
  publisher    = {Matfyz Press, Vydavatelstvi, Matematicko-Fyzikalni Fakulty, Unverzity
                  Karlovy},
  year         = {2000},
  timestamp    = {Wed, 12 Feb 2014 17:08:13 +0100},
  biburl       = {https://dblp.org/rec/conf/adbis/WelzerRKGCB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HalangVC00,
  author       = {Wolfgang A. Halang and
                  Peter Vogrin and
                  Matjaz Colnaric},
  editor       = {Floor Koornneef and
                  Meine van der Meulen},
  title        = {A Safety Licensable {PES} for {SIL} 4 Applications},
  booktitle    = {Computer Safety, Reliability and Security, 19th International Conference,
                  {SAFECOMP} 2000, Rotterdam, The Netherlands, October 24-27, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1943},
  pages        = {141--150},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40891-6\_13},
  doi          = {10.1007/3-540-40891-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HalangVC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/HalangSC98,
  author       = {Wolfgang A. Halang and
                  Marek Sniezek and
                  Matjaz Colnaric},
  title        = {Computerised controllers for safety critical medical applications},
  journal      = {Int. J. Medical Informatics},
  volume       = {49},
  number       = {2},
  pages        = {139--155},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1386-5056(98)00037-9},
  doi          = {10.1016/S1386-5056(98)00037-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmi/HalangSC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ColnariVGH98,
  author       = {Matjaz Colnaric and
                  Domen Verber and
                  Roman Gumzej and
                  Wolfgang A. Halang},
  title        = {Implementation of Hard Real-Time Embedded Control Systems},
  journal      = {Real Time Syst.},
  volume       = {14},
  number       = {3},
  pages        = {293--310},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1007920407968},
  doi          = {10.1023/A:1007920407968},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/ColnariVGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/GumzejCVH98,
  author       = {Roman Gumzej and
                  Matjaz Colnaric and
                  Domen Verber and
                  Wolfgang A. Halang},
  title        = {Towards Standard-Based Specification and Design of Embedded Real-Time
                  Systems},
  booktitle    = {24th {EUROMICRO} '98 Conference, Engineering Systems and Software
                  for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
  pages        = {10453},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/EURMIC.1998.711839},
  doi          = {10.1109/EURMIC.1998.711839},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/GumzejCVH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/ColnaricHW97,
  author       = {Matjaz Colnaric and
                  Wolfgang A. Halang and
                  Markus Wannemacher},
  editor       = {Djamshid Tavangarian},
  title        = {Design of Peripheral Interfaces for Embedded Control Systems},
  booktitle    = {Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen:
                  Konzepte, L{\"{o}}sungen, Anwendungen, Trends - Vortr{\"{a}}ge
                  der 14. ITG/GI-Fachtagung {ARCS} '97, 8.-11. September 1997, Rostock,
                  Germany},
  pages        = {125--132},
  publisher    = {{VDE} Verlag},
  year         = {1997},
  timestamp    = {Wed, 24 Apr 2002 14:01:09 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/ColnaricHW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/HalangC97,
  author       = {Wolfgang A. Halang and
                  Matjaz Colnaric},
  title        = {On Safety--Critical Computer Control Systems},
  booktitle    = {10th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} '97),
                  11-13 June 1997, Maribor, Slovenia},
  pages        = {210--214},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/CBMS.1997.596436},
  doi          = {10.1109/CBMS.1997.596436},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/HalangC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ColnaricCH97,
  author       = {Matjaz Colnaric and
                  C. T. Cheung and
                  Wolfgang A. Halang},
  editor       = {Christian Lengauer and
                  Martin Griebl and
                  Sergei Gorlatch},
  title        = {Designing an Embedded Hard Real-Time System: {A} Case Study},
  booktitle    = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
                  Passau, Germany, August 26-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1300},
  pages        = {1231--1235},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0002878},
  doi          = {10.1007/BFB0002878},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/ColnaricCH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pearl/VerberCH96,
  author       = {Domen Verber and
                  Matjaz Colnaric and
                  Wolfgang A. Halang},
  editor       = {Peter Holleczek},
  title        = {Zur Unterst{\"{u}}tzung der Vorhersehbarkeit von Programmausf{\"{u}}hrungszeiten
                  in {PEARL}},
  booktitle    = {{PEARL} 96, Workshop {\"{u}}ber Realzeitsysteme, Fachtagung der
                  GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 28./29.
                  November 1996},
  series       = {Informatik Aktuell},
  pages        = {60--69},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-642-60535-2\_7},
  doi          = {10.1007/978-3-642-60535-2\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pearl/VerberCH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/ColnaricVH95,
  author       = {Matjaz Colnaric and
                  Domen Verber and
                  Wolfgang A. Halang},
  title        = {Supporting High Integrity and Behavioural Predictability of Hard Real-Time
                  Systems},
  journal      = {Informatica (Slovenia)},
  volume       = {19},
  number       = {1},
  year         = {1995},
  timestamp    = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/ColnaricVH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HalangMC95,
  author       = {Wolfgang A. Halang and
                  Kim{-}Fung Man and
                  Matjaz Colnaric},
  title        = {A graphical paradigm facilitating correct programming of complex computer
                  control systems},
  booktitle    = {1st {IEEE} International Conference on Engineering of Complex Computer
                  Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
                  {USA}},
  pages        = {39--42},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICECCS.1995.479300},
  doi          = {10.1109/ICECCS.1995.479300},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HalangMC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/ColnaricHT94,
  author       = {Matjaz Colnaric and
                  Wolfgang A. Halang and
                  Ronald M. Tol},
  title        = {A hardware supported operating system kernel for embedded hard real-time
                  applications},
  journal      = {Microprocess. Microsystems},
  volume       = {18},
  number       = {10},
  pages        = {579--591},
  year         = {1994},
  url          = {https://doi.org/10.1016/0141-9331(94)90036-1},
  doi          = {10.1016/0141-9331(94)90036-1},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/ColnaricHT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ColnaricH93,
  author       = {Matjaz Colnaric and
                  Wolfgang A. Halang},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Exception Handling and Predictability in Hard Real-Time Systems},
  booktitle    = {The 12th International Conference on Computer Safety, Reliability
                  and Security, {SAFECOMP} 1993, Pozna{\'{n}}-Kiekrz, Poland, October
                  27-29, 1993},
  pages        = {371--378},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-1-4471-2061-2\_36},
  doi          = {10.1007/978-1-4471-2061-2\_36},
  timestamp    = {Mon, 24 Jun 2019 15:52:03 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ColnaricH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Colnaric92,
  author       = {Matjaz Colnaric},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {What Role Should Be Played by Slovenia in Real-Time Computing Research,
                  Development and Technology},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {592},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_57},
  doi          = {10.1007/978-3-642-88049-0\_57},
  timestamp    = {Fri, 12 May 2017 11:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Colnaric92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BudinCSZ92,
  author       = {Leo Budin and
                  Matjaz Colnaric and
                  Jacques J. Skubich and
                  Janusz Zalewski},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {Minutes of the Birds-of-a-Feather Session on "Real-Time Systems
                  Education"},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {750--754},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_129},
  doi          = {10.1007/978-3-642-88049-0\_129},
  timestamp    = {Fri, 12 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/BudinCSZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pearl/Colnaric90,
  author       = {Matjaz Colnaric},
  editor       = {Wilfried Gerth and
                  Per Baacke},
  title        = {Run-Time Prediction for Hard Real-Time Programs},
  booktitle    = {{PEARL} 90, Workshop {\"{u}}ber Realzeitsysteme, 11. Fachtagung
                  des PEARL-Vereins e.V. unter Mitwirkung von {GI} und GMA, Boppard,
                  29./30. November 1990, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {262},
  pages        = {59--68},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/978-3-642-46725-7\_6},
  doi          = {10.1007/978-3-642-46725-7\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pearl/Colnaric90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics