Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

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

artikkel kogumikus

2

artikkel kogumikus

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

artikkel kogumikus

3

artikkel kogumikus

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

artikkel kogumikus

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel ajakirjas

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

artikkel ajakirjas

7

artikkel kogumikus

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

artikkel kogumikus

8

artikkel kogumikus

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

artikkel kogumikus

9

artikkel kogumikus

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

artikkel kogumikus

10

artikkel kogumikus

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

artikkel kogumikus

11

artikkel kogumikus

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

artikkel kogumikus

12

artikkel kogumikus

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

artikkel kogumikus

13

artikkel kogumikus

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

artikkel kogumikus

14

artikkel kogumikus

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

artikkel kogumikus

15

artikkel kogumikus

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

artikkel kogumikus

16

artikkel kogumikus

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

artikkel kogumikus

17

artikkel ajakirjas

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

artikkel ajakirjas

18

artikkel kogumikus

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

artikkel kogumikus

19

dissertatsioon

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

dissertatsioon

20

dissertatsioon

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

dissertatsioon

21

artikkel kogumikus

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

artikkel kogumikus

22

artikkel kogumikus

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

artikkel kogumikus

23

artikkel kogumikus

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

artikkel kogumikus

24

artikkel kogumikus

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

artikkel kogumikus

25

artikkel kogumikus

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

artikkel kogumikus

Raiend, Kullo (autor)

teaviku laadid

autor 8

CV 1

tema kohta 1