Doktorandnätverk IT and Mathematics

Forskningsresultat

Publikationer per år 2013 2013 2015 2016 2017 2018 2019 2020 2023

• 235 Citeringar
• 8 h-index
• 34 Konferensbidrag
• 19 Artikel
• 12 Beställd rapport
• 4 Doktorsavhandling
• 4 Mer
  • 2 Kapitel
  • 1 Sammanfattning
  • 1 Övriga bidrag

Publikationer per år

Publikationer per år

Sökresultat

• 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. (red.). Springer, s. 175–195

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (Scopus)

• 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. (red.). University of Huddersfield, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Professionell

• 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. (red.). s. 459–465

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  98 Nedladdningar (Pure)

• 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. (red.). ACM, s. 341–347

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  5 Citeringar (Scopus)

  13 Nedladdningar (Pure)

• 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. (red.). IEEE, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (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. (red.). Springer, s. 202–214

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (Scopus)

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  7 Citeringar (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. (red.). Springer, s. 337–350

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  3 Citeringar (Scopus)

• 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. (red.). IEEE, s. 39–45

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  3 Citeringar (Scopus)

  16 Nedladdningar (Pure)

• 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. (red.). Springer, s. 223–235

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  26 Nedladdningar (Pure)

• 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. (red.). Iaria xps press, s. 65–71

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  24 Nedladdningar (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 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  11 Citeringar (Scopus)

• 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. (red.). IEEE Computer Society Conference Publishing Services (CPS), s. 505–513

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  23 Nedladdningar (Pure)

• 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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  1 Citeringar (Scopus)

  65 Nedladdningar (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. (red.). IEEE Global Conference on Signal and Information Processing, s. 1–5

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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. (red.). Springer, s. 103–114

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  20 Nedladdningar (Pure)

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Autonomous Navigation 100%
  7 Citeringar (Scopus)

  91 Nedladdningar (Pure)

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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. (red.). Springer, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  2 Citeringar (Scopus)

  32 Nedladdningar (Pure)

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  10 Citeringar (Scopus)

• 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 (red.). ACM, s. 423–424

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  17 Citeringar (Scopus)

  27 Nedladdningar (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. (red.). SCITEPRESS Digital Library, s. 99–104

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  5 Citeringar (Scopus)

  23 Nedladdningar (Pure)

• 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. (red.). ACM, s. 41–46

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  15 Nedladdningar (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. (red.). s. 415–421

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
  165 Nedladdningar (Pure)

• 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. (red.). IEEE, s. 137–144

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  6 Citeringar (Scopus)

• 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. (red.). IEEE, s. 138–144

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  2 Citeringar (Scopus)

  127 Nedladdningar (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. (red.). IEEE, s. 127–131

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  2 Citeringar (Scopus)

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

  Georgakarakos, G. & Lilius, J., mars 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).

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil

  • Optimization 100%
  • Multicore Processor 100%
  • Scalability 50%
  • Code Generation 50%
  • Algorithms 50%
  20 Nedladdningar (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 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 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. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  4 Citeringar (Scopus)

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  15 Citeringar (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. (red.). IEEE, s. 1–6 6 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  12 Citeringar (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. (red.). Springer, s. 189–203 15 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  1 Citeringar (Scopus)