Doctoral Network in Information Technologies and Mathematics

Julkaisut

Julkaisuja vuodessa 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 255 Viittaukset
• 9 h-index
• 35 Konferenssiartikkeli
• 20 Artikkeli
• 12 Tutkimusraportti
• 4 Tohtorinväitöskirja
• 5 Lisää
  • 2 Luku
  • 1 Tiivistelmä
  • 1 Keskustelupuheenvuoro
  • 1 Muu myötävaikuttaminen

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2024

  Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project

  Jayasingha Arachchige, P. & Lilius, J., 11 kesäk. 2024, Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project. s. 1-2 2 Sivumäärä

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

  Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

  Shokri-Manninen, F., Vain, J. & Walden, M., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (toim.). Springer, Cham, s. 41-59 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12310 LNCS).

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

  Open access

  Tiedosto

  • COLREGs 100%
  • Maritime Autonomous Systems 100%
  • Autonomous Ships 100%
  • Formal Verification 100%
  • Target Point 100%
  8 Sitaatiot (Scopus)

  124 Lataukset (Pure)

• Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

  Shokri-Manninen, F., Tsiopoulos, L., Vain, J. & Walden, M., 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (toim.). Springer, s. 186-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12071 LNCS).

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

  Open access

  Tiedosto

  • Real Time Systems 100%
  • Concurrent Process 100%
  • Real-time Systems 100%
  • Reachability Properties 50%
  • Timing Analysis 25%
  3 Sitaatiot (Scopus)

  46 Lataukset (Pure)

• Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors

  Georgakarakos, G. & Lilius, J., maalisk. 2020, Proceedings 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing PDP 2020. IEEE Computer Society Conference Publishing Services (CPS), s. 196-200 9092315. (Proceedings - 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2020).

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

  Tiedosto

  • Scheduling Overhead 100%
  • Graph Execution 100%
  • Multicore Processors 100%
  • SDF Graphs 100%
  • Task Generation 100%
  43 Lataukset (Pure)
• 2018

  Adaptive Formal Framework for WMN Routing Protocols

  Kamali, M. & Fehnker, A., 2018, Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings. Bae, K. & Csaba Ölveczky, P. (toim.). Springer, s. 175–195

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• AODVv2: Performance vs. Loop Freedom

  Kamali, M., Merro, M. & Dal Corso, A., 2018, 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. Min Tjoa, A., Bellatreche, L., Biffl, S., van Leeuwen, J. & Wiedermann, J. (toim.). Springer, s. 337–350

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  3 Sitaatiot (Scopus)

• Efficient task-based code generation for SDF graph execution on multicore processors

  Georgakarakos, G. & Lilius, J., 2018, 2018 Conference on Design and Architectures for Signal and Image Processing (DASIP). IEEE, s. 112–117

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Energy-Efficient Actor Execution for SDF Application on Heterogeneous Architectures

  Rexha, H., Lafond, S. & Desnos, K., 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, s. 486–493

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

  Tiedosto
  1 Sitaatiot (Scopus)

  101 Lataukset (Pure)

• Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem

  Czeizler, E., Popa, A. & Popescu, V.-B., 2018, Algorithms for Computational Biology : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings. Jesper, J., Carlos, M.-V. & Miguel, V.-R. (toim.). Springer, s. 103–114

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

  Tiedosto
  28 Lataukset (Pure)

• Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture

  Stepanovic, S., Georgakarakos, G., Holmbacka, S. & Lilius, J., 2018, 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Merelli, I., Lio, P. & Kotenko, I. (toim.). IEEE, s. 138–144

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

  Open access

  Tiedosto
  2 Sitaatiot (Scopus)

  174 Lataukset (Pure)
• 2017

  A Method for Automatic Whoosh Sound Description

  Chernyi, E., Lilius, J. & Mouromtsev, D., 2017, Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), Edinburgh, UK, September 5–9, 2017. Torin, A., Hamilton, B., Bilbao, S. & Newton, M. (toim.). s. 459–465

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

  Tiedosto
  107 Lataukset (Pure)

• Core Level Utilization for Achieving Energy Efficiency in Heterogeneous Systems

  Rexha, H., Holmbacka, S. & Lafond, S., 2017, Parallel, Distributed and Network-based Processing (PDP), 2017 25th Euromicro International Conference on. IEEE, s. 401–407 7 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  11 Sitaatiot (Scopus)

• Optimized Deployment Plans for Platform As a Service Clouds

  Byholm, B. & Porres Paltor, I., 2017, UCC '17 Companion : Proceedings of the10th International Conference on Utility and Cloud Computing. Fox, G. & Chen, Y. (toim.). ACM, s. 41–46

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

  Tiedosto
  28 Lataukset (Pure)

• pch2csd: an application for converting Nord Modular G2 patches into Csound code

  Rogozinsky, G., Chesnokov, M. & Chernyi, E., 2017, Proceedings of the 14th Sound and Music Computing Conference 2017. Lokki, T., Pätynen, J. & Välimäki, V. (toim.). s. 415–421

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

  Tiedosto
  176 Lataukset (Pure)

• Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud

  Aranitasi, M., Byholm, B. & Neovius, M., 2017, Database and Expert Systems Applications (DEXA), 2017 28th International Workshop on. Mezni, H., Aridhi, S. & Hadjali, A. (toim.). IEEE, s. 127–131

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Task-based execution of synchronous dataflow graphs for scalable multicore computing

  Georgakarakos, G., Kanur Chandra Shekar, S., Lilius, J. & Desnos, K., 2017, Signal Processing Systems (SiPS), 2017 IEEE International Workshop on. IEEE, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  4 Sitaatiot (Scopus)

• Uppaal vs Event-B for Modelling Optimised Link State Routing

  Kamali, M. & Petre, L., 2017, Verification and Evaluation of Computer and Communication Systems. VECoS 2017. Barkaoui, K., Boucheneb, H., Mili, A. & (eds), T. S. (toim.). Springer, s. 189–203 15 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)
• 2016

  A Knowledge Engineering Approach to Computational Creativity in Sound Design

  Chernyi, E., Lilius, J., Brusila, J. & Mouromtsev, D., 2016, Proceedings. 1st Conference on Computer Simulation of Musical Creativity. Jan, S. & Valerio, V. (toim.). University of Huddersfield, s. –

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

• Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model

  Georgakarakos, G., Holmbacka, S. & Lilius, J., 2016, Design and Architectures for Signal and Image Processing (DASIP), 2016 Conference on. Cerisier, S. & Adam Morawiec, D. (toim.). IEEE, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• An Approach for Structuring Sound Sample Libraries Using Ontology

  Chernyi, E., Lilius, J., Brusila, J., Mouromtsev, D. & Rogozinsky, G., 2016, Knowledge Engineering and Semantic Web. Ngonga Ngomo, A.-C. & Křemen, P. (toim.). Springer, s. 202–214

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Automatic Performance Space Exploration of Web Applications

  Ahmad, T., Abbors, F. & Truscan, D., 2016, Economics of Grids, Clouds, Systems, and Services. Rana, O., Altmann, J. & Silaghi, G. (toim.). Springer, s. 223–235

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

  Tiedosto
  30 Lataukset (Pure)
• 2015

  A Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2015, 8th IEEE/ACM International Conference on Utility and Cloud Computing. Rana, O. & Parashar, M. (toim.). ACM, s. 341–347

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

  Tiedosto
  5 Sitaatiot (Scopus)

  22 Lataukset (Pure)

• A Practical Application of UPPAAL and DTRON for Runtime Verification

  Truscan, D., Ahmad, T., Siavashi, F. & Tuuttila, P., 2015, IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice. Bishop, J., Sen, S., Shukla, R. & Shull, F. (toim.). IEEE, s. 39–45

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

  Tiedosto
  3 Sitaatiot (Scopus)

  24 Lataukset (Pure)

• Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud

  Byholm, B., Jokhio, F., Ashraf, A., Lafond, S., Lilius, J. & Porres Paltor, I., 2015, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Daneshtalab, M., Aldinucci, M., Leppänen, V., Lilius, J. & Brorsson, M. (toim.). IEEE Computer Society Conference Publishing Services (CPS), s. 505–513

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

  Tiedosto
  39 Lataukset (Pure)

