Alexander Weigl

According to our database, Alexander Weigl authored at least 31 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023

Formal Specification and Verification of JDK's Identity Hash Map Implementation.

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl

Formal Aspects Comput., September, 2023

Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods.

Gidon Ernst, Alexander Weigl

Proceedings of the iFM 2023 - 18th International Conference, 2023

Are Formal Contracts a Useful Digital Twin of Software Systems?

Jonas Schiffl, Alexander Weigl

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Static Capability-Based Security for Smart Contracts.

Jonas Schiffl, Alexander Weigl, Bernhard Beckert

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

2022

A Refactoring for Data Minimisation Using Formal Verification.

Florian Lanzinger, Mattias Ulbrich, Alexander Weigl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Formal Specification and Verification for Automated Production Systems.

Alexander Weigl

PhD thesis, 2021

Scalability and precision by combining expressive type systems and deductive verification.

Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl

Proc. ACM Program. Lang., 2021

Table-based formal specification approaches for control engineers - empirical studies of usability.

Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert

IET Cyper-Phys. Syst.: Theory & Appl., 2021

Upper Bound Computation of Information Leakages for Unbounded Recursion.

Johannes Bechberger, Alexander Weigl

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Quantifying Software Reliability via Model-Counting.

Samuel Teuber, Alexander Weigl

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Runtime Verification of Generalized Test Tables.

Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Towards a Formal Approach for Data Minimization in Programs (Short Paper).

Florian Lanzinger, Alexander Weigl

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2021

2020

The VerifyThis Collaborative Long Term Challenge.

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Modular Regression Verification for Reactive Systems.

Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Relational Test Tables: A Practical Specification Language for Evolution and Security.

Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.

Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Formal Verification of Evolutionary Changes.

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl

Proceedings of the Managed Software Evolution., 2019

2018

Debugging Program Verification Proof Scripts (Tool Paper).

Bernhard Beckert, Sarah Grebing, Alexander Weigl

CoRR, 2018

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.

Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser

Autom., 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Achieving delta description of the control software for an automated production system evolution.

Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Generalized test tables: A powerful and intuitive specification language for reactive systems.

Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generation of monitoring functions in production automation using test specifications.

Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generalised Test Tables: A Practical Specification Language for Reactive Systems.

Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Sound Probabilistic #SAT with Projection.

Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs.

Alexander Weigl

Proceedings of the Data Privacy Management and Security Assurance, 2016

2015

Regression Verification for Programmable Logic Controller Software.

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Formal Methods and Software Engineering, 2015

Proving equivalence between control software variants for Programmable Logic Controllers.

Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015