Main Content

Disclaimer

Books

• J. Jürjens, F. Piessens, N. Bielova (editors): 6th International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Springer, LNCS, vol. 8364, 2014.
  
  @Proceedings{JurPieBie14,
  title = {6th International Symposium on Engineering Secure Software and Systems (ESSoS 2014)},
  year = {2014},
  editor = {J.~{J}{\"u}{r}jens and F.~Piessens and N.~Bielova},
  volume = {8364},
  series = {LNCS},
  publisher = {Springer},
  file = {electronic:http\://www.springer.com/computer/communication+networks/book/978-3-319-04896-3:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#e5:URL;SpringerLink:http://link.springer.com/book/10.1007/978-3-319-04897-0:URL},
  keywords = {procs, book, secureSoftwareEngineeringGeneral},
  }

  
  [Show BibTex]  [electronic]  [dblp]  [SpringerLink]  
• J. Jürjens, B. Livshits, R. Scandariato (editors): 5th International Symposium on Engineering Secure Software and Systems (ESSoS 2013), Springer, LNCS, vol. 7781, 2013.
  
  @Proceedings{JurLivSca13,
  title = {5th International Symposium on Engineering Secure Software and Systems
  (ESSoS 2013)},
  year = {2013},
  editor = {J.~{J}{\"u}{r}jens and B.~Livshits and R.~Scandariato},
  volume = {7781},
  series = {LNCS},
  publisher = {Springer},
  file = {SpringerLink:http://link.springer.com/book/10.1007%2F978-3-642-36563-8:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#e3:URL},
  keywords = {procs, book, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [SpringerLink]  [dblp]  
• J. Jürjens: Secure Systems Development with UML Published by Springer (2005) 300 pages. Chinese translation: Tsinghua University Press, Beijing 2009.
  
  @Book{UMLsecBook05,
  title = {Secure Systems Development with {UML}},
  publisher = {Springer},
  year = {2005},
  author = {J.~{J}{\"u}{r}jens},
  pages = {300},
  file = {dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#b1:URL;SpringerLink:http://link.springer.com/book/10.1007%2Fb137706:URL},
  note = {Chinese translation: Tsinghua University Press, Beijing 2009},
  keywords = {selectedPub,book,vorsecurestreams, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [dblp]  [SpringerLink]  

Summer / graduate school lectures

• J. Jürjens: Model-based Security Engineering. In: 12th International School on Foundations of Security Analysis and Design (FOSAD 2012), Bertinoro (Italy), 2012.
  
  @InProceedings{fosad12J,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering},
  booktitle = {12th International School on Foundations of Security Analysis and
  Design (FOSAD 2012)},
  year = {2012},
  address = {Bertinoro (Italy)},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/fosad12talk.pdf:URL;audio-pt-1:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fosad12_1.wma:URL;audio-pt-2:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fosad12_2.spx:URL},
  keywords = {graduateSchoolLectures, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides]  [audio-pt-1]  [audio-pt-2]  
• J. Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam: Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. In: Bertinoro (Italy) pp. 504-526 11th School on Formal Methods (SFM'11), 2011
  
  @InCollection{sfm11JOSMHI,
  author = {J.~{J}{\"u}{r}jens and Mart{\'i}n Ochoa and Holger Schmidt and Lo{\"i}c
  Marchal and Siv Hilde Houmb and Shareeful Islam},
  title = {Modelling Secure Systems Evolution: Abstract and Concrete Change
  Specifications},
  booktitle = {11th School on Formal Methods (SFM'11)},
  year = {2011},
  volume = {6659},
  pages = {504--526},
  address = {Bertinoro (Italy)},
  file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/sfm11JOSMHI.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c88:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-21455-4_15:URL},
  keywords = {graduateSchoolLectures, invitedBookChapters, softwareEvolution},
  }

  
  [Show BibTex]  [preprint]  [dblp]  [SpringerLink]  
• J. Jürjens: Model-based Security Engineering with UML. In: A. Aldini, R. Gorrieri, F. Martinelli (editors): Lecture Notes in Computer Science pp. 42-77 Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures, 2005
  
  @InCollection{fosad05,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering with {UML}},
  booktitle = {Foundations of Security Analysis and Desing III: FOSAD 2004/2005
  Tutorial Lectures},
  year = {2005},
  editor = {A. Aldini and R. Gorrieri and F. Martinelli},
  volume = {3655},
  series = {Lecture Notes in Computer Science},
  pages = {42--77},
  file = {slides (part 1/2):http\://rgse.uni-koblenz.de/jj/umlsec/fosad04handout1.pdf:URL;slides (part 2/2):http\://rgse.uni-koblenz.de/jj/umlsec/fosad04handout2.pdf:URL;book chapter:http\://rgse.uni-koblenz.de/jj/publications/papers/fosad04.pdf:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11554578_2:URL},
  keywords = {graduateSchoolLectures, invitedBookChapters, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides (part 1/2)]  [slides (part 2/2)]  [book chapter]  [SpringerLink]  
• J. Jürjens: Security Modeling with UML 2005. Invited graduate course.
  
  @Misc{smuml05,
  author = {J.~{J}{\"u}{r}jens},
  title = {Security Modeling with {UML}},
  year = {2005},
  note = {Invited graduate course},
  file = {Slides:http\://rgse.uni-koblenz.de/jj/umlsec/madrid05.pdf:URL},
  keywords = {graduateSchoolLectures, secureSoftwareEngineeringModelBasedSecurityEngineering},
  organization = {Universidad Carlos III de Madrid},
  }

  
  [Show BibTex]  [Slides]  
• J. Jürjens: Logic for Security. In: Spring School "Logic in Computer Science", Venezia, Graduate School on Logic in Informatics, Munich, 2004.
  
  @InProceedings{lfs04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Logic for Security},
  booktitle = {Spring School {"}Logic in Computer Science{"}},
  year = {2004},
  address = {Venezia},
  organization = {Graduate School on Logic in Informatics, Munich},
  keywords = {graduateSchoolLectures, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis},
  }

  
  [Show BibTex]  

Invited talks / papers

Conferences

• S. Ahmadian, F. Coerschulte, J. Jürjens: Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds (Invited Paper). In: Selected Papers of the Fifth International Symposium on Business Modeling and Software Design (BMSD), pp. 80-95, 2016.
  
  @InProceedings{bmsd15selected,
  author = {S.~Ahmadian and F.~Coerschulte and J.~{J}{\"u}{r}jens},
  title = {Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds (Invited Paper)},
  booktitle = {Selected Papers of the Fifth International Symposium on Business Modeling and Software Design (BMSD)},
  year = {2016},
  volume = {257},
  pages = {80--95},
  keywords = {conferences, secureSoftwareEngineeringSecureService/CloudBasedSystems},
  }

  
  [Show BibTex]  
• J. Jürjens: Big Data: Aber sicher ! (... und compliant) (Eingeladener Vortrag). In: Fraunhofer-Alumni-Summit, 2016.
  
  @InProceedings{fhgalumni16,
  author = {J.~{J}{\"u}{r}jens},
  title = {Big Data: Aber sicher ! (... und compliant) (Eingeladener Vortrag)},
  booktitle = {Fraunhofer-Alumni-Summit},
  year = {2016},
  keywords = {conferences, secureSoftwareEngineeringCompliance},
  }

  
  [Show BibTex]  
• J. Jürjens: The Industrial Data Space: Platform for Digitization in the Manufacturing and Process Industry (Invited Talk). In: Industrial Technologies 2016, 2016.
  
  @InProceedings{it16,
  author = {J.~{J}{\"u}{r}jens},
  title = {The Industrial Data Space: Platform for Digitization in the Manufacturing and Process Industry (Invited Talk)},
  booktitle = {Industrial Technologies 2016},
  year = {2016},
  keywords = {conferences, dataanalysis},
  }

  
  [Show BibTex]  
• J. Jürjens: IT Security Risks. In: Summer School of the Trinational Graduate Academy Security-Risk-Orientation, 2016.
  
  @InProceedings{trifels16,
  author = {J.~{J}{\"u}{r}jens},
  title = {IT Security Risks},
  booktitle = {Summer School of the Trinational Graduate Academy Security-Risk-Orientation},
  year = {2016},
  keywords = {conferences, secureSoftwareEngineeringGeneral},
  }

  
  [Show BibTex]  
• J. Jürjens: Industrial Data Space: Applications in the Medical Domain (Invited Talk). In: International Conference on Business Informatics and Modelling (IC-BIM 2016), 2016.
  
  @InProceedings{icbim16,
  author = {J.~{J}{\"u}{r}jens},
  title = {Industrial Data Space: Applications in the Medical Domain (Invited Talk)},
  booktitle = {International Conference on Business Informatics and Modelling (IC-BIM 2016)},
  year = {2016},
  keywords = {conferences, dataanalysis},
  }

  
  [Show BibTex]  
• J. Jürjens: 15 Years of Model-based Security Engineering with UML: Supporting Secure Evolution (Keynote). In: Sixth International Symposium on Business Modeling and Software Design (BMSD 2016), 2016.
  
  @InProceedings{bmsd16,
  author = {J.~{J}{\"u}{r}jens},
  title = {15 Years of Model-based Security Engineering with {UML}: Supporting Secure Evolution (Keynote)},
  booktitle = {Sixth International Symposium on Business Modeling and Software Design (BMSD 2016)},
  year = {2016},
  keywords = {overviewPub,conferences, secureSoftwareEngineeringGeneral},
  }

  
  [Show BibTex]  
• J. Jürjens: Industrial Data Space - The next step: Integration of Industrie 4.0, Smart data, Smart services (Invited Talk). In: From Industrie 4.0 to Digitising Manufacturing: An End User perspective, 2015.
  
  @InProceedings{mtc15,
  author = {J.~{J}{\"u}{r}jens},
  title = {Industrial Data Space -- The next step: Integration of Industrie 4.0, Smart data, Smart services (Invited Talk)},
  booktitle = {From Industrie 4.0 to Digitising Manufacturing: An End User perspective},
  year = {2015},
  keywords = {conferences, dataanalysis},
  }

  
  [Show BibTex]  
• S. Ahmadian, F. Coerschulte, J. Jürjens: Supporting the Security Certification of Cloud-Computing-Infrastructures (Invited Paper). In: Fifth International Symposium on Business Modeling and Software Design (BMSD 2015), 2015.
  
  @InProceedings{bmsd15,
  author = {S.~Ahmadian and F.~Coerschulte and J.~{J}{\"u}{r}jens},
  title = {Supporting the Security Certification of Cloud-Computing-Infrastructures (Invited Paper)},
  booktitle = {Fifth International Symposium on Business Modeling and Software Design (BMSD 2015)},
  year = {2015},
  file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/bmsd15.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/bmsd15.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/bmsd15.wav:URL},
  keywords = {conferences,secureSoftwareEngineeringSecureService/CloudBasedSystems},
  }

  
  [Show BibTex]  [preprint]  [slides]  [audio]  
• J. Jürjens: Towards Security of Adaptable Information Systems - Current Views and Future Perspectives (Invited Panel Participation). In: Fifth International Symposium on Business Modeling and Software Design (BMSD 2015), 2015.
  
  @InProceedings{bmsd15J,
  author = {J.~{J}{\"u}{r}jens},
  title = {Towards Security of Adaptable Information Systems -- Current Views and Future Perspectives (Invited Panel Participation)},
  booktitle = {Fifth International Symposium on Business Modeling and Software Design (BMSD 2015)},
  year = {2015},
  keywords = {conferences,softwareEvolution},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/bmsd15panel.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/bmsd15panel.wav:URL},
  }

  
  [Show BibTex]  [slides]  [audio]  
• J. Jürjens, A. S. Ahmadian: Model-based Security Analysis and Applications to Security Economics (Invited Talk). In: International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), 2015. Special Session on Security and Privacy in Model Based Engineering.
  
  @InProceedings{modelsward15,
  author = {J.~{J}{\"u}{r}jens and A. S.~Ahmadian},
  title = {Model-based Security Analysis and Applications to Security Economics (Invited Talk)},
  booktitle = {International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)},
  note = {Special Session on Security and Privacy in Model Based Engineering.},
  OPTpages = {},
  year = {2015},
  OPTeditor = {},
  OPTvolume = {},
  OPTnumber = {},
  OPTseries = {},
  OPTorganization = {},
  file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/spie_15.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/spie15.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [preprint]  [slides]  
• J. Jürjens: Digitalisierung - Chancen für den Mittelstand (Podiumsdiskussion) 15. Sparkassen-Forum Deutscher Mittelstand 2015
  
  @Misc{sfdm15,
  author = {J.~{J}{\"u}{r}jens},
  title = {Digitalisierung -- Chancen f{\"u}r den Mittelstand (Podiumsdiskussion)},
  howpublished = {15.\ Sparkassen-Forum Deutscher Mittelstand},
  year = {2015},
  URL = {http://mittelstandsforum.sparkasseblog.de},
  file = {audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/sparkasse-mittelstand_15cut.wav:URL},
  keywords = {conferences},
  }

  
  [Show BibTex]  [URL]  [audio]  
• J. Jürjens: Security Certification in the Presence of Evolution: Models vs. Code (Keynote). In: International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014), 2014.
  
  @InProceedings{safome14talkJ,
  author = {J.~J{\"u}rjens},
  title = {Security Certification in the Presence of Evolution: Models vs.~Code (Keynote)},
  booktitle = {International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014)},
  year = {2014},
  keywords = {conferences, softwareEvolution},
  }

  
  [Show BibTex]  
• J. Jürjens: IT-Architekturen für auditierbare Geschäftsprozessanwendungen (Eingeladener Vortrag). In: Fraunhofer-Symposium "Netzwert" 2013, München, 2013.
  
  @InProceedings{netzwert13J,
  author = {J.~{J}{\"u}{r}jens},
  title = {IT-Architekturen f{\"u}r auditierbare Gesch{\"a}ftsprozessanwendungen (Eingeladener Vortrag)},
  booktitle = {Fraunhofer-Symposium {"}Netzwert{"} 2013},
  year = {2013},
  address = {M{\"u}nchen},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/netzwert_13_final.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/netzwert13.wav:URL},
  keywords = {conferences, secureSoftwareEngineeringCompliance},
  }

  
  [Show BibTex]  [slides]  [audio]  
• J. Jürjens: Security for Changing Software and Systems (Invited Talk). In: tubs.CITY Symposium 2013, Braunschweig, 2013.
  
  @InProceedings{tubscity13J,
  author = {J.~{J}{\"u}{r}jens},
  title = {Security for Changing Software and Systems (Invited Talk)},
  booktitle = {tubs.CITY Symposium 2013},
  year = {2013},
  address = {Braunschweig},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/tubs13.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/tubs13.wav:URL},
  keywords = {conferences, softwareEvolution},
  }

  
  [Show BibTex]  [slides]  [audio]  
• F. Massacci, F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. Muehlberg, F. Paci, S. Paul, F. Piessens, B. Solhaug, S. Wenzel: Orchestrating Security and System Engineering for Evolving Systems (Invited Paper). In: 4th European Conference ServiceWave, Springer, Lecture Notes in Computer Science, vol. 6994, pp. 134-143, 2011.
  
  @InProceedings{servicewave11,
  author = {F.~Massacci and F.~Bouquet and E.~Fourneret and J.~{J}{\"u}{r}jens and M. S.~Lund and S.~Madel{\'e}nat
  and J.~Muehlberg and F.~Paci and S.~Paul and
  F.~Piessens and B.~Solhaug and S.~Wenzel},
  title = {Orchestrating Security and System Engineering for Evolving Systems (Invited Paper)},
  booktitle = {4th European Conference ServiceWave},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  pages = {134--143},
  volume = {6994},
  publisher = {Springer},
  file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/servicewave11.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c89:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-24755-2_12:URL},
  keywords = {conferences, softwareEvolution},
  }

  
  [Show BibTex]  [preprint]  [dblp]  [SpringerLink]  
• J. Jürjens: Model-based Security Engineering with UML: The last decade and towards the future (Keynote). In: 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), pp. 4, 2010.
  
  @InProceedings{vlhcc10,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering with {UML}: The last decade and towards
  the future (Keynote)},
  booktitle = {26th IEEE Symposium on Visual Languages and Human-Centric Computing
  (VL/HCC 2010)},
  year = {2010},
  pages = {4},
  DOI = {http://dx.doi.org/10.1109/VLHCC.2010.10},
  file = {slides:http\://rgse.uni-koblenz.de/jj/publications/slides/vlhcc10talk.pdf:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/vlhcc10rec.wav:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/vlhcc10.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c83:URL},
  keywords = {overviewPub,conferences, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [DOI]  [slides]  [audio]  [preprint]  [dblp]  
• J. Jürjens: Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote). In: Software Engineering 2007, 2007.
  
  @InProceedings{mbess07,
  author = {J.~{J}{\"u}{r}jens},
  title = {{Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)}},
  booktitle = {Software Engineering 2007},
  year = {2007},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/se07de.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: Model-based Security Engineering. In: SECRYPT, 2006.
  
  @InProceedings{mbse06,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering},
  booktitle = {SECRYPT},
  year = {2006},
  crossref = {DBLP:conf/secrypt/2006},
  file = {bibtex:http\://dblp.uni-trier.de/rec/bibtex/conf/secrypt/Jurjens06:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/secrypt06talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/secrypt06.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c53:URL},
  keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering},
  URL = {http://www.secrypt.org},
  }

  
  [Show BibTex]  [URL]  [bibtex]  [slides]  [preprint]  [dblp]  
• J. Jürjens: Model-Based Security Engineering for Real (Industry Day Invited Paper). In: 14th International Symposium on Formal Methods (FM 2006), Springer Verlag, Lecture Notes in Computer Science, vol. 4085, pp. 600-606, 2006. Industry Day Invited Paper.
  
  @InProceedings{mbser06,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-Based Security Engineering for Real (Industry Day Invited Paper)},
  booktitle = {14th International Symposium on Formal Methods (FM 2006)},
  year = {2006},
  volume = {4085},
  series = {Lecture Notes in Computer Science},
  pages = {600--606},
  publisher = {Springer Verlag},
  note = {Industry Day Invited Paper},
  crossref = {DBLP:conf/fm/2006},
  file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fm06talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/fm06.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c57:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11813040_42:URL},
  keywords = {conferences, internationalConferences, secureSoftwareEngineeringIndustrialApplications},
  }

  
  [Show BibTex]  [slides]  [preprint]  [dblp]  [SpringerLink]  
• J. Jürjens: Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft ?. In: Microsoft DevDays Security 2006, Munich, 2006.
  
  @InProceedings{swswhsdw06,
  author = {J.~{J}{\"u}{r}jens},
  title = {{Sicherheit -- Wo stehen wir heute aus Sicht der Wissenschaft~?}},
  booktitle = {Microsoft DevDays Security 2006},
  year = {2006},
  address = {Munich},
  file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/devdays06.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringGeneral},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: Developing Security-Critical Applications with UMLsec - A Short Walk-Through. In: Novatica, vol. 168, 2004.
  
  @Article{dscaumlsec04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Developing Security-Critical Applications with {UMLsec} -- A Short
  Walk-Through},
  journal = {Novatica},
  year = {2004},
  volume = {168},
  DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.2657},
  file = {paper (spanish):http\://rgse.uni-koblenz.de/jj/publications/papers/novatica04-spa.pdf:URL;paper (english):http\://rgse.uni-koblenz.de/jj/publications/papers/novatica04.pdf:URL},
  keywords = {conferences, invitedJournalPapers, secureSoftwareEngineeringUMLsecProfile},
  }

  
  [Show BibTex]  [DOI]  [paper (spanish)]  [paper (english)]  
• J. Jürjens: Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement. In: Systems 2004 (Software Development & Architecture Forum), München, 2004. Invited talk.
  
  @InProceedings{mbsska04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Modell-basierte Sicherheit: Sicheres Konfigurations- und {{\"A}}nderungsmanagement},
  booktitle = {Systems 2004 (Software Development \& Architecture Forum)},
  year = {2004},
  address = {M{\"u}nchen},
  note = {Invited talk},
  file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/systems04.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/systems04.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [audio]  [slides]  
• J. Jürjens: Playing the Devil's Advocate: Testing Real-Time Systems. In: Conference on Software Testing (ICSTEST-E 2004), Bilbao (Spain), 2004. Invited talk.
  
  @InProceedings{pdatrts04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Playing the Devil's Advocate: Testing Real-Time Systems},
  booktitle = {Conference on Software Testing (ICSTEST-E 2004)},
  year = {2004},
  address = {Bilbao (Spain)},
  note = {Invited talk},
  file = {audio (spanish):http\://rgse.uni-koblenz.de/jj/publications/audio/icsteste04span.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/icstest04.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringSecurityTesting},
  }

  
  [Show BibTex]  [audio (spanish)]  [slides]  
• J. Jürjens: Model-based Security with UMLsec. In: UML Forum Tokyo, 2003. Invited talk.
  
  @InProceedings{mbsumlsec03,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security with {UMLsec}},
  booktitle = {UML Forum Tokyo},
  year = {2003},
  note = {Invited talk},
  file = {audio (japanese part 1/2):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03jap1.wav:URL;audio (japanese part 2/2):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03jap2.wav:URL;audio (english):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03eng.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/UMLF03.pdf:URL},
  keywords = {conferences, secureSoftwareEngineeringUMLsecProfile},
  URL = {http://www.otij.org/event/umlforum/2003/conference/#sec02},
  }

  
  [Show BibTex]  [URL]  [audio (japanese part 1/2)]  [audio (japanese part 2/2)]  [audio (english)]  [slides]  
• J. Jürjens: Critical Systems Development with UML. In: Forum on Design Languages (FDL 2002), Marseille, European Electronic Chips & Systems design Initiative (ECSI), 2002. Invited talk.
  
  @InProceedings{csduml02b,
  author = {J.~{J}{\"u}{r}jens},
  title = {Critical Systems Development with {UML}},
  booktitle = {Forum on Design Languages (FDL 2002)},
  year = {2002},
  address = {Marseille},
  organization = {European Electronic Chips \& Systems design Initiative (ECSI)},
  note = {Invited talk},
  file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/fdl02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fdl.pdf:URL},
  keywords = {conferences, dependableSystems},
  }

  
  [Show BibTex]  [audio]  [slides]  

Workshops

• J. Jürjens: Industrial Data Space: Infrastructure for Secure Data Exchange in a Commercial Context. In: EC Round Table: A legal regime fit for an efficient and fair access to and usage and exchange of data, 2016.
  
  @InProceedings{eu16,
  author = {J.~{J}{\"u}{r}jens},
  title = {Industrial Data Space: Infrastructure for Secure Data Exchange in a Commercial Context},
  booktitle = {EC Round Table: A legal regime fit for an efficient and fair access to and usage and exchange of data},
  year = {2016},
  keywords = {invitedTalk, invitedWorkshop, dataanalysis},
  }

  
  [Show BibTex]  
• J. Jürjens: Industrial Data Space: Platform for the Standardisation of Data Exchange in a Smart Industry (Invited Talk). In: Industrial Technologies 2016, Workshop on Standardisation for Smart Industry, 2016.
  
  @InProceedings{it16ws,
  author = {J.~{J}{\"u}{r}jens},
  title = {Industrial Data Space: Platform for the Standardisation of Data Exchange in a Smart Industry (Invited Talk)},
  booktitle = {Industrial Technologies 2016, Workshop on Standardisation for Smart Industry},
  year = {2016},
  keywords = {invitedTalk, invitedWorkshop, dataanalysis},
  }

  
  [Show BibTex]  
• J. Jürjens: Security Certification in the Presence of Evolution: Models vs. Code (Invited talk). In: Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops, Revised Selected Papers, LNCS, vol. 8938, pp. XIX-XX, 2015.
  
  @InProceedings{safome14J,
  author = {J.~{J}{\"u}{r}jens},
  title = {Security Certification in the Presence of Evolution: Models vs. Code (Invited talk)},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops, Revised Selected Papers},
  pages = {XIX--XX},
  year = {2015},
  volume = {8938},
  series = {LNCS},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/safome14.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/safome14.wav:URL},
  keywords = {invitedTalk, invitedWorkshop, softwareEvolution},
  doi = {10.1007/978-3-319-15201-1},
  }

  
  [Show BibTex]  [DOI]  [slides]  [audio]  
• J. Jürjens: Model-centric Security Verification subject to Evolution (Invited Talk) Eternals Workshop @ ESSOS'13, Paris 2013
  
  @Misc{eternals13J,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-centric Security Verification subject to Evolution (Invited Talk)},
  howpublished = {Eternals Workshop @ ESSOS'13, Paris},
  year = {2013},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/eternals13.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/eternals13.WAV:URL},
  keywords = {invitedTalk, invitedWorkshop, softwareEvolution},
  }

  
  [Show BibTex]  [slides]  [audio]  
• J. Jürjens: Hot Topics in Model-based Security (Invited Panel Contribution) Eternals Workshop @ ESSOS'13, Paris 2013
  
  @Misc{eternals13Jpanel,
  author = {J.~{J}{\"u}{r}jens},
  title = {Hot Topics in Model-based Security (Invited Panel Contribution)},
  howpublished = {Eternals Workshop @ ESSOS'13, Paris},
  year = {2013},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/eternals13panel.pdf:URL},
  keywords = {invitedTalk, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides]  
• M. Aizatulin, F. Dupressoir, A. D. Gordon, J. Jürjens: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. In: 8th International Workshop on Formal Aspects of Security & Trust (FAST2011), pp. 1-20, 2011.
  
  @Conference{fast11ADGJ,
  author = {M.~Aizatulin and F.~Dupressoir and A. D.~Gordon and J.~{J}{\"u}{r}jens},
  title = {Verifying Cryptographic Code in C: Some Experience and the Csec Challenge},
  booktitle = {8th International Workshop on Formal Aspects of Security \& Trust
  (FAST2011)},
  year = {2011},
  pages = {1--20},
  file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/fast11ADGJ.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#c92:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-29420-4_1:URL},
  keywords = {internationalConferences, secureSoftwareEngineeringCodeSecurityAnalysis, invitedWorkshop},
  }

  
  [Show BibTex]  [preprint]  [dblp]  [SpringerLink]  
• S. Islam, H. Mouratidis, J. Jürjens: A Framework to Support Alignment of Secure Software Engineering with Legal Regulations. In: 8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011), Beijing, 2011.
  
  @InProceedings{iceis11IMJ,
  author = {S.~Islam and H.~Mouratidis and J.~{J}{\"u}{r}jens},
  title = {A Framework to Support Alignment of Secure Software Engineering with
  Legal Regulations},
  booktitle = {8th International Workshop on Security in Information Systems (WOSIS
  2011), 13th International Conference on Enterprise Information Systems
  (ICEIS 2011)},
  year = {2011},
  address = {Beijing},
  journal = {8th International Workshop on Security in Information Systems (WOSIS
  2011), 13th International Conference on Enterprise Information Systems
  (ICEIS 2011)},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringSecurityRequirementsEngineering, secureSoftwareEngineeringCompliance},
  }

  
  [Show BibTex]  
• J. Jürjens: Model-based Security Engineering for Evolving Systems. In: Workshop on Security in Model Driven Architecture (SEC-MDA`09), Fifth European Conference on Model Driven Architecture Foundations and Applications (ECMDA 2009), University of Twente, 2009.
  
  @InProceedings{mbsees,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering for Evolving Systems},
  booktitle = {Workshop on Security in Model Driven Architecture (SEC-MDA`09), Fifth
  European Conference on Model Driven Architecture Foundations and
  Applications (ECMDA 2009)},
  year = {2009},
  address = {University of Twente},
  file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/mdasec09.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering, softwareEvolution},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: Model-based Security Engineering with UMLsec. In: Serenity Day: Establishing IT Security as a full engineering discipline, Brussels, 2009.
  
  @InProceedings{mbseumlsec09,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering with {UMLsec}},
  booktitle = {Serenity Day: Establishing IT Security as a full engineering discipline},
  year = {2009},
  address = {Brussels},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering, secureSoftwareEngineeringUMLsecProfile},
  }

  
  [Show BibTex]  
• J. Jürjens: Model-based Security Engineering: Run-time Assurance. In: Third International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007), Minneapolis (MN) (USA), 2007.
  
  @InProceedings{sess07,
  author = {J.~{J}{\"u}{r}jens},
  title = {Model-based Security Engineering: Run-time Assurance},
  booktitle = {Third International Workshop on Software Engineering for Secure Systems
  (SESS 2007 @ ICSE 2007)},
  year = {2007},
  address = {Minneapolis (MN) (USA)},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/sess07.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: UP and Security: Overview on UMLsec. In: Sobenet workshop: UP, XP and architecture, KU Leuven (Belgium), 2005.
  
  @InProceedings{sobenet05,
  author = {J.~{J}{\"u}{r}jens},
  title = {UP and Security: Overview on {UMLsec}},
  booktitle = {Sobenet workshop: UP, XP and architecture},
  year = {2005},
  address = {KU Leuven (Belgium)},
  file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/sobenet05hand.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringUMLsecProfile},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: Foundations for Designing Secure Architectures. In: First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, 2004. Invited talk.
  
  @InProceedings{fdsa04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Foundations for Designing Secure Architectures},
  booktitle = {First International Workshop on Views On Designing Complex Architectures
  (VODCA 2004)},
  year = {2004},
  address = {Bertinoro},
  note = {Invited talk},
  DOI = {10.1016/j.entcs.2005.07.012},
  file = {photo:http\://rgse.uni-koblenz.de/jj/pics/vodca04.jpg:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/vodca04.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/vodca04talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/vodca04.pdf:URL;dblp:http://www.informatik.uni-trier.de/~ley/pers/hd/j/J=uuml=rjens:Jan.html#j3:URL},
  keywords = {workshop, invitedJournalPapers, invitedWorkshop, secureSoftwareEngineeringFoundationsOfSecurity},
  }

  
  [Show BibTex]  [DOI]  [photo]  [audio]  [slides]  [preprint]  [dblp]  
• J. Jürjens: Security Modeling with UMLsec. In: Workshop regarding Security in Information Systems (SISBD2004), Málaga (Spain), 2004.
  
  @InProceedings{smumlsec04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Security Modeling with {UMLsec}},
  booktitle = {Workshop regarding Security in Information Systems (SISBD2004)},
  year = {2004},
  address = {M\'{a}laga (Spain)},
  file = {audio (part 1/2):http\://rgse.uni-koblenz.de/jj/publications/audio/sisbd04a.wav:URL;audio (part 2/2):http\://rgse.uni-koblenz.de/jj/publications/audio/sisbd04b.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sisbd04-handout.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringUMLsecProfile},
  }

  
  [Show BibTex]  [audio (part 1/2)]  [audio (part 2/2)]  [slides]  
• J. Jürjens: Secure Software Architecture Description using UML. In: Workshop on Software Architecture Description & UML (SADUML2004), Lisbon (Portugal), 2004. Invited talk.
  
  @InProceedings{ssad04,
  author = {J.~{J}{\"u}{r}jens},
  title = {Secure Software Architecture Description using {UML}},
  booktitle = {Workshop on Software Architecture Description \& UML (SADUML2004)},
  year = {2004},
  address = {Lisbon (Portugal)},
  note = {Invited talk},
  file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/saduml04.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [slides]  
• J. Jürjens: Developing Safety- and Security-critical Systems with UML. In: DARP workshop, Loughborough, 2003. Invited talk.
  
  @InProceedings{dsscs03,
  author = {J.~{J}{\"u}{r}jens},
  title = {Developing Safety- and Security-critical Systems with {UML}},
  booktitle = {DARP workshop},
  year = {2003},
  address = {Loughborough},
  note = {Invited talk},
  file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/darp03.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/darp03.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [audio]  [slides]  
• J. Jürjens: Secure Systems Development with UML - Applications to Telemedicine. In: CORAS Public Workshop, Regensburg, 2002. International Conference on Telemedicine (ICT 2002). Invited talk.
  
  @InProceedings{smunl02,
  author = {J.~{J}{\"u}{r}jens},
  title = {Secure Systems Development with {UML} -- Applications to Telemedicine},
  booktitle = {CORAS Public Workshop},
  year = {2002},
  address = {Regensburg},
  note = {International Conference on Telemedicine (ICT 2002). Invited talk},
  file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/coras02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/UMLsecTelemed.pdf:URL},
  keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering},
  }

  
  [Show BibTex]  [audio]  [slides]  

Theses

• J. Jürjens: Principles for Secure Systems Design Oxford University Computing Laboratory, 2002 (PhD-Thesis).
  
  @PhdThesis{Jur02,
  author = {J.~{J}{\"u}{r}jens},
  title = {Principles for Secure Systems Design},
  school = {Oxford University Computing Laboratory},
  year = {2002},
  type = {Thesis for Doctor in Philosophy in Computing Science},
  address = {University of Oxford},
  file = {thesis:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/Jur02.pdf:URL},
  keywords = {thesis, secureSoftwareEngineeringGeneral},
  }

  
  [Show BibTex]  [thesis]  
• J. Jürjens: Kleine Objekte in Kategorien von Algebren University of Bremen, 1998, Master Thesis.
  
  @MastersThesis{J98a,
  author = {J.~{J}{\"u}{r}jens},
  title = {Kleine Objekte in Kategorien von Algebren},
  school = {University of Bremen},
  year = {1998},
  type = {Master Thesis},
  address = {Bremen (Germany)},
  file = {paper (ps.gz):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.ps.gz:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.pdf;abstract (ps.gz):http\://rgse.uni-koblenz.de/jj/publications/papers/gamesrevd.ps.gz:URL;abstract (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/DAbstract.ps:URL;abstract (pdf):http://rgse.uni-koblenz.de/jj/publications/papers/DAbstract.pdf:URL},
  keywords = {thesis, mathematicalLogic},
  }

  
  [Show BibTex]  [paper (ps.gz)]  [paper (ps)]  [abstract (ps.gz)]  [abstract (ps)]  [abstract (pdf)]