Achim D. Brucker

引用先

	すべて	2020 年以来
引用	3262	1025
h 指標	32	15
i10 指標	81	32

240

120

180

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 18 26 29 66 79 99 90 108 106 152 195 186 181 204 178 203 227 217 198 181 159 237 31

オープンアクセス

すべて表示

17 件の論文

0 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Burkhart WolffProfessor für Informatik, Universität Paris-Sud確認したメールアドレス: lri.fr
Helmut Petritschiteratec GmbH確認したメールアドレス: petritsch.me
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical University確認したメールアドレス: imm.dtu.dk
Gogolla, MartinProfessor für Informatik, University of Bremen確認したメールアドレス: informatik.uni-bremen.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italy確認したメールアドレス: ieee.org
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM確認したメールアドレス: uni-paderborn.de
Diego MarmsolerTechnische Universität München確認したメールアドレス: tum.de
Stanislav DashevskyiForescout Technologies確認したメールアドレス: forescout.com
Lotfi ben OthmaneUniversity of North Texas確認したメールアドレス: unt.edu
Ruth BREUProfessor of Computer Science, University of Innsbruck, Austria確認したメールアドレス: uibk.ac.at
Matthias BüchlerPh.D student in Computer Science, Technical University Munich (Technische Universität München)確認したメールアドレス: cs.tum.edu
Michael FeldererGerman Aerospace Center (DLR); University of Cologne確認したメールアドレス: dlr.de
Martin JohnsProfessor of Computer Science, TU Braunschweig確認したメールアドレス: tu-braunschweig.de
Alexander PretschnerProfessor of Computer Science, Technische Universität München確認したメールアドレス: in.tum.de
Paul KearneyProfessor of Cybersecurity, Birmingham City University確認したメールアドレス: bcu.ac.uk
Michael WahlerZurich University of Applied Sciences (ZHAW)確認したメールアドレス: zhaw.ch
Jana KoehlerProfessor of Computer Science, Lucerne University of Applied Sciences and Arts確認したメールアドレス: hslu.ch
Ramsay G. TaylorUniversity of Sheffield確認したメールアドレス: sheffield.ac.uk
John DerrickUniversity of Sheffield確認したメールアドレス: sheffield.ac.uk
Michael FosterUniversity Of Sheffield確認したメールアドレス: sheffield.ac.uk

フォロー

Achim D. Brucker

University of Exeter, Exeter, UK

確認したメールアドレス: exeter.ac.uk - ホームページ

Security Formal Methods Verification & Testing Software Engineering Theorem Proving


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016	264	2016
Extending access control models with break-glass AD Brucker, H Petritsch Proceedings of the 14th ACM symposium on Access control models and …, 2009	188	2009
SecureBPMN: Modeling and enforcing access control requirements in business processes AD Brucker, I Hang, G Lückemeyer, R Ruparel Proceedings of the 17th ACM symposium on Access Control Models and …, 2012	139	2012
HOL-OCL: a formal proof environment for UML/OCL AD Brucker, B Wolff Proceedings of the Theory and practice of software, 11th international …, 2008	122	2008
The HOL-OCL Book AD Brucker, B Wolff Swiss Federal Institute of Technology (ETH) 525, 2006	112	2006
A proposal for a formal OCL semantics in Isabelle/HOL AD Brucker, B Wolff Theorem Proving in Higher Order Logics, 147-175, 2002	93	2002
On Theorem Prover-based Testing AD Brucker, B Wolff Formal Aspects of Computing 25 (5), 683-721, 2013	82	2013
A specification-based test case generation method for UML/OCL AD Brucker, M Krieger, D Longuet, B Wolff Models in Software Engineering, 334-348, 2011	73	2011
HOL-Z 2.0: A proof environment for Z-specifications AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	59	2003
On the static analysis of hybrid mobile apps AD Brucker, M Herzberg Symposium on Engineering Secure Software and Systems, 72-88, 2016	56*	2016
Metamodel-based UML notations for domain-specific languages AD Brucker, J Doser 4th International Workshop on Software Language Engineering (ATEM 2007), 2007	54	2007
Attribute-based encryption with break-glass AD Brucker, H Petritsch, SG Weber Information Security Theory and Practices. Security and Privacy of Pervasive …, 2010	53	2010
An approach to modular and testable security models of real-world health-care applications AD Brucker, L Brügger, P Kearney, B Wolff Proceedings of the 16th ACM symposium on Access control models and …, 2011	52	2011
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff International Workshop on Formal Approaches to Software Testing, 16-32, 2004	51	2004
Verified firewall policy transformations for test case generation AD Brucker, L Brügger, P Kearney, B Wolff 2010 Third International Conference on Software Testing, Verification and …, 2010	49	2010
A model transformation semantics and analysis methodology for SecureUML AD Brucker, J Doser, B Wolff Model Driven Engineering Languages and Systems, 306-320, 2006	47	2006
Test-sequence generation with HOL-TestGen with an application to firewall testing AD Brucker, B Wolff Proceedings of the 1st international conference on Tests and proofs, 149-168, 2007	43	2007
A screening test for disclosed vulnerabilities in foss components S Dashevskyi, AD Brucker, F Massacci IEEE Transactions on Software Engineering 45 (10), 945-966, 2018	42	2018
An extensible encoding of object-oriented data models in HOL AD Brucker, B Wolff Journal of Automated Reasoning 41 (3), 219-249, 2008	42	2008
Time for addressing software security issues: Prediction models and impacting factors L Ben Othmane, G Chehrazi, E Bodden, P Tsalovski, AD Brucker Data Science and Engineering 2, 107-124, 2017	40	2017

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者