I agree that this site is using cookies. You can find further informations here.
X
Beckert, Bernhard
183  results:
Search for persons X
?
1

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/..
 
?
2

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
Link: https://doi.org/10.1007/..
 
?
3

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..
 
?
4

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/..
 
?
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

Generalized Test Tables: A Domain-Specific Specification La..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Beckert, Bernhard ; Ulbrich, Mattias ; Vogel-Heuser, Birgit. - p. 7-13 , 2022
Link: https://doi.org/10.1007/..
 
?
9

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/..
 
?
10

Modeling and Enforcing Access Control Policies for Smart Co..:

, In: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),
Toberg, Jan-Philipp ; Schiffl, Jonas ; Reiche, Frederik... - p. 38-47 , 2022
Link: https://doi.org/10.1109/..
 
?
11

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/..
 
?
12

Application concept and evaluation of a formal specificatio..:

Cha, Suhyun , 2021
Link: http://nbn-resolving.de/..
 
?
13

Towards Correct Smart Contracts: A Case Study on Formal Ver..:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,
Schiffl, Jonas ; Grundmann, Matthias ; Leinweber, Marc... - p. 125-130 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Table‐based formal specification approaches for control eng..:

Cha, Suhyun ; Vogel‐Heuser, Birgit ; Weigl, Alexander..
IET Cyber-Physical Systems: Theory & Applications.  6 (2021)  4 - p. 193-207 , 2021
Link: https://doi.org/10.1049/..
 
?
15

Towards Classes of Architectural Dependability Assurance fo..:

, In: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Scheerer, Max ; Klamroth, Jonas ; Reussner, Ralf. - p. 31-37 , 2020
Link: https://doi.org/10.1145/..
 
1-15