Get started
Author

Alexander Weigl

Observed names: Weigl, Alexander, Weigl, Alexander Sebastian, Weigl, Alexander [Hrsg.], Weigl, and Alexander
ORCID: 0000-0001-8446-4598
Observed ORCID: 0000-0001-8446-4598
OpenAlex ID: A5067871787
Regression Verification for Programmable Logic Controller Software
2015 · Bernhard Beckert, Mattias Ulbrich, et al. · Lecture notes in computer science · 36
Generalised Test Tables: A Practical Specification Language for Reactive Systems
2017 · Bernhard Beckert, Suhyun Cha, et al. · Lecture notes in computer science · 13
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
2023 · Martin De Boer, Stijn De Gouw, et al. · Formal Aspects of Computing · 11
PDF
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
2022 · Martin de Boer, Stijn de Gouw, et al. · Lecture notes in computer science · 10
PDF
The VerifyThis Collaborative Long Term Challenge
2020 · Marieke Huisman, Raúl Monti, et al. · Lecture notes in computer science · 10
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
2018 · Bernhard Beckert, Timo Bingmann, et al. · Lecture notes in computer science · 10
PDF
A verification-supported evolution approach to assist software application engineers in industrial factory automation
2016 · Sebastian Ulewicz, Mattias Ulbrich, et al. · IEEE International Symposium on Assembly and Manufacturing · 10
Proving equivalence between control software variants for Programmable Logic Controllers
2015 · Sebastian Ulewicz, Birgit Vogel-Heuser, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 10
The Java Verification Tool KeY:A Tutorial
2024 · Bernhard Beckert, Richard Bubel, et al. · Lecture notes in computer science · 9
PDF
Quantifying Software Reliability via Model-Counting
2021 · Samuel Teuber, Alexander Weigl · Lecture notes in computer science · 9
PDF
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
2018 · Suhyun Cha, Alexander Weigl, et al. · at - Automatisierungstechnik · 9
Generalized test tables: A powerful and intuitive specification language for reactive systems
2017 · Alexander Weigl, Franziska Wiebe, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 9
Scalability and precision by combining expressive type systems and deductive verification
2021 · Florian Lanzinger, Alexander Weigl, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
Sound Probabilistic #SAT with Projection
2016 · Vladimir Klebanov, Alexander Weigl, et al. · Electronic Proceedings in Theoretical Computer Science · 6
PDF
Table‐based formal specification approaches for control engineers—empirical studies of usability
2021 · Suhyun Cha, Birgit Vogel‐Heuser, et al. · IET Cyber-Physical Systems Theory & Applications · 5
Modular Regression Verification for Reactive Systems
2020 · Alexander Weigl, Mattias Ulbrich, et al. · Lecture notes in computer science · 4
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
2023 · Gidon Ernst, Alexander Weigl · Lecture notes in computer science · 3
Static Capability-Based Security for Smart Contracts
2023 · Jonas Schiffl, Alexander Weigl, et al. · IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) · 3
PDF
Runtime Verification of Generalized Test Tables
2021 · Alexander Weigl, Mattias Ulbrich, et al. · Lecture notes in computer science · 3
Relational Test Tables
2020 · Alexander Weigl, Mattias Ulbrich, et al. · 3
Generation of monitoring functions in production automation using test specifications
2017 · Suhyun Cha, Sebastian Ulewicz, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 3
Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs
2016 · Alexander Weigl · Lecture notes in computer science · 3
Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation
2025 · Yizhi Wang, Birgit Vogel-Heuser, et al. · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · 2
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
2022 · Bernhard Beckert, Mattias Ulbrich, et al. · Lecture notes in computer science · 2
A Refactoring for Data Minimisation Using Formal Verification
2022 · Florian Lanzinger, Mattias Ulbrich, et al. · Lecture notes in computer science · 2
PDF
Works count: 79
Citation count: 215
H-index: 9
I10-index: 8
Year
Topic
Type