Information Technology

Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2024

    Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV

    Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 2024, (Hyväksytty/In press) 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Dynamic Test Case Prioritization in Industrial Test Result Datasets

    Torbunova, A., Strandberg, P. E. & Porres, I., 2024, (Jätetty) 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). 4 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2023

    An Evaluation of Transformer Models for Early Intrusion Detection in Cloud Continuum

    Islam, M. M., Ahmad, T. & Truscan, D., 2023, Proceedings - 2023 IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2023. IEEE Computer Society, s. 279-284 6 Sivumäärä (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Application of reinforcement learning for energy consumption optimization of district heating system

    Deng, J., Eklund, M., Sierla, S., Savolainen, J., Niemistö, H., Karhela, T. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE). IEEE, ( Proceedings of the IEEE International Symposium on Industrial Electronics).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    4 Lataukset (Pure)

  • ARCH-COMP 2023 Category Report: Falsification

    Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Waga, M. & Zhang, Z., 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EasyChair, s. 151-169 (EPiC Series in Computing; Vuosikerta 96).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    13 Lataukset (Pure)

  • Data Sharing in RoPax Ports: Challenges and Opportunities

    Iancu, B., Morariu, A-R., Chen, Y., Wahlström, I., Tsvetkova, A. & Lilius, J., kesäk. 2023, Proceedings of the 33rd Conference of Open Innovations Association FRUCT, FRUCT 2023. Balandin, S., Kvet, M. & Shatalova, T. (toim.). IEEE, s. 85-94 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    11 Lataukset (Pure)

  • Digitalisation in RoPax Ports: The Typology of Available Solutions

    Tsvetkova, A., Chen, Y., Wahlström, I., Morariu, A-R., Iancu, B. & Hellström, M., 2023, 36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability. Pucihar, A., Borstnar, M. K., Bons, R., Bons, R., Ongena, G., Heikkila, M. & Vidmar, D. (toim.). University of Maribor Press, s. 107-122 16 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    28 Lataukset (Pure)

  • Efficient Early Anomaly Detection of Network Security Attacks Using Deep Learning

    Ahmad, T. & Truscan, D., elok. 2023, 2023 IEEE International Conference on Cyber Security and Resilience (CSR). IEEE

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    44 Lataukset (Pure)

  • Preliminary Results in Using Attention for Increasing Attack Identification Efficiency

    Ahmad, T., Truscan, D. & Vain, J., toukok. 2023, 2023 IEEE International Conference on Software Testing, Verification and Validation. IEEE, s. 159-164 6 Sivumäärä (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    110 Lataukset (Pure)

  • SBFT Tool Competition 2023 - Cyber-Physical Systems Track

    Biagiola, M., Klikovits, S., Peltomäki, J. & Riccio, V., 2023, 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, s. 45-48

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    10 Sitaatiot (Scopus)

  • Stakeholders’ Experiences of and Expectations for Robot Accents in a Dental Care Simulation: A Finland-Swedish Case Study

    Hägglund, S., Tigerstedt, C., Biström, D., Wingren, M., Andersson, S., Kuvaja Adolfsson, K., Penttinen, J. & Espinosa-Leal, L., 12 tammik. 2023, Social Robots in Social Institutions: Proceedings of RoboPhilosophy 2022. Hakli, R., Mäkelä, P. & Seibt, J. (toim.). 1 toim. IOS Press, Vuosikerta 366. s. 125-134 ( Frontiers of Artificial Intelligence and Applications; Vuosikerta 366).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • The Green Energy Transition - a Case for Lifelong Learning

    Björkqvist, J., Hellström, M., Morariu, A-R. & Roslöf, J., 2023, Proceedings of the 19th International CDIO Conference. Lyng, R., Bennedsen, J., Bettaieb, L., Bodsberg, N. R., Edström, K., Guðjónsdóttir, M. S., Roslöf, J., Solbjørg, O. K. & Øien, G. (toim.). Trondheim, Norge: Norwegian University of Science and Technology (NTNU), s. 746-758 13 Sivumäärä (Proceedings of the International CDIO Conference; Vuosikerta 19).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    49 Lataukset (Pure)

  • Under Trial: Evolved Service-Based Architecture Platform for Mobile Telecommunication Networks

    Robitzsch, S., Ribes, J., Gomes, A. S., Rexha, H., Cordeiro, L., Al-Hares, M. K., Corici, M. & Gomez-Barquero, D., maalisk. 2023, 2022 IEEE Future Networks World Forum (FNWF). IEEE, s. 694-700 7 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

    1 Sitaatiot (Scopus)

  • VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices

    Enoiu, E. P., Truscan, D., Andrey, S. & Mallouli, W., 2023, ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. ACM, s. 1-9 135

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    65 Lataukset (Pure)

  • WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track

    Winsten, J. & Porres, I., 2023, 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, s. 43-44

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    2 Sitaatiot (Scopus)
  • 2022

    Adaptive data predictions for the energy sector at national level

    Vezeteu, P. V., Morariu, A. R. & Năstac, D. I., 2022, 2021 IEEE 27th International Symposium for Design and Technology in Electronic Packaging (SIITME): Conference Proceedings. IEEE, s. 292-297 6 Sivumäärä (International Symposium for Design and Technology of Electronics Packages (SIITME)).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    22 Lataukset (Pure)

  • Addressing challenges of hybrid capstone projects in a pandemic environment

    Björkqvist, J., Sell, A. & Truscan, D., kesäk. 2022, 18th CDIO International Conference Proceedings. Reykjavik University, Iceland, (Proceedings of the International CDIO Conference).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    21 Lataukset (Pure)

  • A High SIR Low-overhead Implementation of Single-channel Speech Source Separation

    Nwaogo, L. & Björkqvist, J., 22 heinäk. 2022, 2022 IEEE 12th Sensor Array and Multichannel Signal Processing Workshop (SAM). IEEE, s. 440-444

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    30 Lataukset (Pure)

  • A Two-phase Metamorphic Approach for Testing Industrial Control Systems

    Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; Vuosikerta 2022-September).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    1 Sitaatiot (Scopus)

  • Distributed Simulations of DNA Multi-strand Dynamics

    Spencer, F., Sanwal, U. & Czeizler, E., 2022, Proceedings of the 12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Wagner, G., Werner, F. & De Rango, F. (toim.). SCITEPRESS Science And Technology Publications, s. 234-243 10 Sivumäärä (SIMULTECH International Conference on Simulation and Modeling Methodologies, Technologies and Applications).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access

  • Early Detection of Network Attacks Using Deep Learning

    Ahmad, T., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 30-39 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    9 Sitaatiot (Scopus)
    53 Lataukset (Pure)

  • Eigendecomposition-based reformulations for convex MINLP in the SHOT solver

    Kronqvist, J. & Lundell, A., syysk. 2022, Journal of Global Optimization: Special Issue on Global Optimization: HUGO. Springer, s. 107-110 4 Sivumäärä ( Journal of Global Optimization).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • Engine Vibration Anomaly Detection in Vessel Engine Room

    Morariu, A-R., Björkqvist, J. & Lund, W., 2022, 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. Elsevier, s. 465-469 (IFAC-PapersOnLine; Vuosikerta 55).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    21 Lataukset (Pure)

  • Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs

    Öhrling, J., Lafond, S. & Truscan, D., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021. . Springer, s. 144-160 17 Sivumäärä ( Lecture Notes in Computer Science; Vuosikerta 13227).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    28 Lataukset (Pure)

  • Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

    Peltomäki, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    3 Sitaatiot (Scopus)

  • Message from the ITEQS 2022 Workshop Chairs

    Saadatmand, M., Truscan, D. & Enoiu, E. P., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. xii 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

    Open access

  • On solving MINLP problems with nonconvex signomials in SHOT

    Lundell, A. & Kronqvist, J., syysk. 2022, Journal of Global Optimization: Special Issue on Global Optimization: HUGO. Springer, s. 129-132 4 Sivumäärä (Journal of global optimization).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • Practices for Data Sharing: An Empirical Survey

    Morariu, A-R., Iancu, B. & Björkqvist, J., marrask. 2022, Data Analytics 2022 : The Eleventh International Conference on Data Analytics. Valencia: IARIA, s. 27-32 6 Sivumäärä (Data Analytics).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    32 Lataukset (Pure)

  • Rating consistency is consistently underrated: an exploratory analysis of movie-tag rating inconsistency

    Kotkov, D., Medlar, A., Satyal, U. R., Maslov, A., Neovius, M. & Glowacka, D., 2022, The 37th ACM/SIGAPP Symposium on Applied Computing (SAC ’22). New York: ACM, s. 1355–1364 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access

  • SimuShips - A High Resolution Simulation Dataset for Ship Detection with Precise Annotations

    Raza, M., Prokopova, H., Huseynzade, S., Azimi, S. & Lafond, S., 2022, OCEANS 2022, Hampton Roads. IEEE, s. 1-5 5 Sivumäärä (Oceans).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    16 Lataukset (Pure)

  • The Tag Genome Dataset for Books

    Kotkov, D., Medlar, A., Maslov, A., Satyal, U. R., Neovius, M. & Glowacka, D., 2022, Proceedings of the 2022 ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR ’22): March 14–18, 2022, Regensburg, Germany. New York: ACM, s. 353–357

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    2 Sitaatiot (Scopus)

  • Wasserstein generative adversarial networks for online test generation for cyber physical systems

    Peltomäki, J., Spencer, F. & Porres, I., 2022, The 15th Search-Based Software Testing Workshop SBST 2022 . IEEE, s. 1-5

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    3 Sitaatiot (Scopus)

  • WOGAN at the SBST 2022 CPS tool competition

    Peltomäki, J., Spencer, F. & Porres, I., 2022, 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST). IEEE, s. 53-54

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    4 Sitaatiot (Scopus)
  • 2021

    Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

    Sadovykh, A., Truscan, D. & Bruneliere, H., 2021, 2021 IEEE 29th International Requirements Engineering Conference (RE). Los Alamitos, CA, USA: IEEE, s. 367-377 11 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    37 Lataukset (Pure)

  • A software quality course: the breadth approach

    Petre, L., 2021, Quality of Information and Communications Technology. Paiva, A. C. R., Cavalli, A. R., Ventura Martins, P. & Pérez-Castillo, R. (toim.). Springer, s. 536-552 17 Sivumäärä (Communications in Computer and Information Science; Vuosikerta 1439).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    47 Lataukset (Pure)

  • A Systematic Mapping Study on Edge Computing Approaches for Maritime Applications

    Morariu, A-R., Ashraf, A. & Björkqvist, J., 2021, 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 8 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    2 Sitaatiot (Scopus)
    57 Lataukset (Pure)

  • Data collection and utilization framework for edge AI applications

    Rexha, H. & Lafond, S., 2021, 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI (WAIN) . IEEE, s. 105-108 4 Sivumäärä 9474354

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    24 Lataukset (Pure)

  • Enabling fast exploration and validation of thermal dissipation requirements for heterogeneous SoCs

    Öhrling, J., Truscan, D. & Lafond, S., toukok. 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, s. 114-123 10 Sivumäärä 9440167

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    2 Sitaatiot (Scopus)
    10 Lataukset (Pure)

  • From digitalized education to Covid-19 restricted education: Challenges and differences

    Björkqvist, J. & Hämäläinen, T., 2021, Proceedings of the 17th International CDIO Conference. Chulalongkorn University & Rajamangala University of Technology, s. 722-730 (Proceedings of the International CDIO Conference ).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    22 Lataukset (Pure)

  • Modelling and Verification of Safety of Access Control in SCADA Systems

    Vistbakka, I. & Troubitsyna, E., 2021, Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Revised Selected Papers. Garcia-Alfaro, J., Leneutre, J., Cuppens, N. & Yaich, R. (toim.). Springer Science and Business Media Deutschland GmbH, s. 354-364 11 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12528 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Online GANs for Automatic Performance Testing

    Porres, I., Rexha, H. & Lafond, S., huhtik. 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, s. 95-100 9440165. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    4 Sitaatiot (Scopus)

  • Optimizing life-cycle costs for pumps and powertrains using FMI co-simulation

    Eklund, M., Savolainen, J., Karhela, T. & Lukkari, A., 27 syysk. 2021, Proceedings of 14th Modelica Conference 2021. Linköping, Sweden, Vuosikerta 14. 9 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access

  • Prediction of on-board energy usage combining physics-based modeling and machine learning

    Manngård, M., Hammarström, J., Gustafsson, W., Böling, J. & Björkqvist, J., 2021, Proceedings of the 3rd International Conference on Modelling and Optimisation of Ship Energy Systems (MOSES2021). Espoo: Aalto-yliopisto, s. 46-52

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access

  • Revisiting the Tag Relevance Prediction Problem

    Kotkov, D., Maslov, A. & Neovius, M., 2021, SIGIR '21: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval.

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    14 Lataukset (Pure)

  • Security Requirements as Code: Example from VeriDevOps Project

    Ismaeel, K., Naumchev, A., Sadovykh, A., Truscan, D., Enoiu, E. P. & Seceleanu, C., 2021, Proceedings - 29th IEEE International Requirements Engineering Conference Workshops, REW 2021. Yue, T. & Mirakhorli, M. (toim.). IEEE, s. 357-363 7 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    2 Sitaatiot (Scopus)
    69 Lataukset (Pure)

  • VDNA-Lab: A computational simulation platform for DNA multi-strand dynamics

    Spencer, F., Sanwal, U. & Czeizler, E., 2021, Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021. Wagner, G., Werner, F., Oren, T. & De Rango, F. (toim.). SCITEPRESS Digital Library, s. 288-294 7 Sivumäärä (Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps

    Sadovykh, A., Widforss, G., Truscan, D., Enoiu, E. P., Mallouli, W., Iglesias, R., Bagnto, A. & Hendel, O., 1 helmik. 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. the Institute of Electrical and Electronics Engineers, Inc., s. 1330-1333 4 Sivumäärä 9474185. (Proceedings -Design, Automation and Test in Europe, DATE; Vuosikerta 2021-February).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Tiedosto
    10 Sitaatiot (Scopus)
    30 Lataukset (Pure)
  • 2020

    A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams

    Eriksson, J. & Parsa, M., 2020, Practical Aspects of Declarative Languages. Springer, s. 196-212 (Lecture Notes in Computer Science ).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Analysing Privacy-Preserving Constraints in Microservices Architecture

    Vistbakka, I. & Troubitsyna, E., 2020, 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE, s. 1089-1090 2 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development

    Truscan, D., Ahmad, T. & Tran, C., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers. Bruel, J-M., Capozucca, A., Mazzara, M., Naumchev, A., Sadovykh, A. & Meyer, B. (toim.). Springer, s. 310–323 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12271 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    35 Lataukset (Pure)