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
Jürjens, Jan; Kuhn, Thomas A.
Developing Secure and Mobile Web-based Applications with UML: Concepts and ToolsWWW/Internet 2003. Algarve (Portugal). 2003