Information Technology

Publications

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

• 7756 Citations
• 38 h-index
• 538 Conference contribution
• 229 Article
• 148 Commissioned report
• 56 Chapter
• 84 More
  • 27 Doctoral Thesis
  • 26 Edited Book/Edited Journal
  • 16 Other contribution
  • 4 Review Article or Literature Review
  • 3 Abstract
  • 1 Foreword/postscript
  • 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

• Edited Book/Edited Journal

  A Magician in Science: Liber Amicorum Grzegorz Rozenberg

  Azimi Rashti, S. (ed.), Jan Hoogeboom, H. (ed.), Kleijn, J. (ed.), van der Nat, M. (ed.), Petre, I. (ed.) & Salomaa, A. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › General public

• At the Intersection of Computer Science with Biology, Chemistry and Physics: In Memory of Solomon Marcus

  Paun, G. (ed.), Petre, I. (ed.), Rozenberg, G. (ed.) & Salomaa, A. (ed.), 2017, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Computability in Europe 2017

  Azimi Rashti, S. (ed.), Jalonen, J. (ed.), Kari, J. (ed.) & Petre, I. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• CyberSecurity in a DevOps Environment: From Requirements to Monitoring

  Sadovykh, A. (ed.), Truscan, D. (ed.), Mallouli, W. (ed.), Cavalli, A. R. (ed.), Seceleanu, C. (ed.) & Bagnto, A., Dec 2023, Springer. 324 p.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Continuous Monitoring 100%
  • Software Security 50%
  • Security Specification 50%
  • Security Engineering 50%
  • Security Analysis 50%

• Dependability and Computer Engineering: Concepts for Software-Intensive Systems

  Petre, L. (ed.), Sere, K. (ed.) & Troubitsyna, E. (ed.), 2011, IGI Global.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
  4 Citations (Scopus)

• Developing Cloud Software: Algorithms, Applications, and Tools

  Porres Paltor, I. (ed.), Mikkonen, T. (ed.) & Ashraf, A. (ed.), 2013, TUCS general publications.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

  Dongol, B. (ed.), Petre, L. (ed.) & Smith, G. (ed.), 2019, Springer Verlag.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• From Action Systems to Distributed Systems - The Refinement Approach

  Petre, L. & Sekerinski, E., 2016, Chapman and Hall/CRC.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• From Computer Science to Biology and Back

  Merelli, E. (ed.) & Petre, I. (ed.), 2015, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Integrated Formal Methods, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings

  Broch Johnsen, E. & Petre, L., 2013, Springer. (Lecture Notes in Computer Science; vol. 7940)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• Integrated Formal Methods, Third International Conference, {IFM} 2002, Turku, Finland, May 15-18, 2002, Proceedings

  Butler, M., Petre, L. & Sere, K., 2002, Springer. (Lecture Notes in Computer Science; vol. 2335)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS)

  Schieferdecker, I. (ed.), Willcock, C. (ed.) & Truscan, D. (ed.), 2011, IGI Global.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday

  Gheorghe, M. (ed.), Petre, I. (ed.), Pérez-Jiménez, M. J. (ed.), Rozenberg, G. (ed.) & Salomaa, A. (ed.), 2015, Spandugino.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• NODES 07: Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007: abstracts

  Petre, L. (ed.), Sere, K. (ed.), Troubitsyna, E. (ed.) & Johnsen, EB. (ed.), 2007, Åbo Akademi University.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• NWPT 2017 - Special issue

  Walden, M. (ed.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

  File
  17 Downloads (Pure)

• Proceedings of 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05)

  Lilius, J. (ed.), Truscan, D. (ed.), Machado, R. J. (ed.) & Miguel Fernandes, J. (ed.), May 2005, Finland: TUCS general publications. 134 p.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

  File

  • model-driven development 100%
  • Software 100%
  • Embedded Software 100%
  • platform independent model 50%
  • Automatic Code Generation 25%
  15 Downloads (Pure)

• Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts

  Sere, K. (ed.) & Walden, M. (ed.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; vol. 03-34)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Volume 100%
  • Presentation 100%
  • Congressional Report 100%

• Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010

  Walden, M. (ed.) & Petre, L. (ed.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; no. 57)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (ed.), Hallerstede, S. (ed.) & Walden, M. (ed.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; no. 18)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005)

  Lilius, J. (ed.), Machado, RJ. (ed.), Truscan, D. (ed.), Fernandes, JM. (ed.) & Porres Paltor, I. (ed.), 2005, Nordic Journal of Computing.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Special issue of the 15th Nordic Workshop on Programming Theory

  Sere, K. (ed.) & Walden, M. (ed.), 2004, 2 ed. Turku, Finland: Nordic Journal of Computing.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Turku 100%

• The 12th International CDIO Conference: Proceedings - Full Papers

  Björkqvist, J. (ed.), Edström, K. (ed.), Hugo, R. J. (ed.), Kontio, J. (ed.), Roslöf, J. (ed.), Sellens, R. (ed.) & Virtanen, S. (ed.), 2016, Turun ammattikorkeakoulu. (Proceedings of the International CDIO Conference)(Research Reports from Turku University of Applied Sciences)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• The 22nd Nordic Workshop on Programming Theory (NWPT 2010)

  Walden, M. (ed.) & Petre, L. (ed.), 2012, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• Unveiling Dynamics and Complexity

  Kari, J. (ed.), Manea, F. (ed.) & Petre, I. (ed.), 2017, Springer.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

  Bert, D. (ed.), Bowen, J. (ed.), King, S. (ed.) & Walden, M. (ed.), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • User 100%
  • Formal Specification 50%
  • Academia 50%
  • Specifications 50%
  • Computer 50%