Alexander Pretschner

Cited by

	All	Since 2018
Citations	10449	3503
h-index	45	27
i10-index	135	79

720

360

180

540

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202386 107 97 122 200 211 264 432 518 576 539 598 569 632 607 582 597 611 621 662 717 669 220

Public access

View all

33 articles

1 article

available

not available

Based on funding mandates

Co-authors

Sebastian BanescuQuantstampVerified email at quantstamp.com
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Susan GauchProfessor, Computer Science and Engineering, University of ArkansasVerified email at uark.edu
Martín OchoaZHAW and ETH ZürichVerified email at inf.ethz.ch
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Tobias WüchnerTechnische Universität MünchenVerified email at in.tum.de
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Florian HauerEmbedded AI ExpertVerified email at infineon.com
Severin KaciankaPostDoc Researcher, Technische Universität MünchenVerified email at in.tum.de
Matthias BüchlerPh.D student in Computer Science, Technical University Munich (Technische Universität München)Verified email at cs.tum.edu
Florian KelbertElasticVerified email at acm.org
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Amjad IbrahimHuawei | Technical University of MunichVerified email at huawei.com
Dominik HollingResearcher, Technische Universität MünchenVerified email at cs.tum.edu
Saahil OgnawalaMunich Re, Technical University of MunichVerified email at in.tum.de
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Tabea SchmidtResearch Associate, Technical University of MunichVerified email at tum.de
Mojdeh GolaghaTechnical University of MunichVerified email at tum.de
Enrico LovatSiemens AGVerified email at siemens.com

Alexander Pretschner

Professor of Computer Science, Technische Universität München

Verified email at in.tum.de - Homepage

Software Engineering Security Model-Based Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A taxonomy of model‐based testing approaches M Utting, A Pretschner, B Legeard Software testing, verification and reliability 22 (5), 297-312, 2012	1101	2012
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	695	2003
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	666*	2005
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	644	1999
Software engineering for automotive systems: A roadmap A Pretschner, M Broy, IH Kruger, T Stauner Future of Software Engineering (FOSE'07), 55-71, 2007	459	2007
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007	436	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	336	2006
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	305	2005
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	224	2007
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016	198	2016
On obligations M Hilty, D Basin, A Pretschner ESORICS 3679, 98-117, 2005	183	2005
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	175	2016
Model-based testing A Pretschner Proceedings of the 27th international conference on Software engineering …, 2005	162*	2005
Model-based development of embedded systems B Schätz, A Pretschner, F Huber, J Philipps Advances in Object-Oriented Information Systems: OOIS 2002 Workshops …, 2002	154	2002
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005	153	2005
Methodological issues in model-based testing A Pretschner, J Philipps Model-based testing of reactive systems, 281-291, 2005	148	2005
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	118	2016
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	105	2008
Model-based tests for access control policies A Pretschner, T Mouelhi, Y Le Traon 2008 1st International Conference on Software Testing, Verification, and …, 2008	103	2008
Abstractions for model-based testing W Prenninger, A Pretschner Electronic Notes in Theoretical Computer Science 116, 59-71, 2005	101	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors