Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Murray, J.; Obst, O.; Stolzenburg, F.
RoboLog Koblenz 2002 -- Short Team DescriptionRoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
Obst, O.; Ringelstein, C.
RoboLog Koblenz 2002 -- Visualization DescriptionRoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 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
Ebert, J.; Schulze, M.; Troch, I. et al.
Semantics of the Phase Model of Production: FormalizationProceedings of MATHMOD 2003. Bd. Proceedings of MATHMOD 2003. 2003