From

Institution

Field

Type

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

Reset

Papers matching “constraint checking” 22

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

3

citations
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
From symbolic constraint automata to Promela
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Hui Juan Feng, Marcello Bonsangue, Benjamin Lion

2

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
LISSU: Continuous Monitoring of SOA Communication with Constraint-Based Validation
2022 SN Computer Science article Computer Science Service-Oriented Architecture and Web Services Open access

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

5

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

Michael von Wenckstern

2

citations
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
2023 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

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

1

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 Polynomial and algebraic computation Open access

Valentin Promies, Erika Ábrahám

3

citations
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
2026 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Gereon Kremer

1

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

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
Applying aspiration in local search for satisfiability
2020 PLoS ONE article Computer Science Constraint Satisfaction and Optimization Open access

Peng Cong, XU Zhong-wei, Meng Mei

5

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

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

10

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Polynomial and algebraic computation Open access

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

0

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
Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies
2026 arXiv (Cornell University) preprint Computer Science Digital Rights Management and Security Open access

Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Sandra Geisler, +2 more

0

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
2026 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson, Álvaro García González, Gianmarco Ricci, +1 more

0

citations
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
2026 CERN Document Server (European Organization for Nuclear Research) article Computer Science Adversarial Robustness in Machine Learning Open access

Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson, Álvaro García González, Gianmarco Ricci, +1 more

0

citations
Breaking the Scalability Barrier of Content Addressable Memories: A Probabilistic Alternative for Large-Key Associative Search
2026 ACM Transactions on Reconfigurable Technology and Systems article Computer Science Network Packet Processing and Optimization Open access

Arish Sateesan, Jo Vliegen, Nele Mentens

0

citations

22 results