( en | de | ru )

 

Disambiguation of "Pretschner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004

, , , , and (Eds.) volume 3472 of Lecture Notes in Computer Science, Springer, (2005)

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

Andreas Pretschner

Sabine Pretschner

 

Other publications of authors with the same name

Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach., , , and . CoRR, (2017)A Policy Language for Distributed Usage Control., , , , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 531-546. Springer, (2007)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)ACCBench: A Framework for Comparing Causality Algorithms., , , and . CREST@ETAPS, volume 259 of EPTCS, page 16-30. (2017)Towards a Unified Model of Accountability Infrastructures., , and . CREST@ETAPS, volume 224 of EPTCS, page 40-54. (2016)Data Protection in a Cloud-Enabled Smart Grid., , and . SmartGridSec, volume 7823 of Lecture Notes in Computer Science, page 96-107. Springer, (2012)A Fully Decentralized Data Usage Control Enforcement Infrastructure., and . ACNS, volume 9092 of Lecture Notes in Computer Science, page 409-430. Springer, (2015)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 taxonomy of model-based testing approaches., , and . Softw. Test. Verification Reliab., 22 (5): 297-312 (2012)