Prof. Dr. Jan Jürjens - Publikationen

Bürger, Jens; Strüber, Daniel; Gärtner, Stefan et al.
A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary)
Jörg Becker; Dmitriy Novikov; Raisa Uskenbaeva; Dmitry M. Nazarov; Olga A. Tsukanova; Judith Barrios Albornoz; Elena Kornyshova; Oscar Pastor; A V. Shchepkin; V. O. Korepanov; D. Fedyanin; V.N. Burkov (Hrsg). Proceedings of the 21st IEEE Conference on Business Informatics CBI 2019: 15 - 17 July 2019; Moscow, Russia. Los Alamitos, CA: IEEE Computer Society 2019 S. 179 - 180 (LNI)

Jürjens, Jan
Aktuelle Innovationen in Software Engineering, Data Analytics und IT-Sicherheit
Debeka Innovationswoche, Debeka Innovation Center (DICE), 22.5.2019. Debeka Innovation Center (DICE) 2019

Jürjens, Jan
Erfahrungen mit Design Thinking: Design eines MVP für 3-D-Druck mittels Blockchain
Debeka Innovation Center (DICE), 17.5.2019. Debeka Innovation Center (DICE) 2019

Ramadan, Qusai; Ahmadian, Amir Shayan; Jürjens, Jan et al.
Explaining Algorithmic Decisions with respect to Fairness
Jörg Becker; Dmitriy Novikov; Raisa Uskenbaeva; Dmitry M. Nazarov; Olga A. Tsukanova; Judith Barrios Albornoz; Elena Kornyshova; Oscar Pastor; A V. Shchepkin; V. O. Korepanov; D. Fedyanin; V.N. Burkov (Hrsg). Proceedings of the 21st IEEE Conference on Business Informatics CBI 2019: 15 - 17 July 2019; Moscow, Russia. Los Alamitos, CA: IEEE Computer Society 2019 S. 161 - 162 (LNI)

Jürjens, Jan; Schneider, Kurt; Bürger, Jens et al.
Maintaining Security in Software Evolution
Ralf Reussner; Michael Godeicke; Wilhelm Hasselbring; Birgit Vogel-Heuser; Jan Keim; Lukas Märtin (Hrsg). Managed Software Evolution. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 207 - 253

Ahmadian, Amir Shayan; Strüber, Daniel; Jürjens, Jan
Privacy-enhanced system design modeling based on privacy features
Chih-Cheng Hung; George A. Papadopoulos (Hrsg). Proceedings of the 34th ACM Symposium on Applied Computing SAC 2019; Limassol, Cyprus; April 8-12, 2019. New York, NY: ACM Association for Computing Machinery 2019 S. 1492 - 1499

Jürjens, Jan
Smart Data Analytics im Gesundheitswesen: Aber sicher ! (... und compliant)
Zukunftskongress  Gesundheit  DiGital,  Koblenz, 3.-4.9.2019. 2019

Jürjens, Jan
Zukunftssichere Software: Evolutionsbasiertes Sicherheitstesten für Datenanalyse-Software - Vortrag
OOP 2019, München, 21.-25.1.2019. 2019

Bürger, Jens; Strüber, Daniel; Gärtner, Stefan et al.
A framework for semi-automated co-evolution of security knowledge and system models
Journal of Systems and Software. Bd. 139. H. 5. Amsterdam: Elsevier 2018 S. 142 - 160

Jürjens, Jan
Advanced Smart Data Analytics
MCT Summit 2018, Brühl, 21.-26.10.2018. 2018

Jürjens, Jan
AMable - IDS and Blockchain for Additive Manufacturing
1st  Industrial  Data  Space  Association  Summit, Frankfurt, 22.-23.3.2018. 2018

Jürjens, Jan
Big Data und Datenanalyse für Versicherungsunternehmen: Technologischer Ausblick (Eingeladene Vorlesung)
Big Data Werkstattreihe, Leipzig, 12 July 2018. Versicherungsforen Leipzig 2018

Jürjens, Jan
Blockchains für die Industrie 4.0 mit dem Industrial Data Space
Blockchain Summit 2018, Nürnberg, 19.6.2018. 2018

Stewart, Harrison; Jürjens, Jan
Data security and consumer trust in FinTech innovation in Germany
Information and Computer Security. Bd. 26. H. 1. Bingley: Emerald 2018 S. 109 - 128

Ramadan, Qusai; Strüber, Daniel; Salnitri, Mattia et al.
Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models
Alfonso Pierantonio; Salvador Trujillo (Hrsg). Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 179 - 198

Ahmadian, Amir Shayan; Jürjens, Jan; Strüber, Daniel
Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements
Hisham M. Haddad;Roger L. Wainwright;Richard Chbeir (Hrsg). Proceeding of the 33rd ACM Symposium on Applied Computing SAC 2018: Pau, France; April 9-13, 2018. New York, NY: ACM Association for Computing Machinery 2018 S. 1142 - 1149

Jürjens, Jan
I4.0-Datenanalyse, aber sicher
Deutscher Schneidkongress 2018, Essen, 18.4.2018. 2018

Ramadan, Qusai; Salnitri, Mattia; Strüber, Daniel et al.
Integrating BPMN- and UML-based Security Engineering via Model Transformation
Matthias Tichy; Eric Bodden; Marco Kuhrmann; Stefan Wagner; Jan-Philipp Steghöfer (Hrsg). Software Engineering und Software Management 2018: 5.-9. März, 2018; Ulm, Deutschland; Proceedings. Bonn: Gesellschaft für Informatik 2018 S. 63 - 64

Ramadan, Qusai; Ahmadian, Amir Shayan; Strüber, Daniel et al.
Model-based discrimination analysis: A position paper
Yuriy Brun; Randall Bilof; Brittany Johnson; Alexandra Meliou (Hrsg). Proceedings of the 2018 ACM/IEEE International Workshop on Software Fairness FairWare 2018; Gothenburg, Sweden; 29. May, 2018. New York, NY: ACM Association for Computing Machinery 2018 S. 22 - 28

Peldszus, Sven; Strüber, Daniel; Jürjens, Jan
Model-Based Security Analysis of Feature-Oriented Software Product Lines
Erik Van Wyk; Tiark Rompf (Hrsg). Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences GPCE 2018: November 5–6, 2018; Boston, MA, USA. New York, NY: ACM Association for Computing Machinery 2018 S. 93 - 106

Jürjens, Jan
Security by Design for Web Applications
MCT Summit 2018, Brühl, 21.-26.10.2018. 2018

Jürjens, Jan
Security Testing
SymfonyLive Berlin, 25.-26.10.2018. 2018

Jürjens, Jan
Smart Data Analytics in Automotive
TDWI 2018, München, 26.6.2018. 2018

Ahmadian, Amir Shayan; Strüber, Daniel; Riediger, Volker et al.
Supporting privacy impact assessment by model-based privacy analysis
Hisham M. Haddad; Roger L. Wainwright; Richard Chbeir (Hrsg). Proceeding of the 33rd ACM Symposium on Applied Computing SAC 2018: Pau, France; April 9-13, 2018. New York, NY: ACM Association for Computing Machinery 2018 S. 1467 - 1474

Jürjens, Jan
Technical Competencies (Invited Lecture)
Digital  @  Scale,  Berlin,  4  May  &  6  Dec.  2018, McKinsey & WHU Vallenda. McKinsey & WHU Vallenda 2018

Jürjens, Jan
Versicherungswirtschaft digital: Quo vadis?
TDWI 2018, München, 26.6.2018. 2018

Jürjens, Jan; Ruf, Stefan; Herda, Nils
Wie transformieren Versicherungsunternehmen ihre IT- Infrastrukturen ins digitale Zeitalter?
Wirtschaftsinformatik & Management. Bd. 10. H. 3. Wiesbaden: Springer 2018 S. 74 - 79

Jürjens, Jan
Barriers and opportunities of use of data across sectors and borders: An Invited Panel Contribution
High Level Conference on Building the European Data Economy, 17 Oct 2016, Brussel. 2017

Jürjens, Jan
Datensouveränität in der Industrieautomatisierung
Hannover Messe 2017, Hannover, 24.-28.4.2017. 2017

Ramadan, Qusai; Salnitriy, Mattia; Strüber, Daniel et al.
From Secure Business Process Modeling to Design-Level Security Verification
Lisa O’Conner; Don Batory; Jeff Gray; Vinay Kulkarni; Taylor Riché (Hrsg). Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017: 17-22 September 2017; Austin. Texas. Los Alamitos, CA: IEEE Computer Society 2017 S. 123 - 133

Jürjens, Jan
Industrial Data Space: Predictive Maintenance to Enhance Safety of NRMM
NRMM Functional Safety Conference, Mainz, 25.10.2017. 2017

Stewart, Harrison; Jürjens, Jan
Information security management and the human aspect in organizations
Information and Computer Security. Bd. 25. H. 5. Bingley: Emerald 2017 S. 494 - 534

Jürjens, Jan
IT-Sicherheit in der Industrie 4.0: Datenanalyse, aber sicher !
Nacht der Technik 2017, Koblenz, 4.11.2017. 2017

Ahmadian, Amir Shayan; Peldszus, Sven; Ramadan, Qusai et al.
Model-based Privacy and Security Analysis with CARiSMA
Eric Bodden; Wilhelm Schäfer; Arie van Deursen; Andrea Zisman (Hrsg). Proceeding of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: ESEC/FSE'17; September 4. - 8., 2017; Paderborn, Germany. New York, NY: ACM Association for Computing Machinery 2017 S. 989 - 993

Jürjens, Jan
Privacy Data Management and Awareness for Public Administrations: A Case Study from the Healthcare Domain
Schweighofer, Erich; , ; , ; Rannenberg, Kai (Hrsg). Privacy  Technologies  and  Policy  -  5th  Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers. Springer 2017 S. 192 - 209 (Lecture Notes in Computer Science)

Jürjens, Jan
Security by Design für Cloud-basierte Datenaustauschplattformen: Der Industrial Data Space
Internet Security Days 2017, Brühl, 29.09.2017. 2017

Jürjens, Jan
Security Certification in the Industrial Data Space - Vortrag
14. Jahrestreffen der GI-FG "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS), Darmstadt, 7.-8.9.2017. 2017

Ahammed, Sakib; Sadi, Muhammad Sheikh; Rahman, Md. Shamimur et al.
Soft error tolerance using HVDQ (Horizontal-Vertical-Diagonal-Queen parity method)
International Journal of Computer Systems Science & Engineering. Bd. 32. H. 1. London: CRL 2017 S. 35 - 47

Jürjens, Jan; Schneider, Kurt
Software Engineering 2017: 21.-24. Februar 2017; Hannover, Deutschland, Proceedings
Bonn: Gesellschaft für Informatik 2017

Jürjens, Jan
The Industrial Data Space initiative (Invited Talk)
Digital  Challenges  in  Europe,  Brussels  29  June 2017. EC, Brussels 29 June 2017 2017

Jürjens, Jan
15 Years of Model-based Security Engineering with UML: Supporting Secure Evolution
Boris Shishkov (Hrsg). Proceedings of the Sixth International Symposium on Business Modeling and Software Design BMSD 2016: June 20-22, 2016 in Rhodes, Greece. Setúbal: SciTePress 2016 S. 5 - 6

Jürjens, Jan
Big Data: Aber sicher ! (... und compliant) (Eingeladener Vortrag)
Fraunhofer-Alumni-Summit. 2016

Jürjens, Jan
Compliance in Clouds
San Murugesan;Irena Bojanova (Hrsg). Encyclopedia of Cloud Computing. Hoboken, NJ: Wiley 2016 S. 275 - 290

Jürjens, Jan
Der Industrial Data Space: Datenanalyse für die mittelständige Wirtschaft und Industrie des 4.0 Zeitalters
IT & Wirtschaftsmesse IT2KO. 2016

Jürjens, Jan
Developing a Business Application Scenario in the context of the Industrial Data Space
Web Science 2016 Summer School. 2016

Jürjens, Jan
European Data Space: Enabling Collaborative Data Analysis Services compliant to the GDPR (Invited Talk)
ISC GDPR Seminar on The Impact of the General Data Protection Regulation on collaborative science in Europe and the European Cloud Initiative, 18 Oct 2016, Brussels. 2016

Jürjens, Jan
Industrial Data Space: Plattform für Datenanalysen in der Industrie 4.0
Nacht der Technik 2016. 2016

Jürjens, Jan
IT Security Risks
Summer School of the Trinational Graduate Academy Security-Risk-Orientation. 2016

Zaitsev, Dmitry; Jürjens, Jan
Programming in Sleptsov Net Language for Systems Control
Advances in Mechanical Engineering. Bd. 8. H. 4. London: SAGE Publications 2016 S. 1 - 11

Jürjens, Jan
Security Certification in the Industrial Data Space - Vortrag
Summer  School  of  the  Joint  Master  in  Software Engineering. 2016

Jürjens, Jan
Sicherheitszertifizierung für Daten- und Software-Services in Industrie 4.0: Aspekte der Zertifizierung im Industrial Data Space
Automation 2016. 2016

Jürjens, Jan
Sicherheitszertifizierung für den Industrial Data Space
3. Forschungstag IT-Sicherheit NRW. 2016

Pape, Sebastian; Flake, Julian; Beckmann, Andreas et al.
STAGE - Software Tool for Automatic Grading of Testing Exercises: Case Study Paper
Laura Dillon; Willem Visser; Laurie Williams (Hrsg). Proceedings of the 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering ICSE 2016; 14-22 May, 2016; Austin, Texas, USA. New York, NY: ACM Association for Computing Machinery 2016 S. 491 - 500

Ahmadian, Amir Shayan; Jürjens, Jan
Supporting Model-based Privacy Analysis by Exploiting Privacy Level Agreements
Sébastien Varrette; Pascal Bouvry; Albert Y. Zomaya (Hrsg). Proceedings of the 8th IEEE International Conference on Cloud Computing Technology and Science CloudCom 2016: 12–15 December 2016; Luxembourg City, Luxembourg. Los Alamitos, CA: IEEE Computer Society 2016 S. 360 - 365

Shayan Ahmadian, Amir; Coerschulte, Fabian; Jürjens, Jan
Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds
Boris Shishkov (Hrsg). Business Modeling and Software Design: 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 80 - 95 (Lecture Notes in Business Information Processing)

Jürjens, Jan
The Industrial Data Space: Platform for Digitization in the Manufacturing and Process Industry (Invited Talk)
Industrial Technologies 2016. 2016

Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.
UMLchange - Specifying Model Changes to Support Security Verification of Potential Evolution
Jens Knoop; Uwe Zdun (Hrsg). Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik; 23.-26. Februar 2016 Wien, Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 91 - 92

Heinrich, Robert; Gärtner, Stefan; Hesse, Tom-Michael et al.
A Platform for Empirical Research on Information System Evolution
Marek Reformat; Haiping Xu; Kehan Gao; Shihong Huang (Hrsg). Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering SEKE 2015: Technical Program; July 6 – 8, 2015; Wyndham Pittsburgh University Center, Pittsburgh, USA. Pittsburgh: Knowledge Systems Institute 2015 S. 415 - 420

Jürjens, Jan
Beyond One-Shot Security: Keeping Software Secure during Evolution
12. Jahrestreffen der GI-FG FFormale Methoden und Software Engineering für Sichere Systeme (FoMSESS). Bremen. 2015

Jürjens, Jan
Big Data mit Compliance: Konzepte für den Umgang mit Compliance beim Einsatz von Big Data in der Finanzbranche
TDWI 2015. 2015

Jürjens, Jan
Compliance Warehouse: Ansätze für die Integration von Compliance-Analysen mit Data Warehousing in der Finanzbranche mittels Process-Mining - Vortrag
DW 2015. 2015

Jürjens, Jan
Der Industrial Data Space: Eine unternehmensübergreifende Plattform für Big-Data-Analysen (eingeladener Vortrag)
Zukunftsworkshop Big Data. 2015

Jürjens, Jan
Digitalisierung - Chancen für den Mittelstand (Podiumsdiskussion)
2015

Jürjens, Jan
Industrial Data Space: Eine Plattform für Smart Services und Industrial Analytics: Eingeladener Vortrag auf der Mitgliederversammlung des SOA Innovation Lab
Mitgliederversammlung des SOA Innovation Lab. 2015

Stocker, Joachim; Wenzel, Sven; Jürjens, Jan
IT-Risiko-Check: Das Wissen um geschäftskritische IT- Risiken
Peter Schartner;Kerstin Lemke-Rust;Markus Ullmann (Hrsg). D-A-CH security 2015: Bestandsaufnahme - Konzepte - Anwendungen - Perspektiven. Frechen: Syssec 2015 S. 279 - 290

Jürjens, Jan; Shayan Ahmadian, Amir
Model-based Security Analysis and Applications to Security Economics
Slimane Hammoudi; Luis Ferreira Pires; Philippe Desfray; Joaquim Filipe (Hrsg). Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development MODELSWARD 2015; ESEO, Angers, Loire Valley, France; 9-11 February, 2015. Setúbal: SciTePress 2015 S. 674 - 677

Jürjens, Jan; Shayan Ahmadian, Amir
Model-based Security Analysis and Applications to Security Economics: Invited Talk
International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015). 2015

Jürjens, Jan
Modellbasiertes Sicherheits-Testen für Cloud-basierte Prozesse
Software-QS-Tag 2015. 2015

Jürjens, Jan
Ökonomische Analyse von Sicherheitsmaßnahmen (Eingeladener Vortrag)
Arbeitstreffen  der  Allianz  für  Sicherheit  in  der Wirtschaft e.V. 2015

Apfelbeck, Chris; Fritz, Martin; Jürjens, Jan et al.
Preserving Validity of Batch-Job Nets under Change at Run-Time
Sheikh Iqbal Ahamed; Carl K. Chang; William Chu; Ivica Crnkovic; Pao-Ann Hsiung; Gang Huang; Jingwei Yang (Hrsg). Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops COMPSAC 2015: Volume 2; 1–5 July 2015; Taichung, Taiwan. Los Alamitos, CA: IEEE Computer Society 2015 S. 169 - 178

Bürger, Jens; Jürjens, Jan; Wenzel, Sven
Restoring security of evolving software models using graph transformation
International Journal on Software Tools for Technology Transfer. Bd. 17. H. 3. Berlin: Springer 2015 S. 267 - 289

Bürger, Jens; Gärtner, Stefan; Ruhroth, Thomas et al.
Restoring Security of Long-Living Systems by Co-evolution
Sheikh Iqbal Ahamed; Carl K. Chang; William Chu; Ivica Crnkovic; Pao-Ann Hsiung; Gang Huang; Jingwei Yang (Hrsg). Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops COMPSAC 2015: Volume 2; 1–5 July 2015; Taichung, Taiwan. Los Alamitos, CA: IEEE Computer Society 2015 S. 153 - 158

Jürjens, Jan
Secure Database Development
Encyclopedia of Database Systems. Springer 2015 S. TBD

