Not finding it? Sign in to also search OpenAlex live.
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design.2020 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access
Arvid Butting, Robert Eikermann, Katrin Hölldobler, Nico Jansen, Bernhard Rumpe⋆, Andreas Wortmann
10citations -
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆
8citations -
On identifying possible artificial intelligence applications in requirements engineering processes2023 Forschung im Ingenieurwesen article Computer Science Software Engineering Techniques and Practices Open access
Simon Dehn, Georg Jacobs, Thilo Zerwas, Joerg Berroth, Matthis Hötter, Matthias Korten, +3 more
10citations -
Towards a resource for multilingual lexicons: an MT assisted and human-in-the-loop multilingual parallel corpus with multi-word expression annotation2026 Language Resources and Evaluation article Computer Science Natural Language Processing Techniques Open access
Lifeng Han, Najet Hadj Mohamed, Malak Rassem, Gareth J. F. Jones, Alan F. Smeaton, Goran Nenadić
1citations -
DiBiMT : A Gold Evaluation Benchmark for Studying Lexical Ambiguity in Machine Translation2024 Computational Linguistics article Computer Science Natural Language Processing Techniques Open access
Federico Martelli, Stefano Parrella, Niccolò Campolungo, Tina Munda, Svetla Koeva, Carole Tiberius, +1 more
2citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations