Informationsteknologi

Forskningsresultat

Publikationer per år 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8397 Citeringar
• 39 h-index
• 549 Konferensbidrag
• 230 Artikel
• 148 Beställd rapport
• 56 Kapitel
• 86 Mer
  • 27 Doktorsavhandling
  • 25 Antologi/redigerad tidskrift
  • 17 Övriga bidrag
  • 4 Översiktsartikel
  • 3 Sammanfattning
  • 2 Magisteruppsats
  • 1 Förord/efterord
  • 1 Poster
  • 1 Kommentar/debatt
  • 1 Konferensartikel
  • 1 Ledare
  • 1 Komposition
  • 1 Licentiatuppsats
  • 1 Arbetsdokument

Publikationer per år

Publikationer per år

Sökresultat

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

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

  • Intrusion Detection System 100%
  • Security Attack 100%
  • Security Attack Detection 100%
  • Real-time Security 100%
  • Network Traffic 66%
  2 Citeringar (Scopus)

  26 Nedladdningar (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. (red.). Springer, s. 127-159

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

  • Metamorphic Testing 100%
  • Fault Localization 100%
  • Failure Diagnosis 66%
  • Test Oracle 66%
  • Root Cause Analysis 66%
  2 Citeringar (Scopus)
• 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. (red.). The Institution of Engineering and Technology, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig

• Preface

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 19–52

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  6 Citeringar (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, s. 88-105 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS)( Programming and Software Engineering).

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

  • Signal Processing 100%
  • Data Flow Graph 100%
  • Functional Specification 100%
  • Specialized Architectures 100%
  • Design Tools 100%
  2 Citeringar (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. (red.). Springer, s. 170–181

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  11 Citeringar (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. (red.). World Scientific Publishing, s. 1–32

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  6 Citeringar (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. (red.). CRC Press, s. 125–139

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). CRC Press, s. 171–185

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  4 Citeringar (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. (red.). CRC Press, s. 201–214

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 142–152 11 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  4 Citeringar (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. (red.). John Wiley & Sons, s. 159–196

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

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

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

  Fil
  3 Citeringar (Scopus)

  35 Nedladdningar (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. (red.). Spandugino, s. 196–206

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 145–160

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Elsevier, s. 357–392

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

  1 Citeringar (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. (red.). Springer, s. 637–651 15 s.

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  17 Citeringar (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. (red.). IGI Global, s. 302–333

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). s. 23–36

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). TUCS general publications, s. 1–41

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). TUCS general publications, s. 191–225

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

  Fil
  25 Nedladdningar (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. (red.). TUCS general publications, s. 71–112

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). TUCS general publications, s. 113–143

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 547–576

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). IGI Global, s. 463–483

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). River publishers, s. 101–125

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Taylor & Francis, s. 177–186

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). iNEER, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). CRC Press, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
• 2011

  Beyond CRUD

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Information science reference IGI, s. 151–169

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Information science reference IGI, s. 75–91

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Information science reference IGI, s. 417–441

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  1 Citeringar (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. (red.). IGI Global, s. 36–56

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Information science reference IGI, s. 92–112

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
  9 Citeringar (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. (red.). Springer, s. 251–274 (Programming and Software Engineering; vol. 5454).

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 177–195

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 87–103

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

  1 Citeringar (Scopus)
• 2007

  Lyotropic mesomorphism and aggregation in surfactant systems

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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 (red.). Springer, s. 257–285

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

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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, s. 261–287

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Painotalo Gillot, s. 220–240

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Hermes Science Publications, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). Springer, s. 305–328

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