( en | de | ru )

 

Disambiguierung von "Weigl, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Refactoring for Data Minimisation Using Formal Verification.

, , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 345-364. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karoline Weigl

Erwin Weigl

Hans Weigl

Josef Weigl

Rudolf Weigl

 

Weitere Publikationen von Autoren mit dem selben Namen

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