From

Institution

Field

Type

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

Reset

Papers matching “process semantics” 339

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
2023 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

0

citations
Enjoy the silence: Analysis of stochastic Petri nets with silent transitions
2024 Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

22

citations
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations
Generative Datalog with Continuous Distributions
2020 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Database Systems and Queries

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

7

citations
Generative Datalog with Continuous Distributions
2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

5

citations
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

0

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Reusable Neural Guidance for Petri Net Alignments with Replay Verification
2026 Applied Sciences article Business, Management and Accounting Business Process Modeling and Analysis Open access

Alessandro Berti, Wil M. P. van der Aalst

0

citations
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics
2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

7

citations
Explicit versus implicit models: What are good languages for modeling?
2022 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

2

citations
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
2023 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber

2

citations
Context, Composition, Automation, and Communication: The C 2 AC Roadmap for Modeling and Simulation
2024 ACM Transactions on Modeling and Computer Simulation article Decision Sciences Simulation Techniques and Applications

Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, +6 more

19

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

5

citations
Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation
2023 arXiv (Cornell University) preprint Decision Sciences Simulation Techniques and Applications Open access

Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, +6 more

3

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Computer-Interpretable Quality Indicators for Intensive Care Medicine: Development and Validation Study
2025 Journal of Medical Internet Research article Health Professions Electronic Health Records Systems Open access

Falk von Dincklage, Viktor Bublitz, Oliver Kumpf, Carlo Jurth, Reimer Rießen, Maria Deja, +2 more

2

citations
Identification of machine parameters in battery cell production: A comparison of different methods and approaches for mapping parameters
2025 Procedia CIRP article Engineering Digital Transformation in Industry Open access

Wilhelm Jaspers, Arno Schmetz, Achim Kampker

0

citations
An Industry 4.0 Semantic Framework for the Inference of Generic Field Device Capabilities
2025 IEEE Open Journal of the Industrial Electronics Society article Engineering Digital Transformation in Industry Open access

Victor Chavez, Jörg F. Wollert

1

citations
Design of a semantic information model for automated tape placement systems using OPC-UA
2021 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry

Alexander Peitz, Philipp Striet, Michael Emonts, Kai Fischer, Christian Brecher

2

citations
Metadata4Ing: An ontology for describing the generation of research data within a scientific activity.
2025 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Research Data Management Practices Open access

0

citations
Semantic Comparison of Asset Administration Shells
2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry Open access

Torben Miny, Sebastian Heppner, Igor Garmaev, Marko Ristin, Björn Otto, Nico Braunisch, +3 more

0

citations
Data representation in steel pre-fabrication: a multi-modal approach for interoperability, automation and reuse
2025 RWTH Publications (RWTH Aachen) dissertation Engineering BIM and Construction Integration Open access

Victoria Jung

0

citations
Automation of Ultrasonic Monitoring for Resistance Spot Welding Using Deep Learning
2026 Journal of Manufacturing and Materials Processing article Engineering Welding Techniques and Residual Stresses Open access

Ryan Scott, Sheida Sarafan, Lukas Behnen, Andriy M. Chertov, Priti Wanjara, Roman Gr. Maev

2

citations
Grammar of Giants
2020 Scandinavian Studies in Language article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Rasmus Puggaard-Rode

1

citations