A quantity : a simple example of software development with domain analysisPiho, GunnarInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 73-76 : ill

A scalable model based RTL framework zamiaCAD for static analysisTšepurov, Anton; Jenihhin, Maksim; Raik, Jaan; Tihhomirov, Valentin2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC) : October 7-10, 2012 Santa Cruz, USA Dream Inn, Santa Cruz, USA : [proceedings]2012 / p. 171-176 : ill https://www.semanticscholar.org/paper/A-scalable-model-based-RTL-framework-zamiaCAD-for-Tsepurov-Bartsch/d19eefa44f793621d537c06498784e06e0332fd2

An aspect-oriented technique to model-based test designSarna, KülliInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa2012 / p. 77-80

Aspect-oriented model-based testing = Aspekt-orienteeritud mudeli-põhine testimineSarna, Külli2018 https://digi.lib.ttu.ee/i/?11065 https://www.ester.ee/record=b5166882*est

Bridging the gap in technology transfer for advanced process control with industrial applicationsVansovitš, Vitali; Petlenkov, Eduard; Tepljakov, Aleksei; Vassiljeva, Kristina; Belikov, JuriSensors2022 / art. 4149 https://doi.org/10.3390/s22114149 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Comparison of deep learning models for multivariate prediction of time series wind power generation and temperatureMishra, Sambeet; Bordin, Chiara; Taharaguchi, Kota; Palu, IvoEnergy reports2020 / p. 273−286 https://doi.org/10.1016/j.egyr.2019.11.009 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Comparison of model-based error localization algorithms for C designsRepinski, Urmas; Raik, JaanProceedings of IEEE East-West Design & Test Symposium (EWDTS’2012) : Kharkov, Ukraine, September 14–17, 20122012 / p. 42-45 https://ieeexplore.ieee.org/document/6673203

Cyber contingencies impacts analysis in cyber physical power systemChen, Keren; Wen, Fushuan; Palu, IvoIEEE International Conference on Energy Internet : ICEI 2019, Nanjing, China, 27-31 May, 2019 : proceedings2019 / p. 37-41 : ill http://doi.org/10.1109/ICEI.2019.00013

Digital twin of an electrical motor based on empirical performance modelRassõlkin, Anton; Rjabtšikov, Viktor; Vaimann, Toomas; Kallaste, Ants; Kuts, Vladimir; Partyshev, Andriy2020 XI International Conference on Electrical Power Drive Systems (ICEPDS), Saint-Petersburg, Russia, October 4-7, 20202020 / p. 11-14 : ill https://doi.org/10.1109/ICEPDS47235.2020.9249366

DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 Article collection at Scopus Article at Scopus

An EV-traction inverter data-driven modelling for digital twin developmentIbrahim, Akram Abdalla Mohammed; Raja, Hadi Ashraf; Rassõlkin, Anton; Vaimann, Toomas; Kallaste, Ants2023 23rd International Scientific Conference on Electric Power Engineering (EPE)2023 / 5 p. : ill https://doi.org/10.1109/EPE58302.2023.10149230

An experiment : using Google Translate and semantic mirrors to create synsets with many lexical unitsLohk, Ahti; Tombak, Mati; Vare, KadriProceedings of the 9th Global WordNet Conference : GWC 2018, January 8-12, 2018, Singapore2018 / p. 328-332 http://doi.org/10.1109/EmpiRE.2018.00012

Feature matching in model-based software engineeringRaabe, AlarICEIS 2004 : proceedings of the Sixth International Conference on Enterprise Information Systems : Porto, Portugal, April 14-17, 20042004 / p. 163-172 https://link.springer.com/chapter/10.1007/1-4020-3675-2_23

Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf http://icetcs.ru.is/nwpt21/programme.html

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

Galois sub-hierarchies used for use case modelingTorim, AntsCLA 2013 : proceedings of the Tenth International Conference on Concept Lattices and Their Applications : La Rochelle, France, October 15-18, 20132013 / p. 21-32 : ill https://ceur-ws.org/Vol-1062/paper2.pdf Conference Proceedings at Scopus Article at Scopus

House thermal behaviour simulation with CoCoViLaSpitšakova, MargaritaProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 125-128 : ill

Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applicationsUdokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational journal of law and information technology2021 / p. 2245−2263 : ill https://doi.org/10.1007/s41870-021-00816-6 Journal metrics at Scopus Article at Scopus

