Alexander Weigl
Orcid: 0000-0001-8446-4598Affiliations:
- Karlsruhe Institute of Technology, Germany
According to our database1,
Alexander Weigl
authored at least 33 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
1
1
1
2
2
3
3
2
4
2
1
3
3
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Formal Aspects Comput., September, 2023
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods.
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023
2022
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
2021
PhD thesis, 2021
Scalability and precision by combining expressive type systems and deductive verification.
Proc. ACM Program. Lang., 2021
Table-based formal specification approaches for control engineers - empirical studies of usability.
IET Cyper-Phys. Syst.: Theory & Appl., 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2021
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
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.
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.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the Managed Software Evolution., 2019
2018
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.
Autom., 2018
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
2017
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
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
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
2015
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