From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Computational Guidance & Navigation for Bearings-Only Rendezvous – methods and outcomes of GUIBEAR
2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Spacecraft Dynamics and Control Open access

Pedro Serra, Pedro Lourenço, José Briz Valero, Marco Mammarella, T. V. Peters, Dario Mora Portela, +6 more

1

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

15

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Model Checking the Multi-Formalism Language FIGARO
2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

7

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
A Semantic Model for Interacting Cyber-Physical Systems
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
A philosophical perspective on the prenatal in utero microbiome debate
2021 Microbiome article Biochemistry, Genetics and Molecular Biology Gut microbiota and health Open access

Jens Walter, Mathias Walter Hornef

73

citations
Countering the Cognitive, Linguistic, and Psychological Underpinnings Behind Susceptibility to Fake News: A Review of Current Literature With Special Focus on the Role of Age and Digital Literacy
2021 Frontiers in Communication article Social Sciences Misinformation and Its Impacts Open access

Stefan Daniel Michel Gaillard, Zoril A Oláh, S.F.A.L. Venmans, Michael Burke

37

citations
Information measures and design issues in the study of mortality deceleration: findings for the gamma-Gompertz model
2021 Lifetime Data Analysis article Social Sciences Insurance, Mortality, Demography, Risk Management Open access

Marie Böhnstedt, Jutta Gampe, Hein Putter

6

citations

9 results