Tugevalt tagatud tarkvara laboratoorium
TalTech prioriteetne teadussuund
Klassifikaator (Frascati)
Uurimisrühma juht
Uurimisrühma liige
Kuusik, Norman
Doktorant
Võtmesõna
funktsionaalne ja sõltuvalt tüübitud programmeerimine
tarkvara verifitseerimine ja testimine
formaliseeritud programmeerimisteooria
Ülevaade
Rühm uurib tugevalt tagatud tarkvara arendamise teooriaid, meetodeid ja tööriistu, spetsialiseerudes nii tõestustele (sertifitseeritud tarkvara) kui ka testimisele. Viimastel aastatel on eraldi uurimisvaldkonnaks kujunenud rakenduslik masinõpe.
Tähtsamad tulemused
2023. a uurimistulemused:• Tõestusassistendiga Easycrypt formaliseeriti üldisel kujul teatud klass nullteadmusprotokolle ja turvatõestati Fiati-Shamiri, Schnorri ja Blumi protokollid. • Homotoopilises tüübiteoorias võrreldi lõplike multihulkade funktori ja selle terminaalse koalgebra klassikaliselt ekvivalentseid definitsioone. • Arendati metamorfse testimise meetod tööstuslike juhtimissüsteemide verifitseerimiseks ja vigade lokaliseerimiseks. • Väsimuse tuvastamiseks ja analüüsimiseks töötati välja nutitelefonirakendus, mis kasutab väsimust kajastavate liikumisandmete kogumiseks Archimedese spiraali järelejoonistamistesti, reaktsioonitesti ja värinatesti.
Firsov, D.; Unruh, D. (2023). Zero-knowledge in Easycrypt. 2023 IEEE 36th Computer Security Foundations Symposium (CSF): Dubrovnik, Croatia, July 9-13, 2023. IEEE, 1−16. DOI: 10.1109/CSF57540.2023.00015
Haselwarter, P. G.; Rivas, E.; Van Muylder, A.; Winterhalter, T.; Abate, C.; Sidorenco, N.; Hriţcu, C.; Maillard, K.; Spitters, B. (2023). SSProve: a foundational framework for modular cryptographic proofs in Coq. ACM Transactions on Programming Languages and Systems, 45 (3), art. no. 15 −61 pp. DOI: 10.1145/3594735
Wang, X.; Huang, J.; Chatzakou, M.; Nõmm, S.; Valla, E.; Medijainen, K.; Taba, P.; Toomela, A.; Ruzhansky, M. (2023). Comparison of one- two- and three-dimensional CNN models for drawing-testbased diagnostics of the Parkinson's disease. Biomedical Signal Processing and Control, 87 (B), Art. no. 105436−8 pp. DOI: 10.1016/j.bspc.2023.105436
Seotud projektid
Seotud struktuuriüksus
Teadusgrupiga seotud publikatsioonid
- Firsov, D., Unruh, D. Reflection, rewinding, and coin-toss in EasyCrypt // CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. New York : Association for Computing Machinery, Inc, 2022. p. 166-179.
https://doi.org/10.1145/3497775.3503693 - Maarand, H., Tamm, H. Yet another canonical nondeterministic automaton // Descriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings. Cham : Springer Science and Business Media Deutschland GmbH, 2022. p. 184-196 : ill. (Lecture notes in computer science ; 13439).
https://doi.org/10.1007/978-3-031-13257-5_14 - McDermott, D., Rivas, E., Uustalu, T. Sweedler theory of monads // Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings. Cham : Springer, 2022. p. 428-448. (Lecture notes in computer science ; 13242).
https://doi.org/10.1007/978-3-030-99253-8_22 - Guerra-Manzanares, A., Bahsi, H., Nõmm, S. KronoDroid : time-based hybrid-featured dataset for effective android malware detection and characterization // Computers & Security (2021) vol. 110, art. 102399, 32 p.
https://doi.org/10.1016/j.cose.2021.102399 - Firsov, D., Lakk, H., Truu, A. Verified multiple-time signature scheme from one-time signatures and timestamping // 2021 IEEE 34th Computer Security Foundations Symposium (CSF) : June 21-25, 2021, Virtual Conference : proceedings. : IEEE Computer Society, 2021. 13 p.
https://doi.org/10.1109/CSF51468.2021.00051 - Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // The interplay of mathematics, logic, and linguistics. Cham : Springer Nature Switzerland AG, 2021. p. 377-406. (Outstanding contributions to logic ; 20).
https://doi.org/10.1007/978-3-030-66545-6_11 - Guerra-Manzanares, A., Medina-Galindo, J., Bahsi, H., Nõmm, S. MedBIoT : generation of an IoT Botnet Dataset in a medium-sized IoT network // Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP : February 25-27, 2020, La Valletta, Malta. Vol. 1. : SciTePress, 2020. p. 207-218 : ill.
https://doi.org/10.5220/0009187802070218 - Veltri, N., Vezzosi, A. Formalizing 𝜋-calculus in guarded cubical Agda // CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020. New York : Association for Computing Machinery, 2020. p. 270-283.
https://doi.org/10.1145/3372885.3373814 - Valla, E., Nõmm, S., Medijainen, K., Taba, P., Toomela, A. Tremor-related feature engineering for machine learning based Parkinson’s disease diagnostics // Biomedical signal processing and control (2022) vol. 75, art. 103551.
https://doi.org/10.1016/j.bspc.2022.103551 - Kalakoti, R., Nõmm, S., Bahsi, H. In-depth feature selection for the statistical machine learning-based botnet detection in IoT networks // IEEE Access (2022) vol. 10, p. 94518-94535.
https://doi.org/10.1109/ACCESS.2022.3204001 - Katsumata, S., Rivas, E., Uustalu, T. Interaction laws of monads and comonads // Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany. New York, 2020. p. 604-618.
https://doi.org/10.1145/3373718.3394808 - Nõmm, S., Zarembo, S., Medijainen, K., Taba, P., Toomela, A. Deep CNN based classification of the Archimedes spiral drawing tests to support diagnostics of the Parkinson’s disease // IFAC-Papers OnLine (2020) vol. 53, 5, p. 260-264.
https://doi.org/10.1016/j.ifacol.2021.04.185 - Kanter, G., Vain, J. Model-based testing of autonomous robots using TestIt // Journal of reliable intelligent environments (2020) vol. 6, 1, p. 15-30.
https://doi.org/10.1007/s40860-019-00095-w - Shokri-Manninen, F., Vain, J., Walden, M. Formal verification of COLREG-Based Navigation of maritime autonomous systems // Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings. Cham : Springer International Publishing AG, 2020. p. 41-59. (Lecture notes in computer science ; 12310, Theoretical computer science and general issues ; 12310).
https://doi.org/10.1007/978-3-030-58768-0_3 - Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., Van Der Weide, N. Bicategories in univalent foundations // Mathematical Structures in Computer Science (2022)
https://doi.org/10.1017/S0960129522000032 - Ahmad, T., Truscan, D., Vain, J., Porres, I. Early detection of network attacks using deep learning // 2022 IEEE 15th International Conference on Software Testing, Verification andValidation Workshops : ICSTW 2022, 4–13 April 2022, Virtual Event : proceedings. Danvers : IEEE, 2022. p. 30-39.
https://doi.org/10.1109/ICSTW55395.2022.00020 https://arxiv.org/pdf/2201.11628.pdf - Alhazmi, K., Alsumari, W., Seppo, I., Podkuiko, L., Simon, M. Effects of annotation quality on model performance // 2021 International Conference on Artificial Intelligence in Information and Communication (ICAIIC), 13-16 April 2021. : IEEE, 2021. p. 063–067.
https://doi.org/10.1109/ICAIIC51459.2021.9415271 - Mannaa, B., Møgelberg, R.E., Veltri, N. Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory // Logical Methods in Computer Science (2020) Vol. 16, 4, p. 17:1 - 17:31.
https://doi.org/10.23638/LMCS-16(4:17)2020 - Kaarsgaard, R., Veltri, N. En garde! Unguarded iteration for reversible computation in the delay monad // Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings. Cham : Springer Nature Switzerland AG, 2019. p. 366-384. (Notes in computer science book series ; 11825, Programming and software engineering ; 11825).
https://doi.org/10.1007/978-3-030-33636-3_13 - McDermott, D., Uustalu, T. Flexibly graded monads and graded algebras // Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings. Berlin : Springer Nature, 2022. p. 102-128 : ill. (Lecture notes in computer science ; 13544).
https://doi.org/10.1007/978-3-031-16912-0_4 - Dzotsenidze, E., Valla, E., Nõmm, S., Medijainen, K., Taba P., Toomela, A. Generative adversarial networks as a data augmentation tool for CNN-based Parkinson's disease diagnostics // IFAC-Papers OnLine (2022) vol. 55, 29, p. 108-113 : ill.
https://doi.org/10.1016/j.ifacol.2022.10.240 - Veltri, N., van der Weide, N. Constructing higher inductive types as groupoid quotients // Logical methods in computer science (2021) vol. 17, 2, p. 8:1−8:42.
https://doi.org/10.23638/LMCS-17(2:8)2021 - Uustalu, T., Veltri, N., Zeilberger, N. Proof theory of partially normal skew monoidal categories // Proceedings of the 3rd Annual International Applied Category Theory Conference 2020. : Cornell University, 2021. p. 1-17.
https://doi.org/10.48550/arXiv.2101.10487 - McDermott, D., Uustalu, T. What makes a strong monad? // Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming. : Open Publishing Association, 2022. p. 113-133. (Electronic proceedings in theoretical computer science ; 360).
https://doi.org/10.4204/EPTCS.360.6 - Espírito Santo, J., Pinto, L., Uustalu, T. Plotkin's call-by-value λ-calculus as a modal calculus // Journal of Logical and Algebraic Methods in Programming (2022) vol. 127, art. 100775, 17 p.
https://doi.org/10.1016/j.jlamp.2022.100775 - Uustalu, T., Veltri, N., Zeilberger, N. Deductive systems and coherence for skew prounital closed categories // Proceedings of the 3rd Annual International Applied Category Theory Conference 2020. : Cornell University, 2021. p. 1-19.
https://doi.org/10.48550/arXiv.2101.03809 - Uustalu, T., Veltri, N., Zeilberger, N. Eilenberg-Kelly reloaded // Electronic notes in theoretical computer science (2020) vol. 352, p. 233-256.
https://doi.org/10.1016/j.entcs.2020.09.012 - Katsumata, S., McDermott, D., Uustalu, T., Wu, N. Flexible presentations of graded monads // Proceedings of the ACM on Programming Languages (2022) vol. 6, ICFP, art. 123, 28 p.
https://doi.org/10.1145/3547654 - Veltri, N. Type-theoretic constructions of the final coalgebra of the finite powerset functor // 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Dagstuhl, Germany : Schloss Dagstuhl, 2021. p. 22:1-22:18. (Leibniz international proceedings in informatics (LIPIcs) ; 213).
https://doi.org/10.4230/LIPIcs.FSCD.2021.22 - Uustalu, T., Voorneveld, N. Algebraic and coalgebraic perspectives on interaction laws // Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings. Cham : Springer International Publishing AG, 2020. p. 186-205. (Lecture notes in computer science ; 12470).
https://doi.org/10.1007/978-3-030-64437-6_10 - Netšunajev, A., Nõmm, S., Toomela, A., Medijainen, K., Taba, P. Parkinson's disease diagnostics based on the analysis of digital sentence writing test // Vietnam journal of computer science (2021) vol. 8, 4, p. 493-512.
https://doi.org/10.1142/S2196888821500238 - Veltri, N. Coherence via focusing for symmetric skew monoidal categories // Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings. Cham : Springer Nature Switzerland AG, 2021. p. 184-200. (Lecture notes in computer science ; 13038).
https://doi.org/10.1007/978-3-030-88853-4_12 - Zarembo, S., Nõmm, S., Medijainen, K., Taba, P., Toomela, A. CNN based analysis of the Luria’s alternating series test for Parkinson’s disease diagnostics // Recent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021 : proceedings. Singapore : Springer, Singapore, 2021. p. 3-13. (Communications in Computer and Information Science ; 1371).
https://doi.org/10.1007/978-981-16-1685-3_1 - Voorneveld, N. Runners for interleaving algebraic effects // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature Switzerland AG, 2022. p. 407-424. (Lecture notes in computer science ; 13572).
https://doi.org/10.1007/978-3-031-17715-6_26 - Netšunaev, A., Nõmm, S., Toomela, A., Medijainen, K., Taba, P. Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiers // Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I. Cham : Springer Nature Switzerland AG, 2020. p. 345-357. (Lecture notes in artificial intelligence ; 12033).
https://doi.org/10.1007/978-3-030-41964-6_30 - Uustalu, T., Veltri, N., Wan, C.-S. Proof theory of skew non-commutative MILL // Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022. : Open Publishing Association, 2022. p. 118-135. (Electronic proceedings in theoretical computer science ; 358).
https://doi.org/10.4204/EPTCS.358.9 - Capobianco, S., Guillon, P. A Characterization of Amenable Groups by Besicovitch Pseudodistances // Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings. Cham : Springer International Publishing AG, 2020. p. 99-110. (Lecture notes in computer science ; 12286, Theoretical computer science and general issues; 12286).
https://doi.org/10.1007/978-3-030-61588-8_8 - Veltri, N., Voorneveld, N.F.W. Inductive and coinductive predicate liftings for effectful programs // Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. : Open Publishing Association, 2021. p. 260-277. (Electronic proceedings in theoretical computer science ; 351).
https://doi.org/10.4204/EPTCS.351.16 - Shokri-Manninen, F., Tsiopoulos, L., Vain, J., Walden, M. Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes // Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings. Cham : Springer International Publishing AG, 2020. p. 186-202. (Lecture notes in computer science ; 12071).
https://doi.org/10.1007/978-3-030-48077-6_13 - Vain, J., Tsiopoulos, L., Kanter, G. Aspect-oriented Model-based testing with UPPAAL timed automata // Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings. Cham : Springer Nature, 2021. p. 117-124. (Lecture notes in computer science ; 12732).
https://doi.org/10.1007/978-3-030-78428-7_10 - McDermott, D., Piróg, M., Uustalu, T. Degrading lists // Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 2020. New York : ACM Press, 2020. art. 6, 14 p. (ACM International Conference proceedings series).
https://doi.org/10.1145/3414080.3414084 - Voorneveld, N. From equations to distinctions: Two interpretations of effectful computations // Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020. Sydney : Open Publishing Association, 2020. p. 1-17.
https://doi.org/10.4204/EPTCS.317.1 - Veltri, N. Normalization by evaluation for the Lambek calculus // 10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022., 2022. p. 102-117. (Electronic proceedings in theoretical computer science ; 358).
https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 - Veltri, N., Voorneveld, N. Streams of approximations, equivalence of recursive effectful programs // Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings. Cham : Springer, 2022. p. 198-221 : ill. (Lecture notes in computer science ; 13544).
https://doi.org/10.1007/978-3-031-16912-0_8 - Firsov, D., Buldas, A., Truu, A., Laanoja, R. Verified security of BLT signature scheme // CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020. New York : Association for Computing Machinery, 2020. p. 244-257.
https://doi.org/10.1145/3372885.3373828 - Sudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri;Porres, Ivan A two-phase metamorphic approach for testing industrial control systems // 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings. : IEEE, 2022. 4 p.
https://doi.org/10.1109/ETFA52439.2022.9921439 - Bortin, M. Synthesis of implementations for divide-and-conquer specifications // Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings. Cham : Springer, 2022. p. 73-88. (Lecture notes in computer science ; 13768).
https://doi.org/10.1007/978-3-031-22476-8_5 - Guin, J., Vain, J., Tsiopoulos, L., Valdek, G. Temporal multi-view contracts for efficient test models // Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings. Cham : Springer Nature, 2022. p. 136–151. (Communications in Computer and Information Science ; 1598).
https://doi.org/10.1007/978-3-031-09850-5_10 - Tamm, H. Quotients and atoms of reversible languages // Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Cham : Springer International Publishing AG, 2020. p. 443-455. (Lecture notes in computer science ; 12233).
https://doi.org/10.1007/978-3-030-54997-8_28 - Guerra-Manzanares, A., Medina-Galindo, J., Bahsi, H., Nõmm, S. Using MedBIoT dataset to build effective machine learning-based IoT botnet detection systems // Information Systems Security and Privacy : 6th International Conference, ICISSP 2020, Valletta, Malta, February 25–27, 2020 : revised selected papers. Cham : Springer Nature Switzerland AG, 2022. p. 222–243. (Communications in Computer and Information Science ; 1545).
https://doi.org/10.1007/978-3-030-94900-6_11 - Tamm, H. Boolean automata and atoms of regular languages // 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings. : Dagstuhl Publishing, 2021. art. 86, p. 86:1–86:13. (Leibniz international proceedings in informatics (LIPIcs) ; 202).
https://doi.org/10.4230/LIPIcs.MFCS.2021.86 - Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S., Vain, J. Preface // Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings. Cham : Springer Nature, 2021. p. v-vii. (Communications in computer and information science ; 1481).
https://link.springer.com/content/pdf/bfm:978-3-030-87657-9/1?pdf=chapter%20toc - Johri, P., Vain, J., Anand, A., Singh, J., Quasim, M. T. Preface // System assurances : modeling and management. : Elsevier Inc., 2022. (Emerging methodologies and applications in modelling, identification and control).
https://doi.org/10.1016/B978-0-323-90240-3.09998-7 - Gorbatsov, V., Valla, E., Nõmm, S., Medijainen, K., Taba, P., Toomela, A. Machine learning based analysis of the upper limb freezing during handwriting in Parkinson's disease patients // IFAC-PapersOnLine (2022) vol. 55, 29, p. 91-95.
https://doi.org/10.1016/j.ifacol.2022.10.237 - Capobianco, S. Fekete’s lemma for componentwise subadditive functions of two or more real variables // Acta et Commentationes Universitatis Tartuensis de Mathematica (2022) vol. 26, 1, p. 45-62 : ill.
https://doi.org/10.12697/ACUTM.2022.26.04 - Nõmm, S., Venables, A. Towards generation of synthetic data sets for hybrid conflict modelling // IFAC-Papers OnLine (2022) Vol. 55, 29, p. 25-30.
https://doi.org/10.1016/j.ifacol.2022.10.226 - McDermott, D., Morita, Y., Uustalu, T. A type system with subtyping for Webassembly’s stack polymorphism // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature Switzerland AG, 2022. p. 305-323. (Lecture notes in computer science ; 13572).
https://doi.org/10.1007/978-3-031-17715-6_20 - Kanter, G., Liibert, Marti I. Test scenario generator learning for model-based testing of mobile robots // System assurances : modeling and management. : Elsevier Inc., 2022. p. 67-84. (Emerging methodologies and applications in modelling, identification and control).
https://doi.org/10.1016/B978-0-323-90240-3.00005-9 - Tamm, H. Quotients and atoms of reversible languages // Theoretical Computer Science (2022) vol. 920, p. 33-45.
https://doi.org/10.1016/j.tcs.2022.02.023 - Maarand, H., Uustalu, T. Operational semantics with semicommutations // Journal of logical and algebraic methods in programming (2021) vol. 121, art. 100677, 27 p.
https://doi.org/10.1016/j.jlamp.2021.100677 - Guin, J., Vain, J., Tsiopoulos, L., Valdek, G. Temporal multi-view contracts help developing efficient test models // Baltic journal of modern computing (2022) vol. 10, 4, p. 710-737.
https://doi.org/10.22364/bjmc.2022.10.4.07 - Nymm, V., Piotrowska, X., Nõmm, S., Ronzhin, A. CALL-technolgy based approach to control acquisition of foreign language skills // Proceedings of the III International Conference on Language Engineering and Applied Linguistics (PRLEAL-2019), Saint Petersburg, Russia, November 27, 2019. : CEUR-WS.org, 2020. art. 157532, p. 200-210. (CEUR workshop proceedings ; 2552).
http://ceur-ws.org/Vol-2552/Paper16.pdf - Tsiopoulos, L., Kuusik, A., Vain, J., Bahsi, H. Model-based analysis of secure and patient-dependent pacemaker monitoring system // Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings. Cham : ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2020. p. 77-91. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; 330).
https://doi.org/10.1007/978-3-030-64991-3_6 - Voorneveld, N. Combining algebraic effect descriptions using the tensor of complete lattices // Electronic notes in theoretical computer science (2020) vol. 352, p. 257-281.
https://doi.org/10.1016/j.entcs.2020.09.013 - Iqbal, J., Truscan, D., Vain, J. Time semantics of executable activity diagrams for relativized conformance testing // MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York : Association for Computing Machinery, 2020. p. 251-256.
https://doi.org/10.1145/3417990.3421399 - Capobianco, S., Guillon, P. Besicovitch pseudodistances with respect to non-følner sequences // Complex Systems (2021) Vol. 30, 2, p. 133 - 158.
https://doi.org/10.25088/COMPLEXSYSTEMS.30.2.133 - Johri, P., Anand, A., Vain, J., Singh, J., Quasim, M. T. (eds.) System assurances : modeling and management., : Elsevier Inc., 2022. 586 p. (Emerging methodologies and applications in modelling, identification and control).
https://doi.org/10.1016/C2020-0-03092-6 - Firsov, D., Lakk, H., Laur, S., Truu, A. BLT+L : efficient signatures from timestamping and endorsements // Proceedings of the 18th International Conference on Security and Cryptography - SECRYPT. Vol. 1. : SciTePress, 2021. p. 75-86.
https://doi.org/10.5220/0010530000750086 - Firsov, D., Laur, S., Zhuchko, E. Unsatisfiability of comparison-based non-malleability for commitments // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature Switzerland AG, 2022. p. 188–194. (Lecture notes in computer science ; 13572).
https://doi.org/10.1007/978-3-031-17715-6_13 - Vain, J., Tsiopoulos, L., Kanter, G. Provably correct aspect-oriented modeling with UPPAAL timed automata // System assurances : modeling and management. : Elsevier Inc., 2022. p. 447-476. (Emerging methodologies and applications in modelling, identification and control).
https://doi.org/10.1016/B978-0-323-90240-3.00025-4 - Pal, D., Vain, J. Model based Test framework for communications-critical internet of things systems // Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018. Amsterdam : IOS Press, 2019. p. 79-94. (Frontiers in artificial intelligence and applications ; 315).
https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 - Vain, J., Tsiopoulos, L., Kharchenko, V., Kaur, A., Jenihhin, M., Raik, J., Nõmm, S. Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC // Green IT Engineering: Social, Business and Industrial Applications. Cham : Springer Nature Switzerland AG, 2019. p. 273-297. (Studies in systems, decision and control ; 171).
https://doi.org/10.1007/978-3-030-00253-4_12 - Ahman, D., Uustalu, T. Decomposing comonad morphisms // 8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019. Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 14 ; 20 p. (Leibniz international proceedings in informatics (LIPIcs) ; 139).
https://doi.org/10.4230/LIPIcs.CALCO.2019.14 - Miyawaki, F., Suzuki, M., Anier, A., Vain, J. Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ Movements // IFAC-PapersOnLine (2019) vol. 52, 19, p. 229-234 : ill.
https://doi.org/10.1016/j.ifacol.2019.12.103 - Guerra-Manzanares, A., Nõmm, S., Bahsi, H. In-depth feature selection and ranking for automated detection of mobile malware // Proceedings of the 5th International Conference on Information Systems Security and Privacy : ICISSP 2019 : February 23-25, 2019, Prague, Czech Republic. Vol. 1. [S.l.] : SciTePress, 2019. p. 274-283 : ill.
https://doi.org/10.5220/0007349602740283 - Tamm, H., Veanes, M. Theoretical aspects of symbolic automata // SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings. Cham : Springer International Publishing AG, 2018. p. 428-441. (Lecture notes in computer science ; 10706).
https://doi.org/10.1007/978-3-319-73117-9_30 - Vain, J., Kanter, G., Anier, A. Learning timed automata from interaction traces // IFAC-PapersOnLine (2019) vol. 52, 19, p. 205-210.
https://doi.org/10.1016/j.ifacol.2019.12.097 - Fischer, B., Uustalu, T. Preface // Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings. Cham : Springer, 2018. p. V-VI.
https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 - Vain, J., Kaur, A., Tsiopoulus, L., Raik, J., Jenihhin, M. Multi-view modeling for MPSoC design aspects [Online resource] // BEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 2018. : IEEE, 2018. 4 p.: ill.
https://doi.org/10.1109/BEC.2018.8600986 - Nõmm, S., Masharov, I., Toomela, A., Medijainen, K., Taba, P. Interpretable quantitative description of the digital clock drawing test for Parkinson's disease modelling // 15th International Conference on Control, Automation, Robotics and Vision (ICARCV 2018) : Singapore, November 18-21, 2018. S.l. : IEEE, 2018. p. 1839-1844 : ill.
https://doi.org/10.1109/ICARCV.2018.8581074 - Maarand, H., Uustalu, T. Certified normalization of generalized traces // Innovations in Systems and Software Engineering (2019) vol. 15, p. 253–265.
https://doi.org/10.1007/s11334-019-00347-1 - Maarand H., Uustalu T. Certified Foata normalization for generalized traces // NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings. Cham : Springer International Publishing AG, 2018. p. 299-314. (Lecture notes in computer science ; 10811, Programming and software engineering ; 10811).
https://doi.org/10.1007/978-3-319-77935-5_21 - Maarand, H., Uustalu, T. Reordering derivatives of trace closures of regular languages [Online resource] // 30th International Conference on Concurrency Theory : (CONCUR 2019). Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 40 ; 40:1–40:16. (Leibniz international proceedings in informatics (LIPIcs) ; 140).
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 - Halling, E., Vain, J., Boyarchuk, A., Illiashenko, O. Test scenario specification language for model-based testing // International Journal of Computing (2019) vol. 18, 4, p. 408-421 : ill.
http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 - Price, C., Piirsalu, J., Nõmm, S. Analysis of the impact of poisoned data within Twitter classification models // IFAC-PapersOnLine (2019) vol. 52, 19, p. 175-180.
https://doi.org/10.1016/j.ifacol.2019.12.170 - Kanter, G., Vain, J. TestIt: an open-source scalable long-term autonomy testing toolkit for ROS // Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 2019. Red Hook : IEEE, 2019. art. 8770011, p. 45-50.
http://dx.doi.org/10.1109/DESSERT.2019.8770011 - Toomela, A., Nõmm, S., Kõnnussaar, T., Tammik, V. Why behavioral indicators may fail to reveal mental states : individual differences in arousal-movement pattern relationships // Frontiers in psychology (2019) vol. 10, FEB, art. 270, 8 p. : ill.
https://doi.org/10.3389/fpsyg.2019.00270 - Pal, D., Vain, J. Model based approach for testing: distributed real-time systems augmented with online monitors // Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings. Cham : Springer, 2018. p. 142-157. (Communications in computer and information science ; 838).
https://doi.org/10.1007/978-3-319-97571-9_13 - Senkiv, O., Nõmm, S., Toomela, A. Applicability of spiral drawing test for mental fatigue modelling // IFAC-PapersOnLine (2019) vol. 51, 34, p. 190-195 : ill.
https://doi.org/10.1016/j.ifacol.2019.01.064 - Nõmm, S., Kossas, T., Toomela, A., Medijainen, K., Taba, P. Determining necessary length of the alternating series test for Parkinson's disease modelling // 2019 International Conference on Cyberworlds : CW 2019 : 2-4 October 2019, Kyoto, Japan : proceedings. Danvers : IEEE, 2019. p. 261-266 : ill.
http://doi.org/10.1109/CW.2019.00050 - Krajuškina, A., Nõmm, S., Toomela, A. et al. Gait analysis based approach for Parkinson's disease modeling with decision tree classifiers // 2018 IEEE International Conference on Systems, Man, and Cybernetics : SMC 2018, 7–10 October 2018 Miyazaki, Japan. Piscataway : IEEE, 2018. p. 3720-3725 : ill.
https://doi.org/10.1109/SMC.2018.00630 - Pal, D., Vain, J. A systematic approach on modeling refinement and regression testing of real-time distributed systems // IFAC-PapersOnLine (2019) vol. 52, 13, p. 1091-1096.
https://doi.org/10.1016/j.ifacol.2019.11.341 - Buldas, A., Firsov, D., Laanoja, R., Lakk, H., Truu, A. A New approach to constructing digital dignature schemes // Advances in Information and Computer Security : 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019 : proceedings. Cham : Springer, 2019. p. 363-373. (Lecture notes in computer science ; 11689).
https://doi.org/10.1007/978-3-030-26834-3_21 - Kanter, G., Vain, J., Srinivasan, S., Ramaswamy, S. Provably correct configuration management of precision feeding in Agriculture4.0 // 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC). [S.l.] : IEEE, 2019. p. 1631–1637 : ill.
https://doi.org/10.1109/SMC.2019.8914057 - Pinto, L., Uustalu, T. A proof-theoretic study of bi-intuitionistic propositional sequent calculus // Journal of logic and computation (2018) vol. 28, 1, p. 165-202.
https://doi.org/10.1093/logcom/exx044 - Guerra-Manzanares, A., Nõmm, S., Bahsi, H. Time-frame analysis of system calls behavior in machine learning-based mobile malware detection // 2019 International Conference on Cyber Security for Emerging Technologies : CSET 2019, Doha, Qatar, 27 October 2019 through 29 October 2019. : IEEE, 2019. art. 89049088 ; 8 p. : ill.
https://doi.org/10.1109/CSET.2019.8904908 - Muniasamy, K., Srinivasan, S., Vain, J., Sethumadhavan, M. Formal methods based security for cloud-based manufacturing cyber physical system // IFAC-PapersOnLine (2019) vol. 52, 13, p. 1198-1203.
https://doi.org/10.1016/j.ifacol.2019.11.361 - Espirito Santo, J., Pinto, L., Uustalu, T. Modal embeddings and calling paradigms // 4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019. Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 18 ; 20 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 131).
https://doi.org/10.4230/LIPIcs.FSCD.2019.18 - Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // Electronic notes in theoretical computer science (2018) vol. 341, 1, p. 345-370.
https://doi.org/10.1016/j.entcs.2018.11.017 - Siavashi, F., Truscan, D., Vain, J. Vulnerability assessment of web services with model-based mutation testing // 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security - QRS 2018 - : 16–20 July 2018, Lisbon, Portugal : proceedings. Los Alamitos : IEEE Computer Society, 2018. p. 301–312 : ill.
http://doi.org/10.1109/QRS.2018.00043 - Guerra-Manzanares, A., Bahsi, H., Nõmm, S. Differences in Android behavior between real device and emulator : a malware detection perspective // 6th International Conference on Internet of Things: Systems, Management and Security (IOTSMS), Granada, Spain, October 22-25, 2019. Denver : IEEE, 2019. art. 8939268, p. 399-404.
https://doi.org/10.1109/IOTSMS48152.2019.8939268 - Guerra-Manzanares, A., Nõmm, S., Bahsi, H. Towards the integration of a post-hoc interpretation step into the machine learning workflow for IoT botnet detection // 18th IEEE International Conference on Machine Learning and Applications : ICMLA 2019, 16–19 December 2019, Boca Raton, Florida, USA : proceedings. Danvers : IEEE, 2019. p. 1162-1169 : ill.
https://doi.org/10.1109/ICMLA.2019.00193 - Katsumata, S., Sato, T., Uustalu, T. Codensity lifting of monads and its dual // Logical methods in computer science (2018) vol. 14, 4, p. 1-31.
https://doi.org/10.23638/LMCS-14(4:6)2018 - Nõmm, S., Bardõš, K., Toomela, A., Medijainen, K., Taba, P. Detailed analysis of the Luria's alternating series tests for Parkinson's disease diagnostics // 17th IEEE International Conference on Machine Learning and Applications : ICMLA 2018, 17–20 December 2018, Orlando, Florida, USA : proceedings. Danvers : IEEE, 2018. p. 1347–1352.
https://doi.org/10.1109/ICMLA.2018.00219 - Chapman, J., Uustalu, T., Veltri, N. Quotienting the delay monad by weak bisimilarity // Mathematical structures in computer science (2019) vol. 29, 1, p. 67-92.
https://doi.org/10.1017/s0960129517000184 - Muthukumar, N., Srinivasan, S., Ramkumar, K., Pal, D., Vain, J., Ramaswamy, S. A model-based approach for design and verification of Industrial Internet of Things // Future generation computer systems (2019) vol. 95, p. 354-363 : ill.
https://doi.org/10.1016/j.future.2018.12.012 - Guerra-Manzanares, A., Bahsi, H., Nõmm, S. Hybrid feature selection models for machine learning based botnet detection in IoT networks // 2019 International Conference on Cyberworlds : CW 2019 : 2-4 October 2019, Kyoto, Japan : proceedings. Danvers : IEEE, 2019. p. 324-327 : ill.
https://doi.org/10.1109/CW.2019.00059 - Sell, R., Leier, M., Rassõlkin, A., Ernits, J.-P. Self-driving car ISEAUTO for research and education // Proceedings of the 2018 19th International Conference on Research and Education in Mechatronics : (REM 2018), Delft, The Netherlands, June 7-8, 2018. [S.l.] : IEEE, 2018. p. 111-116 : ill.
https://doi.org/10.1109/REM.2018.8421793 - Bahsi, H., Nõmm, S., Dimensionality reduction for machine learning based IoT botnet detection // 15th International Conference on Control, Automation, Robotics and Vision (ICARCV 2018) : Singapore, November 18-21, 2018. S.l. : IEEE, 2018. p. 1857-1862 : ill.
https://doi.org/10.1109/ICARCV.2018.8581205 - Nõmm, S., Bahsi, H. Unsupervised anomaly based botnet detection in IoT networks // 17th IEEE International Conference on Machine Learning and Applications : ICMLA 2018, 17–20 December 2018, Orlando, Florida, USA : proceedings. Danvers : IEEE, 2018. p. 1048-1053.
https://doi.org/10.1109/ICMLA.2018.00171