Küberpättide nõrkuseks võivad osutuda end tõestanud ärimudelid [Võrguväljaanne]Sõmer, Tiianovaator.err.ee2022 "Küberpättide nõrkuseks võivad osutuda end tõestanud ärimudelid"

Learning timed automata from interaction tracesVain, Jüri; Kanter, Gert; Anier, AivoIFAC-PapersOnLine2019 / p. 205-210 https://doi.org/10.1016/j.ifacol.2019.12.097 Conference proceedings at Scopus Article at Scopus Article at WOS

A model and system for an integrated analysis of the iterative life cycle of university-industry partnershipsKaklauskas, Arturas; Amaratunga, Dilanthi; Haigh, Richard; Binkyte, A.; Lepkova, Natalija; Survila, A.; Lill, IreneProcedia engineering2018 / p. 270-277 https://doi.org/10.1016/j.proeng.2018.01.035 Conference Proceedings at Scopus Article at Scopus Article at WOS

Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 Conference proceedings at Scopus Article at Scopus Article at WOS

Model driven engineering in automatic test generationDomiczi, E.; Vain, JüriProceedings of the NWUML'2005 : The Nordic Workshop on UML and Software Modeling2005 / p. 208-216

Model reference adaptive control scheme for retuning method-based fractional-order PID control with disturbance rejection applied to closed-loop control of a magnetic levitation systemTepljakov, Aleksei; Alagoz, Baris Baykant; Gonzalez, Emmanuel A.; Petlenkov, Eduard; Yeroglu, CelaleddinJournal of circuits, systems, and computers2018 / 1850176 https://doi.org/10.1142/S0218126618501761 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Model transformations in the Gene-Auto Automatic Code GenerationToom, Andres; Näks, TõnuInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 126-129 : ill

A model-based adaptive control of an autonomous driving car for lane change maneuverAstrov, Igor; Udal, Andres; Jaanus, Martin2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO), September 27 - October 1, 2021, Opatija, Croatia : proceedings2021 / p. 1330-1335 : ill http://www.mipro.hr/LinkClick.aspx?fileticket=RAMnkK6T5UQ%3d&tabid=196&language=hr-HR https://doi.org/10.23919/MIPRO52101.2021.9597195

A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Model-based integration testing of ROS packages : a mobile robot case studyErnits, Juhan-Peep; Halling, Evelin; Kanter, Gert; Vain, Jüri2015 European Conference on Mobile Robots : Lincoln, United Kingdom, September 2-4, 2015 : conference proceedings2015 / [7] p. : ill http://dx.doi.org/10.1109/ECMR.2015.7324210

Model-based testing of a web-based positioning applicationRoo, Rivo; Ernits, Juhan-Peep20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 75-77 : ill https://link.springer.com/chapter/10.1007/978-3-642-05031-2_14

Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est

Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testiminePal, Deepak2020 https://www.ester.ee/record=b5389209*est https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe

A model-driven architecture of enterprise information system as the space for Information Systems DevelopmentRoost, Mart; Kuusik, Rein, inform.; Rava, Karin; Veskioja, TarmoCAiSE'04 Forum proceedings : the 16th Conference on Advanced Information Systems Engineering : Riga, Latvia, 7-11 June, 20042004 / p. 194 : ill

Mudelipõhine testimineKull, AndresTallinna Tehnikaülikooli aastaraamat 20102011 / lk. 115-118

Mudelipõhine testimine : kas teoreetikute näpuharjutus või testimise homne päev?Markvardt, MailiA & A2010 / 3, lk. 48-56 https://artiklid.elnet.ee/record=b2183739*est

Numerical study on the structural behavior of intact and damaged box beams under four-point bending loadPutranto, Teguh; Kõrgesaar, MihkelDevelopments in the Collision and Grounding of Ships and Offshore Structures : Proceedings of the 8th International Conference on Collision and Grounding of Ships and Offshore Structures (ICCGS 2019), 21-23 October, 2019, Lisbon, Portugal2019 / p. 139−143 https://www.taylorfrancis.com/books/e/9781003002420/chapters/10.1201/9781003002420-17

Olukorrateadliku käitumise matkimine otsustustoesMeriste, Merik; Rannat, Kalev; Mõtus, Leo; Teichmann, Mare; Kelder, Tõnis; Helekivi, JüriSõjateadlane2020 / p. 177−206 https://www.ester.ee/record=b4555087*est

