Prof. Dr. Jan Jürjens - Tutorials

More information about the tutorials

  • J. Jürjens: Formal Foundations for Verifying Security-Critical Software. In: 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009), 2009. Tutorial.
    @InProceedings{ffvscs09, author = {J.~{J}{\"u}{r}jens}, title = {Formal Foundations for Verifying Security-Critical Software}, booktitle = {12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009)}, year = {2009}, note = {Tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Model-based vs. Code-based Verification for Critical Systems. In: Models 2008 tutorial, 2008.
    @InProceedings{mbcbvcs08, author = {J.~{J}{\"u}{r}jens}, title = {Model-based vs. Code-based Verification for Critical Systems}, booktitle = {Models 2008 tutorial}, year = {2008}, file = {slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/models08tut_handout.pdf:URL}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://www.irit.fr/models/tutorials.html#CS}, }
     BibTeX   URL   slides 
  • J. Jürjens: Security Information Networks. In: Two-day tutorial, each in Mumbai and New Delhi, 2007. With enkryptix security consulting, Mumbai, India.
    @InProceedings{sin07, author = {J.~{J}{\"u}{r}jens}, title = {Security Information Networks}, booktitle = {Two-day tutorial, each in Mumbai and New Delhi}, year = {2007}, note = {With enkryptix security consulting, Mumbai, India.}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringGeneral}, }
     BibTeX 
  • J. Jürjens: Building Biometric Authentication Systems: Pitfalls and How to Avoid Them. In: Annual Computer Security Applications Conference (ACSAC 2006), 2006.
    @InProceedings{bbas06, author = {J.~{J}{\"u}{r}jens}, title = {Building Biometric Authentication Systems: Pitfalls and How to Avoid Them}, booktitle = {Annual Computer Security Applications Conference (ACSAC 2006)}, year = {2006}, keywords = {atScientificConferences, cyberphysicalSystemsSecurity, tutorial}, }
     BibTeX 
  • J. Jürjens: Formal Development of Critical Systems with UML: Methods and Tools. In: International Symposium on Formal Methods for Components and Objects (FMCO 2005), 2005.
    @InProceedings{fdcsumt05, author = {J.~{J}{\"u}{r}jens}, title = {Formal Development of Critical Systems with {UML}: Methods and Tools}, booktitle = {International Symposium on Formal Methods for Components and Objects (FMCO 2005)}, year = {2005}, keywords = {tutorial, atScientificConferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Return on Security Investment. In: Infotage, Starnberger See, 2005. Tutorial, FJLang Security Consulting.
    @InProceedings{rosi05, author = {J.~{J}{\"u}{r}jens}, title = {Return on Security Investment}, booktitle = {Infotage}, year = {2005}, address = {Starnberger See}, note = {Tutorial, FJLang Security Consulting}, keywords = {withIndustry, tutorial, securityEconomics}, }
     BibTeX 
  • J. Jürjens: Automated Software Engineering of Critical Systems Development with UML. In: ASE 2004, Linz, 2004. Tutorial.
    @InProceedings{ase04, author = {J.~{J}{\"u}{r}jens}, title = {Automated Software Engineering of Critical Systems Development with {UML}}, booktitle = {ASE 2004}, year = {2004}, address = {Linz}, note = {Tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://ase2012.paluno.uni-due.de/}, }
     BibTeX   URL 
  • J. Jürjens: Critical Systems Development with UML and Model-based Testing. In: Software Engineering (SE 2004), Innsbruck (Austria), 2004.
    @InProceedings{csdumlmbt04, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML} and Model-based Testing}, booktitle = {Software Engineering (SE 2004)}, year = {2004}, address = {Innsbruck (Austria)}, keywords = {tutorial, atScientificConferences, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX 
  • J. Jürjens: Critical Systems Development with UML: Methods and Tools. In: European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norway, ACM, 2004. Half-day tutorial.
    @InProceedings{csdumlmt04b, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}: Methods and Tools}, booktitle = {European Conference on Object-Oriented Programming (ECOOP 2004)}, year = {2004}, address = {Oslo, Norway}, organization = {ACM}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Constructing Tool-Support for Sophisticated Analysis of UML Models. In: UML 2004, Lisbon, 2004. Tutorial.
    @InProceedings{ctssa04, author = {J.~{J}{\"u}{r}jens}, title = {Constructing Tool-Support for Sophisticated Analysis of {UML} Models}, booktitle = {UML 2004}, year = {2004}, address = {Lisbon}, note = {Tutorial}, file = {announcement:http\://rgse.uni-koblenz.de/jj/csdumltut/History/uml04-ann.html:URL;audio 2/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/uml04b.wav:URL;audio 1/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/uml04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/uml04.pdf:URL}, keywords = {atScientificConferences, tutorial, umlModelAnalysis}, URL = {http://www.umlconference.org/}, }
     BibTeX   URL   announcement   audio 2/2   audio 1/2   slides 
  • J. Jürjens: Developing Secure Web-based Applications with UML: Methods and Tools. In: Fourth International Conference on Web Engineering (ICWE'04), München (Germany), 2004. Tutorial.
    @InProceedings{dswba04, author = {J.~{J}{\"u}{r}jens}, title = {Developing Secure Web-based Applications with {UML}: Methods and Tools}, booktitle = {Fourth International Conference on Web Engineering (ICWE'04)}, year = {2004}, address = {M{\"u}nchen (Germany)}, note = {Tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://www.icwe2004.org/}, }
     BibTeX   URL 
  • J. Jürjens: Critical Systems Development with UML: Methods and Tools. In: IFIP World Computer Congress 2004 (WCC '04), Toulouse, 2004. Full-day tutorial.
    @InProceedings{csdumlmt04a, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}: Methods and Tools}, booktitle = {IFIP World Computer Congress 2004 (WCC '04)}, year = {2004}, address = {Toulouse}, note = {Full-day tutorial}, crossref = {safecomp04}, file = {audio 6/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04f.wav:URL;audio 5/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04e.wav:URL;audio 4/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04d.wav:URL;audio 3/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04c.wav:URL;audio 2/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04b.wav:URL;audio 1/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/wcc04.pdf:URL}, keywords = {atScientificConferences, tutorial, umlModelAnalysis}, URL = {http://www.wcc2004.org/}, }
     BibTeX   URL   audio 6/6   audio 5/6   audio 4/6   audio 3/6   audio 2/6   audio 1/6   slides 
  • J. Jürjens: Model-based Security Engineering with UML. In: FOSAD 2004, Bertinoro, 2004.
    @InProceedings{mbseuml04, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering with {UML}}, booktitle = {FOSAD 2004}, year = {2004}, address = {Bertinoro}, file = {audio 4/4:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/fosad04d.wav:URL;audio 3/4:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/fosad04c.wav:URL;audio 2/4:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/fosad04b.wav:URL;audio 1/4:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/fosad04a.wav:URL;slides 2/2:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/fosad04handout2.pdf:URL;slides 1/2:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/fosad04handout1.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX   audio 4/4   audio 3/4   audio 2/4   audio 1/4   slides 2/2   slides 1/2   dblp 
  • J. Jürjens: Model-based Security with UMLsec. In: UMLchina, 2004. Web-cast.
    @InProceedings{mbsumlsec04, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security with {UMLsec}}, booktitle = {UMLchina}, year = {2004}, note = {Web-cast}, file = {transcript:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/umlchina_transcript.pdf:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/umlchina04.pdf:URL}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringUMLsecProfile}, URL = {http://www.umlchina.com/}, }
     BibTeX   URL   transcript   slides 
  • J. Jürjens: Model-driven engineering of dependable critical systems with UML. In: International Symposium on Software Reliability Engineering (ISSRE 2004), Saint-Malo, Bretagne, 2004. Tutorial.
    @InProceedings{mdedcs04, author = {J.~{J}{\"u}{r}jens}, title = {Model-driven engineering of dependable critical systems with {UML}}, booktitle = {International Symposium on Software Reliability Engineering (ISSRE 2004)}, year = {2004}, address = {Saint-Malo, Bretagne}, note = {Tutorial}, file = {announcement:http\://rgse.uni-koblenz.de/jj/csdumltut/History/issre04-ann.pdf:URL}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://www.issre.org/2004/}, }
     BibTeX   URL   announcement 
  • J. Jürjens: Software Architectures for Safe and Secure Systems. In: 4th IEEE/IFIP Conference on Software Architecture (WICSA 2004), Oslo, Norway, Institute of Electrical and Electronics Engineers, 2004. Half-day tutorial.
    @InProceedings{sasss04, author = {J.~{J}{\"u}{r}jens}, title = {Software Architectures for Safe and Secure Systems}, booktitle = {4th IEEE/IFIP Conference on Software Architecture (WICSA 2004)}, year = {2004}, address = {Oslo, Norway}, organization = {Institute of Electrical and Electronics Engineers}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://wicsa4.cs.rug.nl/}, }
     BibTeX   URL 
  • J. Jürjens: Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems. In: 23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004), Springer Verlag, Potsdam (Germany), Lecture Notes in Computer Science, 2004. Full-day tutorial.
    @InProceedings{spme04, author = {J.~{J}{\"u}{r}jens}, title = {Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems}, booktitle = {23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004)}, year = {2004}, series = {Lecture Notes in Computer Science}, address = {Potsdam (Germany)}, publisher = {Springer Verlag}, note = {Full-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Secure Software Engineering. In: ESG, Munich (Germany), 2004.
    @InProceedings{sse04, author = {J.~{J}{\"u}{r}jens}, title = {Secure Software Engineering}, booktitle = {ESG}, year = {2004}, address = {Munich (Germany)}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringGeneral}, }
     BibTeX 
  • J. Jürjens: Security Software Engineering and Embedded Systems. In: Infineon, Munich (Germany), 2004.
    @InProceedings{ssees04, author = {J.~{J}{\"u}{r}jens}, title = {Security Software Engineering and Embedded Systems}, booktitle = {Infineon}, year = {2004}, address = {Munich (Germany)}, file = {audio 2/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/infineon04b.wav:URL;audio 1/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/infineon04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/infineon04handout.pdf:URL}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   audio 2/2   audio 1/2   slides 
  • J. Jürjens: Critical Systems Development with UML. In: Forum on Design Languages (FDL 2003), Frankfurt, 2003. Half-day tutorial.
    @InProceedings{csduml03, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}}, booktitle = {Forum on Design Languages (FDL 2003)}, year = {2003}, address = {Frankfurt}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, }
     BibTeX 
  • J. Jürjens: Critical Systems Development with UML. In: International Conference on Software Engineering (SE 2003), Innsbruck, Austria, IASTED, 2003. Part of 21st IASTED International Multi-Conference APPLIED INFORMATICS (AI 2003). Half-day tutorial.
    @InProceedings{csduml03b, author = {J.~{J}{\"u}{r}jens}, title = {{Critical Systems Development with UML}}, booktitle = {International Conference on Software Engineering (SE 2003)}, year = {2003}, address = {Innsbruck, Austria}, organization = {IASTED}, note = {Part of 21st IASTED International Multi-Conference APPLIED INFORMATICS (AI 2003). Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, }
     BibTeX 
  • J. Jürjens, J. Grünbauer: Critical Systems Development with UML-light. In: 18th International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, Institute of Electrical and Electronics Engineers, 2003. Half-day tutorial.
    @InProceedings{csdumll03, author = {J.~{J}{\"u}{r}jens and J.~Gr{\"u}nbauer}, title = {Critical Systems Development with {UML}-light}, booktitle = {18th International Conference on Automated Software Engineering (ASE 2003)}, year = {2003}, address = {Montreal, Canada}, organization = {Institute of Electrical and Electronics Engineers}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://ase2012.paluno.uni-due.de/}, }
     BibTeX   URL 
  • J. Jürjens: Critical Systems Development with UML and Model-based Testing. In: The 22st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), Edinburgh, 2003. Full-day tutorial.
    @InProceedings{csdumlmbt03, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML} and Model-based Testing}, booktitle = {The 22st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003)}, year = {2003}, address = {Edinburgh}, note = {Full-day tutorial}, file = {audio 5/5:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/safecomp03e.wav:URL;audio 4/5:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/safecomp03d.wav:URL;audio 3/5:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/safecomp03c.wav:URL;audio 2/5:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/safecomp03b.wav:URL;announcement:http\://rgse.uni-koblenz.de/jj/csdumltut/History/safecomp03_announce.pdf:URL;audio 1/5:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/safecomp03a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/safecomp03-01.pdf:URL}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   audio 5/5   audio 4/5   audio 3/5   audio 2/5   announcement   audio 1/5   slides 
  • J. Jürjens: Critical Systems Development with UML: Methods and Tools. In: 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2003), Lübeck, Germany, International Association for Computer and Information Science (ACIS), 2003. Half-day tutorial.
    @InProceedings{csdumlmt03, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}: Methods and Tools}, booktitle = {4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2003)}, year = {2003}, address = {L{\"u}beck, Germany}, organization = {International Association for Computer and Information Science (ACIS)}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://www.isp.uni-luebeck.de/snpd03/index.htm}, }
     BibTeX   URL 
  • J. Jürjens: Critical Systems Development with UML: Methods and Tools. In: International Conference on Circuits, Signals and Systems (CSS-2003), 2003. Half-day tutorial.
    @InProceedings{css03J, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}: Methods and Tools}, booktitle = {International Conference on Circuits, Signals and Systems (CSS-2003)}, year = {2003}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens, P. Shabalin: Developing Critical Information Systems with UML: Concepts and Tool-support. In: M. Godlevsky, S. W.Liddle , H. C.Mayr (editors): 2nd International Conference on Information System Technology and its Applications (ISTA 2003), GI, Kharkiv, LNI, vol. 30, 2003. Half-day tutorial.
    @InProceedings{dcisuml03, author = {J.~{J}{\"u}{r}jens and P.~Shabalin}, title = {Developing Critical Information Systems with {UML}: Concepts and Tool-support}, booktitle = {2nd International Conference on Information System Technology and its Applications (ISTA 2003)}, year = {2003}, editor = {M. Godlevsky and {S.\,W.} Liddle and {H.\,C.} Mayr}, volume = {30}, series = {LNI}, address = {Kharkiv}, publisher = {GI}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://www.ifi.uni-klu.ac.at/Conferences/ISTA2003}, }
     BibTeX   URL 
  • J. Jürjens: Developing Security-Critical Distributed Systems with UML: Methods and Tools. In: 6th International Conference on Formal Methods for Open Object-based Distributed Systems, Paris (France), IFIP, 2003. Half-day tutorial.
    @InProceedings{dscds03, author = {J.~{J}{\"u}{r}jens}, title = {Developing Security-Critical Distributed Systems with {UML}: Methods and Tools}, booktitle = {6th International Conference on Formal Methods for Open Object-based Distributed Systems}, year = {2003}, address = {Paris (France)}, organization = {IFIP}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://fedconf.enst.fr/}, }
     BibTeX   URL 
  • J. Jürjens: Developing Secure Enterprise Applications with UML. In: Fourth Workshop on UML for Enterprise Applications, Burlingame, California, OMG, 2003. Half-day tutorial.
    @InProceedings{dseau03, author = {J.~{J}{\"u}{r}jens}, title = {Developing Secure Enterprise Applications with {UML}}, booktitle = {Fourth Workshop on UML for Enterprise Applications}, year = {2003}, address = {Burlingame, California}, organization = {OMG}, note = {Half-day tutorial}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens, T. Kuhn: Developing Secure and Mobile Web-based Applications with UML: Concepts and Tools. In: WWW/Internet 2003, Algarve (Portugal), 2003.
    @InProceedings{dsmwba03, author = {J.~{J}{\"u}{r}jens and T.~Kuhn}, title = {Developing Secure and Mobile Web-based Applications with {UML}: Concepts and Tools}, booktitle = {WWW/Internet 2003}, year = {2003}, address = {Algarve (Portugal)}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Formal Development of Critical Systems with UML. In: IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), Berlin, IFIP, 2003. Half-day tutorial.
    @InProceedings{fdcsu03, author = {J.~{J}{\"u}{r}jens}, title = {Formal Development of Critical Systems with {UML}}, booktitle = {IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003)}, year = {2003}, address = {Berlin}, organization = {IFIP}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Formal Development of Critical Systems with UML. In: ETAPS 2003 -- European joint conferences on Theory And Practice of Software 2003, Warsaw, Poland, 2003. Half-day tutorial.
    @InProceedings{fdcsuml03, author = {J.~{J}{\"u}{r}jens}, title = {Formal Development of Critical Systems with {UML}}, booktitle = {ETAPS 2003 -- European joint conferences on Theory And Practice of Software 2003}, year = {2003}, address = {Warsaw, Poland}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Formal Development of Critical Systems with UML: Methods and Tools. In: FM 2003 -- 12th International Formal Methods Europe Symposium, Pisa, Italy, 2003. Half-day tutorial.
    @InProceedings{fdcsumt03, author = {J.~{J}{\"u}{r}jens}, title = {Formal Development of Critical Systems with {UML}: Methods and Tools}, booktitle = {FM 2003 -- 12th International Formal Methods Europe Symposium}, year = {2003}, address = {Pisa, Italy}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: IT-Sicherheits- und Risikoanalyse von Geschäftsprozessen. In: Infotage, Starnberger See, 2003. Tutorial.
    @InProceedings{infotage03aJ, author = {J.~{J}{\"u}{r}jens}, title = {IT-Sicherheits- und Risikoanalyse von Gesch{\"a}ftsprozessen}, booktitle = {Infotage}, year = {2003}, address = {Starnberger See}, note = {Tutorial}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringITSecurityRiskAssessment}, }
     BibTeX 
  • J. Jürjens: IT-Security and Risk-Analysis for Business Processes. In: Infotage, Starnberger See, 2003. FJLang Security Consulting.
    @InProceedings{itsrabp03, author = {J.~{J}{\"u}{r}jens}, title = {IT-Security and Risk-Analysis for Business Processes}, booktitle = {Infotage}, year = {2003}, address = {Starnberger See}, note = {FJLang Security Consulting}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringITSecurityRiskAssessment}, }
     BibTeX 
  • J. Jürjens: Model-based Testing of Embedded Systems with UML. In: Conference on Software Testing (ICSTEST-E), Bilbao (Spain), 2003. Half-day tutorial.
    @InProceedings{mbtesu03, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Testing of Embedded Systems with {UML}}, booktitle = {Conference on Software Testing (ICSTEST-E)}, year = {2003}, address = {Bilbao (Spain)}, note = {Half-day tutorial}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX 
  • J. Jürjens: Methoden der Entwicklung sicherer Systeme. In: GI Teiltagung Sicherheit- Schutz und Zuverlässigkeit, Frankfurt, 2003. Half-day tutorial.
    @InProceedings{mess03, author = {J.~{J}{\"u}{r}jens}, title = {Methoden der Entwicklung sicherer Systeme}, booktitle = {GI Teiltagung Sicherheit- Schutz und Zuverl{\"a}ssigkeit}, year = {2003}, address = {Frankfurt}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringGeneral}, }
     BibTeX 
  • J. Jürjens: Modelling for IT-Security- and Risk-Analysis. In: Infotage, Starnberger See, 2003. FJLang Security Consultin.
    @InProceedings{mitsra03, author = {J.~{J}{\"u}{r}jens}, title = {Modelling for IT-Security- and Risk-Analysis}, booktitle = {Infotage}, year = {2003}, address = {Starnberger See}, note = {FJLang Security Consultin}, file = {audio:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/InfotageNov03.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/infotageNov03.pdf:URL}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringITSecurityRiskAssessment}, }
     BibTeX   audio   slides 
  • J. Jürjens, T. Kuhn: Mobile Web-based Applications with UML: Concepts and Tools. In: International Conference WWW/Internet 2003, International Association for Development of the Information Society (IADIS), 2003. Half-day tutorial.
    @InProceedings{wwwinternet03J, author = {J.~{J}{\"u}{r}jens and T.~Kuhn}, title = {Mobile Web-based Applications with {UML}: Concepts and Tools}, booktitle = {International Conference WWW/Internet 2003}, year = {2003}, organization = {International Association for Development of the Information Society (IADIS)}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • E. B. Fernandez, J. Jürjens: A Holistic View of Secure Systems Development: Using Patterns and UML. In: 17th International Conference on Information Security (SEC 2002), Cairo, International Federation for Information Processing (IFIP), 2002. Half-day tutorial.
    @InProceedings{ahvssd02, author = {E. B.~Fernandez and J.~{J}{\"u}{r}jens}, title = {A Holistic View of Secure Systems Development: Using Patterns and {UML}}, booktitle = {17th International Conference on Information Security (SEC 2002)}, year = {2002}, address = {Cairo}, organization = {International Federation for Information Processing (IFIP)}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX 
  • J. Jürjens: Critical Systems Development with UML. In: SAFECOMP 2002 -- The 21st International Conference on Computer Safety, Reliability and Security, Catania, Italy, EWICS TC7, 2002. Half-day tutorial.
    @InProceedings{csduml02c, author = {J.~{J}{\"u}{r}jens}, title = {{Critical Systems Development with UML}}, booktitle = {SAFECOMP 2002 -- The 21st International Conference on Computer Safety, Reliability and Security}, year = {2002}, address = {Catania, Italy}, organization = {EWICS TC7}, note = {Half-day tutorial}, keywords = {tutorial, dependableSystems}, }
     BibTeX 
  • J. Jürjens: UMLsec - Presenting the Profile. In: 6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002), Baltimore, Maryland, Object Management Group (OMG), 2002. Half-day tutorial.
    @InProceedings{umlsec02, author = {J.~{J}{\"u}{r}jens}, title = {U{MLsec} -- Presenting the Profile}, booktitle = {6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002)}, year = {2002}, address = {Baltimore, Maryland}, organization = {Object Management Group (OMG)}, note = {Half-day tutorial}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX