| Secure systems development with UML J Jürjens Springer Science & Business Media, 2005 | 1117 | 2005 |
| UMLsec: Extending UML for secure systems development J Jürjens ≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002 | 1048 | 2002 |
| Towards development of secure systems using UMLsec J Jürjens Fundamental Approaches to Software Engineering: 4th International Conference …, 2001 | 230 | 2001 |
| Data security and consumer trust in FinTech innovation in Germany H Stewart, J Jürjens Information & Computer Security, 2018 | 213 | 2018 |
| Comparing bug finding tools with reviews and tests S Wagner, J Jürjens, C Koller, P Trischberger Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International …, 2005 | 182 | 2005 |
| Formal eavesdropping and its computational interpretation M Abadi, J Jürjens Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001 | 180 | 2001 |
| Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec SH Houmb, S Islam, E Knauss, J Jürjens, K Schneider Requirements Engineering 15, 63-93, 2010 | 174 | 2010 |
| An integrated security verification and security solution design trade-off analysis approach SH Houmb, G Georg, J Jurjens, R France Information Security and Ethics: Concepts, Methodologies, Tools, and …, 2008 | 156* | 2008 |
| Sound methods and effective tools for model-based security engineering with UML J Jürjens Proceedings of the 27th international Conference on Software Engineering …, 2005 | 143 | 2005 |
| Using UMLsec and goal trees for secure systems development J Jürjens Proceedings of the 2002 ACM symposium on Applied computing, 1026-1030, 2002 | 111 | 2002 |
| Model-based security engineering of distributed information systems using UMLsec B Best, J Jurjens, B Nuseibeh 29th International Conference on Software Engineering (ICSE'07), 581-590, 2007 | 109 | 2007 |
| Information security management and the human aspect in organizations H Stewart, J Jürjens Information & Computer Security, 2017 | 101 | 2017 |
| Specification-based testing of firewalls J Jürjens, G Wimmel Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001 | 91 | 2001 |
| Specification-based test generation for security-critical systems using mutations G Wimmel, J Jürjens Formal Methods and Software Engineering: 4th International Conference on …, 2002 | 90 | 2002 |
| Reference Architecture Model. Version 3.0 B Otto, S Steinbuß, A Teuscher, S Lohmann, S Bader, P Birnstil, ... International Data Spaces Association, 2019 | 88 | 2019 |
| Extracting and verifying cryptographic models from C protocol code by symbolic execution M Aizatulin, AD Gordon, J Jürjens Proceedings of the 18th ACM conference on Computer and communications …, 2011 | 88 | 2011 |
| From goal‐driven security requirements engineering to secure design H Mouratidis, J Jurjens International Journal of Intelligent Systems 25 (8), 813-840, 2010 | 86 | 2010 |
| Tools for secure systems development with UML J Jürjens, P Shabalin International Journal on Software Tools for Technology Transfer 9 (5-6), 527-544, 2007 | 85 | 2007 |
| Model-based security testing using umlsec: A case study J Jürjens Electronic Notes in Theoretical Computer Science 220 (1), 93-104, 2008 | 79 | 2008 |
| Secrecy-preserving refinement J Jürjens FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 75 | 2001 |
