Alexander Weigl

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 33

Top Topics

Reactive Systems

Programmable Logic Controller

Empirical Studies

Formal Specification

Top Venues

Publications

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE (2024)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. 35 (3) (2023)
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
Static Capability-Based Security for Smart Contracts. DAPPS (2023)
Jonas Schiffl, Alexander Weigl
Are Formal Contracts a Useful Digital Twin of Software Systems? FMDT@FM (2023)
Gidon Ernst, Alexander Weigl
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. iFM (2023)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM (2022)
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) (2022)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC (2022)
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
Runtime Verification of Generalized Test Tables. NFM (2021)
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6 (4) (2021)
Johannes Bechberger, Alexander Weigl
Upper Bound Computation of Information Leakages for Unbounded Recursion. SEFM (2021)
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Samuel Teuber, Alexander Weigl
Quantifying Software Reliability via Model-Counting. QEST (2021)
Florian Lanzinger, Alexander Weigl
Towards a Formal Approach for Data Minimization in Programs (Short Paper). DPM/CBT@ESORICS (2021)
Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
Modular Regression Verification for Reactive Systems. ISoLA (2) (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR (2019)
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN (2019)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Achieving delta description of the control software for an automated production system evolution. CASE (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66 (10) (2018)
Bernhard Beckert, Sarah Grebing, Alexander Weigl
Debugging Program Verification Proof Scripts (Tool Paper). CoRR (2018)
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM (2017)
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN (2017)
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Generation of monitoring functions in production automation using test specifications. INDIN (2017)
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth
Sound Probabilistic #SAT with Projection. QAPL (2016)
Alexander Weigl
Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs. DPM/QASA@ESORICS (2016)
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA (2015)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Regression Verification for Programmable Logic Controller Software. ICFEM (2015)