Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Secrecy-preserving RefinementJosé Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)
Jürjens, Jan
Secrecy-Preserving Refinement.FME. 2001 S. 135 - 152
Jürjens, Jan
Secure Java Development with UML.Network Security. 2001 S. 107 - 124
Jürjens, Jan; Wimmel, Guido
Security Modelling for Electronic Commerce: The Common Electronic Purse SpecificationsBeat Schmid;Katarina Stanoevska-Slabeva;Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505
Jürjens, Jan; Wimmel, Guido
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.I3E. 2001 S. 489 - 505
Jürjens, Jan; Wimmel, Guido
Specification-Based Testing of FirewallsDines Bjørner;Manfred Broy;Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316 (Lecture Notes in Computer Science)
Jürjens, Jan; Wimmel, Guido
Specification-Based Testing of Firewalls.Ershov Memorial Conference. 2001 S. 308 - 316
Jürjens, Jan
Towards Development of Secure Systems Using UMLsecHeinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200 (Lecture Notes in Computer Science)
Jürjens, Jan
Towards Development of Secure Systems Using UMLsec.FASE. 2001 S. 187 - 200
Jürjens, Jan
Transformations for Introducing Patterns - A Secure Systems Case StudyWorkshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event). Genova. 2001 S. 1 - 5
Jürjens, Jan
Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about CryptographyDagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
Jürjens, Jan
Secure Information Flow for Concurrent ProcessesCatuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409 (Lecture Notes in Computer Science)
Jürjens, Jan
Secure Information Flow for Concurrent Processes.CONCUR. 2000 S. 395 - 409
Jürjens, Jan
Kleine Objekte in Kategorien von AlgebrenBremen: Universität Bremen 1998
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsCoRR. S. 1 - 16
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)CoRR. S. 1 - 9
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)Eingeladener Vortrag in der Ringvorlesung ‘‘Standort Internet"Invited talk in the colloquium. Institut für Informatik und Gesellschaft, Abt. Telematik, Universität Freiburg, Nov. 2005 eingeladen vonon invitation of Prof. Dr. Günter Müller