Jürjens, Jan
Security Certification in the Presence of Evolution: Models vs. Code; Keynote Speaker of SaFoMe 2014
Carlos Canal;Akram Idani (Hrsg). Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SaFoMe, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. XIX - XX

Rahman, Md. Shamimur; Sadi, Muhammad Sheikh; Ahammed, Sakib et al.
Soft Error Tolerance using Horizontal-Vertical- Double-Bit Diagonal parity method
Felix Pasila;Yusak Tanoto;Resmana Lim;Murtiyanto Santoso;Nemuel Daniel Pah (Hrsg). Proceeding of the 2nd International Conference on Electrical Engineering and Infomation Communication Technology iCEEiC 2015: 21 - 23 May 2015; Jahangirnagar University, Savar, Dhaka, Bangladesh. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2015 S. 1 - 6

Rosado, David G.; Lammari, Nadira; Jürjens, Jan
Special Issue on Secure Information Systems Engineering
The Computer Journal. Bd. 58. H. 10. Oxford: Oxford University Press 2015 S. 2193 - 2194

Shayan Ahmadian, Amir; Coerschulte, Fabian; Jürjens, Jan
Supporting the Security Certification of Cloud-Computing- Infrastructures: Invited Paper
Fifth International Symposium on Business Modeling and Software Design (BMSD 2015). 2015 S. 1 - 10

Heinrich, Robert; Gärtner, Stefan; Hesse, Tom-Michael et al.
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution
International Journal of Software Engineering and Knowledge Engineering. Bd. 25. H. 9-10. Singapore: World Scientific 2015 S. 1715 - 1720

Gärtner, Stefan; Ruhroth, Thomas; Bürger, Jens et al.
Towards Maintaining Long-Living Information Systems by Incorporating Security Knowledge
Uwe Aßmann; Birgit Demuth; Thorsten Spitta; Georg Püschel; Ronny Kaiser (Hrsg). Software Engineering & Management 2015 - Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015 in Dresden. Bonn: Gesellschaft für Informatik 2015 S. 83 - 84

Jürjens, Jan
Towards Security of Adaptable Information Systems - Current Views and Future Perspectives: Invited Panel Participation
Fifth International Symposium on Business Modeling and Software Design (BMSD 2015). 2015 S. 1 - 3

Jürjens, Jan
Transparenz und Sicherheit in der Lieferkette
Arbeitstreffen des Bundesverband Deutscher Postdienstleister. 2015

Jürjens, Jan; Wenzel, Sven
Werkzeug für Wirtschaftlichkeit und Effektivität zum Erstellen von Sicherheitskonzepten
WIK : Zeitschrift für die Sicherheit der Wirtschaft. Bd. 5. Ingelheim: SecuMedia 2015 S. keine Angaben

Jürjens, Jan; Piessens, Frank; Bielova, Nataliia
Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014

Felderer, Michael; Katt, Basel; Kalb, Philipp et al.
Evolution of Security Engineering Artifacts: A State of the Art Survey
International Journal of Secure Software Engineering. Bd. 5. H. 4. Hershey, PA: IGI Global 2014 S. 48 - 98

Jürjens, Jan
Geschäftsprozesse in der Cloud -- aber sicher! (... und compliant)
Software  Engineering  +  Architecture  (SEACON 2014). 2014 S. 1 - 83

Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a general-purpose C verifier to prove cryptographic protocols
Journal of Computer Security. Bd. 22. H. 5. Amsterdam: IOS Press 2014 S. 823 - 866

Gärtner, Stefan; Ruhroth, Thomas; Bürger, Jens et al.
Maintaining Requirements for Long-Living Software Systems by Incorporating Security Knowledge
Tony Gorschek; Robyn Lutz (Hrsg). Proceeding of the 2014 IEEE 22nd International Requirements Engineering Conference RE: August 25-29, 2014; Karlskrona, Sweden. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2014 S. 103 - 112

Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software Models
Alessandro Aldini; Javier Lopez; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 34 - 53

Jürjens, Jan
Security  Certification  in  the  Presence  of  Evolution: Models vs. Code (Keynote)
International  Workshop  on  Safety  and  Formal Methods (SaFoMe@SEFM 2014). 2014

Blanco, Carlos; Rosado, David G.; Sanchez, Luís Enrique et al.
Security in information systems: Advances and new challenges
Computer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 687 - 688

Rosado, David G.; Blanco, Carlos; Mellado, Daniel et al.
Security in Information Systems: Proceedings of the 11th International Workshop on Security in Information Systems WOSIS 2014; in conjunction with ICEIS 2014; Lisbon, Portugal; April 27-27, 2014
Setúbal: SciTePress 2014

Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.
Specifying model changes with UMLchange to support security verification of potential evolution
Computer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 776 - 791

Jürjens, Jan; Schneider, Kurt
The SecReq Approach: From Security Requirements to Secure Design while Managing Software Evolution
Wilhelm Hasselbring; Nils Christian Ehmke (Hrsg). Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014 in Kiel, Deutschland. Bonn: Gesellschaft für Informatik 2014 S. 89 - 90

Ruhroth, Thomas; Gärtner, Stefan; Bürger, Jens et al.
Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure Systems
Andreas Jedlitschka; Pasi Kuvaja; Marco Kuhrmann; Tomi Männistö; Jürgen Münch; Mikko Raatikainen (Hrsg). Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 239 - 253

Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes
Markus Helfert; Frédéric Desprez; Donald Ferguson; Frank Leymann (Hrsg). Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 36 - 51

Ruhroth, Thomas; Gärtner, Stefan; Bürger, Jens et al.
Versioning and Evolution Requirements for Model-Based System Development
Softwaretechnik-Trends. Bd. 34. H. 2. Bonn: Gesellschaft für Informatik 2014 S. 20 - 24

Gärtner, Stefan; Bürger, Jens; Schneider, Kurt et al.
Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen
Klaus Schmid; Wolfgang Böhm; Robert Heinrich; Andrea Hermann; Anne Hoffmann; Dieter Landes; Marco Konersmann; Thomas Ruhroth; Oliver Sander; Volker Stolz; Baltasar Trancón Widemann; Rüdiger Weißbach (Hrsg). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering SE-WS 2014 Software Engineering Workshops: 25.-26. Februar 2014 in Kiel, Deutschland. Aachen: CEUR/RWTH 2014 S. 6 - 7

Jürjens, Jan; Livshits, Benjamin; Scandariato, Riccardo
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Berlin: Springer 2013

Jürjens, Jan
Evolution vs. semantische Konsistenz
2013

Jürjens, Jan
Hot Topics in Model-based Security (Invited Panel Contribution)
2013

Jürjens, Jan
IT-Architekturen für auditierbare Geschäftsprozessanwendungen (Eingeladener Vortrag)
Fraunhofer-Symposium Netzwert 2013. München. 2013

Jürjens, Jan
Model-centric Security Verification subject to Evolution (Invited Talk)
2013

Jürjens, Jan
Modellbasiertes Sicherheits- und Compliance-Management
2013 S. 1 - 26

Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes
Frédéric Desprez; Donald Ferguson; Ethan Hadar; Frank Leymann; Matthias Jarke; Markus Helfert (Hrsg). Proceedings of the 3rd International Conference on Cloud Computing and Services Science CLOSER 2013; Aachen, Germany; 8- 10 May, 2013. Setúbal: SciTePress 2013 S. 553 - 561

Taubenberger, Stefan; Jürjens, Jan; Yu, Yijun et al.
Resolving vulnerability identification errors using security requirements on business process models
Information Management & Computer Security. Bd. 21. H. 3. Bingley: Emerald 2013 S. 202 - 223

Jürjens, Jan
Security for Changing Software and Systems (Invited Talk)
tubs.CITY Symposium 2013. Braunschweig. 2013 S. 1 - 19

Jürjens, Jan
Sicherheit und Compliance in der Cloud
microfin Jahresempfang 2013. Frankfurt. 2013 S. 1 - 23

Jürjens, Jan
Zertifizierung für sichere Cyber-Physikalische Systeme
Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2013). Paderborn (Germany). 2013

Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel
A Sound Decision Procedure for the Compositionality of Secrecy
Gilles Barthe; Benjamin Livshits; Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105

Jürjens, Jan; Schneider, Kurt
Beyond One-Shot Security
Norbert Seyff;Anne Koziolek (Hrsg). Modelling and Quality in requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday. Münster: Monsenstein und Vannerdat 2012 S. 121 - 132

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Computational Verification of C Protocol Implementations by Symbolic Execution
Ting Yu; George Danezis; Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723

Jürjens, Jan
Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen
iqnite 2012. 2012

Schneider, Kurt; Knauss, Eric; Houmb, Siv Hilde et al.
Enhancing security requirements engineering by organizational learning
Requirements Engineering. Bd. 17. H. 1. London: Springer 2012 S. 35 - 56

Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
Stefan Jähnichen; Bernhard Rumpe; Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181

Jürjens, Jan
Informationssicherheit im Cloud Computing
Web-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT). 2012 S. 1 - 40

Jürjens, Jan
Model-based Security Engineering
12th International School on Foundations of Security Analysis and Design (FOSAD 2012). Bertinoro (Italy). 2012

Blanco, Carlos; Fernandez-Medina, Eduardo; Trujillo, Juan et al.
Modelado Seguro de Consultas OLAP y su Evolución
Jornadas  de  Ingenieria  del  Software  y  Bases  de Datos (JISBD 2012). Almeria. 2012

Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
Non-interference on UML State-Charts
Carlo A. Furia; Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235

Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
Securing Processes for Outsourcing into the Cloud
Frank Leymann; Ivan Ivanov; Marten van Sinderen; Tony Shan (Hrsg). Proceedings of the 2nd International Conference on Cloud Computing and Services Science CLOSER 2012; Porto, Portugal; 18-21 April, 2012. Setúbal: SciTePress 2012 S. 675 - 680

Rosado, David G.; Sanchez, Luís Enrique; Fernández-Medina, Eduardo et al.
Security in Information Systems: New Challenges and Opportunities
Journal of Universal Computer Science. Bd. 18. H. 6. Graz: Verlag der Technischen Universität Graz 2012 S. 728 - 731

Ruhroth, Thomas; Jürjens, Jan
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec
Victor Winter; Robin Gandhi; Abhishek Parakh (Hrsg). Proceeding of the 14th IEEE International Symposium on High Assurance Systems Engineering HASE 2012: 25. - 27. October, 2012; Omaha, Nebraska. Los Alamitos, CA: IEEE Computer Society 2012 S. 177 - 184

Fourneret, Elizabeta; Bouquet, Fabrice; Ochoa, Martin et al.
Vérification et Test pour des systémes évolutifs
AFADL 2012. Grenoble. 2012

Islam, Shareeful; Mouratidis, Haralambos; Jürjens, Jan
A framework to support alignment of secure software engineeringwith legal regulations
Software and Systems Modeling. Bd. 10. H. 3. Berlin: Springer 2011 S. 369 - 394

Jürjens, Jan
Automated Security Hardening for Evolving UML Models
Richard N. Taylor; Harald Gall; Nenad Medvidović (Hrsg). Proceedings of the 33rd International Conference on Software Engineering ICSE 2011: May 21–28, 2011; Waikiki, Honolulu, Hawaii. New York, NY: ACM Association for Computing Machinery 2011 S. 986 - 988

Schmidt, Holger; Jürjens, Jan
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec
Haralambos Mouratidis; Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 367 - 382

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and verifying cryptographic models from C protocol code by symbolic execution
Yan Chen; George Danezis; Vitaly Shmatikov (Hrsg). Proceedings of the 18th ACM Conference on Computer and Communications Security CCS '11: October 17. - 21., 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 331 - 340

Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
Steve Kremer; Michael Backes; Steve Zdancewic; Jonathan Herzog (Hrsg). 24th IEEE Computer Security Foundations Symposium CSF 2011: 27-29 June, 2011; Cernay-la-Ville, France. Los Alamitos, CA: IEEE Computer Society 2011 S. 3 - 17

Jürjens, Jan; Marchal, Loïc; Ochoa, Martín et al.
Incremental Security Verification for Evolving UMLsec models
Robert B. France; Jochen M. Kuester; Behzad Bordbar; Richard F. Paige (Hrsg). Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Berlin: Springer 2011 S. 52 - 68

Shaikh Sadi, Muhammad; Uddin, Md. Nazim; Khan, Md. Mizanur Rahman et al.
Mitigating Soft Error Risks through Protecting Critical Variables and Blocks
Salah S. Al-Majeed;Chih-Lin Hu;Dhinaharan Nagamalai (Hrsg). Advances in Wireless, Mobile Networks and Applications: International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. Berlin: Springer 2011 S. 137 - 145 (Communications in Computer and Information Science)

Fourneret, Elizabeta; Ochoa, Martin; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart- cards
Günther Pernul; Juan-Carlos Trujillo Mondéjar; Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279

Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
Marco Bernardo; Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526

Massacci, Fabio; Bouquet, Fabrice; Fourneret, Elizabeta et al.
Orchestrating Security and System Engineering for Evolving Systems
Witold Abramowicz; Ignacio M. Llorente; Mike Surridge; Andrea Zisman; Julien Vayssière (Hrsg). Towards a Service-Based Internet: 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings. Berlin: Springer 2011 S. 134 - 143

Taubenberger, Stefan; Jürjens, Jan; Yu, Yijun et al.
Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing Domain
Jan Camenisch; Simone Fischer-Hübner; Yuko Murayama; Armand Portmann; Carlos Rieder (Hrsg). Future Challenges in Security and Privacy for Academia and Industry: 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings. Berlin: Springer 2011 S. 259 - 270

Jürjens, Jan; , ; , 
Proceedings of the 7th International Workshop on Software Engineering  for  Secure  Systems,  SESS  2011,  Waikiki,  Honolulu, HI, USA, May 22, 2011
ACM 2011

Jürjens, Jan; Lee, Seok-Won; Monga, Mattia
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011: May 22, 2011; Waikiki, Honolulu, HI, USA
New York, NY: ACM Association for Computing Machinery 2011

Rosado, David G.; Jürjens, Jan
Proceedings of the 8th International Workshop on Security in Information Systems WOSIS 2011; in conjunction with ICEIS 2011; Beijing, China; 8-9 June, 2011
Setúbal: SciTePress 2011

Bauer, Andreas; Jürjens, Jan; Yu, Yijun
Run-Time Security Traceability for Evolving Systems
The Computer Journal. Bd. 54. H. 1. Oxford: Oxford University Press 2011 S. 58 - 87

Jürjens, Jan
Security and Compliance in Clouds
IT-Compliance 2011. Berlin (Germany). 2011 S. 1 - 25

Nhlabatsi, Armstrong; Bandara, Arosha; Hayashi, Shinpei et al.
Security Patterns: Comparing Modeling Approaches
Haralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 75 - 111

Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
Seventh international workshop on software engineering for secure systems SESS 2011
Richard N. Taylor; Harald Gall; Nenad Medvidović (Hrsg). Proceedings of the 33rd International Conference on Software Engineering ICSE 2011: May 21–28, 2011; Waikiki, Honolulu, Hawaii. New York, NY: ACM Association for Computing Machinery 2011 S. 1200 - 1201

Jürjens, Jan; Nuseibeh, Bashar
Software Engineering for Secure Systems: Technical Briefing ACM 2011
33rd International Conference on Software Engineering (ICSE 2011). 2011 S. 1 - 28

Taubenberger, S.; Jürjens, Jan
Studie zu IT-Risikobewertungen in der Praxis
Peter Schartner;Jürgen Taeger (Hrsg). D-A-CH security 2011: Bestandsaufnahme - Konzepte - Anwendungen - Perspektiven. Klagenfurt: Syssec 2011 S. 235 - 247

Knauss, Eric; Hilde Houmb, Siv; Schneider, Kurt et al.
Supporting Requirements Engineers in Recognising Security Issues
Daniel Berry; Xavier Franch (Hrsg). Requirements Engineering: Foundation for Software Quality; 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings. Berlin: Springer 2011 S. 4 - 18

Hatebur, Denis; Heisel, Maritta; Jürjens, Jan et al.
Systematic Development of UMLsec Design Models Based on Security Requirements
Dimitra Giannakopoulou; Fernando Orejas (Hrsg). Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Berlin: Springer 2011 S. 232 - 246

Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using Security Patterns to Develop Secure Systems
Haralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 16 - 31

Aizatulin, Mihhail; Dupressoir, François; Gordon, Andrew D. et al.
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge
Gilles Barthe; Anupam Datta; Sandro Etalle (Hrsg). Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Berlin: Springer 2011 S. 1 - 20

Peschke, Marc; Hirsch, Martin; Jürjens, Jan et al.
Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken
Peter Schartner;Jürgen Taeger (Hrsg). D-A-CH security 2011: Bestandsaufnahme - Konzepte - Anwendungen - Perspektiven. Klagenfurt: Syssec 2011 S. 267 - 278

Beckers, Kristian; Hirsch, Martin; Jürjens, Jan
Compliance in Clouds: A cloud computing security perspective
GI SECMGT-Workshop. Frankfurt (Germany). 2010 S. 1 - 26

Sheikh Sadi, Muhammad; Myers, D. G.; Ortega-Sanchez, Cesar et al.
Component criticality analysis to minimize soft errors risk
International Journal of Computer Systems Science & Engineering. Bd. 25. H. 5. London: CRL 2010 S. 23 - 37

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentation
Computer Security Foundations Symposium (CSF). 2010

Houmb, Siv Hilde; Islam, Shareeful; Knauss, Eric et al.
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec
Requirements Engineering. Bd. 15. H. 1. London: Springer 2010 S. 63 - 93

Pironti, Alfredo; Jürjens, Jan
Formally-Based Black-Box Monitoring of Security Protocols
Fabio Massacci; Dan Wallach; Nicola Zannone (Hrsg). Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Berlin: Springer 2010 S. 79 - 95

Mouratidis, Haralambos; Jürjens, Jan
From goal-driven security requirements engineering to secure design
International Journal of Intelligent Systems. Bd. 25. H. 8. New York, NY: Wiley 2010 S. 813 - 840

Höhn, Sebastian; Lowis, Lutz; Jürjens, Jan et al.
Identification of Vulnerabilities in Web Services using Model-based Security
Carlos A. Gutiérrez;Eduardo Fernández-Medina;Mario Piattini (Hrsg). Web Services Security Development and Architecture: Theoretical and Practical Issues. Hershey, PA: Information Science Reference 2010 S. 1 - 32

Jürjens, Jan
Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote)
Paloma Díaz; Mary Beth Rosson; Christopher Hundhausen; Emmanuel Pietriga (Hrsg). IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC 2010: 21-25 September, 2010; Leganes, Madrid, Spain. Los Alamitos, CA: IEEE Computer Society 2010 S. 4 - 6

