E-LIB Suche - Ergebnisse für: Beckert, Bernhard

1

On Rounding Errors in the Simulation of Quantum Circuits:

, In: Lecture Notes in Computer Science; Service-Oriented Computing – ICSOC 2023 Workshops,

Klamroth, Jonas ; Beckert, Bernhard - p. 137-149 , 2024

2

Contract Automata: A Specification Language for Mode-Based ..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),

Weigl, Alexander ; Bachmeier, Joshua ; Beckert, Bernhard. - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

3

Formally Verifying an Efficient Sorter:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beckert, Bernhard ; Sanders, Peter ; Ulbrich, Mattias.. - p. 268-287 , 2024

Link: https://doi.org/10.1007/..

4

Policy iteration for value set analysis of PLC programs

Aachener Informatik-Berichte (AIB) ; 2023, 01;Technical report / Department of Computer Science, RWTH Aachen

Völker, Marcus , April 2023

Link: https://nbn-resolving.de..

5

Consistency in the View-Based Development of Cyber-Physical..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Reussner, Ralf ; Schaefer, Ina ; Beckert, Bernhard.. - p. 83-84 , 2023

Link: https://doi.org/10.1109/..

6

QIn: Enabling Formal Methods to Deal with Quantum Circuits:

, In: 2023 IEEE International Conference on Quantum Software (QSW),

Klamroth, Jonas ; Beckert, Bernhard ; Scheerer, Max. - p. 175-185 , 2023

Link: https://doi.org/10.1109/..

7

Static Capability-Based Security for Smart Contracts:

, In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),

Schiffl, Jonas ; Weigl, Alexander ; Beckert, Bernhard - p. 110-117 , 2023

Link: https://doi.org/10.1109/..

8

Why Is Online Voting Still Largely a Black Box?:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,

Kirsten, Michael ; Volkamer, Melanie ; Beckert, Bernhard - p. 555-567 , 2023

Link: https://doi.org/10.1007/..

9

Static Capability-Based Security for Smart Contracts:

Schiffl, Jonas ; Weigl, Alexander ; Beckert, Bernhard
info:eu-repo/semantics/altIdentifier/doi/10.1109/DAPPS57946.2023.00024. , 2023

Link: https://publikationen.bi..

10

Formally Verified Algorithmic Fairness using Information-Fl..:

Teuber, Samuel ; Beckert, Bernhard
CEUR Workshop Proceedings. , 2023

Link: https://publikationen.bi..

11

Contract Machines: An Engineer-friendly Specification Langu..:

Bachmeier, Joshua ; Weigl, Alexander ; Beckert, Bernhard
https://publikationen.bibliothek.kit.edu/1000165642. , 2023

Link: https://publikationen.bi..

12

An Information-Flow Perspective on Algorithmic Fairness:

Teuber, Samuel ; Beckert, Bernhard
http://arxiv.org/abs/2312.10128. , 2023

Link: http://arxiv.org/abs/231..

13

Contract Automata: A Specification Language for Mode-Based ..:

Weigl, Alexander ; Bachmeier, Joshua ; Beckert, Bernhard.
https://publikationen.bibliothek.kit.edu/1000164563. , 2023

Link: https://publikationen.bi..

14

Towards a Usable and Sustainable Deductive Verification Too:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner. - p. 281-300 , 2022

Link: https://doi.org/10.1007/..

15

The Logic of Software. A Tasting Menu of Formal Methods: Es..

Lecture Notes in Computer Science, 13360

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..