Case study-based performance evaluation of reactive planning testerKull, Andres; Raiend, Kullo; Vain, Jüri; Kääramees, MarkoModel-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings2009 / p. 87-96 : ill https://www.etis.ee/Portal/Publications/Display/c507fc75-771f-419a-bf67-571af65fdb66

Executable black-box tester model synthesis from a non-deterministic EFSM of the systemKull, Andres; Raiend, Kullo; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 105-108

Fortran-programmide teisendajaRemmel, V.; Raiend, Kullo; Uibo, ErikXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 94-95 https://www.ester.ee/record=b1322611*est

Generating tests from EFSM models using guided model checking and iterated search refinmentErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriFormal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers2006 / p. 85-99 https://link.springer.com/chapter/10.1007/11940197_6

Generating TTCN-3 test cases from EFSM models of reactive software using model checkingErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriInformatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden2006 / p. 241-248

Integrated approach to the process control system designAarna, Olav; Raiend, Kullo2nd IFAC/IFIP Symposium on Software for Computer Control, Prague, Czechoslovakia, 11-15 June IFAC Proceedings Volumes1979 / p. 275-278 : ill https://doi.org/10.1016/S1474-6670(17)65814-2

Lineaaralgebra programmide pakettHärmaorg, T.; Raiend, KulloXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 49 https://www.ester.ee/record=b2449987*est

Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systemsKääramees, Marko; Vain, Jüri; Raiend, KulloBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 189-192 : ill

Reactive testing of nondeterministic systems by test purpose-directed testerVain, Jüri; Kull, Andres; Kääramees, Marko; Markvardt, Maili; Raiend, KulloModel-based testing for embedded systems2012 / p. 425-452 : ill

Requirements-driven model-based testing of the IP Multimedia SubsystemErnits, Juhan-Peep; Kääramees, Marko; Raiend, Kullo; Kull, AndresBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 203-206

Synthesis of on-line planning tester for non-deterministic EFSM modelsKääramees, Marko; Vain, Jüri; Raiend, KulloTesting - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings2010 / p. 147-154

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57

Вычисление параметров регулятора по выходуRaiend, KulloМатематическое моделирование и управление технологическими процессами1984 / с. 63-73

Декомпозиция линейной модели объекта управленияRaiend, KulloРасчет и проектирование систем технической кибернетики1983 / с. 41-54

Интегрированная система машинного проектирования САУ для непрерывных процессовAarna, Olav; Raiend, KulloАвтоматизация проектирования систем автоматического и автоматизированного управления, II Всесоюзное научно-техническое совещание : тезисы докладов1978 / [с. 133-138]

Интегрированный подход к машинному проектированию систем управления непрерывными процессамиAarna, Olav; Siitan, Urmas; Raiend, KulloТруды МГТУ. : Автоматизированное проектирование систем управления1983 / с. [64-72]

Количественный анализ управляемости и наблюдаемости линейной модели объекта управленияRaiend, KulloАнализ и синтез сложных систем и цепей с помощью ЭВМ1985 / с. 39-48

Количественный анализ управляемости, наблюдаемости и декомпозируемости многомерных линейных объектов управления : автореферат ... кандидата технических наук (05.13.01)Raiend, Kullo1989 https://www.ester.ee/record=b1267737*est

Количественный анализ управляемости, наблюдаемости и декомпозируемости многомерных линейных объектов управления : диссертация на соискание ученой степени кандидата технических наукRaiend, Kullo1989 https://www.ester.ee/record=b4636215*est

Оценка расстояния модели от ближайшей неуправляемой моделиRaiend, KulloТезисы докладов VI Всесоюзного совещания "Управление многосвязными системами", Суздаль, март 19901990 / с. 57-58

Пакет для моделирования линейных системRaiend, Kullo; Jürviste, E.XXV студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 21-23 апреля 1981 года : тезисы докладов. Том 2, Автоматика. Энергетика. Механика. Химия1981 / с. 42-43 https://www.ester.ee/record=b1322629*est

Подсистема расчета и регистрации технологических показателейSarv, Siim; Raiend, KulloXXX студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 8-10 апреля 1986 года : тезисы докладов. Том II, Автоматика. Энергетика. Механика. Химия1986 / с. 23 https://www.ester.ee/record=b1305565*est

Применение симулярного разложения для анализа линейных системRaiend, KulloТезисы докладов III Всесоюзного совещания по автоматизации проектирования систем автоматического и автоматизированного управления технологическими процессами, г. Иваново, 16-18 сентября 1981 г.1981 / с. 65-66

Расстояние от неуправляемой моделиRaiend, KulloАнализ и синтез сложных систем и цепей с помощью ЭВМ1988 / с. 34-45

Система автоматизации моделирования и проектирования САУ для непрерывных процессовAarna, Olav; Raiend, Kullo; Siitan, UrmasАвтоматизация проектирования систем управления : Семинар IFAC, Баку, апр. 1980 : тезисы докладов1980 / с. [43-45]

Численное решение матричного уравнения ЛяпуноваRaiend, KulloРасчет и проектирование приборов, устройств и систем технической кибернетики1980 / с. 115-119

Электротехника и автоматикаLaansoo, Ants; Ubar, Raimund-Johannes; Grigorjeva, Ksenja; Plakk, Mari; Leis, Paul; Sudnitsõn, Aleksander; Parve, Toomas; Trumm, Tõnu; Gordon, Boris; Seppel, Simmu; Einer, Lauri; Jõers, Rein; Vendelin, Jelena; Aarna, Olav; Jõers, Kristi; Bachverk, Aleksander; Kukk, Vello; Leppikson, Viktor; Raiend, Kullo; Ronk, Ants; Männama, Vello; Gurjanov, Boris1980 https://www.ester.ee/record=b1264145*est

Электротехника и автоматикаRüstern, Ennu; Aarna, Olav; Rebane, Jüri; Min, Mart; Raiend, Kullo; Kiitam, Andres; Saks, Eva; Vendelin, Juhan; Leis, Paul; Salum, Kaja; Keevallik, Andres; Kitsnik, Peeter; Sudnitsõn, Aleksander; Ubar, Raimund-Johannes; Viilup, Agu; Evartson, Teet1983 https://www.ester.ee/record=b1288991*est

Электротехника и автоматикаRüstern, Ennu; Aarna, Olav; Teder, Toomas; Annus, Arno; Bachverk, Aleksander; Kiitam, Andres; Saks, Eva; Raiend, Kullo; Rebane, Jüri; Rebane, Kaie; Kortela, U.; Lautala, P.1984 https://www.ester.ee/record=b1351791*est

Электротехника и автоматикаSeppel, Simmu; Sillamaa, Hanno; Aarna, Olav; Raiend, Kullo; Kukk, Vello; Rüstern, Ennu; Vendelin, Jelena; Leppikson, Viktor; Vijar, Merike; Kurm, Matti; Min, Mart; Parve, Toomas; Väljamäe, Gunnar; Proode, Ülo; Tilk, Johan; Gordon, Boris; Einer, Lauri; Remmel, Ülo; Sepp, Ülo; Uutma, Toomas; Annus, Arno; Bachverk, Aleksander; Kiitam, Andres; Saks, Eva; Sildaru, Kalev1985 https://www.ester.ee/record=b1302188*est

Электротехника и автоматикаPikkov, Otto; Uutma, Toomas; Seppel, Simmu; Umbleja, Uko; Väljamäe, Gunnar; Gordon, Boris; Proode, Ülo; Raiend, Kullo; Aarna, Olav; Metsanurm, Margus; Land, Raul; Lipping, Kalle; Ronk, Ants; Saar, R.1988 https://www.ester.ee/record=b1288214*est

Язык системы проектирования линейных систем управленияRaiend, KulloАвтоматизация проектирования и конструирования : II всесоюзное совещание, Ленинград, февр. 1983. Тезисы докладов [В 2-х ч.] ; Ч. 21983 / с. 9-10