Regression verification for programmable logic controller software B Beckert, M Ulbrich, B Vogel-Heuser, A Weigl Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 40 | 2015 |
Generalised test tables: A practical specification language for reactive systems B Beckert, S Cha, M Ulbrich, B Vogel-Heuser, A Weigl Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 14 | 2017 |
A verification-supported evolution approach to assist software application engineers in industrial factory automation S Ulewicz, M Ulbrich, A Weigl, M Kirsten, F Wiebe, B Beckert, ... 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), 19-25, 2016 | 13 | 2016 |
Generalized test tables: A powerful and intuitive specification language for reactive systems A Weigl, F Wiebe, M Ulbrich, S Ulewicz, S Cha, M Kirsten, B Beckert, ... 2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017 | 12 | 2017 |
Formal specification and verification of JDK’s identity hash map implementation M De Boer, S De Gouw, J Klamroth, C Jung, M Ulbrich, A Weigl Formal Aspects of Computing 35 (3), 1-26, 2023 | 11 | 2023 |
Relational equivalence proofs between imperative and MapReduce algorithms B Beckert, T Bingmann, M Kiefer, P Sanders, M Ulbrich, A Weigl Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 11 | 2018 |
Scalability and precision by combining expressive type systems and deductive verification F Lanzinger, A Weigl, M Ulbrich, W Dietl Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 10 | 2021 |
Quantifying software reliability via model-counting S Teuber, A Weigl International Conference on Quantitative Evaluation of Systems, 59-79, 2021 | 10 | 2021 |
Proving equivalence between control software variants for Programmable Logic Controllers S Ulewicz, B Vogel-Heuser, M Ulbrich, A Weigl, B Beckert 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 10 | 2015 |
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU S Cha, A Weigl, M Ulbrich, B Beckert, B Vogel-Heuser at-Automatisierungstechnik 66 (10), 834-848, 2018 | 9 | 2018 |
The VerifyThis collaborative long term challenge M Huisman, R Monti, M Ulbrich, A Weigl Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 8 | 2020 |
Sound probabilistic# SAT with projection V Klebanov, A Weigl, J Weisbarth arXiv preprint arXiv:1610.08167, 2016 | 8 | 2016 |
Generation of monitoring functions in production automation using test specifications S Cha, S Ulewicz, B Vogel-Heuser, A Weigl, M Ulbrich, B Beckert 2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017 | 7 | 2017 |
Toward more efficient fabrication of high-density 2D VCSEL arrays for spatial redundancy and/or multi-level signal communication H Roscher, P Gerlach, FN Khan, A Kroner, M Stach, A Weigl, R Michalzik Micro-Optics, VCSELs, and Photonic Interconnects II: Fabrication, Packaging …, 2006 | 7 | 2006 |
Efficient SAT-based pre-image enumeration for quantitative information flow in programs A Weigl International Workshop on Data Privacy Management, 51-58, 2016 | 5 | 2016 |
Relational test tables: A practical specification language for evolution and security A Weigl, M Ulbrich, S Cha, B Beckert, B Vogel-Heuser Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 4 | 2020 |
Modular regression verification for reactive systems A Weigl, M Ulbrich, D Lentzsch Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 3 | 2020 |
On the preservation of the trust by regression verification of PLC software for cyber-physical systems of systems S Cha, M Ulbrich, A Weigl, B Beckert, K Land, B Vogel-Heuser 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019 | 3 | 2019 |
Adding text-based interaction to a direct-manipulation interface for program verification-lessons learned S Grebing, ATT Luong, A Weigl 13th International Workshop on User Interfaces for Theorem Provers (UITP …, 2018 | 3 | 2018 |
Towards a formal approach for data minimization in programs (short paper) F Lanzinger, A Weigl International Workshop on Data Privacy Management, 161-169, 2021 | 2 | 2021 |