Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Wimmel, Guido; Popp, Gerhard; Jürjens, Jan

Use Case Oriented Development of Security-Critical Systems

OMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003


Baumgartner, P.; Lakemeyer, G.; Nebel, B.

A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure

Lakemeyer, G.; Nebel, B. (Hrsg). AI in the new Millenium. Morgan Kaufmann 2002


Jürjens, Jan

A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial

17th International Conference on Information Security (SEC 2002). Cairo. 2002


Jürjens, Jan

A UML statecharts semantics with message-passing

Gary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013


Schmid, Andreas; Steigner, Christoph

Avoiding Counting to Infinity in Distance Vector Routing

Telecommunication systems. modeling, analysis, design and management. Bd. 19. H. 3. Basel: Baltzer 2002 S. 497 - 514


Werr, U.; Diedel, R.; Wehling, C. et al.

CeraNet - Interactive Tool for Fault Diagnosis

2002


Gross-hardt, Margret; Gross - Hardt, M.; Tolksdorf, R. et al.

Concept based querying of semistructured data

Tolksdorf, R.; Eckstein, R. (Hrsg). GI-Edition - Lecture Notes in Informatics (LNI). 2002 S. 79-92


Jürjens, Jan; Rumpe, Bernhard; France, Robert et al.

Critical systems development with UML

2002 S. 1 - 115


Jürjens, Jan

Formal Semantics for Interacting UML Subsystems

Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43


Jürjens, Jan

Games In The Semantics Of Programming Languages - An Elementary Introduction

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158