Alexander Pretschner
Alexander Pretschner
Professor of Computer Science, Technische Universität München
Email verificata su in.tum.de - Home page
TitoloCitata daAnno
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
6192003
Ontology based personalized search
A Pretschner, S Gauch
Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999
5851999
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
538*2005
A taxonomy of model‐based testing approaches
M Utting, A Pretschner, B Legeard
Software Testing, Verification and Reliability 22 (5), 297-312, 2012
5052012
Software engineering for automotive systems: A roadmap
A Pretschner, M Broy, IH Kruger, T Stauner
Future of Software Engineering (FOSE'07), 55-71, 2007
3682007
Engineering automotive software
M Broy, IH Kruger, A Pretschner, C Salzmann
Proceedings of the IEEE 95 (2), 356-373, 2007
3272007
Distributed usage control
A Pretschner, M Hilty, D Basin
Communications of the ACM 49 (9), 39-44, 2006
2772006
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
2602005
A taxonomy of model-based testing
M Utting, A Pretschner, B Legeard
Department of Computer Science, University of Waikato, 2006
2412006
Software Engineering for Automotive Systems: A Roadmap.
224*2007
A policy language for distributed usage control
M Hilty, A Pretschner, D Basin, C Schaefer, T Walter
European Symposium on Research in Computer Security, 531-546, 2007
1752007
On obligations
M Hilty, D Basin, A Pretschner
European Symposium on Research in Computer Security, 98-117, 2005
1552005
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
1352002
10 methodological issues in model-based testing
A Pretschner, J Philipps
Model-based testing of reactive systems, 281-291, 2005
1092005
Model-based testing for real
A Pretschner, O Slotosch, E Aiglstorfer, S Kriebel
International Journal on Software Tools for Technology Transfer 5 (2-3), 140-157, 2004
902004
Abstractions for model-based testing
W Prenninger, A Pretschner
Electronic Notes in Theoretical Computer Science 116, 59-71, 2005
882005
Model-based testing
A Pretschner
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
87*2005
Model-based tests for access control policies
A Pretschner, T Mouelhi, Y Le Traon
2008 1st International Conference on Software Testing, Verification, and …, 2008
862008
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
842008
Implementing trust in cloud infrastructures
R Neisse, D Holling, A Pretschner
Proceedings of the 2011 11th IEEE/ACM International Symposium on Cluster …, 2011
782011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20