Jürjens, Jan
Modell-basierte Analyse von Geschäftsprozessen und Architekturen
4.  COMPARC  Fokustag,  Fraunhofer  ISST,  20 Jan. 2010, Dortmund, Germany. Fraunhofer ISST, Dortmund 2010

Jürjens, Jan
Outsourcing, SaaS & Clouds: Aber sicher! (... und compliant)
Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010). Wuppertal (Germany). 2010

Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
Proceeding of the 2010 ICSE Workshop on Software Engineering for Secure Systems SESS 2010: May 2, 2010; Cape Town, South Africa in conjunction with The 32nd ACM/IEEE International Conference on Software Engineering ICSE 2010; May 2–8, 2010
New York, NY: ACM Association for Computing Machinery 2010

Bauer, Andreas; Jürjens, Jan
Runtime verification of cryptographic protocols
Computers & Security. Bd. 29. H. 3. Amsterdam: Elsevier 2010 S. 315 - 330

Beckers, Kristian; Jürjens, Jan
Security and Compliance in Clouds
Norbert Pohlmann; Helmut Reimer; Wolfgang Schneider (Hrsg). ISSE 2010 - Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2010 Conference, Berlin, Germany, October 5-7, 2010. Wiesbaden: Vieweg + Teubner 2010 S. 91 - 100

Beckers, K.; Jürjens, Jan
Security and Compliance in Clouds
Information Security Solutions Europe (ISSE 2010). Berlin (Germany). 2010

Jürjens, Jan
Security und Compliance in Clouds
5.  COMPARC  Fokustag,  Fraunhofer  ISST,  20 May 2010, Dortmund, Germany. Fraunhofer ISST, Dortmund 2010

Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
The 6th International Workshop on Software Engineering for Secure Systems SESS 2010
Jeff Kramer; Judith Bishop; Prem Devanbu; Sebastian Uchitel (Hrsg). Proceeding of the 32nd International Conference on Software Engineering ICSE 2010: Volume 2; 1-8 May 2010 Cape Town, South Africa. New York, NY: ACM Association for Computing Machinery 2010 S. 433 - 434

Montrieux, Lionel; Jürjens, Jan; B. Haley, Charles et al.
Tool Support for Code Generation from a UMLsec Property
Charles Pecheur; Jamie Andrews; Elisabetta Di Nitto (Hrsg). Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010: September 20 - 24, 2010; Antwerp, Belgium. New York, NY: ACM Association for Computing Machinery 2010 S. 357 - 358

Blanco, Carlos; Fernández-Medina, Eduardo; Trujillo, Juan et al.
Towards the Secure Modelling of OLAP Users’ Behaviour
Willem Jonker; Milan Petković (Hrsg). Secure Data Management: 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings. Berlin: Springer 2010 S. 101 - 112

Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan
Verifying authentication properties of C security protocol code using general verifiers
Fourth  International  Workshop  on  Analysis  of Security APIs,. 2010

Jürjens, Jan
A domain-specific language for cryptographic protocols based on streams
The Journal of Logic and Algebraic Programming. Bd. 78. H. 2. Amsterdam: Elsevier 2009 S. 54 - 73

Sadi, Muhammad Sheikh; Jürjens, Jan
A Novel Approach to Minimizing the Risks of Soft Errors in Mobile and Ubiquitous Systems
Lalit Goel;King-Jet Tseng;Sabu Emmanuel;Geok-See Ng (Hrsg). Proceeding of the IEEE Region 10 Conference TENCON 2009; 23 – 26 November 2009; Singapore. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 6

Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Electronic Notes in Theoretical Computer Science. Bd. 250. H. 1. Amsterdam: Elsevier 2009 S. 123 - 136

Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol Verification
Pierpaolo Degano; Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172

Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial
12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009

Jürjens, Jan
Model-based Security Engineering with UMLsec
Serenity  Day:  Establishing  IT  Security  as  a  full engineering discipline. Brussels. 2009

Jürjens, Jan
Model-based Security Testing Supporting Evolution
14th Software & Systems Quality Conferences (SQC’09). Congress Center Düsseldorf (Germany). 2009 S. 1 - 34

Fernández-Medina, Eduardo; Jürjens, Jan; Trujillo, Juan et al.
Model-Driven Development for secure information systems
Information and Software Technology. Bd. 51. H. 5. Amsterdam: Elsevier 2009 S. 809 - 814

Washizaki, Hironori; Yoshioka, Nobukazu; Fernández, Eduardo B. et al.
Overview of the 3rd international workshop on software patterns and quality (SPAQu’09)
Shail Arora; Bernd Bruegge; Gary Leavens; Yvonne Coady; Simon Peyton-Jones (Hrsg). Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA 2009: Orlando, Florida, USA; October 25 - 29, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 713 - 714

Woodside, Murray; Petriu, Dorina C.; Petriu, Dorin Bogdan et al.
Performance analysis of security aspects by weaving scenarios extracted from UML models
Journal of Systems and Software. Bd. 82. H. 1. Amsterdam: Elsevier 2009 S. 56 - 74

Jürjens, Jan; Fernandez, Eduardo
Secure Database Development
Ling Liu; M. Tamer Özsu (Hrsg). Encyclopedia of Database Systems. Boston: Springer 2009 S. 2528 - 2534

Jürjens, Jan; Fernandez, Eduardo
Secure Database Development
Liu, Ling; Özsu, M. Tamer (Hrsg). Encyclopedia of Database Systems. Springer 2009 S. 2528 - 2534

Mouratidis, Haralambos; Sunyaev, Ali; Jürjens, Jan
Secure Information Systems Engineering: Experiences and Lessons Learned from two Health Care Projects
Pascal van Eck; Jaap Gordijn; Roel Wieringa (Hrsg). Advanced Information Systems Engineering: 21st International Conference, CAiSE 2009: Amsterdam, The Netherlands, June 8-12, 2009; Proceedings. Berlin: Springer 2009 S. 231 - 245

Lloyd, John; Jürjens, Jan
Security Analysis of a Biometric Authentication System using UMLsec and JML
Andy Schürr; Bran Selic (Hrsg). Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Berlin: Springer 2009 S. 77 - 91

Jürjens, Jan
Security and Dependability Engineering
Spyros Kokolakis; Antonio Maña Gómez; George Spanoudakis (Hrsg). Security and Dependability for Ambient Intelligence. Boston: Springer 2009 S. 21 - 36

Ratiu, Daniel; Marinescu, Radu; Jürjens, Jan
The Logical Modularity of Programs
Andy Zaidman; Giuliano Antoniol; Stéphane Ducasee (Hrsg). Proceedings of the 16th Working Conference on Reverse Engineering WCRE 2009: 13th - 16th October 2009; Lille, France. Los Alamitos, CA: IEEE Computer Society 2009 S. 123 - 127

Jürjens, Jan; Schreck, Jörg; Yu, Yijun
Automated Analysis of Permission-Based Security using UMLsec
José Luiz Fiadeiro; Paola Inverardi (Hrsg). Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Berlin: Springer 2008 S. 292 - 295

Giddings, Michael; Jürjens, Jan; Allen, Pat
Challenges for the model based development of distributed real time systems: Position Paper
Marko Bošković;Dragan Gašević;Claus Pahl;Bernhard Schätz (Hrsg). Proceedings of the 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML-2008; Affiliated with the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS 2008: Toulouse, France; September 28, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 8

Jürjens, Jan
Countering the Malicious Programmer: Invited participation and presentation
Invited participation and presentation at the Dagstuhl seminar on ‘‘Countering the Insider Threat’’ from July 20 to July 25, 2008. 2008

Ratiu, Daniel; Jürjens, Jan
Evaluating the Reference and Representation of Domain Concepts in APIs
René Krikhaar; Ralf Lämmel; Verhoef Chris (Hrsg). Proceedings of the 16th IEEE International Conference on Program Comprehension ICPC 2008: 10-13 June 2008; Amsterdam, The Netherlands. Los Alamitos, CA: IEEE Computer Society 2008 S. 242 - 247

Ratiu, Daniel; Feilkas, Martin; Jürjens, Jan
Extracting Domain Ontologies from Domain Specific APIs
Kostas Kontogiannis; Christos Tjortjis; Andreas Winter (Hrsg). Proceeding of the 12th European Conference on Software Maintenance and Reengineering CSMR 2008: April 1–4, 2008; Athens, Greece. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 203 - 212

Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
First International Modeling Security Workshop
Michel R. V. Chaudron (Hrsg). Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Berlin: Springer 2008 S. 181 - 184

Fernández, Eduardo B.; Jürjens, Jan; Yoshioka, Nobukazu et al.
Incorporating Database Systems into a Secure Software Development Methodology
A. Min Tjoa; Roland R. Wagner (Hrsg). Proceedings of the 19th International Conference on Database and Expert Systems Applications: 1.- 5. September 2008; Turin, Italy. Los Alamitos, CA: IEEE Computer Society 2008 S. 310 - 314

Islam, Shareeful; Jürjens, Jan
Incorporating Security Requirements from Legal Regulations into UMLsec Models
Jon Whittle;Jan Jürjens;Bashar Nuseibeh;Glen Dobson (Hrsg). Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 10

Taubenberger, Stefan; Jürjens, Jan
IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements
Jon Whittle;Jan Jürjens;Bashar Nuseibeh;Glen Dobson (Hrsg). Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 10

Jürjens, Jan
Linking Cryptoprotocol Verification to Reality
Annual Meeting of the Working Group on Formal Methods and Software Engineering for Safety and Security (German Computer Society). Darmstadt (Germany). 2008 S. 1 - 29

Jürjens, Jan; Reiß, Daniel; Trachtenherz, David
Model-based Quality Assurance of Automotive Software
Krzysztof Czarnecki; Ileana Ober; Jean-Michel Bruel; Axel Uhl; Markus Völter (Hrsg). Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Berlin: Springer 2008 S. 858 - 873

Jürjens, Jan
Model-based Run-time Checking of Security Permissions using Guarded Objects
Martin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50

Jürjens, Jan; Schreck, Jörg; Bartmann, Peter
Model-based Security Analysis for Mobile Communications
Wilhelm Schäfer; Matthew B. Dwyer; Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 683 - 692

Jürjens, Jan
Model-based Security Testing Using UMLsec: A Case Study
Electronic Notes in Theoretical Computer Science. Bd. 220. H. 1. Amsterdam: Elsevier 2008 S. 93 - 104

Jürjens, Jan
Model-based vs. Code-based Verification for Critical Systems: A Tutorial
Models 2008 tutorial. 2008

Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008
Aachen: CEUR/RWTH 2008

Jürjens, Jan
Quality Assurance for Security-Critical Systems
13th Software & Systems Quality Conferences (SQC08). Congress Center Düsseldorf, Germany. 2008 S. 1 - 40

Höhn, Sebastian; Jürjens, Jan
Rubacon: Automated Support for Model-based Compliance Engineering
Wilhelm Schäfer; Matthew B. Dwyer; Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 875 - 878

Jürjens, Jan
Security protocols, properties, and their monitoring
Bart De Win; Seok-Won Lee; Mattia Monga (Hrsg). Proceedings of the 4th International Workshop on Software Engineering for Secure Systems SESS 2008 held at the Thirteenth International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 33 - 40

Yu, Yijun; Jürjens, Jan; Schreck, Jörg
Tools for Traceability in Secure Software Development
Paola Inverardi; Andrew Ireland; Willem Visser (Hrsg). Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008: 15-19 September, 2008; L’Aquila , Italy. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 503 - 504

Jürjens, Jan; Yu, Yijun; Bauer, Andreas
Tools for Traceable Security Verification
Samson Abramsky; Erol Gelenbe; Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378

Ratiu, Daniel; Feilkas, Martin; Deissenböck, Florian et al.
Towards a Repository of Common Programming Technologies Knowledge
International Workshop on Semantic Technologies in System Maintenance (STSM 2008). 2008 S. 1 - 24

Jürjens, Jan
Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension
ABZ 2008 VSRnet Workshop. 2008 S. 1 - 31

Yu, Yijun; Jürjens, Jan; Mylopoulos, John
Traceability for the Maintenance of Secure Software
Fuqing Yang; Scott Tilley; Hong Mei; Kenny Wong (Hrsg). Proceedings of the 2008 IEEE International Conference on Software Maintenance ICSM 2008: September 28 - October 4, 2008 Beijing, China. Los Alamitos, CA: IEEE Computer Society 2008 S. 297 - 306

Jürjens, Jan
Using Interface Specifications for Verifying Crypto- protocol Implementations
Foundations of Interface Technologies 2008 (FIT‘08 @ ETAPS 2008). 2008

Houmb, Siv Hilde; Georg, Geri; Jürjens, Jan et al.
An Integrated Security Verification and Security Solution Design Trade-off Analysis Approach
Haralambos Mouratidis;Paolo Giorgini (Hrsg). Integrating Security and Software Engineering: Advances and Future Visions. Hershey, PA: IGI Global 2007 S. 190 - 219

Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Seventh  International  Workshop  on  Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007

Jürjens, Jan
Compliance-driven Secure Software Quality Management
Software & Systems Quality Conference (SQC-UK 2007). London, 2./3. Oct. 2007

Georg, Geri; Houmb, Siv Hilde; France, Robert B. et al.
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report
Thomas Kühne (Hrsg). Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Berlin: Springer 2007 S. 27 - 31

Jürjens, Jan
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
John Knight; Gregg Rothermel; Wolfgang Emmerich (Hrsg). Proceeding of the 29th International Conference on Software Engineering ICSE 2007 Companion Volume: 20-26 May 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 182 - 183

Best, Bastian; Jürjens, Jan; Nuseibeh, Bashar
Model-based Security Engineering of Distributed Information Systems using UMLsec
John Knight; Wolfgang Emmerich; Gregg Rothermel (Hrsg). Proceedings of the 29th International Conference on Software Engineering ICSE 2007: May 20. - 26. 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 581 - 590

Jürjens, Jan
Model-based Security Engineering: Run-time Assurance
Third International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007). Minneapolis (MN) (USA). 2007

Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)
2007

Jürjens, Jan
Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)
Software Engineering 2007. 2007

Woodside, Murray; Petriu, Dorina; Israr, Tauseef et al.
Performance Analysis of Security Aspects in UML Models
Shikharesh Majumdar; Vittorio Cortellessa; Sebastian Uchitel; Daniel Yankelevich (Hrsg). Proceedings of the 6th International Workshop on Software and Performance WOSP 2007: Buenes Aires, Argentina; February 5 - 8, 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 91 - 102

Jürjens, Jan
Security Information Networks: A Two-day tutorial - With Enkryptix Security Consulting, Mumbai and New Delhi India
Two-day tutorial, each in Mumbai and New Delhi. 2007

Ratiu, Daniel; Jürjens, Jan
The Reality of Libraries
René Krikhaar; Chris Verhoef; Giuseppe Antonia Di Lucca (Hrsg). Proceedings of the 11th European Conference on Software Maintenance and Reengineering CSMR 2007: Software Evolution in Complex Software Intensive Systems; 21-23 March 2007; Amsterdam, the Netherlands. Los Alamitos, CA: IEEE Computer Society 2007 S. 307 - 318

Jürjens, Jan
Tools and Techniques for Model-based Testing with UML
12th Software & Systems Quality Conferences. Congress Center Düsseldorf, Germany. 2007 S. 1 - 43

Jürjens, Jan; Yu, Yijun
Tools for Model-based Security Engineering: Models vs. Code
Kurt Stirewalt; Alexander Egyed; Bernd Fischer (Hrsg). Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE 2007: November 5 - 9, 2007; Atlanta, Georgia, USA. New York, NY: ACM Association for Computing Machinery 2007 S. 545 - 546

Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UML
International Journal on Software Tools for Technology Transfer. Bd. 9. H. 5-6. Berlin: Springer 2007 S. 527 - 544

Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using security patterns to build secure systems
1st International Workshop on Software Patterns and Quality (SPAQu’07). 2007

Gollmann, Dieter; Jürjens, Jan
6th IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS‘06 part of ETAPS 2006: March 25-26, 2006; Vienna, Austria
Wien: Vienna University of Technology 2006

Fox, Jorge; Jürjens, Jan
A Framework for Analyzing Composition of Security Aspects
Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel Wieringa (Hrsg). Methods for Modelling Software Systems MMOSS - Dagstuhl Seminar Proceedings 06351: 27.08. - 01.09.2006; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 25

Jürjens, Jan
Building Biometric Authentication Systems: Pitfalls and How to Avoid Them
Annual Computer Security Applications Conference (ACSAC 2006). 2006

Jürjens, Jan
Foundations for Designing Secure Architectures
Electronic Notes in Theoretical Computer Science. Bd. 142. H. 3. Amsterdam: Elsevier 2006 S. 31 - 46

Jürjens, Jan
Model-Based Security Engineering for Real
Jayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606

Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security Aspects
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87

Jürjens, Jan
Model-based Security Engineering: Keynote
SECRYPT. 2006

Jürjens, Jan
Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)
NSF-IST workshop: Long Term Challenges in High Confidence  Composable  Embedded  Systems,  Helsinki  (Finland), June 20--23, 2006. 2006

Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
Shinichi Honiden; Sebastian Uchitel; Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176

Jürjens, Jan
Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft?
Microsoft DevDays Security 2006. Munich. 2006

Jürjens, Jan; Fox, Jorge
Tools for Model-based Security Engineering
Leon J. Osterweil; Dieter Rombach; Mary Lou Soffa (Hrsg). Proceedings of the 28th International Conference on Software Engineering ICSE 2006: May 20. - 28., 2006; Shanghai, China. New York, NY: ACM Association for Computing Machinery 2006 S. 819 - 822

Jürjens, Jan; Fox, J.
Tools for Model-based Security Engineering
28th International Conference on Software Engineering (ICSE 2006). ACM 2006 (ICSE)

Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
Towards a Comprehensive Framework for Secure Systems Development
Eric Dubois; Klaus Pohl (Hrsg). Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006: Luxembourg, Luxembourg, June 5-9, 2006; Proceedings. Berlin: Springer 2006 S. 48 - 62

Jürjens, Jan
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Dan Thomsen; Christoph Schuba; Charles Payne (Hrsg). Proceedings of the 21st Annual Computer Security Applications Conference ACSAC 2005: 5-9 December 2005; Tucson, Arizona. Los Alamitos, CA: IEEE Computer Society 2005 S. 138 - 149

Jürjens, Jan; Yampolskiy, Mark
Code security analysis with assertions
David F. Redmiles; Tom Ellman; Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395

Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and Tests
Ferhat Khendek; Rachida Dssouli (Hrsg). Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005. Proceedings. Berlin: Springer 2005 S. 40 - 55

Jürjens, Jan; Wagner, Stefan
Component-Based Development of Dependable Systems with UML
Colin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper (Hrsg). Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Berlin: Springer 2005 S. 320 - 344

Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.
Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven Development
Carlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 195 - 204

Houmb, S. H.; Jürjens, Jan; France, R.
Critical Systems Development Using Modeling Languages
2005 (TU München Technical Report)

Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages (CSDUML’04): Current Development and Future Challenges (Report on the Third International Workshop)
Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 76 - 84

