Searching - TalTech Research Portal

display

sort

1

book article

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

book article

2

book article

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

book article

3

book article

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

book article

4

book article

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

book article

5

book article

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

book article

6

journal article

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

journal article

7

book article

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

book article

8

book article

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

book article

9

book article

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

book article

10

book article

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

book article

11

book article

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 https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14

book article

12

book article

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

book article

13

book article

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

book article

14

book article

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

book article

15

book article

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

book article

16

book article

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

book article

17

journal article

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

journal article

18

book article

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

book article

19

dissertation

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

dissertation

20

dissertation

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

dissertation

21

book article

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

book article

22

book article

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

book article

23

book article

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

book article

24

book article

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

book article

25

book article

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

book article

Raiend, Kullo (author)

types of item

author 8

CV 1

name of the person 1