Folgen
Alexander Weigl
Titel
Zitiert von
Zitiert von
Jahr
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
402015
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
142017
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
132016
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
122017
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
112018
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
102021
Quantifying software reliability via model-counting
S Teuber, A Weigl
International Conference on Quantitative Evaluation of Systems, 59-79, 2021
102021
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
102015
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
92023
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
92018
The VerifyThis collaborative long term challenge
M Huisman, R Monti, M Ulbrich, A Weigl
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
82020
Sound probabilistic# SAT with projection
V Klebanov, A Weigl, J Weisbarth
arXiv preprint arXiv:1610.08167, 2016
82016
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
72017
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
72006
Efficient SAT-based pre-image enumeration for quantitative information flow in programs
A Weigl
International Workshop on Data Privacy Management, 51-58, 2016
52016
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
42020
Modular regression verification for reactive systems
A Weigl, M Ulbrich, D Lentzsch
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
32020
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
32019
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
32018
Towards a formal approach for data minimization in programs (short paper)
F Lanzinger, A Weigl
International Workshop on Data Privacy Management, 161-169, 2021
22021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20