Struktuur

Asutuse üldandmed

Arvutiteaduse instituut
Department of Computer Science
avalik-õiguslik juriidiline isik
Jüri Vain

Kontakt

Eesti Vabariik
Tallinn
Raja 15
12618
620 2325
620 2020
  • Leitud 1 kirjet
PerenimiEesnimiCV
OsulaAnna-MariaEST / ENG
  • Leitud 20 kirjet
ProgrammNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusRahastamine kokku
MUULep13121"ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine01.03.201330.06.2013Juhan-Peep ErnitsTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 980,00 EUR
MUUVEU5382CENTRE Estonia - Eesti Cybercrime Centre of Excellence for Training, Research&Education01.01.201231.12.2014Indrek JakobsonTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut632 580,00 EUR
MUUVEU16062Allveerobootika lahendused naftareostuse leviku jälgimiseks01.01.201731.12.2018Juhan-Peep ErnitsTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool38 805,69 EUR
MUUVA16035ESS/ICS küberkaitse projekt01.09.201631.12.2017Andro KullTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut142 500,00 EUR
MUUF8018Eureka ITEA2 D-MINT22.02.200831.12.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool93 246,84 EUR
MUUV242Euroopa robootika võrgustik01.05.200430.04.2008Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool213 464,91 EUR
MUUBF99Formaalsed meetodid hajussüsteemides.01.01.200931.12.2011Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool40 176,14 EUR
MUULEP15044ID1 formaadis isikut tõendavate dokumentide plankide, isikustamis- ja sertifitseerimisteenuste ostmine29.04.201528.04.2016Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool9 990,00 EUR
MUUV341Interakteeruvate robotparvede teadmuskeskkond01.11.200630.04.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool2 100 000,00 EUR
MUULep9059Iseõppiv agent tööaja intelligentseks mõõtmiseks15.04.200930.04.2010Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool2 899,03 EUR
MUUVY632Kraadiõppe moderniseerimine nii sotsiaalsete kui ka tööstussüsteemide küberturbe ja -töökindluse valdkondades01.12.201330.11.2016Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool653 172,08 EUR
MUULKM15030Küberhügieeni teadlikkuse koolitus25.03.201530.07.2015Rain OttisTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, TTÜ Küberkriminalistika ja küberjulgeoleku keskus87 666,00 EUR
MUUAR8134Küberkaitse magistriõppe rahvusvaheline kava10.10.200831.12.2011Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool255 646,59 EUR
MUUVEU16005Küberkompetentsi keskuste võrgustiku tugevam koostöövõrgustik01.01.201631.12.2017Anu BaumTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut47 676,00 EUR
MUUVFP657Küberkuritegevuse majanduslikud mõjud – E-CRIME01.04.201431.03.2017Rain OttisTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool241 068,00 EUR
MUUVY643Montenegro küberturbe alase haridussüsteemi arendamine - ECESM14.02.201413.02.2017Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool57 720,00 EUR
MUUF8079ORPHEUS20.07.200827.11.2008Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 729,78 EUR
MUULep10058Piletimüügitarkvara liinide otsingualgoritmi optimeerimine21.05.201011.06.2010Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool3 195,58 EUR
MUULep7116RFID-identifikaatorite kasutusvõimaluste analüüs ning soovitused Eesti ID-kaardi täiendamise kontekstis28.11.200712.12.2007Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool2 684,29 EUR
MUULep9055Tarkvara testide automaatne genereerimine01.03.200930.06.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool12 782,33 EUR
  • Leitud 179 kirjet
