World's Best Scientists 2026 revealed!
International Journal on Software Tools for Technology Transfer
H-index 15

International Journal on Software Tools for Technology Transfer

1433-2779

Published by: Springer

https://www.springer.com/journal/10009

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 389 63 98 15

Additional Metrics

Number of Best Scientists*: 68
Documents by Best Scientists*: 99
Top 100 Ranked Scientists*: 1
SCIMAGO H-index: 60
SCIMAGO SJR: 0.376
Impact Factor: 1.4

Overview

Top Research Topics at International Journal on Software Tools for Technology Transfer?

The foci of the journal are Theory of computation, Model checking, Programming language, Theoretical computer science and Software engineering. The Theory of computation study featured falls within the larger field of Algorithm. International Journal on Software Tools for Technology Transfer investigates Algorithm research which frequently intersects with Set (abstract data type).

In addition to Model checking research, it aims to explore topics under Formal verification, Concurrency and Temporal logic. Presentations on Programming language include those discussing Correctness, Formal specification, Java, Software verification and Program analysis. While International Journal on Software Tools for Technology Transfer focused on Theoretical computer science, it was also able to explore topics like State (computer science) and Data structure.

It explores issues in Software engineering which can be linked to other research areas like Software system, Software development and Software construction.

  • Theory of computation (50.00%)
  • Model checking (29.19%)
  • Programming language (27.28%)

What are the most cited papers published in the journal?

  • UPPAAL in a Nutshell (1963 citations)
  • Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems (927 citations)
  • Model Checking JAVA Programs Using Java Pathfinder (731 citations)

Research areas of the most cited articles at International Journal on Software Tools for Technology Transfer:

The most cited papers cover a variety of subjects, including Theory of computation, Model checking, Programming language, Theoretical computer science and Algorithm. In addition to Theory of computation research, the journal publications aim to explore topics under Automaton, Temporal logic, Petri net, Real-time computing and Semantics (computer science). While Model checking is the key highlight in the journal papers, thet also covered some subjects on Formal methods and Formal verification.

What topics the last edition of the journal is best known for?

  • Programming language
  • Operating system
  • Artificial intelligence

The previous edition focused in particular on these issues:

International Journal on Software Tools for Technology Transfer primarily focuses on research topics in Theory of computation, Theoretical computer science, Programming language, Event (computing) and Model checking. While work presented in International Journal on Software Tools for Technology Transfer provided substantial information on Theory of computation, it also covered topics in Runtime verification, Automaton, Correctness, State (computer science) and Software engineering. The journal holds forums on Software engineering that merges themes from other disciplines such as Formal language, Access control, Control (management), Cloud computing and Subroutine.

International Journal on Software Tools for Technology Transfer explores topics in Theoretical computer science which can be helpful for research in disciplines like Consistency (database systems), Sequence, Formalism (philosophy) and Extension (predicate logic). It addresses concerns in Event (computing) which are intertwined with other disciplines, such as Field (computer science), Formal methods, Business process discovery, Software and Computation. The work on Model checking tackled in the journal brings together disciplines like Software quality, Asynchronous communication and Symbolic execution.

The most cited articles from the last journal are:

  • The Probabilistic Model Checker Storm (7 citations)
  • Formal testing of timed graph transformation systems using metric temporal graph logic (4 citations)
  • Static analysis for discovering IoT vulnerabilities (4 citations)

Papers citation over time

A key indicator for each journal is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

The top authors publishing in International Journal on Software Tools for Technology Transfer (based on the number of publications) are:

  • Bernhard Steffen (21 papers) published 5 papers at the last edition,
  • Axel Legay (20 papers) published 2 papers at the last edition, 1 more than at the previous edition,
  • Tiziana Margaria (18 papers) absent at the last edition,
  • Kim Guldstrand Larsen (16 papers) published 2 papers at the last edition, 1 more than at the previous edition,
  • Klaus Havelund (8 papers) published 2 papers at the last edition.

The overall trend for top authors publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top authors.

Only papers with recognized affiliations are considered

