Alexander Pretschner

Cited by

	All	Since 2016
Citations	9136	3293
h-index	41	26
i10-index	108	65

660

330

165

495

20012002200320042005200620072008200920102011201220132014201520162017201820192020202174 107 100 125 188 216 271 433 531 594 581 604 575 618 626 589 620 644 644 614 169

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Sebastian BanescuTechnical University of MunichVerified email at tum.de
Susan GauchProfessor, Computer Science and Engineering, University of ArkansasVerified email at uark.edu
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Martín OchoaAppGate Inc.Verified email at appgate.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Tobias WüchnerTechnische Universität MünchenVerified email at in.tum.de
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
Florian KelbertElasticVerified email at acm.org
Matthias BüchlerPh.D student in Computer Science, Technical University Munich (Technische Universität München)Verified email at cs.tum.edu
Dominik HollingResearcher, Technische Universität MünchenVerified email at cs.tum.edu
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Bruno LegeardUniversité Bourgogne Franche-Comté - FEMTO-ST Institute / CNRSVerified email at femto-st.fr
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Mohsen AhmadvandTechnical University MunichVerified email at in.tum.de
Saahil OgnawalaMunich Re, Technical University of MunichVerified email at in.tum.de
Bertrand MeyerProfessor of Software Engineering, Schaffhausen Institute of Technology and Innopolis UniversityVerified email at inf.ethz.ch
Manuel OriolR&D Manager, ABB, Motors and GeneratorsVerified email at ch.abb.com
Johan OudinetPostdoc in Computer Science, Technische Universität München (TUM)Verified email at cs.tum.edu
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	942	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	665	2003
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	626	1999
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	614*	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	438	2007
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007	405	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	313	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	292	2005
Software Engineering for Automotive Systems: A Roadmap.	273*	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	199	2007
On obligations M Hilty, D Basin, A Pretschner European Symposium on Research in Computer Security, 98-117, 2005	174	2005
Model-based testing A Pretschner Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005	147*	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	147	2002
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005	128	2005
Methodological issues in model-based testing A Pretschner, J Philipps Model-based testing of reactive systems, 281-291, 2005	125	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	119	2016
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016	113	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	97	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	97	2008
Model-based testing for real A Pretschner, O Slotosch, E Aiglstorfer, S Kriebel International Journal on Software Tools for Technology Transfer 5 (2), 140-157, 2004	94	2004

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

Upload PDF

Follow this author

Cited by

Co-authors