Doctoral Network in Information Technologies and Mathematics

Publications

Research output per year 2013 2013 2015 2016 2017 2018 2019 2020 2023

• 235 Citations
• 8 h-index
• 34 Conference contribution
• 19 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 4 More
  • 2 Chapter
  • 1 Abstract
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 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. (eds.). IEEE, p. 1–7

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  7 Citations (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. (eds.). Iaria xps press, p. 65–71

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  24 Downloads (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 (eds.). ACM, p. 423–424

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  17 Citations (Scopus)

  27 Downloads (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. (eds.). SCITEPRESS Digital Library, p. 99–104

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  5 Citations (Scopus)

  23 Downloads (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, p. 2620–2624 5 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• 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. (eds.). IEEE, p. 310–317 8 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  15 Citations (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. (eds.). IEEE, p. 1–6 6 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  12 Citations (Scopus)
• 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. (eds.). ACM, p. 341–347

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  5 Citations (Scopus)

  13 Downloads (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. (eds.). IEEE, p. 39–45

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  3 Citations (Scopus)

  16 Downloads (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. (eds.). IEEE Computer Society Conference Publishing Services (CPS), p. 505–513

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  23 Downloads (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. (eds.). IEEE Global Conference on Signal and Information Processing, p. 1–5

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• 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. (eds.). CEUR-WS.org, p. 70–84

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

• 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. (eds.). IEEE, p. 604–609

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  10 Citations (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. (eds.). IEEE, p. 137–144

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  6 Citations (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. (eds.). University of Huddersfield, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Professional

• 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. (eds.). IEEE, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (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. (eds.). Springer, p. 202–214

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)

• Automatic Performance Space Exploration of Web Applications

  Ahmad, T., Abbors, F. & Truscan, D., 2016, Economics of Grids, Clouds, Systems, and Services. Rana, OF., Altmann, J. & Silaghi, GC. (eds.). Springer, p. 223–235

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  26 Downloads (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. (eds.). p. 459–465

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  98 Downloads (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, p. 401–407 7 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  11 Citations (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. (eds.). ACM, p. 41–46

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  15 Downloads (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. (eds.). p. 415–421

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  165 Downloads (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. (eds.). IEEE, p. 127–131

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (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, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  4 Citations (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. (eds.). Springer, p. 189–203 15 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (Scopus)
• 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. (eds.). Springer, p. 175–195

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (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. (eds.). Springer, p. 337–350

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  3 Citations (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, p. 112–117

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (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, p. 486–493

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  1 Citation (Scopus)

  65 Downloads (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. (eds.). Springer, p. 103–114

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  20 Downloads (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. (eds.). IEEE, p. 138–144

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File
  2 Citations (Scopus)

  127 Downloads (Pure)
• 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. (eds.). Springer, Cham, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File

  • Autonomous Navigation 100%
  7 Citations (Scopus)

  91 Downloads (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, Ulm, Germany, May 27–29, 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File
  2 Citations (Scopus)

  32 Downloads (Pure)

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

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

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File

  • Optimization 100%
  • Multicore Processor 100%
  • Scalability 50%
  • Code Generation 50%
  • Algorithms 50%
  20 Downloads (Pure)