Alexander Pretschner

Citado por

	Total	Desde 2020
Citas	12017	3754
Índice h	51	32
Índice i10	156	87

800

400

200

600

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202584 110 99 121 201 211 269 441 514 570 563 592 568 622 601 595 605 624 638 669 716 672 755 799 142

Acceso público

Ver todo

41 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Sebastian BanescuAsymmetric ResearchDirección de correo verificada de asymmetric.re
Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
Severin KaciankaHead of Center for Code Excellence, fortissDirección de correo verificada de fortiss.org
Martín OchoazkSecurity and Universidad de Los AndesDirección de correo verificada de uniandes.edu.co
Florian HauerEmbedded AI ExpertDirección de correo verificada de infineon.com
Susan GauchProfessor, Computer Science and Engineering, University of ArkansasDirección de correo verificada de uark.edu
David BasinProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Tobias WüchnerTechnische Universität MünchenDirección de correo verificada de in.tum.de
Matthias BüchlerPh.D student in Computer Science, Technical University Munich (Technische Universität München)Dirección de correo verificada de cs.tum.edu
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityDirección de correo verificada de it.uu.se
Tabea SchmidtResearch Associate, Technical University of MunichDirección de correo verificada de tum.de
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenDirección de correo verificada de fortiss.org
Amjad IbrahimHuawei | Technical University of MunichDirección de correo verificada de huawei.com
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaDirección de correo verificada de uibk.ac.at
Mojdeh GolaghaTechnical University of MunichDirección de correo verificada de tum.de
Dominik HollingResearcher, Technische Universität MünchenDirección de correo verificada de cs.tum.edu
Mark UttingThe University of QueenslandDirección de correo verificada de uq.edu.au
Saahil OgnawalaMunich Re, Technical University of MunichDirección de correo verificada de in.tum.de
Enrico LovatSiemens AGDirección de correo verificada de siemens.com
Yves Le TraonProfessor of Computer Science, University of LuxembourgDirección de correo verificada de uni.lu

Seguir

Alexander Pretschner

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

Dirección de correo verificada de in.tum.de - Página principal

Software Engineering Security Model-Based Testing


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A taxonomy of model‐based testing approaches M Utting, A Pretschner, B Legeard Software testing, verification and reliability 22 (5), 297-312, 2012	1198	2012
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	702*	2005
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	700	2003
Ontology based personalized search A Pretschner, S Gauch Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE …, 1999	652	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	490	2007
Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007	472	2007
Distributed usage control A Pretschner, M Hilty, D Basin Communications of the ACM 49 (9), 39-44, 2006	361	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	321	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	260	2016
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	252	2016
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	242	2007
On obligations M Hilty, D Basin, A Pretschner Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005	185	2005
Model-based testing A Pretschner Proceedings of the 27th international conference on Software engineering …, 2005	171*	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	159	2002
Methodological Issues in Model-Based Testing A Pretschner, J Philipps Model-Based Testing of Reactive Systems, 281-291, 2005	155	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	134	2016
Did we test all scenarios for automated and autonomous driving systems? F Hauer, T Schmidt, B Holzmüller, A Pretschner 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2950-2955, 2019	116	2019
Model-based tests for access control policies A Pretschner, T Mouelhi, Y Le Traon 2008 1st International Conference on Software Testing, Verification, and …, 2008	112	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	111	2008
An empirical study on the effectiveness of static C code analyzers for vulnerability detection S Lipp, S Banescu, A Pretschner Proceedings of the 31st ACM SIGSOFT international symposium on software …, 2022	104	2022

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores