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

Jürjens, Jan

Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems

23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004). Potsdam (Germany): Springer Verlag 2004 (Lecture Notes in Computer Science)


Jürjens, Jan

Tools for Critical Systems Development with UML

ASE 2004. Linz. 2004


Jürjens, Jan

Towards Automated Computationally Faithful Verification of Cryptoprotocols

DIMACS Security Protocols Workshop. Rutgers University. 2004


Jürjens, Jan

Algebraic State Machines: Concepts and Applications to Security

Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers. Berlin: Springer 2003 S. 338 - 343


Romberg, Jan; Jürjens, Jan; Wimmel, Guido et al.

AutoFOCUS and the MoDe Tool

Johan Lilius; Felice Balarin; Ricardo J. Machado (Hrsg). Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003: 18-20 June, 2003; Guimarães, Portugal. Los Alamitos, CA: IEEE Computer Society 2003 S. 249 - 250


Jürjens, Jan; Höhn, Sebastian

Automated Checking of SAP Security Permissions

Sushil Jajodia; Leon Strous (Hrsg). Integrity and Internal Control in Information Systems VI: IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13–14 November 2003, Lausanne, Switzerland. Bd. 140. Boston: Springer 2003 S. 13 - 30


Jürjens, Jan

Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe

Softwaretechnik-Trends. Bd. 23. H. 3. Bonn: Gesellschaft für Informatik 2003 S. 1



Grünbauer, Johannes; Jürjens, Jan

Critical Systems Development with UML-light - Half-day tutorial

18th International Conference on Automated Software Engineering (ASE 2003). Montreal, Canada: Institute of Electrical and Electronics Engineers 2003


Jürjens, Jan; Grünbauer, Johannes

Critical Systems Development with UML: Overview with Automatic Case Study - Tutorial

Walter Dosch; Roger Y. Lee (Hrsg). Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. Lübeck: Schmidt-Römhild 2003 S. 512 - 517