PublikatsioonKlassifikaatorFail
Anier, A.; Vain, J.; Tsiopoulos, L. (2017). DTRON: A tool for distributed model-based testing of time critical applications. Proceedings of the Estonian Academy of Sciences, 66 (1), 75−88.10.3176/proc.2017.1.08.1.1.
Farar, A. E.; Bahsi, H.; Blumbergs, B. (2017). A Case Study About the Use and Evaluation of Cyber Deceptive Methods Against Highly Targeted Attacks. Proceedings of International Conference on Cyber Incident Response, Coordination, Containment & Control (Cyber Incident 2017): International Conference on Cyber Incident Response, Coordination, Containment & Control (Cyber Incident 2017). London, UK: IEEE,.3.1.
Nõmm, Sven; Toomela, Aaro; Gaichenja, Ilia (2017). Towards the notion of average trajectory of the repeating motion of human limbs. In: Nguyen, N.T., Tojo, S., Nguyen, L.M., Trawiński, B. (Ed.). Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II (582−591).9th Asian Conference on Intelligent Information and Database Systems 3-5 April 2017, Kanazawa, Japan,. Cham: Springer. (Lecture Notes in Artificial Intelligence; 10192).10.1007/978-3-319-54430-4_56.3.1.
Belikov, Juri; Kotta, Ülle; Tepljakov, Aleksei (2016). Algebraic approach for analysis and control of a water tank system. Information Technology And Control, 45 (2), 175−183.10.5755/j01.itc.45.2.13212.1.1.
Balasubramaniyan, S.; Srinivasan, S.; Buonopane, F.; Subathra, B.; Vain, J.; Ramaswamy, S. (2016). Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL. Microprocessors and Microsystems, 42, 37−48.10.1016/j.micpro.2015.12.006.1.1.
Nõmm, Sven; Moog, Claude H. (2016). Further results on identifiability of discrete-time nonlinear systems. Automatica, 68, 69−74.10.1016/j.automatica.2016.01.054.1.1.
Soudari, M.; Srinivasan, S.; Balasubramanian, S.; Vain, J.; Kotta, U. (2016). Learning based personalized energy management systems for residential buildings. Energy and Buildings, 127, 953−968.10.1016/j.enbuild.2016.05.059.1.1.
Somer, Tiia; Hallaq, Bil; Watson, Tim (2016). Utilising journey mapping and crime scripting to combat cyber crime and cyber warfare attacks. Journal of Information Warfare, 15 (4), 39−49.1.2.
Anier, Aivo (2016). Model based framework for distributed control and testing of cyber-physical systems. (Doktoritöö, Tallinn University of Technology, Faculty of Information Technology, Department of Computer Science). Tallinn: TUT Press.2.3.
Iqbal, J.; Tsiopoulos, L.; Truscan, D.; Vain, J.; Porres, I. (2016). The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports, 1169, 1−32.2.5.
Ernits, M.; Kikkas, K. (2016). A live virtual simulator for teaching cybersecurity to information technology students. Learning and Collaboration Technologies : Third International Conference, LCT 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. Ed. Zaphiris, P.; Ioannou, A. Cham: Springer, 474−486. (Lecture Notes in Computer Science; 9753).10.1007/978-3-319-39483-1_43.3.1.
Sven Nõmm, Aaro Toomela, Martti Vaske, Dan Uvarov, Pille Taba (2016). An alternative approach to distinguish movements of Parkinson disease patients. In: Sawaragi, Tetsuo (Ed.). 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, HMS 2016 : Kyoto, Japan, 30 August-2 September 2016, Proceedings (272−276). Kyoto: IFAC/Elsevier. (IFAC-PapersOnLine; 49-19).10.1016/j.ifacol.2016.10.546.3.1.
Li, J.; Stein, J.; Zhan, M.; Maennel, O. (2016). An expectation-based approach to policy-based security of the Border Gateway Protocol. 2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) : GI 2016: 9th IEEE Global Internet Symposium, April 10-14, 2016, San Francisco, CA, USA. Ed. Lee, S.-J.; Petrioli, C.; Wan, P.-J.; Zheng, K. San Francisco, CA: IEEE, 340−345.10.1109/INFCOMW.2016.7562098.3.1.
Vain, J.; Halling, E.; Kanter, G.; Anier, A.; Pal, D. (2016). Automatic Distribution of Local Testers for Testing Distributed Systems. In: Arnicans, G.; Arnicane, V.; Borzovs, J.; Niedrite, L. (Ed.). Databases and Information Systems IX : Selected Papers from the Twelfth International Baltic Conference, DB&IS 2016 (297−310). Amsterdam: IOS Press. (Frontiers in Artificial Intelligence and Applications; 291).978-1-61499-714-6-297.3.1.
Blumbergs, B.; Pihelgas, M.; Kont, M.; Maennel, O.; Vaarandi, R. (2016). Creating and detecting IPv6 transition mechanism-based information exfiltration covert channels. Secure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016, Proceedings. Ed. Brumley, B. B.; Röning, J. Cham: Springer, 85−100. (Lecture Notes in Computer Science; 10014).10.1007/978-3-319-47560-8_6.3.1.
Vain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu (2016). Developing multi-view contracts using Event-B and Uppaal Timed Automata. 2016 21st International Conference on Engineering of Complex Computer Systems, ICECCS : Dubai, United Arab Emirates, 6-8 November 2016, Proceedings. Ed. Wang, H.; Mokhtari, M. Piscataway, NJ: IEEE Computer Society, 126−134.10.1109/ICECCS.2016.024.3.1.
Tomingas, K.; Järv, P.; Tammet, T. (2016). Discovering data lineage from data warehouse procedures. Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K, Volume 1 - KDIR : November 9-11, Porto, Portugal, 1. Ed. Fred, A. et al. SciTePress, 101−110.10.5220/0006054301010110.3.1.
Vaarandi, R.; Kont, M.; Pihelgas, M. (2016). Event log analysis with the LogCluster tool. MILCOM 2016 - IEEE Military Communications Conference : November 1-3, 2016, Baltimore, MD, USA, Proceedings. IEEE, 982−987.10.1109/MILCOM.2016.7795458.3.1.
Pal, D.; Vain, J. (2016). Generating optimal test cases for real-time systems using DIVINE model checker. BEC 2016 : 15th Biennial Baltic Electronics Conference, Tallinn University of Technology, October 3-5, 2016 Tallinn, Estonia, Proceedings. IEEE, 99−102.10.1109/BEC.2016.7743738.3.1.
Tatar, Unal; Bahsi, Hayretdin; Gheorghe Adrian (2016). Impact assessment of cyber attacks: A quantification study on power generation systems. 2016 11th Systems of Systems Engineering Conference (SoSE), IEEE : June 12-16, 2016, Kongsberg, Norway. IEEE, 1−6.10.1109/SYSOSE.2016.7542959.3.1.
Vain, Jüri; Tsiopoulos, Leonidas; Bostöm, Pontus (2016). Integrating refinement-based methods for developing timed systems. In: Petre, L.; Sekerinski, E. (Ed.). From Action Systems to Distributed Systems : The Refinement Approachh (171−185). Boca Raton: CRC Press.10.1201/b20053-17.3.1.
Vain, J.; Halling, E.; Kanter, G.; Anier, A.; Pal, D. (2016). Model-based testing of real-time distributed systems. Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings. Ed. Arnicans, G.; Arnicane, V.; Borzovs, J.; Niedrite, L. Cham: Springer, 271−286. (Communications in Computer and Information Science; 615).10.1007/978-3-319-40180-5_19.3.1.
Siavashi, F.; Truscan, D.; Vain, J. (2016). On mutating UPPAAL Timed Automata to assess robustness of web services. ICSOFT 2016 : Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1 : July 24-26, 2016, Lisbon, Portugal. Ed. Maciaszek, L. et al. SciTePress, 15−26.10.5220/0005970800150026.3.1.
Nõmm, Sven; Toomela, Aaro; Kozhenkina, Julia; Toomsoo, Toomas (2016). Quantitative analysis in the digital Luria's alternating series tests. In: 2016 14th International Conference on Control, Automation, Robotics & Vision (ICARCV) : [Phuket, Thailand, 13-15th November 2016], Proceedings (1−6). IEEE.10.1109/ICARCV.2016.7838746.3.1.
Nõmm, Sven; Bardõš, Konstantin; Mašarov, Ilja; Kozhenkina, Julia; Toomela, Aaro; Toomsoo, Toomas (2016). Recognition and analysis of the contours drawn during the Poppelreuter's test. In: 2016 15th IEEE International Conference on Machine Learning and Applications, ICMLA : 18-20 December 2016, Anaheim, California, Proceedings (170−175). Los Alamitos, Calif: IEEE Computer Society./10.1109/ICMLA.2016.0036.3.1.
  • Leitud 124 kirjet