Jürjens, Jan; Houmb, Siv Hilde
Dynamic Secure Aspect Modeling with UML: From Models to Code
Lionel Briand; Clay Williams (Hrsg). Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings. Berlin: Springer 2005 S. 142 - 155

Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and Tools
International Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005

Fox, Jorge; Jürjens, Jan
Introducing Security Aspects with Model Transformation
Jerzy Rozenblit; Tim O’Neill; Jianfeng Peng (Hrsg). Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems ECBS 2005: 4-7 April 2005; Greenbelt, Maryland. Los Alamitos, CA: IEEE Computer Society 2005 S. 543 - 549

Jürjens, Jan; Lehrhuber, Markus; Wimmel, Guido
Model-Based Design and Analysis of Permission-Based Security
Carlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 224 - 233

Wagner, Stefan; Jürjens, Jan
Model-Based Identification of Fault-Prone Components
Mario Dal Cin; Mohamed Kaâniche; András Pataricza (Hrsg). Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings. Berlin: Springer 2005 S. 435 - 452

Jürjens, Jan
Model-based Security Engineering with UML
Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures. Berlin: Springer 2005 S. 42 - 77

Jürjens, Jan
Model-based Security Engineering with UML
Aldini, A.; , ; Martinelli, F. (Hrsg). Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures. 2005 S. 42 - 77 (Lecture Notes in Computer Science)

Botaschanjan, Jewgenij; Jürjens, Jan
MoDll: Modeling and Analyzing Time-Constraints
Jerzy Rozenblit; Tim O’Neill; Jianfeng Peng (Hrsg). Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems ECBS 2005: 4-7 April 2005; Greenbelt, Maryland. Los Alamitos, CA: IEEE Computer Society 2005 S. 299 - 306

Jürjens, Jan
Return on Security Investment - Tutorial
Infotage. Starnberger See. 2005

Jürjens, Jan
Secure Systems Development with UML
Berlin: Springer 2005

Jürjens, Jan
Security Modeling with UML - Invited graduate course at Universidad Carlos III de Madrid
2005

Jürjens, Jan
Sound Methods and Effective Tools for Model-based Security Engineering with UML
Gruia-Catalin Roman; William Griswold; Bashar Nuseibeh (Hrsg). Proceedings of the 27th International Conference on Software Engineering ICSE 2005: May 15. - 21., 2005; St. Louis; MO, USA. New York, NY: ACM Association for Computing Machinery 2005 S. 322 - 331

Jürjens, Jan
Testing Critical and Embedded Systems: Tutorial
6th International Conference on Software Testing (ICSTEST  2005),  April  6--8,  2005,  Düsseldorf, German, Tutorial. 2005

Jürjens, Jan
Tool-support for Model-Driven Development of Security- Critical Systems with UML
Sami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55

Jürjens, Jan; Shabalin, Pasha
Tools for Critical Systems Development with UML (Tool Demo)
Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 250 - 253

Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UML: Security Analysis with ATPs
Maura Cerioli (Hrsg). Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Berlin: Springer 2005 S. 305 - 309

Jürjens, Jan
Towards using game semantics for crypto protocol verification: Lorenzen games
Dan R. Ghica; Guy McCusker (Hrsg). 1st Workshop on Games for Logic and Programming Languages GaLoP 2005 part of ETAPS 2005, Edinburgh, UK, 2-3 April 2005. Edinburgh: University of Edinburgh 2005 S. 241 - 257

Jürjens, Jan
Understanding Security Goals Provided by Crypto- Protocol Implementations
Harry M. Sneed; Tibor Gyimothy; Vaclav Rajlich (Hrsg). Proceedings of the 21st IEEE International Conference on Software Maintenance ICSM 2005: 26-29 September, 2005; Budapest, Hungary. Los Alamitos, CA: IEEE Computer Society 2005 S. 643 - 646

Jürjens, Jan
UP and Security: Overview on UMLsec
Sobenet workshop: UP, XP and architecture. KU Leuven (Belgium). 2005

Jürjens, Jan
Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving
Manfred Broy; Jean-Pierre Talpin; Elizabeth Leonard (Hrsg). Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE’05: July 11-14, 2005; Verona, Italy. Los Alamitos, CA: IEEE Computer Society 2005 S. 89 - 98

Jürjens, Jan; Shabalin, Pasha
XML-based Analysis of UML Models for Critical Systems Development
Hongji Yang (Hrsg). Advances in UML and XML-Based Software Evolution. Hershey, PA: IGI Global 2005 S. 257 - 274

Jürjens, Jan; Shabalin, Pasha
A Foundation for Tool-Supported Critical Systems Development with UML
Vaclav Dvorak; Miroslav Sveda (Hrsg). Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based System ECBS 2004: 24-27 May 2004; Brno, Czech Republic. Los Alamitos, CA: IEEE Computer Society 2004 S. 398 - 405

Jürjens, Jan; Shabalin, Pasha
Automated Verification of UMLsec Models for Security Requirements
Thomas Baar; Alfred Strohmeier; Ana Moreira; Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379

Jürjens, Jan; Buda, Lidiya
Berechtigungsvergabe in SAP Systemen und ihre automatische Überprüfung
Datenschutz und Datensicherheit. Bd. 28. H. 8. Wiesbaden: Vieweg 2004 S. 476 - 479

Jürjens, Jan
Componentware for Critical Systems
Journal of Object Technology. Bd. 3. H. 4. Zürich: ETH Zürich 2004 S. 47 - 50

Jürjens, Jan
Constructing Tool-Support for Sophisticated Analysis of UML Models: A Tutorial
UML 2004. Lisbon. 2004 S. 1 - 114

Jürjens, Jan
Developing High-Assurance Secure Systems with UML: An Smartcard-based Purchase Protocol
C. V. Ramamoorthy; Wei-Tek Tsai (Hrsg). Proceeding of the Eighth IEEE International Symposium on High Assurance Systems Engineering HASE 2004: 25-26 March 2004; Tampa, Florida. Los Alamitos, CA: IEEE Computer Society 2004 S. 231 - 240

Jürjens, Jan
Developing Secure Web-based Applications with UML: Methods and Tools: Tutorial
Fourth International Conference on Web Engineering (ICWE’04). München (Germany). 2004

Jürjens, Jan
Developing Security-Critical Applications with UMLsec: A Short Walk-Through
Upgrade : The European Journal for the Informatics Professional. Bd. 5. H. 2. Frankfurt am Main: CEPIS 2004 S. 1 - 6

Jürjens, Jan
Logic for Security
Spring School Logic in Computer Science. Venezia. 2004

Jürjens, Jan
Model-based Security Engineering with UML
FOSAD 2004. Bertinoro. 2004

Jürjens, Jan
Model-based Security with UMLsec - Web-cast
UMLchina. 2004

Jürjens, Jan
Model-driven engineering of dependable critical systems with UML: A Tutorial
International Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004

Jürjens, Jan
Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talk
Systems 2004 (Software Development & Architecture Forum). München. 2004

Schmidt, Robert; Jürjens, Jan
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem
Wolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 309 - 310

Jürjens, Jan
Modellierung 2004: Kurzbeiträge
Wolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 279

Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido
Modelling Secure IT Systems - A Survey
Wolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 307 - 308

Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido
Modelling Secure IT-Systems â A Survey
Modellierung 2004. Marburg. 2004

Jürjens, Jan
Playing the Devil’s Advocate: Testing Real-Time Systems - Invited talk
Conference on Software Testing (ICSTEST-E 2004). Bilbao (Spain). 2004 S. 1 - 11

Jürjens, Jan; Houmb, Siv Hilde
Risk-Driven Development of Security-Critical Systems Using UMLsec
Ricardo Reis (Hrsg). Information Technology: Selected Tutorials; IFIP 18th World Computer Congress Tutorials; 22–27 August 2004; Toulouse, France. Boston: Springer 2004 S. 21 - 53

Jürjens, Jan
Secure Software Architecture Description using UML: Invited talk
Workshop  on  Software  Architecture  Description & UML (SADUML2004). Lisbon (Portugal). 2004

Jürjens, Jan
Security Modeling with UMLsec
Workshop regarding Security in Information Systems (SISBD2004). Málaga (Spain). 2004

Jürjens, Jan
Security Software Engineering and Embedded Systems
Infineon. Munich (Germany). 2004

Jürjens, Jan
Software Architectures for Safe and Secure Systems: A Half-day tutorial
4th IEEE/IFIP Conference on Software Architecture (WICSA 2004). Oslo, Norway: Institute of Electrical and Electronics Engineers 2004

Deubler, Martin; Grünbauer, Johannes; Jürjens, Jan et al.
Sound development of secure service-based systems
Marco Aiello; Mikio Aoyama; Francisco Curbera; Mike P. Papazoglou (Hrsg). Proceedings of the Second International Conference on Service Oriented Computing ICSOC 2004: November 15-19, 2004; New York City, NY, USA. New York, NY: ACM Association for Computing Machinery 2004 S. 115 - 124

Jürjens, Jan
Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems
23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004). Potsdam (Germany): Springer Verlag 2004 (Lecture Notes in Computer Science)

Jürjens, Jan
Tools for Critical Systems Development with UML
ASE 2004. Linz. 2004

Jürjens, Jan
Towards Automated Computationally Faithful Verification of Cryptoprotocols
DIMACS Security Protocols Workshop. Rutgers University. 2004

Jürjens, Jan
Algebraic State Machines: Concepts and Applications to Security
Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers. Berlin: Springer 2003 S. 338 - 343

