Alexander Weigl

According to our database1, Alexander Weigl authored at least 12 papers between 2015 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 




Formal Verification of Evolutionary Changes.
Proceedings of the Managed Software Evolution., 2019

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.
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.
Automatisierungstechnik, 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Achieving delta description of the control software for an automated production system evolution.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Generalized test tables: A powerful and intuitive specification language for reactive systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generation of monitoring functions in production automation using test specifications.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generalised Test Tables: A Practical Specification Language for Reactive Systems.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Sound Probabilistic #SAT with Projection.
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.
Proceedings of the Data Privacy Management and Security Assurance, 2016

Regression Verification for Programmable Logic Controller Software.
Proceedings of the Formal Methods and Software Engineering, 2015

Proving equivalence between control software variants for Programmable Logic Controllers.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015