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