PealkiriJuhendatavKraadJuhendajaKaitsmise staatusKaitsmise aastaAsutus
An integrated active cyber defense development model: Technical, organizational and legal aspects of nationwide offensive security countermeasuresEmin CaliskandoktorikraadRain Ottis; Risto VaarandiJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Comparative Analysis of Cybersecurity Guidelines and Standards for Nuclear Power PlantsEve N. HuntermagistrikraadRain Ottis; Harry KantolaKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, TTÜ Küberkriminalistika ja küberjulgeoleku keskus
A Comparative Analysis of Open-Source Intrusion Detection SystemsPihelgas, MaunomagistrikraadRisto VaarandiKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Deceptive Methodology Towards Early Detection of Advanced Cyber ThreatsFarar, Alexandria ElainemagistrikraadHayretdin BahsiKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A nonblocking network communication framework for ScalaSaar, AndrimagistrikraadTarmo UustaluKaitstud2009Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Practical Approach for Raising APT Awareness Among IT StaffHeliand DemamagistrikraadRain OttisKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Social Media Honeypot Method To Detect SpearphishingMarzelas, PanagiotismagistrikraadOlaf Manuel MaennelKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Study of Client Honeypots and Applying Them to Social Networking SitesFaris AloulmagistrikraadRisto VaarandiKaitstud2013Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Symbolic Approach to Model-based Online TestingKääramees, MarkodoktorikraadJüri Vain; Michael Reichhardt HansenKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Addressing Insider Threat Vectors in an Information SocietyJesse Deboise Wojtkowiak IImagistrikraadAlexander Norta; Mauno PihelgasKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Alternative Approach to Model Changes of Human Motor FunctionsBoruško, JevgenimagistrikraadSven Nõmm; Aaro ToomelaKaitstud2014Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
An Automated Framework for Securing iOS ApplicationsOlga DaltonmagistrikraadRain Ottis; Roger KerseKaitstud2015Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, TTÜ Küberkriminalistika ja küberjulgeoleku keskus
An expert system to find court cases based on similaritiesGuin, JishudoktorikraadJüri VainJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
An overview of UTM and testing of open-source implementationsZhuoli ZangmagistrikraadAndres OjamaaKaitstud2013Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Analysis of Node.js platform web application securityKarl DüünamagistrikraadAndres OjamaaKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Analysis of Vulnerabilities in Estonian Web ApplicationsLiivi VoltmagistrikraadRain Ottis; Elar LangKaitstud2014Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Analyzing Organisational Needs for a Suitable Collaboration Tool: Case Study in Skype Technologies Ltd.Tuisk, AnnelimagistrikraadMarion LepmetsKaitstud2010Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Andmebaasid ja infovahetus robotiparvedesPuusepp, AndresdoktorikraadTanel TammetJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Andmesisestus rakenduste testimise metoodikadTammes, LiiamagistrikraadTanel TammetKaitstud2008Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Android rakenduste automatiseeritud kontroll vastavalt ettevõtte turbepoliitikaleErm, TiitmagistrikraadToomas Lepik; Lauri PalkmetsKaitstud2013Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Annotation and retrieval of unstructured information based on semantic technologiesSaarmann, MonikadoktorikraadTanel TammetJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Antivirus Evasion in the Context of Locked Shields 2014Tanel TetlovmagistrikraadRain Ottis; Bernhards BlumbergsKaitstud2014Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Approaches to Avoiding Government Censorship, Blockade and Surveillance on the InternetMaksim AfanasjevmagistrikraadRain OttisKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Astmelise infoturbe mudeli rakendatavus Eesti KaitseväesLauri PalkmetsmagistrikraadJüri KivimaaKaitstud2011Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Attacker Profiling in Quantitative Security AssessmentPermata Sari, DyanmagistrikraadAleksandr Lenin; Ahto BuldasKaitstud2014Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool