Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Sound Methods and Effective Tools for Model-based Security Engineering with UMLGruia-Catalin Roman;William Griswold;Bashar Nuseibeh (Hrsg). Proceedings of the 27th International Conference on Software Engineering ICSE 2005: May 15. - 21., 2005; St. Louis; MO, USA. New York, NY: ACM Association for Computing Machinery 2005 S. 322 - 331
Jürjens, Jan
Sound methods and effective tools for model-based security engineering with UML.ICSE. 2005 S. 322 - 331
Jürjens, Jan
Testing Critical and Embedded Systems: Tutorial6th International Conference on Software Testing (ICSTEST 2005), April 6--8, 2005, Düsseldorf, German, Tutorial. 2005
Jürjens, Jan
Tool-support for Model-Driven Development of Security- Critical Systems with UMLSami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55
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 (Lecture Notes in Computer Science)
Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UML: Security Analysis with ATPsMaura 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 (Lecture Notes in Computer Science)
Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UML: Security Analysis with ATPs.FASE. 2005 S. 305 - 309
Jürjens, Jan
Towards using game semantics for crypto protocol verification: Lorenzen gamesDan 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
Towards using game semantics for crypto protocol verification: Lorenzen games.GALOP. 2005 S. 241 - 257
Jürjens, Jan
Understanding Security Goals Provided by Crypto- Protocol ImplementationsHarry 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
Understanding Security Goals Provided by Crypto-Protocol Implementations.ICSM. 2005 S. 643 - 646
Jürjens, Jan
UP and Security: Overview on UMLsecSobenet workshop: UP, XP and architecture. KU Leuven (Belgium). 2005
Jürjens, Jan
Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem ProvingManfred 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
Jürjens, Jan
Verification of low-level crypto-protocol implementations using automated theorem proving.MEMOCODE. 2005 S. 89 - 98
Jürjens, Jan; Shabalin, Pasha
XML-based Analysis of UML Models for Critical Systems DevelopmentHongji Yang (Hrsg). Advances in UML and XML-Based Software Evolution. Hershey, PA: IGI Global 2005 S. 257 - 274
Jürjens, Jan; Shabalin, Pasha
A Foundation for Tool-Supported Critical Systems Development with UMLVaclav Dvorak;Miroslav Sveda (Hrsg). Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based System ECBS 2004: 24-27 May 2004; Brno, Czech Republic. Los Alamitos, CA: IEEE Computer Society 2004 S. 398 - 405
Jürjens, Jan; Shabalin, Pasha
A Foundation for Tool-Supported Critical Systems Development with UML.ECBS. 2004 S. 398 - 405
Jürjens, Jan; Shabalin, Pasha
Automated Verification of UMLsec Models for Security RequirementsThomas Baar;Alfred Strohmeier;Ana Moreira;Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379 (Lecture Notes in Computer Science)
Jürjens, Jan; Shabalin, Pasha
Automated Verification of UMLsec Models for Security Requirements.UML. 2004 S. 365 - 379
Jürjens, Jan; Buda, Lidiya
Berechtigungsvergabe in SAP Systemen und ihre automatische ÜberprüfungDatenschutz und Datensicherheit. Bd. 28. H. 8. Wiesbaden: Vieweg 2004 S. 476 - 479
Jürjens, Jan
Componentware for Critical SystemsJournal of Object Technology. Bd. 3. H. 4. Zürich: ETH Zürich 2004 S. 47 - 50
Jürjens, Jan
Componentware for Critical Systems.Journal of Object Technology. Bd. 3. H. 4. 2004 S. 47 - 50
Jürjens, Jan
Constructing Tool-Support for Sophisticated Analysis of UML Models: A TutorialUML 2004. Lisbon. 2004 S. 1 - 114
Jürjens, Jan; B. Fernández, Eduardo; B. France, Robert et al.
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).UML Satellite Activities. 2004 S. 76 - 84
Jürjens, Jan
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.HASE. 2004 S. 231 - 240
Jürjens, Jan
Developing High-Assurance Secure Systems with UML: An Smartcard-based Purchase ProtocolC. V. Ramamoorthy;Wei-Tek Tsai (Hrsg). Proceeding of the Eighth IEEE International Symposium on High Assurance Systems Engineering HASE 2004: 25-26 March 2004; Tampa, Florida. Los Alamitos, CA: IEEE Computer Society 2004 S. 231 - 240
Jürjens, Jan
Developing Secure Web-based Applications with UML: Methods and Tools: TutorialFourth International Conference on Web Engineering (ICWE’04). München (Germany). 2004
Jürjens, Jan
Developing Security-Critical Applications with UMLsec: A Short Walk-ThroughUpgrade : The European Journal for the Informatics Professional. Bd. 5. H. 2. Frankfurt am Main: CEPIS 2004 S. 1 - 6
Jürjens, Jan
Logic for SecuritySpring School Logic in Computer Science. Venezia. 2004
Jürjens, Jan
Model-based Security Engineering with UMLFOSAD 2004. Bertinoro. 2004
Jürjens, Jan
Model-Based Security Engineering with UML.FOSAD. 2004 S. 42 - 77
Jürjens, Jan
Model-based Security with UMLsec - Web-castUMLchina. 2004
Jürjens, Jan
Model-driven engineering of dependable critical systems with UML: A TutorialInternational Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004
Jürjens, Jan
Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talkSystems 2004 (Software Development & Architecture Forum). München. 2004
Schmidt, Robert; Jürjens, Jan
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches ZugangskontrollsystemWolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 309 - 310 (LNI)
Schmidt, Robert; Jürjens, Jan
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem.Modellierung. 2004 S. 309 - 310
Jürjens, Jan
Modellierung 2004: KurzbeiträgeWolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 279
Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido
Modelling Secure IT Systems - A Survey.Modellierung. 2004 S. 307 - 308
Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido
Modelling Secure IT-Systems â A SurveyModellierung 2004. Marburg. 2004
Jürjens, Jan
Playing the Devil’s Advocate: Testing Real-Time Systems - Invited talkConference on Software Testing (ICSTEST-E 2004). Bilbao (Spain). 2004 S. 1 - 11
Jürjens, Jan; Houmb, Siv Hilde
Risk-Driven Development of Security-Critical Systems Using UMLsecRicardo Reis (Hrsg). Information Technology: Selected Tutorials; IFIP 18th World Computer Congress Tutorials; 22–27 August 2004; Toulouse, France. Boston: Springer 2004 S. 21 - 53
Jürjens, Jan; Hilde Houmb, Siv
Risk-Driven Development Of Security-Critical Systems Using UMLsec.IFIP Congress Tutorials. 2004 S. 21 - 53
Jürjens, Jan
Secure Software Architecture Description using UML: Invited talkWorkshop on Software Architecture Description & UML (SADUML2004). Lisbon (Portugal). 2004
J.~Grünbauer, ; Jürjens, Jan; G.~Wimmel,
Security Engineering -- A SurveyRumpe, B.; , (Hrsg). Modellierung 2004. 2004 (LNI)
Jürjens, Jan
Security Modeling with UMLsecWorkshop regarding Security in Information Systems (SISBD2004). Málaga (Spain). 2004
Jürjens, Jan
Security Software Engineering and Embedded SystemsInfineon. Munich (Germany). 2004
Jürjens, Jan
Software Architectures for Safe and Secure Systems: A Half-day tutorial4th IEEE/IFIP Conference on Software Architecture (WICSA 2004). Oslo, Norway: Institute of Electrical and Electronics Engineers 2004
Deubler, Martin; Grünbauer, Johannes; Jürjens, Jan et al.
Sound development of secure service-based systemsMarco Aiello;Mikio Aoyama;Francisco Curbera;Mike P. Papazoglou (Hrsg). Proceedings of the Second International Conference on Service Oriented Computing ICSOC 2004: November 15-19, 2004; New York City, NY, USA. New York, NY: ACM Association for Computing Machinery 2004 S. 115 - 124
Deubler, Martin; Grünbauer, Johannes; Jürjens, Jan et al.
Sound development of secure service-based systems.ICSOC. 2004 S. 115 - 124
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