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

Disclaimer

  • 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: 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 
  • 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 
  • E. Fourneret, M. Ochoa, F. Bouquet, J. Botella, J. Jürjens, P. Yousefi: Model-Based Security Verification and Testing for Smart-cards. In: Sixth International Conference on Availability, Reliability and Security (AReS 2011), Vienna, pp. 272-279, 2011.
    @InProceedings{ares11FOBBJY, author = {E.~Fourneret and M.~Ochoa and F.~Bouquet and J.~Botella and J.~{J}{\"u}{r}jens and P.~Yousefi}, title = {Model-Based Security Verification and Testing for Smart-cards}, booktitle = {Sixth International Conference on Availability, Reliability and Security (AReS 2011)}, year = {2011}, pages = {272--279}, address = {Vienna}, DOI = {10.1109/ARES.2011.46}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ares11FOBBJY.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/ares11FOBBJYtalk.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting, secureSoftwareEngineeringSecureEmbeddedSystems}, URL = {http://www.ares-conference.eu/}, }
     BibTeX   DOI   URL   preprint   slides   dblp 
  • 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 
  • J. Jürjens: Model-based Security Testing using UMLsec. In: Electronic Notes in Theoretical Computer Science, vol. 220, no. 1, pp. 93-104, 2008.
    @Article{entcs08J, title = {Model-based Security Testing using {UMLsec}}, author = {J.~{J}{\"u}{r}jens}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2008}, number = {1}, pages = {93--104}, series = {Electronic Notes in Theoretical Computer Science}, volume = {220}, DOI = {10.1016/j.entcs.2008.11.008}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/mbt08.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {electronicJournals, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   DOI   preprint   dblp 
  • 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: 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 
  • 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: Playing the Devil's Advocate: Testing Real-Time Systems. In: Conference on Software Testing (ICSTEST-E 2004), Bilbao (Spain), 2004. Invited talk.
    @InProceedings{pdatrts04, author = {J.~{J}{\"u}{r}jens}, title = {Playing the Devil's Advocate: Testing Real-Time Systems}, booktitle = {Conference on Software Testing (ICSTEST-E 2004)}, year = {2004}, address = {Bilbao (Spain)}, note = {Invited talk}, file = {audio (spanish):http\://rgse.uni-koblenz.de/jj/publications/audio/icsteste04span.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/icstest04.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   audio (spanish)   slides 
  • 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: 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 
  • G. Wimmel, J. Jürjens: Specification-based Test Generation for Security-Critical Systems Using Mutations. In: International Conference on Formal Engineering Methods (ICFEM), Springer Verlag, Shanghai (China), Lecture Notes in Computer Science, vol. 2495, pp. 471-482, 2002.
    @InProceedings{sbtgscsum02, author = {G.~Wimmel and J.~{J}{\"u}{r}jens}, title = {Specification-based Test Generation for Security-Critical Systems Using Mutations}, booktitle = {International Conference on Formal Engineering Methods (ICFEM)}, year = {2002}, volume = {2495}, series = {Lecture Notes in Computer Science}, pages = {471--482}, address = {Shanghai (China)}, publisher = {Springer Verlag}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.724}, file = {paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/icfem02.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/icfem02.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-36103-0_48:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   DOI   paper (pdf)   paper (ps)   dblp   SpringerLink 
  • J. Jürjens, G. Wimmel: Formally Testing Fail-safety of Electronic Purse Protocols. In: 16th International Conference on Automated Software Engineering (ASE 2001), IEEE, pp. 408-411, 2001.
    @InProceedings{ase01JW, author = {J.~{J}{\"u}{r}jens and G. Wimmel}, title = {Formally Testing Fail-safety of Electronic Purse Protocols}, booktitle = {16th International Conference on Automated Software Engineering (ASE 2001)}, year = {2001}, pages = {408--411}, publisher = {IEEE}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/ase01sli.ps:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/ase01.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   slides   preprint   dblp 
  • J. Jürjens, G. Wimmel: Specification-Based Testing of Firewalls. In: D. Bjørner, M. Broy, A. Zamulin (editors): Andrei Ershov 4th International Conference ``Perspectives of System Informatics'' (PSI 2001), Springer Verlag, Novosibirsk (Russia), Lecture Notes in Computer Science, vol. 2244, pp. 308-316, 2001.
    @InProceedings{sbtf01, author = {J.~{J}{\"u}{r}jens and G. Wimmel}, title = {Specification-Based Testing of Firewalls}, booktitle = {Andrei Ershov 4th International Conference ``Perspectives of System Informatics'' (PSI 2001)}, year = {2001}, editor = {D. Bj{\o}rner and M. Broy and A. Zamulin}, volume = {2244}, series = {Lecture Notes in Computer Science}, pages = {308--316}, address = {Novosibirsk (Russia)}, publisher = {Springer Verlag}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2132}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01sli.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/JurWim01.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-45575-2_31:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   DOI   slides   paper (pdf)   paper (ps)   dblp   SpringerLink