دنبال کردن
Alexander Pretschner
Alexander Pretschner
Professor of Computer Science, Technische Universität München
ایمیل تأیید شده در in.tum.de - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
A taxonomy of model‐based testing approaches‏
M Utting, A Pretschner, B Legeard‏
Software testing, verification and reliability 22 (5), 297-312, 2012‏
11972012
Model-based testing of reactive systems‏
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner‏
Volume 3472 of Springer LNCS, 2005‏
702*2005
Ontology-based personalized search and browsing‏
S Gauch, J Chaffee, A Pretschner‏
Web Intelligence and Agent Systems: An international Journal 1 (3-4), 219-234, 2003‏
7002003
Ontology based personalized search‏
A Pretschner, S Gauch‏
Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999‏
6521999
Software engineering for automotive systems: A roadmap‏
A Pretschner, M Broy, IH Kruger, T Stauner‏
Future of Software Engineering (FOSE'07), 55-71, 2007‏
4902007
Engineering automotive software‏
M Broy, IH Kruger, A Pretschner, C Salzmann‏
Proceedings of the IEEE 95 (2), 356-373, 2007‏
4722007
Distributed usage control‏
A Pretschner, M Hilty, D Basin‏
Communications of the ACM 49 (9), 39-44, 2006‏
3612006
One evaluation of model-based testing and its automation‏
A Pretschner, W Prenninger, S Wagner, C Kühnel, M Baumgartner, ...‏
Proceedings of the 27th international conference on Software engineering …, 2005‏
3212005
Security testing: A survey‏
M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner‏
Advances in Computers 101, 1-51, 2016‏
2602016
Code obfuscation against symbolic execution attacks‏
S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner‏
Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016‏
2512016
A policy language for distributed usage control‏
M Hilty, A Pretschner, D Basin, C Schaefer, T Walter‏
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007‏
2422007
On obligations‏
M Hilty, D Basin, A Pretschner‏
Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005‏
1852005
Model-based testing‏
A Pretschner‏
Proceedings of the 27th international conference on Software engineering …, 2005‏
171*2005
Model-based development of embedded systems‏
B Schätz, A Pretschner, F Huber, J Philipps‏
International Conference on Object-Oriented Information Systems, 298-311, 2002‏
1592002
Methodological Issues in Model-Based Testing‏
A Pretschner, J Philipps‏
Model-Based Testing of Reactive Systems, 281-291, 2005‏
1552005
Model‐based security testing: a taxonomy and systematic classification‏
M Felderer, P Zech, R Breu, M Büchler, A Pretschner‏
Software testing, verification and reliability 26 (2), 119-148, 2016‏
1342016
Did we test all scenarios for automated and autonomous driving systems?‏
F Hauer, T Schmidt, B Holzmüller, A Pretschner‏
2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2950-2955, 2019‏
1162019
Model-based tests for access control policies‏
A Pretschner, T Mouelhi, Y Le Traon‏
2008 1st International Conference on Software Testing, Verification, and …, 2008‏
1122008
Usage control enforcement: Present and future‏
A Pretschner, M Hilty, F Schütz, C Schaefer, T Walter‏
IEEE Security & Privacy 6 (4), 44-53, 2008‏
1112008
An empirical study on the effectiveness of static C code analyzers for vulnerability detection‏
S Lipp, S Banescu, A Pretschner‏
Proceedings of the 31st ACM SIGSOFT international symposium on software …, 2022‏
1042022
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20