• 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 https://www.scopus.com/sourceid/130124 https://www.scopus.com/record/display.uri?eid=2-s2.0-85131742293&origin=inward&txGid=a0d11f9f0f973ae328672bd092c6a4b4 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SENSORS-BASEL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000808733700001
• 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 https://www.scopus.com/sourceid/21100389511 https://www.scopus.com/record/display.uri?eid=2-s2.0-85080072375&origin=inward&txGid=3f032b13288c6522e1455901cd00b036 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ENERGY%20REP&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000518453800027
• 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 https://www.scopus.com/sourceid/11500153303 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030699053&origin=inward&txGid=749edb5e9019b0a53f7fcbbb58d68a84 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000396591200009
• 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 https://www.scopus.com/sourceid/21100828949 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054186046&origin=inward&txGid=16bdfce30ffe73899ab3f2f9743b2fac
• 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 https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84924409080&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=AUTH%28%22Torim%2C+A.%22%29&sessionSearchId=a45fe8d084dc25b8ce74951181931f3d
• 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 https://www.scopus.com/sourceid/21101022413 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117445517&origin=inward&txGid=8423c8bb29005d69b4e6b3f647fc0e73
• Küberpättide nõrkuseks võivad osutuda end tõestanud ärimudelid [Võrguväljaanne]Sõmer, Tiianovaator.err.ee2022 https://novaator.err.ee/1608485480/kuberpattide-norkuseks-voivad-osutuda-end-toestanud-arimudelid
• 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 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079654091&origin=inward&txGid=2f98d8f5808bbc874dc089e4c48c4732 https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500036
• 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 https://www.scopus.com/sourceid/18700156717 https://www.scopus.com/record/display.uri?eid=2-s2.0-85043391043&origin=inward&txGid=398dafd3fb2f73e4cc3f176789dc710d https://www.webofscience.com/wos/woscc/full-record/WOS:000552392300034
• 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 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063345140&origin=inward&txGid=287ac5240cb295361509386765b31b38 https://www.webofscience.com/wos/woscc/full-record/WOS:000625446400006
• 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 https://www.scopus.com/sourceid/26046 https://www.scopus.com/record/display.uri?eid=2-s2.0-85040864573&origin=inward&txGid=d0f5bc9b3322df119ab70535fb57e0c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20CIRCUIT%20SYST%20COMP&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000434472900012
• 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 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
• 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 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85093843975&origin=inward&txGid=d0757c9fb6ee1a229c5c963da13f099a https://www.webofscience.com/wos/woscc/full-record/WOS:000626021404051
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951863101&origin=inward&txGid=261529168581016396c2078d9795fe10 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000518163800001
• 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 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907814299&origin=inward&txGid=f969cf92e099840ed56bc3ed8c0b83db https://www.webofscience.com/wos/woscc/full-record/WOS:000455397600025
• 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 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85078950149&origin=inward&txGid=7c1a90e272f89fe6bd25522692543fdf https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400186
• 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 https://www.scopus.com/sourceid/21100222537 https://www.scopus.com/record/display.uri?eid=2-s2.0-84922883032&origin=inward&txGid=65f5b8a1ab9c5f3b5491a53a2aa7295c
• Teooria ja praktika sümbioos inseneriõppes ehk elektriajamite tuleviktoostusest.ee2024 https://toostusest.ee/uudis/2024/10/31/teooria-ja-praktika-sumbioos-insenerioppes-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 https://www.scopus.com/sourceid/21100820054 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
• 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
• Towards a domain model for learning and teachingMurtazin, Kristina; Shvets, Oleg; Meeter, Martijn; Piho, GunnarInternational Conference on Model-Driven Engineering and Software Development2024 / p. 288-296 https://doi.org/10.5220/0012471400003645 https://www.scopus.com/sourceid/21101180313 https://www.scopus.com/pages/publications/85190373882?inward
• 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 https://www.scopus.com/sourceid/21100901469 https://www.scopus.com/record/display.uri?eid=2-s2.0-85083966304&origin=inward&txGid=9557b3650e70a990f1587c927fd5fbb3
• Язык УТОПИСТMännisalu, Mati; Tõugu, Enn; Unt, M.; Fuksman, AdolfАлгоритмы и организация решения экономических задач : сборник статей1977 / с. 80-113 https://www.ester.ee/record=b2080193*est