Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2722
  • 0261/287-2721
Publikationen
Ergebnisse pro Seite:  10

Mouratidis, Haralambos; Sunyaev, Ali; Jürjens, Jan

Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects.

CAiSE. 2009 S. 231 - 245


Lloyd, John; Jürjens, Jan

Security Analysis of a Biometric Authentication System using UMLsec and JML

Andy Schürr;Bran Selic (Hrsg). Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Berlin: Springer 2009 S. 77 - 91 (Lecture Notes in Computer Science)


Lloyd, John; Jürjens, Jan

Security Analysis of a Biometric Authentication System Using UMLsec and JML.

MoDELS. 2009 S. 77 - 91


Jürjens, Jan

Security and Dependability Engineering

Spyros Kokolakis;Antonio Maña Gómez;George Spanoudakis (Hrsg). Security and Dependability for Ambient Intelligence. Boston: Springer 2009 S. 21 - 36 (Lecture Notes in Computer Science)


Jürjens, Jan

Security and Dependability Engineering.

Security and Dependability for Ambient Intelligence. 2009 S. 21 - 36


Ratiu, Daniel; Marinescu, Radu; Jürjens, Jan

The Logical Modularity of Programs

Andy Zaidman;Giuliano Antoniol;Stéphane Ducasee (Hrsg). Proceedings of the 16th Working Conference on Reverse Engineering WCRE 2009: 13th - 16th October 2009; Lille, France. Los Alamitos, CA: IEEE Computer Society 2009 S. 123 - 127


Ratiu, Daniel; Marinescu, Radu; Jürjens, Jan

The Logical Modularity of Programs.

WCRE. 2009 S. 123 - 127


Jürjens, Jan; Schreck, Jörg; Yu, Yijun

Automated Analysis of Permission-Based Security using UMLsec

José Luiz Fiadeiro;Paola Inverardi (Hrsg). Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Berlin: Springer 2008 S. 292 - 295 (Lecture Notes in Computer Science)


Jürjens, Jan; Schreck, Jörg; Yu, Yijun

Automated Analysis of Permission-Based Security Using UMLsec.

FASE. 2008 S. 292 - 295


Giddings, Michael; Jürjens, Jan; Allen, Pat

Challenges for the model based development of distributed real time systems: Position Paper

Marko Bošković;Dragan Gašević;Claus Pahl;Bernhard Schätz (Hrsg). Proceedings of the 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML-2008; Affiliated with the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS 2008: Toulouse, France; September 28, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 8