From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “software tools” 398

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

AstroECP: towards more practical Electron Channeling Contrast Imaging
2025 PubMed Central article Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access

M. Haroon Qaiser, Lukas Berners, Robin J. Scales, Tianbi Zhang, Jiří Dluhoš, Sandra Korte‐Kerzel, +1 more

0

citations
Designing a simulation framework to develop and evaluate an eco-routing strategy
2024 International Journal of Vehicle Design article Engineering Traffic control and management Open access

Yiqun Xia, Vincent Quast, Xuejing Luo, Lutz Eckstein

0

citations
LIDA: The Leiden Ice Database for Astrochemistry
2022 Astronomy and Astrophysics article Physics and Astronomy Astrophysics and Star Formation Studies Open access

W. R. M. Rocha, M. G. Rachid, Bart Olsthoorn, Ewine F. van Dishoeck, Melissa K. McClure, H. Linnartz

59

citations
Easy-MODA: Simplifying standardised registration of scientific simulation workflows through MODA template guidelines powered by the Enalos Cloud Platform
2024 Computational and Structural Biotechnology Journal article Decision Sciences Scientific Computing and Data Management Open access

Panagiotis D. Kolokathis, Nikolaos K. Sidiropoulos, Dimitrios Zouraris, Dimitra‐Danai Varsou, Dimitris G. Mintis, Andreas Tsoumanis, +18 more

13

citations
Methodology for the self-optimizing determination of additive manufacturing process eligibility and optimization potentials in toolmaking
2022 Procedia CIRP article Engineering Additive Manufacturing Materials and Processes Open access

Tammo Dannen, Benedikt Schindele, Marcel Prümmer, Kristian Arntz, Thomas Bergs

3

citations
Simulator Coupled with Distributed Co-Simulation Protocol for Automated Driving Tests
2021 Automotive Innovation article Computer Science Modeling and Simulation Systems Open access

Max‐Arno Meyer, Lina Sauter, Christian Granrath, Hassen Hadj-amor, Jakob Andert

14

citations
Context is all you need: Toward autonomous model‐based process design using agentic AI in flowsheet simulations
2026 AIChE Journal article Engineering Process Optimization and Integration Open access

Pascal Schäfer, Lukáš Krinke, Martin Wlotzka, Norbert Asprion

5

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

3

citations
Model-driven engineering for mobile robotic systems: a systematic mapping study
2021 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann, Patrizio Pelliccione

45

citations
OC-PM: analyzing object-centric event logs and process models
2022 International Journal on Software Tools for Technology Transfer article Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 1 patent

Alessandro Berti, Wil M. P. van der Aalst

54

citations
Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

5

citations
Developing of an ontology-based decision support system for securing experiential knowledge in toolmaking
2024 Procedia CIRP article Computer Science Semantic Web and Ontologies Open access

Tom Pauli, Tammo Dannen, Philipp Niemietz, Christian Lürken, Thomas Bergs

0

citations
How to define modeling languages?
2023 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
BayesMultiMode : Bayesian Mode Inference in R
2026 Journal of Statistical Software article Computer Science Bayesian Methods and Mixture Models Open access

Nalan Baştürk, Jamie L. Cross, Peter de Knijff, Lennart F. Hoogerheide, Paul Labonne, Herman K. van Dijk

0

citations
MBFair: a model-based verification methodology for detecting violations of individual fairness
2024 Software & Systems Modeling article Social Sciences Ethics and Social Impacts of AI Open access

Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab

1

citations
fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform
2021 ACM Transactions on Mathematical Software article Engineering Advanced Numerical Methods in Computational Mathematics Open access

Lambert Theisen, Manuel Torrilhon

13

citations
Implementation of a continuous delivery pipeline for enterprise architecture model evolution
2020 Software & Systems Modeling article Business, Management and Accounting Information Technology Governance and Strategy Open access

Alex R. Sabau, Simon Hacks, Andreas Steffens

8

citations
Towards a Semantically Useful Definition of Conformance with a Reference Model.
2024 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Marco Konersmann, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Valdes Voufo

5

citations
Model-Driven Code Generation for Microservices: Service Models
2023 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Model-Driven Software Engineering Techniques Open access

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

1

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

246

citations
DFT modeling approach for operational risk assessment of railway infrastructure
2022 International Journal on Software Tools for Technology Transfer article Decision Sciences Risk and Safety Analysis Open access

Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen

20

citations
Algorithm 1044: PyGenStability, a Multiscale Community Detection Framework with Generalized Markov Stability
2024 ACM Transactions on Mathematical Software article Physics and Astronomy Complex Network Analysis Techniques Open access

Alexis Arnaudon, Dominik J. Schindler, Robert Lucien Peach, Adam Gosztolai, Maxwell Hodges, Michael T. Schaub, +1 more

11

citations
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
GemGIS - Spatial Data Processing for Geomodeling
2022 The Journal of Open Source Software article Earth and Planetary Sciences Geological Modeling and Analysis Open access

Alexander Jüstel, Arthur Endlein Correira, Marius Pischke, Miguel de la Varga, Florian Wellmann

7

citations
What is the best algorithm for MDP model checking?
2025 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Tim Quatmann

4

citations