Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan; Shabalin, Pasha

Tools for Critical Systems Development with UML (Tool Demo)

Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 250 - 253


Jürjens, Jan; Shabalin, Pasha

Tools for Secure Systems Development with UML: Security Analysis with ATPs

Maura Cerioli (Hrsg). Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Berlin: Springer 2005 S. 305 - 309


Kschischo, Maik; Lässig, Michael; Yu, Yi-Kuo

Toward an accurate statistics of gapped alignments

Bulletin of mathematical biology. Bd. 67. H. 1. New York, NY: Elsevier 2005 S. 169 - 192


Jürjens, Jan

Towards using game semantics for crypto protocol verification: Lorenzen games

Dan R. Ghica; Guy McCusker (Hrsg). 1st Workshop on Games for Logic and Programming Languages GaLoP 2005 part of ETAPS 2005, Edinburgh, UK, 2-3 April 2005. Edinburgh: University of Edinburgh 2005 S. 241 - 257


Jürjens, Jan

Understanding Security Goals Provided by Crypto- Protocol Implementations

Harry M. Sneed; Tibor Gyimothy; Vaclav Rajlich (Hrsg). Proceedings of the 21st IEEE International Conference on Software Maintenance ICSM 2005: 26-29 September, 2005; Budapest, Hungary. Los Alamitos, CA: IEEE Computer Society 2005 S. 643 - 646


Jürjens, Jan

UP and Security: Overview on UMLsec

Sobenet workshop: UP, XP and architecture. KU Leuven (Belgium). 2005


Thomé, Ulrich; Szyperski, Norbert; von Kortzfleisch, Harald F. O.

US-Technologietransfer am Beispiel der Biotechnologiebranche

Harald F. O. von Kortzfleisch (Hrsg). Wissensorientierte Prozessvirtualisierung in der Biotechnologiebranche: Eine Materialsammlung zu den Forschungsaktivitäten und -ergebnissen des VirtOweB-Projektes. Siegburg: Josef Eul 2005 S. 33 - 50


Jürjens, Jan

Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving

Manfred Broy; Jean-Pierre Talpin; Elizabeth Leonard (Hrsg). Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE’05: July 11-14, 2005; Verona, Italy. Los Alamitos, CA: IEEE Computer Society 2005 S. 89 - 98


Paulus, Dietrich; Chastel, Serge; Feldmann, Tobias

Vessel Segmentation in Retinal Images

Amir A. Amini; Armando Manduca (Hrsg). Medical Imaging 2005: Physiology, Function, and Structure from Medical Images; Part Two of Two Parts. Bd. Band Conference 5746. Bellingham, WA: International Society for Optical Engineering 2005 S. 696 - 705


Von Kortzfleisch, Harald F. O.

Virtuelle kooperative Organisationsformen für wissensbasierte Biotechnologieprozesse (VirtOweB) – zugleich Verortung der Beiträge der Materialsammlung

Harald F. O. von Kortzfleisch (Hrsg). Wissensorientierte Prozessvirtualisierung in der Biotechnologiebranche: Eine Materialsammlung zu den Forschungsaktivitäten und -ergebnissen des VirtOweB-Projektes. Siegburg: Josef Eul 2005 S. 1 - 31