Alexander Pretschner

Cited by

	All	Since 2017
Citations	10005	3645
h-index	44	28
i10-index	126	75

680

340

170

510

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202277 112 107 127 196 216 265 431 520 588 572 575 554 621 599 584 604 610 622 647 675 484

Public access

View all

31 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 OchoaETH 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
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
Severin KaciankaPostDoc Researcher, Technische Universität MünchenVerified email at in.tum.de
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Dominik HollingResearcher, Technische Universität MünchenVerified email at cs.tum.edu
Amjad IbrahimHuawei | Technical University of MunichVerified email at huawei.com
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Bruno LegeardUniversité Bourgogne Franche-Comté - FEMTO-ST Institute / SmartestingVerified email at femto-st.fr
Saahil OgnawalaMunich Re, Technical University of MunichVerified email at in.tum.de
Tabea SchmidtResearch Associate, Technical University of MunichVerified email at tum.de
Mojdeh GolaghaTechnical University of MunichVerified email at tum.de

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	1065	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	690	2003
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	664*	2005
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	629	1999
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Lecture Notes in Computer Science, 2005	552	2005
Software engineering for automotive systems: A roadmap A Pretschner, M Broy, IH Kruger, T Stauner Future of Software Engineering (FOSE'07), 55-71, 2007	455	2007
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007	425	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	334	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 European Symposium on Research in Computer Security, 531-546, 2007	221	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	180	2016
On obligations M Hilty, D Basin, A Pretschner European Symposium on Research in Computer Security, 98-117, 2005	180	2005
Model-based testing A Pretschner Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005	158*	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	156	2002
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	153	2016
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005	149	2005
Methodological issues in model-based testing A Pretschner, J Philipps Model-based testing of reactive systems, 281-291, 2005	146	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	110	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	103	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	101	2008

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