Jürjens, Jan
Tools for Critical Systems Development with UMLASE 2004. Linz. 2004
Jürjens, Jan
Towards Automated Computationally Faithful Verification of CryptoprotocolsDIMACS Security Protocols Workshop. Rutgers University. 2004
Jürjens, Jan
Algebraic State Machines: Concepts and Applications to SecurityManfred 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 ToolJohan 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 PermissionsSushil 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 KarlsruheSoftwaretechnik-Trends. Bd. 23. H. 3. Bonn: Gesellschaft für Informatik 2003 S. 1
Beneken, Gerd; Hammerschall, Ulrike; Broy, Manfred et al.
Componentware – State of the Art, Background Paper for the Understanding Components for the Understanding Components Workshop of the CUE Initiative at the Univerit`a Ca’ Foscari di Venezia Venice, October 7th-9th 2003Understanding Components Workshop of the CUE Initiative. Venice. 2003
Grünbauer, Johannes; Jürjens, Jan
Critical Systems Development with UML-light - Half-day tutorial18th 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 - TutorialWalter 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
Jürjens, Jan
Developing Safety-Critical Systems with UMLPerdita Stevens; Jon Whittle; Grady Booch (Hrsg). «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications: 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings. Berlin: Springer 2003 S. 360 - 372