Prof. Dr. Jan Jürjens -
Industrie- / nationale Konferenzen; Workshops / Tutorials (unvollständig)

• 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 
• N. Menz, J. Jürjens: Sicherheitszertifizierung für Daten- und Software-Services in Industrie 4.0: Aspekte der Zertifizierung im Industrial Data Space. In: Automation 2016, 2016.
  @InProceedings{automation16, author = {N.~Menz and J.~{J}{\"u}{r}jens}, title = {Sicherheitszertifizierung f\"ur Daten- und Software-Services in Industrie 4.0: Aspekte der Zertifizierung im Industrial Data Space}, booktitle = {Automation 2016}, year = {2016}, keywords = {workshop, industrialConferences, dataanalysis}, }

   BibTeX 
• J. Jürjens: Developing a Business Application Scenario in the context of the Industrial Data Space. In: Web Science 2016 Summer School, 2016.
  @InProceedings{webscience16, author = {J.~{J}{\"u}{r}jens}, title = {Developing a Business Application Scenario in the context of the Industrial Data Space}, booktitle = {Web Science 2016 Summer School}, year = {2016}, keywords = {workshop, industrialConferences, dataanalysis}, }

   BibTeX 
• J. Jürjens: Security Certification in the Industrial Data Space. In: Summer School of the Joint Master in Software Engineering, 2016.
  @InProceedings{jmse16, author = {J.~{J}{\"u}{r}jens}, title = {Security Certification in the Industrial Data Space}, booktitle = {Summer School of the Joint Master in Software Engineering}, year = {2016}, keywords = {workshop, industrialConferences, dataanalysis}, }

   BibTeX 
• 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, 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 
• J. Jürjens: Security and Compliance in Clouds. In: CloudConf 2011, Munich, 2011.
  @Conference{cloudconf11J, author = {J.~{J}{\"u}{r}jens}, title = {Security and Compliance in Clouds}, booktitle = {CloudConf 2011}, year = {2011}, address = {Munich}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/cloudconf11.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/slides/cloudconf11.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX   audio   slides 
• J. Jürjens: Security and Compliance in Clouds. In: CloudDays2011, Stuttgart and Cologne (Germany), 2011.
  @Conference{scc11b, author = {J.~{J}{\"u}{r}jens}, title = {Security and Compliance in Clouds}, booktitle = {CloudDays2011}, year = {2011}, address = {Stuttgart and Cologne (Germany)}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/clouddays11.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/slides/clouddays11.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, URL = {http://www.heise-medien.de/presse/CloudDays-2011-Strategien-unter-der-Lupe-1609909.html}, }

   BibTeX   URL   audio   slides 
• J. Jürjens: Security and Compliance in Clouds. In: IT-Compliance 2011, Berlin (Germany), 2011. 4th Pan-European Conference.
  @Conference{scc11c, author = {J.~{J}{\"u}{r}jens}, title = {Security and Compliance in Clouds}, booktitle = {IT-Compliance 2011}, year = {2011}, address = {Berlin (Germany)}, note = {4th Pan-European Conference.}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/it-compliance.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, URL = {http://www.marcusevansde.com/itc-2011}, }

   BibTeX   URL   slides 
• J. Jürjens, K. Beckers: Security and Compliance in Clouds. In: Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider (editors): ISSE 2010 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2010 Conference, Berlin, Germany, October 5-7, 2010, Vieweg+Teubner, Munich (Germany), pp. 91-100, 2010.
  @Conference{scc11d, author = {J.~{J}{\"u}{r}jens and K. Beckers}, editor = {Norbert Pohlmann and Helmut Reimer and Wolfgang Schneider}, title = {Security and Compliance in Clouds}, booktitle = {{ISSE} 2010 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2010 Conference, Berlin, Germany, October 5-7, 2010}, pages = {91--100}, publisher = {Vieweg+Teubner}, year = {2010}, address = {Munich (Germany)}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/oop11.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/slides/oop11.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, URL = {http://www.sigs-datacom.de/oop2011/oop2011-eng/conference.html}, }

   BibTeX   URL   audio   slides 
• J. Jürjens, M. Hirsch, J.-C. Küster: Security and Compliance in Clouds: Pattern-Based Compliance and Security Requirements Engineering. In: iqnite 2011, Düsseldorf, 2011.
  @Conference{iqnite11, author = {J.~{J}{\"u}{r}jens and M.~Hirsch and J.-C.~K{\"u}ster}, title = {Security and Compliance in Clouds: Pattern-Based Compliance and Security Requirements Engineering}, booktitle = {iqnite 2011}, year = {2011}, address = {D{\"u}sseldorf}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/Vortrag-iqnite.pdf:URL}, keywords = {industrialConferences, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, URL = {http://www.iqnite-conferences.com/de}, }

   BibTeX   URL   slides 
• K. Beckers, M. Hirsch, J. Jürjens: Compliance in Clouds: A cloud computing security perspective. In: GI SECMGT-Workshop, Frankfurt (Germany), 2010.
  @InProceedings{cicaccsp10, author = {K.~Beckers and M.~Hirsch and J.~{J}{\"u}{r}jens}, title = {Compliance in Clouds: A cloud computing security perspective}, booktitle = {GI SECMGT-Workshop}, year = {2010}, address = {Frankfurt (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/slides/Comparc_Compliance%20in%20Clouds_eng.pdf:URL}, keywords = {workshop, industrialConferences,secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX   slides 
• M. Aizatulin, A. D. Gordon, J. Jürjens: Cryptographic Security Verification for C by Symbolic Execution. In: Computer Security Foundations Symposium (CSF), 2010. 5-minute presentation.
  @InProceedings{csvc10, author = {M.~Aizatulin and A. D.~Gordon and J.~{J}{\"u}{r}jens}, title = {Cryptographic Security Verification for C by Symbolic Execution}, booktitle = {Computer Security Foundations Symposium (CSF)}, year = {2010}, note = {5-minute presentation}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/csf10.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   preprint 
• K. Beckers, J. Jürjens: Security and Compliance in Clouds. In: Information Security Solutions Europe (ISSE 2010), Berlin (Germany), 2010.
  @InProceedings{scc10, author = {K.~Beckers and J.~{J}{\"u}{r}jens}, title = {Security and Compliance in Clouds}, booktitle = {Information Security Solutions Europe (ISSE 2010)}, year = {2010}, address = {Berlin (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/slides/isse10talk_nobackup.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/isse10.pdf:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-8348-9788-6_9:URL}, keywords = {industrialConferences, workshop, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, URL = {http://www.isse.eu.com/}, }

   BibTeX   URL   slides   preprint   SpringerLink 
• F. Dupressoir, A. D. Gordon, J. Jürjens: Verifying authentication properties of C security protocol code using general verifiers. In: Fourth International Workshop on Analysis of Security APIs,, 2010.
  @InProceedings{vapc10, author = {F.~Dupressoir and A. D.~Gordon and J.~{J}{\"u}{r}jens}, title = {Verifying authentication properties of C security protocol code using general verifiers}, booktitle = {Fourth International Workshop on Analysis of Security APIs,}, year = {2010}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/asa4.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/5-dupressoir.pdf:URL}, keywords = {industrialConferences, workshop, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   preprint   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 
• E. B. Fernandez, J. Jürjens, N. Yoshioka, H. Washizaki: Incorporating database systems into a secure software development methodology. In: 2nd Int. Workshop on Secure systems methodologies using patterns (SPattern 2008), pp. 310-314, 2008.
  @InProceedings{ids08, author = {E. B.~Fernandez and J.~{J}{\"u}{r}jens and N.~Yoshioka and H.~Washizaki}, title = {Incorporating database systems into a secure software development methodology}, booktitle = {2nd Int. Workshop on Secure systems methodologies using patterns (SPattern 2008)}, year = {2008}, pages = {310--314}, crossref = {DBLP:conf/dexaw/2008}, DOI = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2008.100}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/spattern08.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, databaseSecurity}, }

   BibTeX   DOI   preprint   dblp 
• A. Bauer, J. Jürjens: Security protocols, properties, and their monitoring. In: The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008), pp. 33-40, 2008.
  @InProceedings{sppm08, author = {A.~Bauer and J.~{J}{\"u}{r}jens}, title = {Security protocols, properties, and their monitoring}, booktitle = {The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008)}, year = {2008}, pages = {33--40}, crossref = {DBLP:conf/icse/2008sess}, DOI = {http://doi.acm.org/10.1145/1370905.1370910}, file = {photo:http\://picasaweb.google.com/lh/photo/ZisnJn8FQ6JYkqwiHs5svA:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sess08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/sess007-bauer.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecurityMonitoring}, }

   BibTeX   DOI   photo   slides   preprint   dblp 
• M. Giddings, J. Jürjens, P. M. Allen: Challenges for the model based development of distributed real time systems. In: 1st Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML @ MoDELS 2008), 2008.
  @InProceedings{cfmbd08, author = {M.~Giddings and J.~{J}{\"u}{r}jens and P. M.~Allen}, title = {Challenges for the model based development of distributed real time systems}, booktitle = {1st Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML @ MoDELS 2008)}, year = {2008}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/nfpdsml08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/nfpdsml08GJA.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }

   BibTeX   slides   preprint 
• S. Islam, J. Jürjens: Incorporating Security Requirements from Legal Regulations into UMLsec Models. In: Modeling Security Workshop (ModSec @ MoDELS 2008), 2008.
  @InProceedings{isrlr08, author = {S.~Islam and J.~{J}{\"u}{r}jens}, title = {Incorporating Security Requirements from Legal Regulations into {UMLsec} Models}, booktitle = {Modeling Security Workshop (ModSec @ MoDELS 2008)}, year = {2008}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.7914}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/modsec08IJ.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringCompliance}, }

   BibTeX   DOI   preprint 
• S. Taubenberger, J. Jürjens: IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements. In: Modeling Security Workshop (ModSec @ MoDELS 2008), 2008.
  @InProceedings{itsra08, author = {S.~Taubenberger and J.~{J}{\"u}{r}jens}, title = {IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements}, booktitle = {Modeling Security Workshop (ModSec @ MoDELS 2008)}, year = {2008}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/modsec08TJ.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecurityRequirementsEngineering}, }

   BibTeX   preprint 
• J. Jürjens: Linking Cryptoprotocol Verification to Reality. In: Annual Meeting of the Working Group on Formal Methods and Software Engineering for Safety and Security (German Computer Society), Darmstadt (Germany), 2008.
  @InProceedings{lcvr08, author = {J.~{J}{\"u}{r}jens}, title = {Linking Cryptoprotocol Verification to Reality}, booktitle = {Annual Meeting of the Working Group on Formal Methods and Software Engineering for Safety and Security (German Computer Society)}, year = {2008}, address = {Darmstadt (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fomsess08talk.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   slides 
• J. Jürjens: Model-based Security Testing using UMLsec. In: Model-based Testing 2008 (MBT`08 @ ETAPS 2008), pp. 93-104, 2008.
  @InProceedings{mbstus08b, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Testing using {UMLsec}}, booktitle = {Model-based Testing 2008 (MBT`08 @ ETAPS 2008)}, year = {2008}, volume = {220}, number = {1}, pages = {93--104}, DOI = {10.1016/j.entcs.2008.11.008}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/mbt08talk.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/mbt08.pdf:URL}, keywords = {industrialConferences, workshop, secureSoftwareEngineeringSecurityTesting}, }

   BibTeX   DOI   slides   dblp   preprint 
• J. Jürjens: Quality Assurance for Security-Critical Systems. In: 13th Software & Systems Quality Conferences (SQC08), Congress Center Düsseldorf, Germany, 2008.
  @InProceedings{qascs08, author = {J.~{J}{\"u}{r}jens}, title = {Quality Assurance for Security-Critical Systems}, booktitle = {13th Software \& Systems Quality Conferences (SQC08)}, year = {2008}, address = {Congress Center D{\"u}sseldorf, Germany}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sqc08talk.pdf:URL}, keywords = {industrialConferences, workshop, withIndustry, dependableSystems}, }

   BibTeX   slides 
• D. Ratiu, M. Feilkas, F. Deissenboeck, J. Jürjens, R. Marinescu: Towards a Repository of Common Programming Technologies Knowledge. In: International Workshop on Semantic Technologies in System Maintenance (STSM 2008), 2008.
  @InProceedings{trcptk08, author = {D.~Ratiu and M.~Feilkas and F.~Deissenboeck and J.~{J}{\"u}{r}jens and R.~Marinescu}, title = {Towards a Repository of Common Programming Technologies Knowledge}, booktitle = {International Workshop on Semantic Technologies in System Maintenance (STSM 2008)}, year = {2008}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/ProgrammingTechnologiesKnowledgeRepository.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/stsm08.pdf:URL}, keywords = {workshop, industrialConferences, programComprehension}, }

   BibTeX   slides   preprint 
• J. Jürjens: Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension. In: ABZ 2008 VSRnet Workshop, 2008.
  @InProceedings{tvcpi08, author = {J.~{J}{\"u}{r}jens}, title = {Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension}, booktitle = {ABZ 2008 VSRnet Workshop}, year = {2008}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/vsrnet08talk.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   slides 
• J. Jürjens: Using Interface Specifications for Verifying Crypto-protocol Implementations. In: Foundations of Interface Technologies 2008 (FIT`08 @ ETAPS 2008), 2008.
  @InProceedings{uisvcpi08, author = {J.~{J}{\"u}{r}jens}, title = {Using Interface Specifications for Verifying Crypto-protocol Implementations}, booktitle = {Foundations of Interface Technologies 2008 (FIT`08 @ ETAPS 2008)}, year = {2008}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2736}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fit08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/fit08.pdf:URL}, keywords = {industrialConferences, workshop, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   DOI   slides   preprint 
• D. Petriu, M. Woodside, D. Petriu, Jing Xu, T. Israr, G. Georg, R. France, J. Bieman, S. H. Houmb, J. Jürjens: Performance Analysis of Security Aspects in UML Models. In: Sixth International Workshop on Software and Performance (WOSP 2007), Buenos Aires, Argentina, pp. 91-102, ACM, 2007.
  @InProceedings{wosp07PWP, author = {D.~Petriu and M.~Woodside and D.~Petriu and Jing Xu and T.~Israr and G. Georg and R. France and J. Bieman and S. H.~Houmb and J.~{J}{\"u}{r}jens}, title = {Performance Analysis of Security Aspects in {UML} Models}, booktitle = {Sixth International Workshop on Software and Performance (WOSP 2007)}, year = {2007}, pages = {91--102}, address = {Buenos Aires, Argentina}, organization = {ACM}, DOI = {http://doi.acm.org/10.1145/1216993.1217010}, file = {dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, securityPerformance}, }

   BibTeX   DOI   dblp 
• J. Jürjens: Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. In: Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007), Oxford, 2007.
  @InProceedings{asvspi07, author = {J.~{J}{\"u}{r}jens}, title = {Automated Security Verification for Crypto Protocol Implementations: Verifying the {Jessie} Project}, booktitle = {Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007)}, year = {2007}, address = {Oxford}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/avocs07talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/avocs07.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringCodeSecurityAnalysis}, }

   BibTeX   slides   preprint 
• J. Jürjens: Model-based Security Engineering for Compliance with Regulatory and Business Requirements. In: H.-G. Hegering, H. Reiser, M. Schiffers, T. Nebe (editors): 14th Annual Workshop of the HP Software University Association, Munich (Germany), pp. 219-226, 2007.
  @InProceedings{mbsecrbr07, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering for Compliance with Regulatory and Business Requirements}, booktitle = {14th Annual Workshop of the HP Software University Association}, year = {2007}, editor = {H.-G.~Hegering and H.~Reiser and M.~Schiffers and T.~Nebe}, pages = {219--226}, address = {Munich (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/hp07slides.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/hp07.pdf:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringModelBasedSecurityEngineering, secureSoftwareEngineeringCompliance}, }

   BibTeX   slides   preprint 
• J. Jürjens: Compliance-driven Secure Software Quality Management. In: Software & Systems Quality Conference (SQC-UK 2007), London, 2./3. Oct, 2007.
  @InProceedings{sqs07ukJ, author = {J.~{J}{\"u}{r}jens}, title = {Compliance-driven Secure Software Quality Management}, booktitle = {Software \& Systems Quality Conference (SQC-UK 2007)}, year = {2007}, address = {London, 2./3. Oct}, keywords = {industrialConferences, dependableSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX 
• J. Jürjens: Tools and Techniques for Model-based Testing with UML. In: 12th Software & Systems Quality Conferences, Congress Center Düsseldorf, Germany, 2007.
  @InProceedings{ttmbtu07, author = {J.~{J}{\"u}{r}jens}, title = {Tools and Techniques for Model-based Testing with {UML}}, booktitle = {12th Software \& Systems Quality Conferences}, year = {2007}, address = {Congress Center D{\"u}sseldorf, Germany}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sqs07hand.pdf:URL}, keywords = {workshop, industrialConferences, withIndustry, secureSoftwareEngineeringSecurityTesting}, }

   BibTeX   slides 
• E. B. Fernandez, N. Yoshioka, H. Washizaki, J. Jürjens: Using security patterns to build secure systems. In: 1st International Workshop on Software Patterns and Quality (SPAQu'07), 2007.
  @InProceedings{uspbss07, author = {E. B.~Fernandez and N.~Yoshioka and H.~Washizaki and J.~{J}{\"u}{r}jens}, title = {Using security patterns to build secure systems}, booktitle = {1st International Workshop on Software Patterns and Quality (SPAQu'07)}, year = {2007}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }

   BibTeX 
• J. Jürjens: Towards using game semantics for crypto protocol verification: Lorenzen games.. In: Dan R. Ghica, Guy McCusker (editors): ETAPS Workshop on Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, pp. 241-257, 2005.
  @InProceedings{tugscpv05, author = {J.~{J}{\"u}{r}jens}, title = {Towards using game semantics for crypto protocol verification: Lorenzen games.}, booktitle = {ETAPS Workshop on Games for Logic and Programming Languages (GALOP 2005)}, year = {2005}, editor = {Dan R. Ghica and Guy McCusker}, pages = {241--257}, address = {University of Edinburgh}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/galop05.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis}, }

   BibTeX   slides   dblp 
• J. Jürjens: Towards Automated Computationally Faithful Verification of Cryptoprotocols. In: DIMACS Security Protocols Workshop, Rutgers University, 2004.
  @InProceedings{dimacs04J, author = {J.~{J}{\"u}{r}jens}, title = {Towards Automated Computationally Faithful Verification of Cryptoprotocols}, booktitle = {DIMACS Security Protocols Workshop}, year = {2004}, address = {Rutgers University}, keywords = {industrialConferences, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis}, }

   BibTeX 
• Johannes Grünbauer, J. Jürjens, Guido Wimmel: Modelling Secure IT-Systems – A Survey. In: Modellierung 2004, Marburg, 2004.
  @InProceedings{msits04, author = {Johannes Gr{\"u}nbauer and J.~{J}{\"u}{r}jens and Guido Wimmel}, title = {Modelling Secure IT-Systems – A Survey}, booktitle = {Modellierung 2004}, year = {2004}, address = {Marburg}, file = {ps:http\://rgse.uni-koblenz.de/jj/publications/papers/short_mod2004.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringGeneral}, DOI = {http://subs.emis.de/LNI/Proceedings/Proceedings45/article1309.html}, URL = {http://www.gi-ev.de/}, }

   BibTeX   DOI   URL   ps   dblp 
• Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria Victoria Cengarle, J. Jürjens, Bernhard Rumpe, Maurce Schoenmakers: Componentware – State of the Art 2003. In: Understanding Components Workshop of the CUE Initiative, Venice, 2003.
  @InProceedings{csota03, author = {Gerd~Beneken and Ulrike Hammerschall and Manfred Broy and Maria Victoria Cengarle and J.~{J}{\"u}{r}jens and Bernhard Rumpe and Maurce Schoenmakers}, title = {Componentware – State of the Art 2003}, booktitle = {Understanding Components Workshop of the CUE Initiative}, year = {2003}, address = {Venice}, keywords = {workshop, industrialConferences,dependableSystems, componentBasedSystems}, }

   BibTeX 
• J. Jürjens, G. Popp, G. Wimmel: Use Case Oriented Development of Security-Critical Systems. In: OMG Workshop on Distributed Objects and Components Security (DOCsec 2003), Baltimore (USA), pp. April, Object Management Group (OMG), 2003. Also appeared in Information Security Bulletin 8:51--56, 2003.
  @InProceedings{ucodscs03, author = {J.~{J}{\"u}{r}jens and G.~Popp and G.~Wimmel}, title = {Use Case Oriented Development of Security-Critical Systems}, booktitle = {OMG Workshop on Distributed Objects and Components Security (DOCsec 2003)}, year = {2003}, pages = {April}, address = {Baltimore (USA)}, organization = {Object Management Group (OMG)}, note = {Also appeared in \emph{Information Security Bulletin} 8:51--56, 2003}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/omg03_slides.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/omg03.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/omg03.ps:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringAspectOrientedSecurity}, address = {Baltimore (USA)}, }

   BibTeX   slides   paper (pdf)   paper (ps) 
• J. Jürjens, G. Popp, G. Wimmel: Towards Using Security Patterns in Model-based System Development. In: 7th European Conference on Pattern Languages of Programs (EuroPLoP 2002), Kloster Irsee, 2002. Security Focus Group.
  @InProceedings{europlop02J, author = {J.~{J}{\"u}{r}jens and G.~Popp and G.~Wimmel}, title = {Towards Using Security Patterns in Model-based System Development}, booktitle = {7th European Conference on Pattern Languages of Programs (EuroPLoP 2002)}, year = {2002}, address = {Kloster Irsee}, note = {Security Focus Group}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8894}, file = {paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/europlop02.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/europlop02.ps:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }

   BibTeX   DOI   paper (pdf)   paper (ps) 
• J. Jürjens: Developing Secure Systems with UMLsec - From Business Processes to Implementation. In: D. Fox, M. Köhntopp, A. Pfitzmann (editors): Verläßliche IT-Systeme 2001 (VIS 2001), Vieweg-Verlag, Kiel (Germany), DuD-Fachbeiträge, 2001.
  @InProceedings{dssus01, author = {J.~{J}{\"u}{r}jens}, title = {Developing Secure Systems with {UMLsec} -- From Business Processes to Implementation}, booktitle = {Verl{\"a}{\ss}liche IT-Systeme 2001 (VIS 2001)}, year = {2001}, editor = {D. Fox and M. K{\"o}hntopp and A. Pfitzmann}, series = {DuD-Fachbeitr{\"a}ge}, address = {Kiel (Germany)}, publisher = {Vieweg-Verlag}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/vistalk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/vis01.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/vis01.ps:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-663-05918-9_11:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringUMLsecProfile}, address = {Kiel (Germany)}, }

   BibTeX   slides   paper (pdf)   paper (ps)   SpringerLink 
• J. Jürjens: Formal Development and Verification of Security-Critical Systems with UML. In: Workshop on Automated Verification of Critical Systems (AVoCS 2001), Oxford, 2001. Published as OUCL Technical Report PRG-RR-01-07.
  @InProceedings{fdvscsu01, author = {J.~{J}{\"u}{r}jens}, title = {Formal Development and Verification of Security-Critical Systems with {UML}}, booktitle = {Workshop on Automated Verification of Critical Systems (AVoCS 2001)}, year = {2001}, address = {Oxford}, note = {Published as OUCL Technical Report PRG-RR-01-07.}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/avocs01talk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/avocs01abs.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/avocs01abs.ps:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis}, }

   BibTeX   slides   paper (pdf)   paper (ps) 
• J. Jürjens: Transformations for Introducing Patterns - A Secure Systems Case Study. In: Workshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event), Genova, 2001.
  @InProceedings{tip01, author = {J.~{J}{\"u}{r}jens}, title = {Transformations for Introducing Patterns -- A Secure Systems Case Study}, booktitle = {Workshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event)}, year = {2001}, address = {Genova}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.1124}, file = {paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/wtuml01.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/wtuml01.ps:URL}, keywords = {workshop,industrialConferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }

   BibTeX   DOI   paper (pdf)   paper (ps) 
• M. Abadi, J. Jürjens: Bridging the gap: Formal vs. complexity-theoretical reasoning about cryptography. In: Security through Analysis and Verification, Dagstuhl, 2000.
  @InProceedings{AbaJur00a, author = {M.~Abadi and J.~{J}{\"u}{r}jens}, title = {Bridging the gap: Formal vs.\ complexity-theoretical reasoning about cryptography}, booktitle = {Security through Analysis and Verification}, year = {2000}, address = {Dagstuhl}, keywords = {workshop,industrialConferences, secureSoftwareEngineeringFoundationsOfSecurity}, }

   BibTeX 

Nicht-Englische Veröffentlichungen

• J. Jürjens: Industrial Data Space: Möglichkeiten für assoziierte F&E-Projekte. In: 13. Jahrestreffen der GI-FG "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS), 2016.
  @InProceedings{fomsess16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: M\"oglichkeiten f\"ur assoziierte F\&E-Projekte}, booktitle = {13.\ Jahrestreffen der GI-FG "Formale Methoden und Software Engineering f\"ur Sichere Systeme (FoMSESS)}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Industrial Data Space - Modellbasierte Entwicklung einer Plattform für unternehmensübergreifende Datenanalyse-Services. In: Modellierung 2016 (Praxisforum), 2016.
  @InProceedings{modellierung16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space - Modellbasierte Entwicklung einer Plattform f\"ur unternehmens\"ubergreifende Datenanalyse-Services}, booktitle = {Modellierung 2016 (Praxisforum)}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Der Industrial Data Space: Datenanalyse für die mittelständige Wirtschaft und Industrie des 4.0 Zeitalters. In: IT & Wirtschaftsmesse IT2KO, 2016.
  @InProceedings{it2ko16, author = {J.~{J}{\"u}{r}jens}, title = {Der Industrial Data Space: Datenanalyse f\"ur die mittelst\"andige Wirtschaft und Industrie des 4.0 Zeitalters}, booktitle = {IT \& Wirtschaftsmesse IT2KO}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Industrial Data Space: Eine Plattform für unternehmensübergreifende Business Intelligence Analysen. In: TDWI 2016, 2016.
  @InProceedings{tdwi16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Eine Plattform f\"ur unternehmens\"ubergreifende Business Intelligence Analysen}, booktitle = {TDWI 2016}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Industrial Data Space: Plattform für Datenanalysen in der Industrie 4.0. In: Nacht der Technik 2016, 2016.
  @InProceedings{ndt16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Plattform f\"ur Datenanalysen in der Industrie 4.0}, booktitle = {Nacht der Technik 2016}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Sicherheitszertifizierung für den Industrial Data Space (Eingeladener Vortrag). In: Kontraktlogistik-Forum - Industrie 4.0, 2016.
  @InProceedings{bvl16, author = {J.~{J}{\"u}{r}jens}, title = {Sicherheitszertifizierung f\"ur den Industrial Data Space (Eingeladener Vortrag)}, booktitle = {Kontraktlogistik-Forum - Industrie 4.0}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Sicherheitszertifizierung für den Industrial Data Space (Eingeladener Vortrag). In: 3. Forschungstag IT-Sicherheit NRW, 2016.
  @InProceedings{itsnrw16, author = {J.~{J}{\"u}{r}jens}, title = {Sicherheitszertifizierung f\"ur den Industrial Data Space (Eingeladener Vortrag)}, booktitle = {3. Forschungstag IT-Sicherheit NRW}, year = {2016}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Industrial Data Space: Eine Plattform für Smart Services und Industrial Analytics (eingeladener Vortrag). In: Mitgliederversammlung des SOA Innovation Lab, 2015.
  @InProceedings{soalab15, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Eine Plattform f\"ur Smart Services und Industrial Analytics (eingeladener Vortrag)}, booktitle = {Mitgliederversammlung des SOA Innovation Lab}, year = {2015}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens: Der Industrial Data Space: Eine unternehmensübergreifende Plattform für Big-Data-Analysen (eingeladener Vortrag). In: Zukunftsworkshop Big Data, 2015.
  @InProceedings{bigdata15, author = {J.~{J}{\"u}{r}jens}, title = {Der Industrial Data Space: Eine unternehmens\"ubergreifende Plattform f\"ur Big-Data-Analysen (eingeladener Vortrag)}, booktitle = {Zukunftsworkshop Big Data}, year = {2015}, keywords = {nonEnglish, dataanalysis}, }

   BibTeX 
• J. Jürjens, S. Wenzel: Werkzeug für Wirtschaftlichkeit und Effektivität zum Erstellen von Sicherheitskonzepten. In: Zeitschrift für die Sicherheit der Wirtschaft (WIK), vol. 5, 2015.
  @Article{wik15, author = {J.~J\"urjens and S.~Wenzel}, title = {Werkzeug f\"ur Wirtschaftlichkeit und Effektivit\"at zum Erstellen von Sicherheitskonzepten}, journal = {Zeitschrift f\"ur die Sicherheit der Wirtschaft (WIK)}, volume = {5}, year = {2015}, keywords = {nonEnglish, securityEconomics}, }

   BibTeX 
• J. Stocker, S. Wenzel, J. Jürjens: IT-Risiko-Check: Das Wissen um geschäftskritische IT-Risiken. In: D-A-CH Security 2015, 2015.
  @InProceedings{StoWenJur15, author = {J.~Stocker and S.~Wenzel and J.~J\"urjens}, title = {{IT-Risiko-Check: Das Wissen um gesch\"aftskritische IT-Risiken}}, booktitle = {D-A-CH Security 2015}, OPTpages = {}, year = {2015}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/stowenjur15.pdf:URL}, keywords = {nonEnglish, secureSoftwareEngineeringITSecurityRiskAssessment}, }

   BibTeX   preprint 
• J. Jürjens: Big Data mit Compliance: Konzepte für den Umgang mit Compliance beim Einsatz von Big Data in der Finanzbranche. In: TDWI 2015, 2015.
  @InProceedings{tdwi15, author = {J.~{J}{\"u}{r}jens}, title = {{Big Data mit Compliance: Konzepte f\"ur den Umgang mit Compliance beim Einsatz von Big Data in der Finanzbranche}}, booktitle = {TDWI 2015}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringCompliance}, URL = {http://www.tdwi-konferenz.de/tdwi2015.html}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/tdwi15.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/tdwi15.wav:URL}, }

   BibTeX   URL   slides   audio 
• J. Jürjens: Modellbasiertes Sicherheits-Testen für Cloud-basierte Prozesse. In: iqnite 2015, 2015.
  @InProceedings{iqnite15, author = {J.~{J}{\"u}{r}jens}, title = {{Modellbasiertes Sicherheits-Testen f\"ur Cloud-basierte Prozesse}}, booktitle = {iqnite 2015}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringSecurityTesting}, URL = {http://www.iqnite-conferences.com/de}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/iqnite15.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/iqnite15.wav:URL}, }

   BibTeX   URL   slides   audio 
• J. Jürjens: Compliance Warehouse: Ansätze für die Integration von Compliance-Analysen mit Data Warehousing in der Finanzbranche mittels Process-Mining. In: DW 2015, 2015.
  @InProceedings{dw15, author = {J.~{J}{\"u}{r}jens}, title = {{Compliance Warehouse: Ans\"atze f\"ur die Integration von Compliance-Analysen mit Data Warehousing in der Finanzbranche mittels Process-Mining}}, booktitle = {DW 2015}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringCompliance}, }

   BibTeX 
• J. Jürjens: Modellbasiertes Sicherheits-Testen für Cloud-basierte Prozesse. In: Software-QS-Tag 2015, 2015.
  @InProceedings{qs15, author = {J.~{J}{\"u}{r}jens}, title = {{Modellbasiertes Sicherheits-Testen f\"ur Cloud-basierte Prozesse}}, booktitle = {Software-QS-Tag 2015}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringSecurityTesting}, }

   BibTeX 
• J. Jürjens: Der Industrial Data Space: Datenanalyse für Industrie- und Geschäftsprozesse im Mittelstand. In: IHK Technologieforum Rheinland-Pfalz 2015, 2015.
  @InProceedings{ihkrp15, author = {J.~{J}{\"u}{r}jens}, title = {{Der Industrial Data Space: Datenanalyse f\"ur Industrie- und Gesch\"aftsprozesse im Mittelstand}}, booktitle = {IHK Technologieforum Rheinland-Pfalz 2015}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems}, }

   BibTeX 
• J. Jürjens: Transparenz und Sicherheit in der Lieferkette (Eingeladener Vortrag). In: Arbeitstreffen des Bundesverband Deutscher Postdienstleister, 2015.
  @InProceedings{bvdp15, author = {J.~{J}{\"u}{r}jens}, title = {{Transparenz und Sicherheit in der Lieferkette (Eingeladener Vortrag)}}, booktitle = {Arbeitstreffen des Bundesverband Deutscher Postdienstleister}, year = {2015}, keywords = {nonEnglish, secureSoftwareEngineeringCompliance}, }

   BibTeX 
• J. Jürjens: Ökonomische Analyse von Sicherheitsmaßnahmen (Eingeladener Vortrag). In: Arbeitstreffen der Allianz für Sicherheit in der Wirtschaft e.V., 2015.
  @InProceedings{asw15, author = {J.~{J}{\"u}{r}jens}, title = {{\"Okonomische Analyse von Sicherheitsma{\ss}nahmen (Eingeladener Vortrag)}}, booktitle = {Arbeitstreffen der Allianz f{\"u}r Sicherheit in der Wirtschaft e.V.}, year = {2015}, keywords = {nonEnglish, securityEconomics}, }

   BibTeX 
• 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: Geschäftsprozesse in der Cloud - aber sicher ! (... und compliant). In: Software Engineering + Architecture (SEACON 2014), 2014.
  @InProceedings{seacon14J, author = {J.~{J}{\"u}{r}jens}, title = {Gesch{\"a}ftsprozesse in der Cloud -- aber sicher ! (... und compliant)}, booktitle = {Software Engineering + Architecture (SEACON 2014)}, year = {2014}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/seacon_14.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/seacon14.wav:URL}, URL = {http://www.sea-con.de}, }

   BibTeX   URL   slides   audio 
• 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: Sicherheit und Compliance in der Cloud (Eingeladener Vortrag). In: microfin Jahresempfang 2013, Frankfurt, 2013.
  @InProceedings{microfin13J, author = {J.~{J}{\"u}{r}jens}, title = {Sicherheit und Compliance in der Cloud (Eingeladener Vortrag)}, booktitle = {microfin Jahresempfang 2013}, year = {2013}, address = {Frankfurt}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/microfin13.pdf:URL}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX   slides 
• J. Jürjens: Zertifizierung für sichere Cyber-Physikalische Systeme. In: Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2013), Paderborn (Germany), 2013.
  @InProceedings{iuknrw13j, author = {J.~{J}{\"u}{r}jens}, title = {{Zertifizierung f\"ur sichere Cyber-Physikalische Systeme}}, booktitle = {Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2013)}, year = {2013}, address = {Paderborn (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/iuk13.pdf:URL}, keywords = {nonEnglish, cyberphysicalSystemsSecurity}, URL = {http://iuk-tag-nrw.de/}, }

   BibTeX   URL   slides 
• 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 
• J. Jürjens: Modellbasiertes Sicherheits- und Compliance-Management Jahrestreffen der GI-FG Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS), Dortmund 2013
  @Misc{foMSESS13, author = {J.~{J}{\"u}{r}jens}, title = {Modellbasiertes Sicherheits- und Compliance-Management}, howpublished = {Jahrestreffen der GI-FG Formale Methoden und Software Engineering f{\"u}r Sichere Systeme (FoMSESS), Dortmund}, year = {2013}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/fomsess_13.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fomsess_13.wav:URL}, keywords = {nonEnglish, secureSoftwareEngineeringCompliance}, }

   BibTeX   slides   audio 
• J. Jürjens: Sicherheit und Compliance in der Cloud 3. Cyber-Sicherheits-Tag für Teilnehmer der Allianz für Cyber-Sicherheit 2013
  @Misc{cybersicherheit13, author = {J.~{J}{\"u}{r}jens}, title = {Sicherheit und Compliance in der Cloud}, howpublished = {3. Cyber-Sicherheits-Tag f{\"u}r Teilnehmer der Allianz f{\"u}r Cyber-Sicherheit}, year = {2013}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/cybersicherheit_13.pdf:URL}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX   slides 
• J. Jürjens: Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen. In: iqnite 2012, 2012.
  @InProceedings{iqnite12, author = {J.~{J}{\"u}{r}jens}, title = {Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen}, booktitle = {iqnite 2012}, year = {2012}, keywords = {nonEnglish, secureSoftwareEngineeringCompliance}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/iqnite12.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/iqnite12.wma:URL}, URL = {http://www.iqnite-conferences.com/de}, }

   BibTeX   URL   slides   audio 
• C. Wessel, T. Humberg, S. Wenzel, J. Jürjens: Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. In: Workshop "Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS'12)", 2012.
  @InProceedings{zemoss12WHWJ, author = {C.~Wessel and T.~Humberg and S.~Wenzel and J.~{J}{\"u}{r}jens}, title = {Fr{\"u}hzeitige modellbasierte Risikoanalyse f{\"u}r mobile, verteilte Anwendungen}, booktitle = {Workshop {"}Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS'12){"}}, year = {2012}, keywords = {nonEnglish, secureSoftwareEngineeringITSecurityRiskAssessment}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/zemoss12WHWJ.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/zemoss12WHWJtalk.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, URL = {http://zemoss.in.tu-clausthal.de/}, }

   BibTeX   URL   preprint   slides   dblp 
• J. Jürjens: Informationssicherheit im Cloud Computing. In: Web-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT), 2012.
  @InProceedings{akit12, author = {J.~{J}{\"u}{r}jens}, title = {Informationssicherheit im Cloud Computing}, booktitle = {Web-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT)}, year = {2012}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/akit12talk.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/akit12.spx:URL}, URL = {http://www.akit.de/view/content.jsf?channel=Web-Conferencing}, }

   BibTeX   URL   slides   audio 
• 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 
• E. Fourneret, F. Bouquet, M. Ochoa, J. Jürjens, S. Wenzel: Vérification et Test pour des systémes évolutifs. In: AFADL 2012, Grenoble, 2012.
  @InProceedings{vtse12, author = {E.~Fourneret and F.~Bouquet and M.~Ochoa and J.~{J}{\"u}{r}jens and S.~Wenzel}, title = {V\'{e}rification et Test pour des syst\'{e}mes \'{e}volutifs}, booktitle = {AFADL 2012}, year = {2012}, address = {Grenoble}, keywords = {nonEnglish, secureSoftwareEngineeringSecurityTesting}, URL = {http://membres-liglab.imag.fr/idani/AFADL2012/}, }

   BibTeX   URL 
• S. Taubenberger, J. Jürjens, S. Braun: Studie zu IT-Risikobewertungen in der Praxis. In: D-A-CH Security 2011, Oldenburg, 2011. Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT.
  @InProceedings{dachsec11TJ, author = {S.~Taubenberger and J.~{J}{\"u}{r}jens and S.~Braun}, title = {Studie zu IT-Risikobewertungen in der Praxis}, booktitle = {D-A-CH Security 2011}, year = {2011}, address = {Oldenburg}, note = {Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/dach11-stefan.pdf:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/slides/dach11-stefan.pdf:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/dach11-stefan.wav:URL}, keywords = {nonEnglish, secureSoftwareEngineeringITSecurityRiskAssessment}, URL = {http://www.syssec.at/dachsecurity2011}, }

   BibTeX   URL   preprint   slides   audio 
• M. Peschke, M. Hirsch, J. Jürjens, S. Braun: Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken. In: D-A-CH Security 2011, Oldenburg, 2011. Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT.
  @InProceedings{dachsec11PHJB, author = {M.~Peschke and M.~Hirsch and J.~{J}{\"u}{r}jens and S.~Braun}, title = {Werkzeuggest{\"u}tzte Identifikation von IT-Sicherheitsrisiken}, booktitle = {D-A-CH Security 2011}, year = {2011}, address = {Oldenburg}, note = {Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/dach11-marc.pdf:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/slides/dach11-marc.pdf:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/dach11-marc.wav:URL}, keywords = {nonEnglish, secureSoftwareEngineeringITSecurityRiskAssessment}, URL = {http://www.syssec.at/dachsecurity2011}, }

   BibTeX   URL   preprint   slides   audio 
• J. Jürjens: Outsourcing, SaaS & Clouds: Aber sicher ! (... und compliant). In: Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010), Wuppertal (Germany), 2010.
  @InProceedings{iuknrw10j, author = {J.~{J}{\"u}{r}jens}, title = {{Outsourcing, SaaS \& Clouds: Aber sicher ! (... und compliant)}}, booktitle = {Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010)}, year = {2010}, address = {Wuppertal (Germany)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/slides/iuk10.pdf:URL}, keywords = {nonEnglish, secureSoftwareEngineeringSecureService/CloudBasedSystems}, URL = {http://iuk-tag-nrw.de/}, }

   BibTeX   URL   slides 
• J. Grünbauer, J. Jürjens, G. Wimmel: Security Engineering - A Survey. In: B. Rumpe, W. Hesse (editors): Modellierung 2004, LNI, vol. 45, German Computer Society (GI), 2004.
  @InProceedings{GruJurWim03, author = {J.~Gr{\"u}nbauer and J.~{J}{\"u}{r}jens and G.~Wimmel}, title = {Security Engineering -- A Survey}, booktitle = {Modellierung 2004}, year = {2004}, editor = {B. Rumpe and W. Hesse}, volume = {45}, series = {LNI}, organization = {German Computer Society (GI)}, DOI = {http://subs.emis.de/LNI/Proceedings/Proceedings45/article1309.html}, keywords = {nonEnglish, secureSoftwareEngineeringGeneral}, }

   BibTeX   DOI 
• R. Schmidt, J. Jürjens: Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. In: Bernhard Rumpe, Wolfgang Hesse (editors): Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings, GI, Marburg (Germany), LNI, vol. 45, pp. 309-310, German Computer Society (GI), 2004.
  @InProceedings{msus04, author = {R.~Schmidt and J.~{J}{\"u}{r}jens}, editor = {Bernhard Rumpe and Wolfgang Hesse}, title = {Modellbasierte Sicherheitsanalyse mit {UMLsec}: Ein biometrisches Zugangskontrollsystem}, booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz 2004, Marburg, Proceedings}, year = {2004}, pages = {309--310}, series = {{LNI}}, volume = {45}, publisher = {{GI}}, address = {Marburg (Germany)}, organization = {German Computer Society (GI)}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/praesentation.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {nonEnglish, secureSoftwareEngineeringUMLsecProfile}, URL = {http://www.gi.de/}, }

   BibTeX   URL   slides   dblp 
• J. Jürjens: Methodische Entwicklung sicherer CORBA-Anwendungen. In: P. Horster, Patrick Horster (editors): Enterprise Security, IT-Verlag, Sauerlach, Paderborn (Germany), GI-Fachgruppe 2.5.3 Verlässliche IT-Systeme et al., 2002.
  @InProceedings{mesca02, author = {J.~{J}{\"u}{r}jens}, title = {Methodische Entwicklung sicherer CORBA-Anwendungen}, booktitle = {Enterprise Security}, year = {2002}, editor = {P. Horster and Patrick Horster}, address = {Paderborn (Germany)}, organization = {GI-Fachgruppe 2.5.3 Verl{\"a}ssliche IT-Systeme et al.}, publisher = {IT-Verlag, Sauerlach}, file = {audio (MS Outlook):http\://rgse.uni-koblenz.de/jj/publications/audio/eps02.msg:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/eps02Talk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/eps02.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/eps02.ps:URL}, ISBN = {3-9360-52-03-4}, keywords = {nonEnglish, secureSoftwareEngineeringModelBasedSecurityEngineering}, }

   BibTeX   audio (MS Outlook)   slides   paper (pdf)   paper (ps)