Bernhard Beckert
Karlsruher Institut für Technologie
H-index: 34
Europe-Germany
Top articles of Bernhard Beckert
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Formally verifying an efficient sorter | Bernhard Beckert Peter Sanders Mattias Ulbrich Julian Wiesler Sascha Witt | 2024/4/4 | |
An Information-Flow Perspective on Algorithmic Fairness | Proceedings of the AAAI Conference on Artificial Intelligence | Samuel Teuber Bernhard Beckert | 2024/3/24 |
LOS 1: FORMAL VERIFICATION OF COMPLEX SOFTWARE SYSTEMS–A STUDY | Bernhard Beckert Oliver Denninger Jonas Klamroth Max Scheerer Jörg Henß | 2023/7/21 | |
Static Capability-Based Security for Smart Contracts | Jonas Schiffl Alexander Weigl Bernhard Beckert | 2023/7/17 | |
QIn: Enabling Formal Methods to Deal with Quantum Circuits | Jonas Klamroth Bernhard Beckert Max Scheerer Oliver Denninger | 2023/7/2 | |
Contract Machines: An Engineer-friendly Specification Language for Mode-Based Systems | Joshua Bachmeier Alexander Weigl Bernhard Beckert | 2023 | |
On Rounding Errors in the Simulation of Quantum Circuits | Jonas Klamroth Bernhard Beckert | 2023/11/28 | |
Contract Automata: A Specification Language for Mode-Based Systems | Alexander Weigl Joshua Bachmeier Bernhard Beckert Mattias Ulbrich | 2023 | |
Consistency in the View-Based Development of Cyber-Physical Systems (Convide) | Ralf Reussner Ina Schaefer Bernhard Beckert Anne Koziolek Erik Burger | 2023/10/1 | |
Formally Verified Algorithmic Fairness using Information-Flow Tools | Proceedings of the 2nd European Workshop on Algorithmic Fairness, Ed.: J. Alvarez | Samuel Teuber Bernhard Beckert | 2023 |
Recent Developments in the Context of Online Elections and Digital Polls in Germany | Bernhard Beckert Jurlind Budurushi Armin Grunwald Robert Krimmer Oksana Kulyk | 2022 | |
Towards a usable and sustainable deductive verification tool | Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich | 2022/10/17 | |
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems | Bernhard Beckert Mattias Ulbrich Birgit Vogel-Heuser Alexander Weigl | 2022/9/27 | |
Why Is Online Voting Still Largely a Black Box? | Michael Kirsten Melanie Volkamer Bernhard Beckert | 2022/9/26 | |
Modeling and enforcing access control policies for smart contracts | Jan-Philipp Töberg Jonas Schiffl Frederik Reiche Bernhard Beckert Robert Heinrich | 2022/8/15 | |
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday | Wolfgang Ahrendt Bernhard Beckert Richard Bubel Einar Broch Johnsen | 2022/7/4 | |
Modeling and Verifying Access Control for Ethereum Smart Contracts | Inst. of Inf. Secur. and Dependability (KASTEL) | Frederik Reiche Jonas Schiffl Bernhard Beckert Robert Heinrich Ralf Reussner | 2021/5 |
Electronic Voting | Robert Krimmer Jordi Barrat i Esteve | 2022/7/18 | |
Table‐based formal specification approaches for control engineers—empirical studies of usability | IET Cyber‐Physical Systems: Theory & Applications | Suhyun Cha Birgit Vogel‐Heuser Alexander Weigl Mattias Ulbrich Bernhard Beckert | 2021/12 |
Aktuelle Entwicklungen im Kontext von Online-Wahlen und digitalen Abstimmungen | Bernhard Beckert Jurlind Budurushi Armin Grunwald Robert Krimmer Oksana Kulyk | 2021/9/10 |