Achim D. Brucker
Achim D. Brucker
University of Exeter, Exeter, UK
Email verificata su brucker.ch - Home page
Titolo
Citata da
Citata da
Anno
Extending access control models with break-glass
AD Brucker, H Petritsch
Proceedings of the 14th ACM symposium on Access control models and …, 2009
1522009
The HOL-OCL Book
AD Brucker, B Wolff
Swiss Federal Institute of Technology (ETH) 525, 2006
1092006
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
1052012
HOL-OCL: a formal proof environment for UML/OCL
AD Brucker, B Wolff
Proceedings of the Theory and practice of software, 11th international …, 2008
1022008
A proposal for a formal OCL semantics in Isabelle/HOL
AD Brucker, B Wolff
Theorem Proving in Higher Order Logics, 147-175, 2002
842002
Security testing: A survey
M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner
Advances in Computers 101, 1-51, 2016
732016
On Theorem Prover-based Testing
AD Brucker, B Wolff
Formal Aspects of Computing 25 (5), 683-721, 2013
642013
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
592011
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
552003
Metamodel-based UML notations for domain-specific languages
AD Brucker, J Doser
4th International Workshop on Software Language Engineering (ATEM 2007), 2007
462007
A model transformation semantics and analysis methodology for SecureUML
AD Brucker, J Doser, B Wolff
Model Driven Engineering Languages and Systems, 306-320, 2006
442006
Symbolic test case generation for primitive recursive functions
AD Brucker, B Wolff
International Workshop on Formal Approaches to Software Testing, 16-32, 2004
442004
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
422011
Attribute-based encryption with break-glass
AD Brucker, H Petritsch, SG Weber
IFIP International Workshop on Information Security Theory and Practices …, 2010
422010
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
422010
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
422007
HOL-TestGen: An Interactive Test-case Generation Framework.
AD Brucker, B Wolff
Fundamental Approaches to Software Engineering, 417-420, 2009
39*2009
HOL-OCL: Experiences, consequences and design choices
AD Brucker, B Wolff
«UML» 2002—The Unified Modeling Language, 196-211, 2002
382002
Semantics, calculi, and analysis for object-oriented specifications
AD Brucker, B Wolff
Acta Informatica 46 (4), 255-284, 2009
342009
Model-based firewall conformance testing
AD Brucker, L Brügger, B Wolff
Testing of Software and Communicating Systems, 103-118, 2008
322008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20