Information Technology

Publications

Research output per year 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8234 Citations
• 39 h-index
• 547 Conference contribution
• 231 Article
• 148 Commissioned report
• 56 Chapter
• 84 More
  • 27 Doctoral Thesis
  • 25 Edited Book/Edited Journal
  • 16 Other contribution
  • 4 Review Article or Literature Review
  • 3 Abstract
  • 1 Foreword/postscript
  • 1 Paper (not published)
  • 1 Poster
  • 1 Comment/debate
  • 1 Conference article
  • 1 Composition
  • 1 Licenciate's thesis
  • 1 Master's thesis
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2023

  EARLY: A Tool for Real-Time Security Attack Detection

  Ahmad, T., Truscan, D. & Vain, J., Dec 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (eds.). Springer, p. 225-251

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

  • Intrusion Detection System 100%
  • Security Attack 100%
  • Security Attack Detection 100%
  • Real-time Security 100%
  • Network Traffic 66%
  30 Downloads (Pure)

• Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems

  Chariyarupadannayil Sudheerbabu, G., Ahmad, T., Truscan, D. & Vain, J., 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (eds.). Springer, p. 127-159

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

  • Metamorphic Testing 100%
  • Fault Localization 100%
  • Failure Diagnosis 66%
  • Test Oracle 66%
  • Root Cause Analysis 66%
• 2019

  Energy aware ultrascale systems

  Oleksiak, A., Lefevre, L., Alonso, P., Da Costa, G., De Maio, V., Frasheri, N., Garcia, V. M., Guerrero, J., Lafond, S., Lastovetsky, A., Reddy Manumachu, R., Muite, B., Orgerie, A.-C., Piatek, W., Pierson, J.-M., Prodan, R., Stolf, P., Sheme, E. & Varrette, S., 2019, Ultrascale Computing Systems. Carretero, J., Jeannot, E. & Zomaya, A. Y. (eds.). The Institution of Engineering and Technology, p. –

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific

• Preface

  Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (eds.). Springer Verlag, p. v–vi

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

• RDF stores for enhanced living environments: An overview

  Karvinen, P., Diaz-Rodriguez, N., Grönroos, S. & Lilius, J., 2019, Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems. Ganchev, I., Garcia, N. M., Dobre, C., Mavromoustakis, C. X. & Goleva, R. (eds.). Springer, p. 19–52

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  5 Citations (Scopus)
• 2018

  Model-Based Representations for Dataflow Schedules

  Bhattacharyya, S. S. & Lilius, J., 2018, Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Springer Verlag, p. 88-105 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS)( Programming and Software Engineering).

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

  • Signal Processing 100%
  • Data Flow Graph 100%
  • Functional Specification 100%
  • Specialized Architectures 100%
  • Design Tools 100%
  2 Citations (Scopus)

• WEBRSIM: A Web-Based Reaction Systems Simulator

  Ivanov, S., Rogojin, V., Azimi Rashti, S. & Petre, I., 2018, Enjoying Natural Computing. Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G. & Salomaa, A. (eds.). Springer, p. 170–181

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  10 Citations (Scopus)
• 2017

  Reaction systems: a model of computation inspired by the functioning of the living cell

  Ehrenfeucht, A., Petre, I. & Rozenberg, G., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. Konstantinidis, S., Moreira, N., Reis, R. & Shallit, J. (eds.). World Scientific Publishing, p. 1–32

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

• Testing Web Services with Model-Based Mutation

  Siavashi, F., Iqbal, J., Truscan, D. & Vain, J., 2017, Software Technologies. Enrique, C., Jorge, C., André, L., A., M. L. & Sinderen Marten, V. (eds.). Springer, p. 45–67

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  5 Citations (Scopus)
• 2016

  A Provably Correct Resilience Mediator Pattern

  Neovius, M., Rönkkö, M. & Walden, M., 2016, From Action Systems to Distributed Systems - The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 125–139

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

• Integrating Refinement-Based Methods for Developing Timed Systems

  Vain, J., Tsiopoulos, L. & Boström, P., 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 171–185

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

• Quantitative model refinement in four different frameworks, with applications to the heat shock response

  Gratie, D.-E., Iancu, B., Azimi Rashti, S. & Petre, I., 2016, From Action Systems to Distributed Systems. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 201–214

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  3 Citations (Scopus)
• 2015

  A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

  Truscan, D., Vain, J., Koskinen, M. & Iqbal, J., 2015, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. & Sinderen, M. (eds.). Springer, p. 349–364

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

• CEUR-WS-LOD: Conversion of CEUR-WS Workshops to Linked Data

  Kolchin, M., Chernyi, E., Kozlov, F., Shipilo, A. & Kovriguina, L., 2015, Semantic Web Evaluation Challenges. Gandon, F., Cabrio, E., Stankovic, M. & Zimmermann, A. (eds.). Springer, p. 142–152 11 p.

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

• Green Data Centers

  Basmadjian, R., Bouvry, P., Da Costa, G., Gyarmati, L., Kliazovich, D., Lafond, S., Lefèvre, L., De Meer, H., Pierson, J.-M., Pries, R., Torres, J., Anh Trinh, T. & Ullah Khan, S., 2015, Large-scale Distributed Systems and Energy Efficiency: A Holistic View. Pierson, J.-M. (ed.). John Wiley & Sons, p. 159–196

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

• Metadata Extraction from Conference Proceedings Using Template-Based Approach

  Kovriguina, L., Shipilo, A., Kozlov, F., Kolchin, M. & Chernyi, E., 2015, Semantic Web Evaluation Challenges. Gandon, F., Cabrio, E., Stankovic, M. & Zimmermann, A. (eds.). Springer, p. 153–164 12 p.

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

• Mining Web Server Logs for Creating Workload Models

  Abbors, F., Truscan, D. & Ahmad, T., 2015, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. & Sinderen, M. (eds.). Springer, p. 131–150

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

  File
  3 Citations (Scopus)

  37 Downloads (Pure)

• Quantitative model refinement for guarded command models

  Azimi Rashti, S. & Petre, I., 2015, Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday. Gheorghe, M., Petre, I., Pérez-Jiménez, M. J., Rozenberg, G. & Salomaa, A. (eds.). Spandugino, p. 196–206

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

• Scenario-based Design and Validation of REST Web Service Compositions

  Rauf, I., Siavashi, F., Truscan, D. & Porres Paltor, I., 2015, Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers. Valérie, M. & Karl-Heinz, K. (eds.). Springer, p. 145–160

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

• Towards Correct and Reusable Network-on-Chip Architectures

  Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2015, Modelling and Simulation of Computer Networks and Systems: Methodologies and Applications. Obaidat, M., Nicopolitidis, P. & Zarai, F. (eds.). Elsevier, p. 357–392

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

  1 Citation (Scopus)

• Towards the Russian Linked Culture Cloud: Data Enrichment and Publishing

  Mouromtsev, D., Haase, P., Chernyi, E., Pavlov, D., Andreev, A. & Spiridonova, A., 2015, The Semantic Web. Latest Advances and New Domains. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (eds.). Springer, p. 637–651 15 p.

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  17 Citations (Scopus)
• 2014

  Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach

  Ostroumov, S., Tsiopoulos, L., Walden, M. & Plosila, J., 2014, Advancing Embedded Systems and Real-Time Communications with Emerging Technologies. Virtanen, S. (ed.). IGI Global, p. 302–333

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

• The Reduction Power of Simple Operations for Gene Assembly in Ciliates

  Azimi Rashti, S. & Petre, I., 2014, Discrete Mathematics and Computer Science. Paun, G. & Marcus, S. (eds.). p. 23–36

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

  Introduction to Cloud Computing Technologies

  Ashraf, A., Hartikainen, M., Hassan, U., Heljanko, K., Lilius, J., Mikkonen, T., Porres Paltor, I., Syeed, M. & Tarkoma, S., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (eds.). TUCS general publications, p. 1–41

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

• Performance Testing in the Cloud using MBPeT

  Abbors, F., Ahmad, T., Truscan, D. & Porres Paltor, I., 2013, Developing Cloud Software : algorithms, applications, and tools. Porres, I., Mikkonen, T. & Ashraf, A. (eds.). TUCS general publications, p. 191–225

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

  File
  28 Downloads (Pure)

• Prediction-Based Virtual Machine Provisioning and Admission Control for Multi-Tier Web Applications

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (eds.). TUCS general publications, p. 71–112

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

• Proactive Virtual Machine Allocation for Video Transcoding in the Cloud

  Jokhio, F., Ashraf, A., Deneke, T., Lafond, S., Porres Paltor, I. & Lilius, J., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (eds.). TUCS general publications, p. 113–143

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

  Hybrid Cellular and Broadcasting Networks

  Gomez-Barquero, D., Unger, P., Nasr, K., Poikonen, J. & Nybom, K., 2012, Pervasive Mobile and Ambient Wireless Communications. Verdone, R. & Zanella, A. (eds.). Springer, p. 547–576

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

• Location-Awareness with Action Systems

  Petre, L., Sere, K. & Walden, M., 2012, Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications. Alencar, P. & Cowan, D. (eds.). IGI Global, p. 463–483

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

• Ontology Driven Smart Space Application Development

  Saleemi, M., Rodríguez N, D., Suenson, E., Lilius, J. & Porres Paltor, I., 2012, Semantic Interoperability: Issues, Solutions, and Challenges. Pileggi, S. & Fernandez-Llatas, C. (eds.). River publishers, p. 101–125

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

• Smart Metering and Customer Consumption Behavior Profiling Exploring Potential Business Opportunities for DSOs and Electricity Retailers

  Liu, H., Eklund, T. & Back, B., 2012, Knowledge Service Engineering Handbook. Kantola, J. & Karwowski, W. (eds.). Taylor & Francis, p. 177–186

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

