From

Institution

Field

Type

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

Reset

Papers matching “constraint checking” 35

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Modeling the composition of analysis components and automatic constraint checking for semantic soundness
2025 Journal of Systems and Software article Computer Science Model-Driven Software Engineering Techniques Open access

Bahareh Taghavi, Sebastian Weber, Bernhard Rumpe⋆, Sebastian Stüber, Jörg Henß, Thomas R. Weber, +1 more

2

citations
Checking Constraints for Object-Centric Process Executions
2024 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Tian Li, Gyunam Park, Wil M. P. van der Aalst

1

citations
LISSU: Continuous Monitoring of SOA Communication with Constraint-Based Validation
2022 SN Computer Science article Computer Science Semantic Web and Ontologies Open access

Johannes Lipp, Moritz Kröger, Benedikt Heinrichs, Stefan Decker

5

citations
Mining Behavioral Patterns for Conformance Diagnostics
2024 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis cited by 2 patents

Eduardo Goulart Rocha, Sebastiaan J. van Zelst, Wil M. P. van der Aalst

2

citations
OCPQ: Object-Centric Process Querying and Constraints
2025 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Aaron Küsters, Wil M. P. van der Aalst

9

citations
OC-DECLARE: Discovering Object-Centric Declarative Patterns with Synchronization
2025 Lecture notes in computer science conference-paper Computer Science Advanced Database Systems and Queries

Aaron Küsters, Wil M. P. van der Aalst

6

citations
Extracting declarative constraints for process modeling from natural language descriptions with large language models
2026 Decision Support Systems article Business, Management and Accounting Business Process Modeling and Analysis

Gyunam Park, Julian Kofferath, Minsu Cho

2

citations
Improving the Model-Based Systems Engineering Process
2022 Springer eBooks book-chapter Computer Science Advanced Software Engineering Methodologies Open access

Michael von Wenckstern

2

citations
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

1

citations
Queueing-based methods for timetable-independent performance analysis of railway nodes
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Railway Systems and Energy Efficiency Open access

Tamme Emunds

0

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

citations
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Valentin Promies, Erika Ábrahám

3

citations
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
2026 Mathematics in Computer Science article Engineering Advanced Numerical Analysis Techniques Open access

Jasper Nalbach, Gereon Kremer

1

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Erich Grädel, Val Tannen

1

citations
Achieving parametric transparency in model-based factory planning
2021 Production Engineering article Engineering Manufacturing Process and Optimization Open access

Peter Burggräf, Thomas Bergs, Matthias Dannapfel, Andreas Korff, Matthias Ebade Esfahani, Antonia Splettstoesser, +1 more

5

citations
Tool-assisted Concretization of Object-oriented Reference Models and Design Patterns
2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access

Felix Jordan, Bernhard Rumpe⋆, Max Stachon

0

citations
More is Less: Adding Polynomials for Faster Explanations in NLSAT
2025 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám

0

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
LLM-driven design of physics-constrained constitutive models: Two agents are better than one
2026 Machine learning for computational science and engineering article Physics and Astronomy Model Reduction and Neural Networks Open access

M. Tacke, M. Busch, Kian Abdolazizi, Jonas Eichinger, Kevin Linka, Roland Can Aydin, +1 more

0

citations
Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations
2025 conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Michael Winter, Bowen Chen, Tobias Kleinert

1

citations
plan4res D2.2 - Case Study 1 Report - Multimodal energy concept for achieving Europe's carbon reduction goals
2021 Zenodo (CERN European Organization for Nuclear Research) report Social Sciences Social Acceptance of Renewable Energy Open access

Dieter Most, Lothar Wyrwoll, Carlo Schmitt, Inci Yueksel-Erguen

4

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

0

citations
Time-domain computing in hardware accelerators for edge applications
2025 RWTH Publications (RWTH Aachen) dissertation Engineering VLSI and FPGA Design Techniques Open access

Jie Lou, Tobias Gemmeke, Nima TaheriNejad

0

citations
A mixed formulation for physics-informed neural networks as a potential solver for engineering problems in heterogeneous domains: comparison with finite element method
2022 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Shahed Rezaei, Ali Harandi, Ahmad Moeineddin, Bai‐Xiang Xu, Stefanie Reese

215

citations