Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich
Model based deduction for knowledge representation [position paper]Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2
Steigner, Ch.; Wilke, J.
Multi-Source Performance Analysis of Distributed SoftwareProceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS). Bd. 1. San Antonio. 2002 0
Arai, T.; Stolzenburg, F.
Multiagent systems specification by UML statecharts aiming at intelligent manufacturingProceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. Bd. Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. ACM Press 2002 S. 11-18
Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive LatticesUwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250
Jürjens, Jan
Principles for secure system designOxford: University of Oxford, Mathematical and Physical Sciences Division 2002
Jansen, David N.; Jürjens, Jan; Cengarle, Maria Victoria et al.
Probabilistic UML statecharts for specification and verification: a case studyMaria Victoria Cengarle;Eduardo B. Fernandez;Jan Jürjens;Bernhard Rumpe;Robert Sandner (Hrsg). Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden. München: Technische Universität München, Institut für Informatik 2002 S. 121 - 131
Schulze, M.; Ebert, J.; Glinz, M. et al.
Prozessmodell-basierte Präsentation von Produktionsfehler-BeschreibungenModellierung 2002, Gesellschaft für Informatik. Bd. Modellierung 2002, Gesellschaft für Informatik. Bonn. 2002 S. 147--157
Gross-hardt, Margret; Gross - Hardt, M.
Querying Concepts - An approach to retrieve XML data by means of their data types17. WLP - Workshop ´Logische Programmierung´. 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