( en | de | ru )

 

Disambiguation of "Weigl, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Quantifying Software Reliability via Model-Counting.

, and . QEST, volume 12846 of Lecture Notes in Computer Science, page 59-79. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karoline Weigl

Erwin Weigl

Hans Weigl

Josef Weigl

Gisbert Weigl

 

Other publications of authors with the same name

On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems., , , , , and . INDIN, page 413-418. IEEE, (2019)Runtime Verification of Generalized Test Tables., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 358-374. Springer, (2021)Towards a Formal Approach for Data Minimization in Programs (Short Paper)., and . DPM/CBT@ESORICS, volume 13140 of Lecture Notes in Computer Science, page 161-169. Springer, (2021)Formal Verification of Evolutionary Changes., , , and . Managed Software Evolution, Springer, (2019)Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems., , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 7-13. Springer, (2022)Achieving delta description of the control software for an automated production system evolution., , , , and . CASE, page 1170-1176. IEEE, (2018)Formal Specification and Verification of JDK's Identity Hash Map Implementation., , , , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 45-62. Springer, (2022)Contract Automata: A Specification Language for Mode-Based Systems., , , and . FormaliSE@ICSE, page 1-11. ACM, (2024)Quantifying Software Reliability via Model-Counting., and . QEST, volume 12846 of Lecture Notes in Computer Science, page 59-79. Springer, (2021)Formal Specification and Verification for Automated Production Systems.. Karlsruhe Institute of Technology, Germany, (2021)