• Fast Coding Unit Selection Based on Local Texture Characteristics for HEVC Intra Frame

  Radosavljević, M., Georgakarakos, G., Lafond, S. & Vukobratović, D., 2015, 2015 IEEE Global Conference on Signal and Information Processing. Jose, M. & Wu Dapeng, O. (toim.). IEEE Global Conference on Signal and Information Processing, s. 1–5

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

• Full Structural Model Refinement as Type Refinement of Colored Petri Nets

  Gratie, D.-E. & Petre, I., 2015, Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015). Heiner, M. & Wagler, A. K. (toim.). CEUR-WS.org, s. 70–84

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

• Lattice Boltzmann Simulations at Petascale on Multi-GPU Systems with Asynchronous Data Transfer and Strictly Enforced Memory Read Alignment

  Robertsén, F., Westerholm, J. & Mattila, K., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. Masoud, D., Marco, A., Ville, L., Johan, L. & Mats, B. (toim.). IEEE, s. 604–609

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  10 Sitaatiot (Scopus)

• Performance Evaluation of Parallel HEVC Strategies

  Georgakarakos, G., Tsiopoulos, L., Lilius, J., Haldin, J. & Falk, U., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. Daneshtalab, M., Aldinucci, M., Leppänen, V., Lilius, J. & Brorsson, M. (toim.). IEEE, s. 137–144

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  6 Sitaatiot (Scopus)
• 2013

  An Exploration of Heterogeneous Systems

  Carabaño Bravo, J., Dios, F., Daneshtalab, M. & Ebrahimi, M., 2013, Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2013 8th International Workshop on. Glesner, M., Garcia-Ortiz, A. & Jervan, G. (toim.). IEEE, s. 1–7

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  7 Sitaatiot (Scopus)

• Combining Model-Based Testing and Continuous Integration

  Martin, K., Truscan, D., Ahmad, T. & Grönblom, N., 2013, ICSEA 2013: The Eighth International Conference on Software Engineering Advances. Lavazza, L., Oberhauser, R., Martin, A., Hassine, J., Gebhart, M. & Jäntti, M. (toim.). Iaria xps press, s. 65–71

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

  Tiedosto
  29 Lataukset (Pure)

• Model-Based Performance Testing in the Cloud Using the MBPeT Tool

  Abbors, F., Ahmad, T., Truscan, D. & Porres Paltor, I., 2013, ICPE '13 Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering. Seetharami & Seelam (toim.). ACM, s. 423–424

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

  Tiedosto
  18 Sitaatiot (Scopus)

  24 Lataukset (Pure)

• Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata

  Abbors, F., Ahmad, T., Truscan, D. & Porres Paltor, I., 2013, Proceedings of the 9th International Conference on Web Information Systems and Technologies. Krempels, K. & Stocker, A. (toim.). SCITEPRESS Digital Library, s. 99–104

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

  Tiedosto
  5 Sitaatiot (Scopus)

  28 Lataukset (Pure)

• Static and Quasi-static Compositions of Stream Processing Applications from Dynamic Dataflow Programs

  Ersfolk, J., Roquier, G., Lund, K. W., Mattavelli, M. & Lilius, J., 2013, 2013 IEEE International Conference on Acoustics, Speech, and Signal Processing Proceedings. IEEE, s. 2620–2624 5 Sivumäärä

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

• Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems

  Holmbacka, S., Lund, K. W., Lafond, S. & Lilius, J., 2013, Parallel, Distributed and Network-Based Processing (PDP), 2013 21st Euromicro International Conference on. Kilpatrick, P., Milligan, P. & Stotzka, R. (toim.). IEEE, s. 310–317 8 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  15 Sitaatiot (Scopus)

• Thermal Influence on the Energy Efficiency of Workload Consolidation in Many-Core Architectures

  Hällis, F., Holmbacka, S., Lund, K. W., Slotte, R., Lafond, S. & Lilius, J., 2013, Digital Communications - Green ICT (TIWDC), 2013 24th Tyrrhenian International Workshop on. Bolla, Raffaele, Davoli, Franco, Tran-Gia, Phuoc, Anh & Trinh, T. (toim.). IEEE, s. 1–6 6 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  12 Sitaatiot (Scopus)