Alexander Pretschner

Cited by

	All	Since 2018
Citations	10212	3292
h-index	44	27
i10-index	131	73

720

360

180

540

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202382 107 99 122 200 211 262 433 513 575 541 595 567 629 606 581 592 611 618 659 710 653 38

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
Severin KaciankaPostDoc Researcher, Technische Universität MünchenVerified email at in.tum.de
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
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
Saahil OgnawalaMunich Re, Technical University of MunichVerified email at in.tum.de
Enrico LovatSiemens AGVerified email at siemens.com
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	1081	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	693	2003
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	655*	2005
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	636	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	454	2007
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007	430	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	333	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 Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007	222	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	188	2016
On obligations M Hilty, D Basin, A Pretschner ESORICS 3679, 98-117, 2005	180	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	162	2016
Model-based testing A Pretschner Proceedings of the 27th international conference on Software engineering …, 2005	161*	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	153	2002
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005	152	2005
Methodological issues in model-based testing A Pretschner, J Philipps Model-based testing of reactive systems, 281-291, 2005	147	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	113	2016
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
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	102	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