Alexander Pretschner

Cited by

	All	Since 2017
Citations	9880	3530
h-index	43	27
i10-index	126	75

680

340

170

510

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202275 114 107 127 197 215 265 431 520 590 572 574 559 608 597 584 604 612 621 641 673 376

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
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Tobias WüchnerTechnische 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
Florian HauerEmbedded AI ExpertVerified email at infineon.com
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
Mohsen AhmadvandQuantstamp | Technical University MunichVerified email at quantstamp.com
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	1050	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	691	2003
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	657*	2005
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	628	1999
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Lecture Notes in Computer Science, 2005	546	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	332	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	304	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	217	2007
On obligations M Hilty, D Basin, A Pretschner European Symposium on Research in Computer Security, 98-117, 2005	177	2005
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016	176	2016
Model-based testing A Pretschner Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005	156*	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	152	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	107	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	101	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