From

Institution

Field

Type

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

Reset

Papers matching “constraint checking” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Certifying Constraints in Hardware Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

0

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
Liveness Proofs for Hardware Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko

0

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 Business, Management and Accounting Business Process Modeling and Analysis

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

7

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
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

Valentin Promies, Erika Ábrahám

3

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
Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations
2025 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Michael Winter, Bowen Chen, Tobias Kleinert

1

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Lessons Learned from a Field Study on Deep-Learning-Based Model Predictive Control for Optimizing the Operation of Façade Ventilation Units
2025 Building Simulation Conference proceedings conference-paper Engineering Building Energy and Comfort Optimization Open access

Clara-Larissa Lorenz, Oliver Abele, Jérôme Frisch, Christoph van Treeck

0

citations

12 results