Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A rule-based approach to Web-based application developmentTammet, Tanel; Haav, Hele-Mai; Kadarpik, Vello; Kääramees, Marko2006 Seventh International Baltic Conference on Databases and Information Systems : Vilnius, Lithuania, 3-6 July 2006 : proceedings2006 / p. 202-208

artikkel kogumikus

2

artikkel kogumikus

A semantic-based web service composition frameworkHaav, Hele-Mai; Tammet, Tanel; Kadarpik, Vello; Kindel, Kristiina; Kääramees, MarkoAdvances in information systems development : new methods and practice for the networked society. Volume 12007 / p. 379-391 https://link.springer.com/chapter/10.1007/978-0-387-70761-7_33

artikkel kogumikus

3

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

4

artikkel kogumikus

Component based development of hybrid control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARSAMPFOF'99 : August 18-20, 1999, Aguas de Lindoia, Brasil. Vol. 21999 / p. RW5-1 - RW5-6

artikkel kogumikus

5

artikkel kogumikus

Component based technique for hybrid control systems designVain, Jüri; Kuusik, Alar; Kääramees, MarkoProceedings of the 11th Nordic Workshop on Programming Theory : NWPT'99 : Uppsala University, Sweden, October 6-8, 19991999 / p. 48

artikkel kogumikus

6

artikkel kogumikus

Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMsAhman, Danel; Kääramees, MarkoEPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 20122012 / p. 115-129 : ill

artikkel kogumikus

7

artikkel kogumikus

From design formulas to parallel implementationsKääramees, Marko; Hansen, M.Selected Papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 129-136

artikkel kogumikus

8

artikkel kogumikus

Implementing duration calculus specifications by timed automataKääramees, MarkoAbstracts of NWPT'96, Oslo 19961996 / p. 10

artikkel kogumikus

9

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

10

artikkel kogumikus

Online testing of nondeterministic systems with the reactive planning testerVain, Jüri; Kääramees, Marko; Markvardt, MailiDependability and computer engineering : concepts for software-intensive systems2012 / p. 113-150 : ill

artikkel kogumikus

11

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

12

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

13

artikkel kogumikus

Scheme development for specification hybrid components of control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoCAx Techniques : proceedings of the 4th International Scientific Colloquium : Bielefeld, Germany, September 13-15, 19991999 / p. 483-491

artikkel kogumikus

14

raamat

Sooline palgalõhe Eestis : kujunemise tagamaad ja vähendamise võimalused. Programmi RITA tegevuse 1 projekti „Soolise palgalõhe vähendamine“ (REGE) lõpparuanne2022 Sooline palgalõhe Eestis : kujunemise tagamaad ja vähendamise võimalused : Programmi RITA tegevuse 1 projekti „Soolise palgalõhe vähendamine“ (REGE) lõpparuanne

raamat

15

artikkel kogumikus

Specification of hybrid components of control systemsVain, Jüri; Kuusik, Alar; Kääramees, MarkoPreprints of the 5th IFAC Workshop on Intelligent Manufacturing Systems IMS'98, November 9-11 1998, Gramado - RS, Brazil1998 / p. 83-88: ill

artikkel kogumikus

16

dissertatsioon

A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutustKääramees, Marko2012 http://www.ester.ee/record=b2890159*est

dissertatsioon

17

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

18

artikkel kogumikus

Using a rule language for capturing semantics in web-based systemsTammet, Tanel; Haav, Hele-Mai; Kadarpik, Vello; Kääramees, MarkoDatabases and Information Systems IV : selected papers from the Seventh International Conference DBAMPIS'20062007 / p. 249-259

artikkel kogumikus

Kääramees, Marko (TTÜ autor)

teaviku laadid

autor 73

CV 18

tema kohta 13