( en | de | ru )

 

Disambiguation of "Weigl, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Rudolf Weigl

Bernhard Weigl

Klaus Weigl

Franz 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)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)Runtime Verification of Generalized Test Tables., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 358-374. 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)Upper Bound Computation of Information Leakages for Unbounded Recursion., and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 160-177. Springer, (2021)A Refactoring for Data Minimisation Using Formal Verification., , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 345-364. Springer, (2022)