Romberg, Jan; Jürjens, Jan; Wimmel, Guido et al.
AutoFOCUS and the MoDe Tool
Johan Lilius; Felice Balarin; Ricardo J. Machado (Hrsg). Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003: 18-20 June, 2003; Guimarães, Portugal. Los Alamitos, CA: IEEE Computer Society 2003 S. 249 - 250

Jürjens, Jan; Höhn, Sebastian
Automated Checking of SAP Security Permissions
Sushil Jajodia; Leon Strous (Hrsg). Integrity and Internal Control in Information Systems VI: IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13–14 November 2003, Lausanne, Switzerland. Bd. 140. Boston: Springer 2003 S. 13 - 30

Jürjens, Jan
Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe
Softwaretechnik-Trends. Bd. 23. H. 3. Bonn: Gesellschaft für Informatik 2003 S. 1

Beneken, Gerd; Hammerschall, Ulrike; Broy, Manfred et al.
Componentware – State of the Art, Background Paper for the Understanding Components for the Understanding Components Workshop of the CUE Initiative at the Univerit`a Ca’ Foscari di Venezia Venice, October 7th-9th 2003
Understanding Components Workshop of the CUE Initiative. Venice. 2003

Grünbauer, Johannes; Jürjens, Jan
Critical Systems Development with UML-light - Half-day tutorial
18th International Conference on Automated Software Engineering (ASE 2003). Montreal, Canada: Institute of Electrical and Electronics Engineers 2003

Jürjens, Jan; Grünbauer, Johannes
Critical Systems Development with UML: Overview with Automatic Case Study - Tutorial
Walter Dosch; Roger Y. Lee (Hrsg). Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. Lübeck: Schmidt-Römhild 2003 S. 512 - 517

Jürjens, Jan
Developing Safety-Critical Systems with UML
Perdita Stevens; Jon Whittle; Grady Booch (Hrsg). «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications: 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings. Berlin: Springer 2003 S. 360 - 372

Jürjens, Jan; Kuhn, Thomas A.
Developing Secure and Mobile Web-based Applications with UML: Concepts and Tools
WWW/Internet 2003. Algarve (Portugal). 2003

Jürjens, Jan
Developing Secure Enterprise Applications with UML: A Half-day tutorial
Fourth Workshop on UML for Enterprise Applications. Burlingame, California. 2003

Houmb, Siv Hilde; Jürjens, Jan
Developing secure networked Web-based systems using model-based risk assessment and UMLsec
Wanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 488 - 497

Jürjens, Jan
Developing Security-Critical Distributed Systems with UML: Methods and Tools: A Half-day tutorial
6th International Conference on Formal Methods for Open Object-based Distributed Systems. Paris (France): IFIP 2003

Jürjens, Jan; Houmb, Siv Hilde
Development of Safety-Critical Systems and Model- Based Risk Analysis with UML
Rogério de Lemos; Taisy Silva Weber; João Batista CamargoJr. (Hrsg). Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Berlin: Springer 2003 S. 364 - 365

Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and Tools: A Half-day tutorial
FM  2003  --  12th  International Formal Methods Europe Symposium. Pisa, Italy. 2003

Jürjens, Jan
Half-day tutorial - Developing Critical Information Systems with UML: Concepts and Tool-support
, ; , ; , (Hrsg). 2nd International Conference on Information System Technology and its Applications (ISTA 2003). Kharkiv: GI 2003 (LNI)

Jürjens, Jan
IT-Security and Risk-Analysis for Business Processes
Infotage. Starnberger See. 2003

Jürjens, Jan
IT-Sicherheits- und Risikoanalyse von Geschäftsprozessen - Tutorial
Infotage. Starnberger See. 2003

Breu, Ruth; Burger, Klaus; Hafner, Michael et al.
Key Issues of a Formally Based Process Model for Security Engineering
Sixteenth International Conference Software & Systems Engineering & their Applications. Paris. 2003 S. 1 - 15

Jürjens, Jan
Methoden der Entwicklung sicherer Systeme - Half-day tutorial
GI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003

Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorial
International Conference WWW/Internet 2003. 2003

Jürjens, Jan
Model-based Security with UMLsec - Invited talk
UML Forum Tokyo. 2003

Jürjens, Jan
Model-based Testing of Embedded Systems with UML: A Half-day tutorial
Conference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003

Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank Application
Stuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129

Jürjens, Jan
Modelling for IT-Security- and Risk-Analysis
Infotage. Starnberger See. 2003

Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.
Security-critical system development with extended use cases
Wanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487

Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Use Case Oriented Development of Security-Critical Systems
OMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003

Jürjens, Jan
A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial
17th International Conference on Information Security (SEC 2002). Cairo. 2002

Jürjens, Jan
A UML statecharts semantics with message-passing
Gary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013

Jürjens, Jan
Formal Semantics for Interacting UML Subsystems
Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43

Jürjens, Jan
Games In The Semantics Of Programming Languages - An Elementary Introduction
Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158

Jürjens, Jan
Methodische Entwicklung sicherer CORBA-Anwendungen
Patrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131

Jürjens, Jan
Principles for secure system design
Oxford: University of Oxford, Mathematical and Physical Sciences Division 2002

Jürjens, Jan
Secure Java Development with UML
Bart De Decker; Frank Piessens; Jan Smits; Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124

Jürjens, Jan
Secure Systems Development with UML - Applications to Telemedicine: Invited talk
CORAS Public Workshop. Regensburg. 2002

Wimmel, Guido; Jürjens, Jan
Specification-based Test Generation for Security-Critical Systems Using Mutations
Chris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482

Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Towards Using Security Patterns in Model-based System Development
7th  European  Conference  on  Pattern  Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002

Jürjens, Jan
UMLsec - Presenting the Profile: A Half-day tutorial
6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002

Jürjens, Jan
UMLsec: Extending UML for Secure Systems Development
Jean-Marc Jézéquel; Heinrich Hussmann; Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425

Jürjens, Jan
Using UMLsec and Goal-Trees for Secure Systems Development
Gary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1026 - 1030

Cengarle, Maria Victoria; Fernandez, Eduardo B.; Jürjens, Jan et al.
Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden
München: Technische Universität München, Institut für Informatik 2002 (TU München Technical Report TUM-I0208)

Jürjens, Jan
Abstracting from Failure Probabilities
Antti Valmari; Alex Yakovlev (Hrsg). Proceedings of the Second International Conference on Application of Concurrency to System Design ACSD 2001: 25 - 29 June 2001; Newcastle upon Tyne, UK. Los Alamitos, CA: IEEE Computer Society 2001 S. 53 - 64

Jürjens, Jan
Composability of Secrecy
Vladimir I. Gorodetski; Victor A. Skormin; Leonard J. Popyack (Hrsg). Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings. Berlin: Springer 2001 S. 28 - 38

Jürjens, Jan
Developing Secure Systems with UMLsec - From Business Processes to Implementation
Dirk Fox;Marit Köhntopp;Andreas Pfitzmann (Hrsg). Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen. Wiesbaden: Vieweg + Teubner 2001 S. 151 - 161 (DuD-Fachbeiträge)

Jürjens, Jan
Encapsulating Rules of Prudent Security Engineering: (Position Paper)
Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 95 - 101

Jürjens, Jan
Encapsulating Rules of Prudent Security Engineering: (Transcript of Discussion)
Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 102 - 106

Jürjens, Jan
Formal Development and Verification of Security-Critical Systems with UML. In Workshop on Automated Verification of Critical Systems AVoCS 2001; 19. - 21. April, 2001; Oxford: Published as OUCL Technical Report PRG-RR-01-07
Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4

Abadi, Martín; Jürjens, Jan
Formal Eavesdropping and Its Computational Interpretation
Naoki Kobayashi; Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94

Wimmel, Guido; Jürjens, Jan
Formally Testing Fail-safety of Electronic Purse Protocols
Debra Richardson; Martin S. Feather; Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411

Jürjens, Jan
Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC
Michel Dupuy; Pierre Paradinas (Hrsg). Trusted Information: The New Decade Challenge. Boston: Springer 2001 S. 93 - 107

Jürjens, Jan
On a problem of Gabriel and Ulmer
Journal of Pure and Applied Algebra. Bd. 158. H. 2-3. Amsterdam: Elsevier 2001 S. 183 - 196

Jürjens, Jan
Secrecy-preserving Refinement
José Nuno Oliveira; Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152

Jürjens, Jan; Wimmel, Guido
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
Beat Schmid; Katarina Stanoevska-Slabeva; Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505

Jürjens, Jan; Wimmel, Guido
Specification-Based Testing of Firewalls
Dines Bjørner; Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316

Jürjens, Jan
Towards Development of Secure Systems Using UMLsec
Heinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200

Jürjens, Jan
Transformations for Introducing Patterns - A Secure Systems Case Study
Workshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event). Genova. 2001 S. 1 - 5

Jürjens, Jan
Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about Cryptography
Dagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10

Jürjens, Jan
Secure Information Flow for Concurrent Processes
Catuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409

Jürjens, Jan
Kleine Objekte in Kategorien von Algebren
Bremen: Universität Bremen 1998

Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors Risks
CoRR.  S. 1 - 18

Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and Tests
CoRR.  S. 1 - 16

Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
CoRR.  S. 1 - 9

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
CoRR.  S. 1 - 29

Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
CoRR.  S. 1 - 39

Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)
Eingeladener Vortrag in der Ringvorlesung ‘‘Standort Internet"Invited talk in the colloquium. Institut für Informatik und Gesellschaft, Abt. Telematik, Universität  Freiburg,  Nov.  2005  eingeladen  vonon  invitation  of Prof. Dr. Günter Müller