From

Institution

Field

Type

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

Reset

Papers matching “compositional semantics” 49

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
A Compositional Semantics for Repairable BDMPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Social Sciences Access Control and Trust Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

0

citations
Compositional workflow modeling with priority constraints
2020 Science of Computer Programming article Business, Management and Accounting Business Process Modeling and Analysis Open access

Behnaz Changizi, Natallia Kokash, Farhad Arbab, Леонид Петрович Махнист

2

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Leakage-Free Probabilistic Jasmin Programs
2025 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

José Bacelar Almeida, Denis Firsov, Tiago Ribeiro De Oliveira, Dominique Unruh

0

citations
Composition of Languages, Models, and Analyses
2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

Carolyn Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, +5 more

13

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab

0

citations
Runtime Composition of Systems of Interacting Cyber-Physical Components
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

5

citations
Degrees of Compositionality (In the Realm of Idioms)
2025 Kriterion – Journal of Philosophy article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Thorben Petersen

0

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
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
Runtime Composition Of Systems of Interacting Cyber-Physical Components
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

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
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

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
Leakage-Free Probabilistic Jasmin Programs
2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Logic, programming, and type systems Open access

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

0

citations
The function of extra negation
2023 Functions of Language article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Egbert Fortuin

1

citations
Perspectives on automated composition of workflows in the life sciences
2021 F1000Research article Decision Sciences Scientific Computing and Data Management Open access

Anna-Lena Lamprecht, Magnus Palmblad, Jon Ison, Veit Schwämmle, Mohammad Sadnan Al Manir, İlkay Altıntaş, +26 more

18

citations
Peer Review Report For: Perspectives on automated composition of workflows in the life sciences [version 1; peer review: 2 approved]
2021 peer-review Decision Sciences Scientific Computing and Data Management Open access

Anna-Lena Lamprecht, Magnus Palmblad, John Ison, Veit Schwämmle, Mohammad Sadnan Al Manir, İlkay Altıntaş, +25 more

0

citations
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
APE in the Wild: Automated Exploration of Proteomics Workflows in the bio.tools Registry
2021 Journal of Proteome Research article Decision Sciences Scientific Computing and Data Management Open access

Vedran Kasalica, Veit Schwämmle, Magnus Palmblad, Jon Ison, Anna-Lena Lamprecht

11

citations
A Semantic Model for Interacting Cyber-Physical Systems
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations