Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems23rd 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 UMLASE 2004. Linz. 2004
Jürjens, Jan; Shabalin, Pasha
Tools for Critical Systems Development with UML (Tool Demo).UML Satellite Activities. 2004 S. 250 - 253
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 (Lecture Notes in Computer Science)
Jürjens, Jan
Algebraic State Machines: Concepts and Applications to Security.Ershov Memorial Conference. 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
Romberg, Jan; Jürjens, Jan; Wimmel, Guido et al.
AutoFOCUS and the MoDe Tool.ACSD. 2003 S. 249 - 250
Höhn, Sebastian; Jürjens, Jan
Automated Checking of SAP Security Permisisons.IICIS. 2003 S. 13 - 30
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
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. 2003
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.SNPD. 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 (Lecture Notes in Computer Science)
Jürjens, Jan
Developing Safety-Critical Systems with UML.UML. 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
Jürjens, Jan
Developing Secure Enterprise Applications with UML: A Half-day tutorialFourth Workshop on UML for Enterprise Applications. Burlingame, California. 2003
Houmb, Siv Hilde; Jürjens, Jan
Developing secure networked Web-based systems using model-based risk assessment and UMLsecWanchai Rivepiboon;Pornsiri Muenchaisri;Doo-Hwan Bae;Natawut Nupairoj;Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 488 - 497
Hilde Houmb, Siv; Jürjens, Jan
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec.APSEC. 2003 S. 488
Jürjens, Jan
Developing Security-Critical Distributed Systems with UML: Methods and Tools: A Half-day tutorial6th International Conference on Formal Methods for Open Object-based Distributed Systems. Paris (France): IFIP 2003
Jürjens, Jan; Houmb, Siv Hilde
Development of Safety-Critical Systems and Model- Based Risk Analysis with UMLRogério de Lemos;Taisy Silva Weber;João Batista CamargoJr. (Hrsg). Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Berlin: Springer 2003 S. 364 - 365 (Lecture Notes in Computer Science)
Jürjens, Jan; Hilde Houmb, Siv
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.LADC. 2003 S. 364 - 365
Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and Tools: A Half-day tutorialFM 2003 -- 12th International Formal Methods Europe Symposium. Pisa, Italy. 2003
Jürjens, Jan
Half-day tutorial - Developing Critical Information Systems with UML: Concepts and Tool-support, ; , ; , (Hrsg). 2nd International Conference on Information System Technology and its Applications (ISTA 2003). Kharkiv: GI 2003 (LNI)
Jürjens, Jan
IT-Security and Risk-Analysis for Business ProcessesInfotage. Starnberger See. 2003
Jürjens, Jan
IT-Sicherheits- und Risikoanalyse von Geschäftsprozessen - TutorialInfotage. Starnberger See. 2003
Breu, Ruth; Burger, Klaus; Hafner, Michael et al.
Key Issues of a Formally Based Process Model for Security EngineeringSixteenth International Conference Software & Systems Engineering & their Applications. Paris. 2003 S. 1 - 15
Jürjens, Jan
Methoden der Entwicklung sicherer Systeme - Half-day tutorialGI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Jürjens, Jan
Model-based Security with UMLsec - Invited talkUML Forum Tokyo. 2003
Jürjens, Jan
Model-based Testing of Embedded Systems with UML: A Half-day tutorialConference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003
Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank ApplicationStuart Anderson;Massimo Felici;Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129 (Lecture Notes in Computer Science)
Grünbauer, Johannes; Hollmann, H.; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank Application.SAFECOMP. 2003 S. 116 - 129
Jürjens, Jan
Modelling for IT-Security- and Risk-AnalysisInfotage. Starnberger See. 2003
Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.
Security-critical system development with extended use casesWanchai Rivepiboon;Pornsiri Muenchaisri;Doo-Hwan Bae;Natawut Nupairoj;Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487
Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.
Security-Critical System Development with Extended Use Cases.APSEC. 2003 S. 478 - 487
Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Use Case Oriented Development of Security-Critical SystemsOMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003
Jürjens, Jan
A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial17th International Conference on Information Security (SEC 2002). Cairo. 2002
Jürjens, Jan
A UML statecharts semantics with message-passingGary B. Lamont;Hisham Haddad;George Papadopoulos;Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013
Jürjens, Jan
A UML statecharts semantics with message-passing.SAC. 2002 S. 1009 - 1013
Jürjens, Jan
Formal Semantics for Interacting UML SubsystemsBart Jacobs;Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43
Jürjens, Jan
Formal Semantics for Interacting UML subsystems.FMOODS. 2002 S. 29 - 43
Jürjens, Jan
Games In The Semantics Of Programming Languages - An Elementary IntroductionSynthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158
Jürjens, Jan
Games In The Semantics Of Programming Languages - An Elementary Introduction.Synthese. Bd. 133. H. 1-2. 2002 S. 131 - 158
Jürjens, Jan
Methodische Entwicklung sicherer CORBA-AnwendungenPatrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131
Jürjens, Jan
Principles for secure system design.2002
Jürjens, Jan
Secure Java Development with UMLBart De Decker;Frank Piessens;Jan Smits;Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124
Jürjens, Jan
Secure Systems Development with UML - Applications to Telemedicine: Invited talkCORAS Public Workshop. Regensburg. 2002