Prof. Dr. Jan Jürjens - Veröffentlichungen nach Thema
Sichere Softwareentwicklung - Softwareevolution

Disclaimer

  • R. Heinrich, S. Gärtner, T.-M. Hesse, T. Ruhroth, R. Reussner, K. Schneider, B. Paech, J. Jürjens: The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution. In: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2015.
    @Article{ijseke16, author = {R.~Heinrich and S.~G\"artner and T.-M.~Hesse and T.~Ruhroth and R.~Reussner and K.~Schneider and B.~Paech and J.~{J}{\"u}{r}jens}, title = {The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution}, journal = {International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, year = {2015}, keywords = {modelbasedSecurityEngineering, softwareEvolution, secvolution}, }
     BibTeX 
  • S. Wenzel, D. Warzecha, J. Jürjens, M. Ochoa: Umlchange - specifying model changes to support security verification of potential evolution. In: Jens Knoop, Uwe Zdun (editors): Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, GI, LNI, vol. 252, pp. 91-92, 2016.
    @InProceedings{se16WWJO, author = {S.~Wenzel and D.~Warzecha and J.~{J}{\"u}{r}jens and M.~Ochoa}, editor = {Jens Knoop and Uwe Zdun}, title = {Umlchange - specifying model changes to support security verification of potential evolution}, booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, {\"{O}}sterreich}, pages = {91--92}, series = {{LNI}}, volume = {252}, publisher = {{GI}}, year = {2016}, url = {https://dl.gi.de/20.500.12116/738}, keywords = {workshop, industrialConferences, softwareEvolution}, }
     BibTeX   URL 
  • J. Bürger, J. Jürjens, S. Wenzel: Restoring Security of Evolving Software Models using Graph-Transformation. In: International Journal on Software Tools for Technology Transfer (STTT), vol. 17, no. 3, pp. 267-289, 2015.
    @Article{BJW15, author = {J.~B\"urger and J.~J\"urjens and S.~Wenzel}, title = {Restoring Security of Evolving Software Models using Graph-Transformation}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, year = {2015}, volume = {17}, number = {3}, pages = {267--289}, doi = {10.1007/s1000901403648}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/bjw15.pdf:URL}, keywords = {modelbasedSecurityEngineering, softwareEvolution, secvolution}, }
     BibTeX   DOI   preprint 
  • C. Apfelbeck, M. Fritz, J. Jürjens, J. Zweihoff: Preserving Validity of Batch-job Nets under Change at Runtime. In: 39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015), IEEE, 2015. 10 pp.
    @InProceedings{compsac15A, author = {C.~Apfelbeck and M.~Fritz and J.~{J}{\"u}{r}jens and J.~Zweihoff}, title = {Preserving Validity of Batch-job Nets under Change at Runtime}, booktitle = {39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015)}, OPTpages = {}, note = {10 pp.}, year = {2015}, organization = {IEEE}, keywords = {internationalConferences, softwareEvolution, secvolution}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/compsac15A.pdf:URL}, }
     BibTeX   preprint 
  • J. Bürger, S. Gärtner, T. Ruhroth, J. Zweihoff, J. Jürjens, K. Schneider: Restoring Security of Long-Living Systems by Co-Evolution. In: 39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015), IEEE, 2015.
    @InProceedings{compsac15B, author = {J.~B{\"u}rger and S.~G{\"a}rtner and T.~Ruhroth and J.~Zweihoff and J.~{J}{\"u}{r}jens and K.~Schneider}, title = {Restoring Security of Long-Living Systems by Co-Evolution}, booktitle = {39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015)}, OPTpages = {}, year = {2015}, organization = {IEEE}, keywords = {internationalConferences, softwareEvolution, secvolution}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/compsac15B.pdf:URL}, }
     BibTeX   preprint 
  • R. Heinrich, S. Gärtner, T.-M. Hesse, T. Ruhroth, R. Reussner, B. Paech, K. Schneider, J. Jürjens: A Platform for Empirical Research on Information System Evolution. In: 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), IEEE, 2015. Regular paper.
    @InProceedings{seke15HGH, author = {R.~Heinrich and S.~G{\"a}rtner and T.-M.~Hesse and T.~Ruhroth and R.~Reussner and B.~Paech and K.~Schneider and J.~{J}{\"u}{r}jens}, title = {A Platform for Empirical Research on Information System Evolution}, booktitle = {27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015)}, OPTpages = {}, note = {Regular paper}, year = {2015}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, organization = {IEEE}, keywords = {internationalConferences, softwareEvolution}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/seke15HGH:URL}, }
     BibTeX   preprint 
  • 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}, }
     BibTeX   slides   audio 
  • 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}, }
     BibTeX   DOI   slides   audio 
  • S. Gärtner, T. Ruhroth, J. Bürger, K. Schneider, J. Jürjens: Towards Maintaining Long-Living Information Systems by Incorporating Evolving Security Knowledge. In: Software Engineering (SE 2015), Lecture Notes in Informatics, GI, 2015.
    @InProceedings{se15GRBSJ, author = {S.~G{\"a}rtner and T.~Ruhroth and J.~B{\"u}rger and K.~Schneider and J.~{J}{\"u}{r}jens}, title = {Towards Maintaining Long-Living Information Systems by Incorporating Evolving Security Knowledge}, booktitle = {Software Engineering (SE 2015)}, OPTpages = {}, year = {2015}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, series = {Lecture Notes in Informatics}, organization = {GI}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/se15.pdf:URL}, keywords = {workshop, industrialConferences, softwareEvolution}, }
     BibTeX   preprint 
  • J. Jürjens: Beyond One-Shot Security: Keeping Software Secure during Evolution. In: 12. Jahrestreffen der GI-FG "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS), Bremen, 2015.
    @InProceedings{fomsess15, author = {J.~{J}{\"u}{r}jens}, title = {Beyond One-Shot Security: Keeping Software Secure during Evolution}, booktitle = {{12.\ Jahrestreffen der GI-FG "Formale Methoden und Software Engineering f\"ur Sichere Systeme (FoMSESS)}}, year = {2015}, address = {Bremen}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/fomsess15.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fomsess15.wav:URL}, keywords = {nonEnglish, softwareEvolution}, }
     BibTeX   slides   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}, }
     BibTeX 
  • S. Wenzel, D. Warzecha, J. Jürjens, M. Ochoa: UMLchange - Specifying Model Changes to Support Security Verification of Potential Evolution. In: Journal of Computer Standards & Interfaces, vol. 36, pp. 776-791, 2014. Special Issue on Security in Information Systems.
    @Article{CSI14wwjo, author = {S.~Wenzel and D.~Warzecha and J.~J{\"u}rjens and M.~Ochoa}, title = {{UMLchange} -- Specifying Model Changes to Support Security Verification of Potential Evolution}, journal = {Journal of Computer Standards \& Interfaces}, year = {2014}, volume = {36}, issue = {4}, pages = {776--791}, note = {Special Issue on Security in Information Systems.}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/csi14wwjo.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, DOI = {http://doi.org/10.1016/j.csi.2013.12.011}, keywords = {selectedPub,modelbasedSecurityEngineering,softwareEvolution, secvolution}, }
     BibTeX   DOI   preprint   dblp 
  • T. Ruhroth, S. Gärtner, J. Bürger, J. Jürjens, K. Schneider: Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure Systems. In: 15th International Conference of Product Focused Software Development and Process Improvement (Profes'14), Springer-Verlag, LNCS, vol. 8892, pp. 239-253, 2014.
    @InProceedings{profes14, author = {T.~Ruhroth and S.~G{\"a}rtner and J.~B{\"u}rger and J.~J{\"u}rjens and K.~Schneider}, title = {Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure Systems}, booktitle = {15th International Conference of Product Focused Software Development and Process Improvement (Profes'14)}, pages = {239--253}, year = {2014}, volume = {8892}, series = {LNCS}, publisher = {Springer-Verlag}, DOI = {10.1007/978-3-319-13835-0_17}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/profes14.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-319-13835-0_17:URL}, keywords = {internationalConferences, softwareEvolution, secvolution}, }
     BibTeX   DOI   preprint   dblp   SpringerLink 
  • J. Bürger, J. Jürjens, T. Ruhroth, S. Gärtner, K. Schneider: Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software Models. In: A. Aldini, J. Lopez, F. Martinelli (editors): Lecture Notes in Computer Science pp. 34-53 Foundations of Security Analysis and Design VII: FOSAD Tutorial Lectures, 2014
    @InCollection{fosad14, author = {J.~B{\"u}rger and J.~{J}{\"u}{r}jens and T.~Ruhroth and S.~G{\"a}rtner and K.~Schneider}, title = {Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software Models}, booktitle = {Foundations of Security Analysis and Design VII: FOSAD Tutorial Lectures}, year = {2014}, editor = {A.~Aldini and J.~Lopez and F.~Martinelli}, volume = {8604}, series = {Lecture Notes in Computer Science}, pages = {34--53}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/fosad14.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-319-10082-1_2:URL}, keywords = {invitedBookChapters, softwareEvolution, secvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • M. Felderer, B. Katt, P. Kalb, J. Jürjens, M. Ochoa, F. Paci, L. M. S. Tran, T. T. Tun, K. Yskout, R. Scandariato, F. Piessens, D. Vanoverberghe, E. Fourneret, M. Gander, B. Solhaug, R. Breu: Evolution of Security Engineering Artifacts: A State of the Art Survey. In: International Journal of Secure Software Engineering (IJSSE), vol. 5, no. 4, pp. 48-98, 2014.
    @Article{ijsse14, author = {M.~Felderer and B.~Katt and P.~Kalb and J.~J{\"u}rjens and M.~Ochoa and F.~Paci and L. M. S.~Tran and T. T.~Tun and K.~Yskout and R.~Scandariato and F.~Piessens and D.~Vanoverberghe and E.~Fourneret and M.~Gander and B.~Solhaug and R.~Breu}, title = {Evolution of Security Engineering Artifacts: A State of the Art Survey}, journal = {International Journal of Secure Software Engineering (IJSSE)}, year = {2014}, volume = {5}, number = {4}, pages = {48--98}, file = {preprint:http://www.researchgate.net/profile/Michael_Felderer/publication/271213941_Evolution_of_Security_Engineering_Artifacts_A_State_of_the_Art_Survey/links/54c28b210cf2911c7a492759.pdf?ev=pub_ext_doc_dl&origin=publication_detail&inViewer=true:URL}, keywords = {modelbasedSecurityEngineering, softwareEvolution}, }
     BibTeX   preprint 
  • J. Jürjens, K. Schneider: The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution. In: Software Engineering (SE 2014), Lecture Notes in Informatics, GI, 2014.
    @InProceedings{se14JS, author = {J.~{J}{\"u}{r}jens and K.~Schneider}, title = {The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution}, booktitle = {Software Engineering (SE 2014)}, OPTpages = {}, year = {2014}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, series = {Lecture Notes in Informatics}, organization = {GI}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/se14JS.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, softwareEvolution}, }
     BibTeX   preprint   dblp 
  • T. Ruhroth, S. Gärtner, J. Bürger, J. Jürjens, K. Schneider: Versioning and Evolution Requirements for Model-Based System Development. In: International Workshop on Comparison and Versioning of Software Models (CVSM 2014), Softwaretechnik-Trends, vol. 34/2, pp. 20-24, 2014.
    @InProceedings{cvsm14RGBJS, author = {T.~Ruhroth and S.~G{\"a}rtner and J.~B{\"u}rger and J.~{J}{\"u}{r}jens and K.~Schneider}, title = {Versioning and Evolution Requirements for Model-Based System Development}, booktitle = {International Workshop on Comparison and Versioning of Software Models (CVSM 2014)}, year = {2014}, keywords = {workshop, industrialConferences, softwareEvolution}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/cvsm14.pdf:URL}, pages = {20--24}, volume = {34/2}, series = {Softwaretechnik-Trends}, }
     BibTeX   preprint 
  • S. Gärtner, J. Bürger, K. Schneider, J. Jürjens: Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen. In: 1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS14), 2014.
    @InProceedings{emls14GBSJ, author = {S.~G{\"a}rtner and J.~B{\"u}rger and K.~Schneider and J.~{J}{\"u}{r}jens}, title = {Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen}, booktitle = {1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS14)}, OPTpages = {}, year = {2014}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/emls14GBSJ.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {nonEnglish, softwareEvolution}, }
     BibTeX   preprint   dblp 
  • 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}, }
     BibTeX   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}, }
     BibTeX   slides   audio 
  • J. Jürjens: Evolution vs. semantische Konsistenz Workshop des GI-AK Traceability, Dortmund 2013
    @Misc{giak13, author = {J.~{J}{\"u}{r}jens}, title = {Evolution vs. semantische Konsistenz}, howpublished = {Workshop des GI-AK Traceability, Dortmund}, year = {2013}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/ak-traceability13_kurz.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/ak-traceability13.wav:URL}, keywords = {nonEnglish, softwareEvolution}, }
     BibTeX   slides   audio 
  • T. Ruhroth, J. Jürjens: Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. In: International Symposium on High Assurance Systems Engineering (HASE), IEEE, pp. 177-184, 2012.
    @InProceedings{hase12RJ, author = {T.~Ruhroth and J.~{J}{\"u}{r}jens}, title = {Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with {UMLsec}}, booktitle = {International Symposium on High Assurance Systems Engineering (HASE)}, year = {2012}, pages = {177--184}, publisher = {IEEE}, DOI = {http://doi.ieeecomputersociety.org/10.1109/HASE.2012.35}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/hase12RJ.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, softwareEvolution, secvolution}, }
     BibTeX   DOI   preprint   dblp 
  • C. Blanco Bueno, E. Fernandez-Medina, J. Trujillo, J. Jürjens: Modelado Seguro de Consultas OLAP y su Evolucion. In: Jornadas de Ingenieria del Software y Bases de Datos (JISBD 2012), Almeria, 2012.
    @InProceedings{ssae12, author = {C.~Blanco Bueno and E.~Fernandez-Medina and J.~Trujillo and J.~{J}{\"u}{r}jens}, title = {Modelado Seguro de Consultas OLAP y su Evolucion}, booktitle = {Jornadas de Ingenieria del Software y Bases de Datos (JISBD 2012)}, year = {2012}, address = {Almeria}, keywords = {nonEnglish, softwareEvolution}, URL = {http://sistedes2012.ual.es/}, }
     BibTeX   URL 
  • J. Jürjens: Automated Security Hardening for Evolving UML Models. In: 33rd International Conference on Software Engineering (ICSE 2011), ACM, 2011.
    @InProceedings{icse11J, author = {J.~{J}{\"u}{r}jens}, title = {Automated Security Hardening for Evolving {UML} Models}, booktitle = {33rd International Conference on Software Engineering (ICSE 2011)}, year = {2011}, publisher = {ACM}, file = {dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, softwareEvolution}, }
     BibTeX   dblp 
  • 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://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-24755-2_12:URL}, keywords = {conferences, softwareEvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • J. Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt: Incremental Security Verification for Evolving UMLsec models. In: Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011), Springer, Lecture Notes in Computer Science, vol. 6698, pp. 52-68, 2011.
    @InProceedings{ecmfa11JMOS, author = {J.~{J}{\"u}{r}jens and Lo{\"i}c Marchal and Mart{\'i}n Ochoa and Holger Schmidt}, title = {Incremental Security Verification for Evolving {UMLsec} models}, booktitle = {Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011)}, year = {2011}, series = {Lecture Notes in Computer Science}, volume = {6698}, publisher = {Springer}, pages = {52--68}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ecmfa11JMOS.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-21470-7_5:URL}, keywords = {internationalConferences, softwareEvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • 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://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-21455-4_15:URL}, keywords = {graduateSchoolLectures, invitedBookChapters, softwareEvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • A. Bauer, J. Jürjens, Y. Yu: Run-Time Security Traceability for Evolving Systems. In: The Computer Journal, vol. 54, no. 1, pp. 58-87, 2011.
    @Article{cj11BJY, author = {A.~Bauer and J.~{J}{\"u}{r}jens and Y.~Yu}, title = {Run-Time Security Traceability for Evolving Systems}, journal = {The Computer Journal}, year = {2011}, volume = {54}, pages = {58--87}, number = {1}, DOI = {http://doi.org/10.1093/comjnl/bxq042}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/compjour10.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {selectedPub,modelbasedSecurityEngineering,vorsecurestreams, softwareEvolution}, }
     BibTeX   DOI   preprint   dblp 
  • 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}, }
     BibTeX   slides 
  • J. Jürjens: Model-based Security Testing Supporting Evolution. In: 14th Software & Systems Quality Conferences (SQC'09), Congress Center Düsseldorf (Germany), 2009.
    @InProceedings{mbstse09, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Testing Supporting Evolution}, booktitle = {14th Software \& Systems Quality Conferences (SQC'09)}, year = {2009}, address = {Congress Center D{\"u}sseldorf (Germany)}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/sqc09.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sqc09.pdf:URL}, keywords = {workshop, industrialConferences, softwareEvolution, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   audio   slides 
  • Yijun Yu, J. Jürjens, J. Mylopoulos: Traceability for the Maintenance of Secure Software. In: 24th International Conference on Software Maintenance (ICSM), pp. 297-306, IEEE, 2008.
    @InProceedings{icsm08YJM, author = {Yijun Yu and J.~{J}{\"u}{r}jens and J.~Mylopoulos}, title = {Traceability for the Maintenance of Secure Software}, booktitle = {24th International Conference on Software Maintenance (ICSM)}, year = {2008}, pages = {297--306}, organization = {IEEE}, DOI = {http://doi.org/10.1109/ICSM.2008.4658078}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/icsm08.pdf:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/yu08icsm-v4.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, softwareEvolution}, }
     BibTeX   DOI   preprint   slides   dblp