( en | de | ru )

 

Disambiguation of "Pretschner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
From Checking to Inference: Actual Causality Computations as Optimization Problems.

, and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 343-359. Springer, (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.

Alexander Pretschner

Walter Alexander Pretschner

Dietrich Pretschner

Sabine Pretschner

Andreas Pretschner

 

Other publications of authors with the same name

Defect-Based Testing.. Dependable Software Systems Engineering, volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Poking the bear: lessons learned from probing three Android malware datasets., and . A-Mobile@ASE, page 19-24. ACM, (2018)Data Protection in a Cloud-Enabled Smart Grid., , and . SmartGridSec, volume 7823 of Lecture Notes in Computer Science, page 96-107. Springer, (2012)Guest editorial for the special section on MODELS 2016., and . Softw. Syst. Model., 18 (3): 1681-1682 (2019)Computing refactorings of state machines., and . Softw. Syst. Model., 6 (4): 381-399 (2007)From Checking to Inference: Actual Causality Computations as Optimization Problems., and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 343-359. Springer, (2020)Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models., , and . ESSoS, volume 10953 of Lecture Notes in Computer Science, page 108-115. Springer, (2018)A Fully Decentralized Data Usage Control Enforcement Infrastructure., and . ACNS, volume 9092 of Lecture Notes in Computer Science, page 409-430. Springer, (2015)A Policy Language for Distributed Usage Control., , , , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 531-546. Springer, (2007)Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective., and . ICST Workshops, page 379-381. IEEE Computer Society, (2017)