• Supporting student innovation through project-based learning and industry co-operation

  Roslöf, J., Björkqvist, J. & Virtanen, S., 2012, Innovations 2012: World Innovations in Engineering Education and Research. Aung, W., Ilic, V., Mertanen, O., Moscinski, J. & Uhomoibhi, J. (eds.). iNEER, p. –

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

• Towards Self-Placing Applications on 2D and 3D NoCs

  Petre, L., Sere, K., Tsiopoulos, L., Liljeberg, P. & Plosila, J., 2012, Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification. Cong-Vinh, P. (ed.). CRC Press, p. –

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

  Beyond CRUD

  Rauf, I. & Porres Paltor, I., 2011, REST: From Research to Practice. Wilde, E. & Pautasso, C. (eds.). Springer, p. 117–135

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

• Development of Controllers Using Simulink and Contract-Based Design

  Boström, P., Huova, M., Olszewska, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (eds.). Information science reference IGI, p. 151–169

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

• Development of Safety-Critical Control Systems in Event-B Using FMEA

  Prokhorova, I., Troubitsyna, E., Laibinis, L. & Kharchenko, V., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (eds.). Information science reference IGI, p. 75–91

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

• Measuring the Progress of a System Development

  Olszewska, M. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (eds.). Information science reference IGI, p. 417–441

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  1 Citation (Scopus)

• Network Availability for Distributed Applications

  Petre, L., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (eds.). IGI Global, p. 36–56

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

• Towards Designing FPGA-Based Systems by Refinement in B

  Ostroumov, S., Troubitsyna, E., Laibinis, L. & Kharchenko, V., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (eds.). Information science reference IGI, p. 92–112

  Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
  1 Citation (Scopus)
• 2009

  A New Mathematical Model for the Heat Shock Response

  Petre, I., Mizera, A., Hyder, C., Mikhailov, A., Eriksson, J., Sistonen, L. & Back, R.-J., 2009, Algorithmic bioprocesses. Condon, A., Harel, D., Kok, J. N., Salomaa, A. & Winfree, E. (eds.). Springer, p. 411–425 15 p.

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

• Documenting the Progress of the System Development

  Olszewska, M., Walden, M. & Snook, C., 2009, Methods, Models and Tools for Fault Tolerance. Butler, M., Jones, C. B., Romanovsky, A. & Troubitsyna, E. (eds.). Springer, p. 251–274 (Programming and Software Engineering; vol. 5454).

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

  • System Development 100%
  • Formal Method 100%
  • Case Study 100%
  • Development Process 50%
  • Combined Method 50%
• 2008

  Model-based Testing Using Scenarios and Event-B Refinements

  A Malik, Q., Lilius, J. & Laibinis, L., 2008, Methods, Models and Tools for Fault Tolerance. Butler CJAR, M. & Troubitsyna, E. (eds.). Springer, p. 177–195

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

• SystemC-based Simulation of the MICAS Architecture

  Truscan, D., Sandström, K., Lilius, J. & Porres Paltor, I., 2008, Embedded Systems Specification and Design Languages. Villar, E. (ed.). Springer, p. 87–103

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

  1 Citation (Scopus)
• 2007

  Lyotropic mesomorphism and aggregation in surfactant systems

  Danielsson, I., Rosenholm, J. B., Stenius, P. & Backlund, S., 2007, Colloids and Surfaces. p. 1-11 11 p. (Colloids and Surfaces).

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

• Protocol Processor Design Issues

  Truscan, D., Virtanen, S. & Lilius, J., 2007, Processor Design - System-On-Chip Computing for ASICs and FPGAs. Nurmi & Jari (eds.). Springer, p. 257–285

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

• System Level Simulations

  Virtanen, S., Truscan, D., Määttä, S., Westerlund, T., Isoaho, J. & Nurmi, J., 2007, Processor Design - System-On-Chip Computing for ASICs and FPGAs. Nurmi, J. (ed.). Springer, p. 405–426

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

  Formal Service-Oriented Development of Fault Tolerant Communicating Systems

  Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2006, Rigorous Development of Complex Fault-Tolerant Systems. Springer Berlin / Heidelberg, p. 261–287

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

• Providing Managers with a Visual Cross-Level Analysis Method

  Eklund, T., Collan, M., Länsiluoto, A. & Back, B., 2006, Expanding the Limits of the Possible. Walden, P., Fullér, R. & Carlsson, J. (eds.). Painotalo Gillot, p. 220–240

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

  Code Generation for Embedded Systems

  Björklund, D., Lilius, J. & Porres Paltor, I., 2005, Model Driven Engineering for Distributed Real-time Embedded Systems. Gérard, S., Babau, J.-P. & Champeau, J. (eds.). Hermes Science Publications, p. –

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

• On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications

  Alanen, M., Lilius, J., Porres Paltor, I. & Truscan, D., 2005, Model-Driven Software Development. Beydeda, S., Book, M. & Gruhn, V. (eds.). Springer, p. 305–328

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