Alexander Weigl

40 papers B 6C 6Misc 1Journal 8Unranked 16
YearRankTypeTitle / Venue / Authors
2026 B conf
Timed Contract Automata.
FASE
Bernhard Beckert, Andreas Bremer, Alexander Weigl
2025 B conf
Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation.
SMC
Yizhi Wang, Birgit Vogel-Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, Bernhard Beckert
2024 — conf
Contract Automata: A Specification Language for Mode-Based Systems.
FormaliSE@ICSE
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
2024 Misc conf
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
SAC
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 J jnl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 — conf
The Java Verification Tool KeY:A Tutorial.
FM (2)
Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl
2023 — conf
Are Formal Contracts a Useful Digital Twin of Software Systems?
FMDT@FM
Jonas Schiffl, Alexander Weigl
2023 J jnl
Formal Specification and Verification of JDK's Identity Hash Map Implementation.
Formal Aspects Comput.
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2023 — conf
Static Capability-Based Security for Smart Contracts.
DAPPS
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
2023 — conf
The VerifyThis Collaborative Long-Term Challenge Series.
TOOLympics@ETAPS
Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2023 B conf
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods.
iFM
Gidon Ernst, Alexander Weigl
2022 — conf
A Refactoring for Data Minimisation Using Formal Verification.
ISoLA (2)
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
2022 B conf
Formal Specification and Verification of JDK's Identity Hash Map Implementation.
IFM
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2022 C conf
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.
ICTAC
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2021 — —
Formal Specification and Verification for Automated Production Systems.
Alexander Weigl
2021 — conf
Quantifying Software Reliability via Model-Counting.
QEST
Samuel Teuber, Alexander Weigl
2021 — conf
Runtime Verification of Generalized Test Tables.
NFM
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
2021 J jnl
Scalability and precision by combining expressive type systems and deductive verification.
Proc. ACM Program. Lang.
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
2021 J jnl
Table-based formal specification approaches for control engineers - empirical studies of usability.
IET Cyper-Phys. Syst.: Theory & Appl.
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2021 — conf
Towards a Formal Approach for Data Minimization in Programs (Short Paper).
DPM/CBT@ESORICS
Florian Lanzinger, Alexander Weigl
2021 B conf
Upper Bound Computation of Information Leakages for Unbounded Recursion.
SEFM
Johannes Bechberger, Alexander Weigl
2020 — conf
Modular Regression Verification for Reactive Systems.
ISoLA (2)
Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
2020 — conf
Relational Test Tables: A Practical Specification Language for Evolution and Security.
FormaliSE@ICSE
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2020 — ch.
The VerifyThis Collaborative Long Term Challenge.
20 Years of KeY
Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2019 — ch.
Formal Verification of Evolutionary Changes.
Managed Software Evolution
Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2019 C conf
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.
INDIN
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
2019 J jnl
Relational Test Tables: A Practical Specification Language for Evolution and Security.
CoRR
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2018 — conf
Achieving delta description of the control software for an automated production system evolution.
CASE
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Autom.
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Debugging Program Verification Proof Scripts (Tool Paper).
CoRR
Bernhard Beckert, Sarah Grebing, Alexander Weigl
2018 — conf
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.
MARS/VPT
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018 — conf
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
VSTTE
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018 J jnl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
CoRR
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2017 B conf
Generalised Test Tables: A Practical Specification Language for Reactive Systems.
IFM
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2017 C conf
Generalized test tables: A powerful and intuitive specification language for reactive systems.
INDIN
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
2017 C conf
Generation of monitoring functions in production automation using test specifications.
INDIN
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2016 — conf
Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs.
DPM/QASA@ESORICS
Alexander Weigl
2016 — conf
Sound Probabilistic #SAT with Projection.
QAPL
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth
2015 C conf
Proving equivalence between control software variants for Programmable Logic Controllers.
ETFA
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
2015 C conf
Regression Verification for Programmable Logic Controller Software.
ICFEM
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl