( en | de | ru )

 

Disambiguation of "Weigl, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Relational Test Tables: A Practical Specification Language for Evolution and Security.

, , , , and . FormaliSE@ICSE, page 77-86. ACM, (2020)

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

Rudolf 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)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)Achieving delta description of the control software for an automated production system evolution., , , , and . CASE, page 1170-1176. IEEE, (2018)Contract Automata: A Specification Language for Mode-Based Systems., , , and . FormaliSE@ICSE, page 1-11. ACM, (2024)A Refactoring for Data Minimisation Using Formal Verification., , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 345-364. Springer, (2022)Quantifying Software Reliability via Model-Counting., and . QEST, volume 12846 of Lecture Notes in Computer Science, page 59-79. Springer, (2021)