The top affiliations publishing in International Journal on Software Tools for Technology Transfer (based on the number of publications) are:

  • French Institute for Research in Computer Science and Automation (29 papers) absent at the last edition,
  • University of Twente (26 papers) published 3 papers at the last edition, 2 more than at the previous edition,
  • Aalborg University (23 papers) published 3 papers at the last edition, 1 more than at the previous edition,
  • Technical University of Dortmund (23 papers) published 4 papers at the last edition,
  • Carnegie Mellon University (21 papers) published 1 paper at the last edition.

The overall trend for top affiliations publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions in the journal edition to all articles published within that journal. The best research institutions were selected based on the largest number of articles published during all editions of the journal.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2021 edition, 13.56% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 31.37% were posted by at least one author from the top 10 institutions publishing in the journal. Another 17.65% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 19.61% of all publications and 31.37% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of journals they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same journal from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the journal in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing in a journal. The index includes the authors publishing at the last edition of a journal, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Additional Career Opportunities in Theoretical Computer Science and Software Engineering

Apart from attracting academic researchers and scholars, studies published in the International Journal on Software Tools for Technology Transfer also cater to those interested in practical applications such as teachers in secondary and higher education institutes. These individuals utilize the latest findings to enhance their curriculum and offer up-to-date education to their students who may aspire to contribute to these fields in the future. Whether considering a career in academia or in secondary and higher education, understanding the research topics addressed in this journal serves as a benchmark for the knowledge required in this field. For those interested in becoming teachers in fields related to theoretical computer science and software engineering, equipping oneself with this knowledge is a key step forward. For example, if you are wondering {how long does it take to become a teacher in Minnesota}, it would be beneficial to also familiarize yourself with topics such as theory of computation, model checking, and programming language. This will not only reinforce your professional qualifications but also enhance your teaching skills, therefore preparing you for a successful teaching career in Minnesota or any other region.

Top Publications

  • The probabilistic model checker Storm

    Christian Hensel;Sebastian Junges;Joost-Pieter Katoen;Tim Quatmann

    (2021)
    139 Citations
  • AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

    Dejan Ničković;Olivier Lebeltel;Oded Maler;Thomas Ferrère

    (2020)
    49 Citations
  • Learning Moore machines from input–output traces

    Georgios Giantamidis;Stavros Tripakis;Stylianos Basagiannis

    (2021)
    36 Citations
  • Rigorous engineering of collective adaptive systems: special section

    Rocco De Nicola;Stefan Jähnichen;Martin Wirsing

    (2020)
    33 Citations
  • OC-PM: analyzing object-centric event logs and process models

    (2022)
    32 Citations
  • Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

    Dominik Hansen;Michael Leuschel;Philipp Körner;Sebastian Krings

    (2020)
    23 Citations
  • Swarm model checking on the GPU

    Richard DeFrancisco;Shenghsun Cho;Michael Ferdman;Scott A. Smolka

    (2020)
    22 Citations
  • Scenario-based verification of uncertain parametric MDPs

    (2021)
    21 Citations
  • Algebraic aggregation of random forests: towards explainability and rapid evaluation

    Frederik Gossen;Bernhard Steffen

    (2021)
    20 Citations
  • DFT modeling approach for operational risk assessment of railway infrastructure

    (2022)
    18 Citations

Related Online Degrees & Career Pathways

For students considering Computer Science in the USA, exploring flexible and accelerated education options can be highly beneficial. Many students opt for online doctorate degrees to advance their expertise without the constraints of traditional timelines. These programs often offer a blend of research and practical application, ideal for those aiming for leadership roles.

If a quicker route is preferred, 1 year masters program options are increasingly popular. They allow graduates to pivot their careers swiftly or deepen their knowledge in niche areas like artificial intelligence or cybersecurity without a lengthy commitment.

For those focused on immediate career benefits, short careers that pay well present attractive alternatives. These programs combine industry relevance with financial returns, helping students enter the workforce faster while maintaining competitive salaries.

Ultimately, choosing from the top degrees in demand for the future can secure long-term job stability and growth. Computer Science consistently ranks among these top majors, underlining its importance in the evolving tech landscape.

Best Scientists Contributing to This Journal

Recently Published Articles