Pattern-based modeling and planning of machining systemsJääger, Kadi; Vain, JüriMachine engineering2004 / 1/2, p. 97-106

Power smoothing in smart buildings using flywheel energy storagePlaum, Freddy; Häring, Tobias; Ahmadiahangar, Roya; Rosin, ArgoProceedings : 2020 IEEE 14th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG) : Online - Setúbal, Portugal, 08 - 10 July, 20202020 / p. 473-477 https://doi.org/10.1109/CPE-POWERENG48600.2020.9161458

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943

Semi-automated generation of DSL meta models from formal domain ontologiesOjamaa, Andres; Haav, Hele-Mai; Penjam, JaanModel and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings2015 / p. 3-15 https://doi.org/10.1007/978-3-319-23781-7_1 Conference Proceedings at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Service oriented and model-driven development methods of information systemsLemmik, Rivo; Karjust, Kristo; Koov, KasparProceedings of the 7th International Conference of DAAAM Baltic Industrial Engineering : 22-24th April 2010, Tallinn, Estonia. [II]2010 / p. 404-408 : ill

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

Supporting self-development in service oriented information systemsRoost, Mart; Rava, Karin; Veskioja, TarmoProceedings of the 7th WSEAS International Conference on Applied Informatics and Communications (AIC'07) : Vouliagmeni Beach, Athens, Greece, August 24-26, 20072007 / p. 52-57 https://www.researchgate.net/publication/229045998_Supporting_self-development_in_service_oriented_information_systems

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

A systematic approach on modeling refinement and regression testing of real-time distributed systemsPal, Deepak; Vain, JüriIFAC-PapersOnLine2019 / p. 1091-1096 https://doi.org/10.1016/j.ifacol.2019.11.341 Conference proceedings at Scopus Article at Scopus Article at WOS

Teaching and promoting smart internet of things solutions using the serious-game approachÕunapuu, EnnFusion of smart, multimedia and computer gaming technologies : research, systems and perspectives2015 / p. 73-90 : ill https://doi.org/10.1007/978-3-319-14645-4_4 Article collection metrics at Scopus Article at Scopus

Teooria ja praktika sümbioos inseneriõppes ehk elektriajamite tuleviktoostusest.ee2024 Teooria ja praktika sümbioos inseneriõppes ehk elektriajamite tulevik

Teooria ja praktika sümbioos inseneriõppes ehk elektriajamite tulevikTööstusEST2024 / lk. 22-23 https://www.ester.ee/record=b4481084*est

Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 Journal metrics at Scopus Article at Scopus

The TalTech systems for the short-duration speaker verification challenge 2020Alumäe, Tanel; Valk, Jörgen21st Annual Conference of the International Speech Communication Association (INTERSPEECH 2020): Cognitive Intelligence for Speech Processing : Proceedings of a meeting held 25-29 October 2020, Shanghai, China2020 / p. 746-750 https://www.isca-speech.org/archive/interspeech_2020/alumae20_interspeech.html http://www.proceedings.com/56854.html

The validation of graph model-based, gate level low-dimensional feature data for machine learning applicationsBalakrishnan, Aneesh; Lange, Thomas; Glorieux, Maximilien; Alexandrescu, Dan; Jenihhin, Maksim2019 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC), 29-30 October 2019, Helsinki, Finland : proceedings in IEEE Xplore2019 / 7 p https://doi.org/10.1109/NORCHIP.2019.8906974

Timing-critical path analysis with structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Jenihhin, Maksim; Raik, Jaan; Olugbenga, Niyi-Leigh; Viies, Vladimir2018 7th Mediterranean Conference on Embedded Computing (MECO)2018 / 6 p. : ill https://doi.org/10.1109/MECO.2018.8406051

A web-based economic decision tool for abatement investments for shipping industryBakkar, Yassine; Robal, Tarmo; Prause, Gunnar KlausReliability and statistics in transportation and communication : Selected Papers from the 19th International Conference on Reliability and Statistics in Transportation and Communication, RelStat’19, 16-19 October 2019, Riga, Latvia2020 / p. 363−373 https://doi.org/10.1007/978-3-030-44610-9_36 Article collection metrics at Scopus Article at Scopus

Язык УТОПИСТMännisalu, Mati; Tõugu, Enn; Unt, M.; Fuksman, AdolfАлгоритмы и организация решения экономических задач : сборник статей1977 / с. 80-113 https://www.ester.ee/record=b2080193*est