Alexander Weigl
Karlsruher Institut für Technologie
H-index: 9
Europe-Germany
Top articles of Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
arXiv preprint arXiv:2401.14320
2024/1/25
Method of forming an electrical metal contact and method of producing a vertical cavity surface emitting laser
2024/1/2
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
2023/11/6
Gidon Ernst
H-Index: 10
Alexander Weigl
H-Index: 6
Formal specification and verification of JDK’s identity hash map implementation
Formal Aspects of Computing
2023/9/13
Alexander Weigl
H-Index: 6
Static Capability-Based Security for Smart Contracts
2023/7/17
Contract Machines: An Engineer-friendly Specification Language for Mode-Based Systems
2023
Alexander Weigl
H-Index: 6
Bernhard Beckert
H-Index: 15
Contract Automata: A Specification Language for Mode-Based Systems
2023
Alexander Weigl
H-Index: 6
Bernhard Beckert
H-Index: 15
Are Formal Contracts a useful Digital Twin of Software Systems?
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Ed.: S. Hallerstede
2023
Jonas Schiffl
H-Index: 2
Alexander Weigl
H-Index: 6
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
Research report http://urn. nb. no/URN: NBN: no-35645
2023
A refactoring for data minimisation using formal verification
2022/10/17
Alexander Weigl
H-Index: 6
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
2022/9/27
Reibungsreduzierung durch DLC-Beschichtungen
2022
Alexander Weigl
H-Index: 6
The counterSharp Model Counting Benchmark
2022
Alexander Weigl
H-Index: 6
Compact laser device
2021/12/29
Upper Bound Computation of Information Leakages for Unbounded Recursion
2021/12/3
Alexander Weigl
H-Index: 6
Table‐based formal specification approaches for control engineers—empirical studies of usability
IET Cyber‐Physical Systems: Theory & Applications
2021/12
Scalability and precision by combining expressive type systems and deductive verification
Proceedings of the ACM on Programming Languages
2021/10/15
Alexander Weigl
H-Index: 6
Werner Dietl
H-Index: 13
High-Power VCSEL-Array with integrated Backside Optics
2021/10/10
Xi Gu
H-Index: 12
Alexander Weigl
H-Index: 6
High-Power Single-Mode VCSEL-Array
2021/10/10
Alexander Weigl
H-Index: 6
Towards a formal approach for data minimization in programs (short paper)
2021/10/8
Alexander Weigl
H-Index: 6