Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge RepresentationBertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166
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
Jürjens, Jan
Modelling for IT-Security- and Risk-AnalysisInfotage. Starnberger See. 2003
Kushmerick, Nicholas; Thomas, Bernd
Part One - Agent-Based Information Systems - Adaptive Information Extraction: Core Technologies for Information AgentsLecture notes in computer science. Bd. 2586. Berlin: Springer 2003 S. 79 - 103
Chesñevar, Carlos Iván; Dix, Jürgen; Stolzenburg, Frieder et al.
Relating defeasible and normal logic programming through transformation propertiesTheoretical computer science. the journal of the EATCS. Bd. 290. H. 1. Amsterdam [u.a.]: Elsevier 2003 S. 499 - 530
Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operatorsJournal of Symbolic Computation. Bd. 36. H. 6. Amsterdam: Elsevier 2003 S. 891 - 924