Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Playing the Devil’s Advocate: Testing Real-Time Systems - Invited talkConference on Software Testing (ICSTEST-E 2004). Bilbao (Spain). 2004 S. 1 - 11
Obst, Oliver
Posters - Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. A Response to a Technical ChallengeLecture notes in computer science. Bd. 3020. Berlin: Springer 2004 S. 518 - 525
Jürjens, Jan; Kuhn, Thomas A.
Practical Security Analysis of C Programs Using Automated Theorem Proving2004
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of AlgebrasAli Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37
Jürjens, Jan; Houmb, Siv Hilde
Risk-Driven Development of Security-Critical Systems Using UMLsecRicardo Reis (Hrsg). Information Technology: Selected Tutorials; IFIP 18th World Computer Congress Tutorials; 22–27 August 2004; Toulouse, France. Boston: Springer 2004 S. 21 - 53
Frey, Hannes
Scalable geographic routing algorithms for wireless ad-hoc networksIEEE Network. Bd. 18. H. 4. New York, NY: IEEE Computer Society 2004 S. 18 - 22
Jürjens, Jan
Secure Software Architecture Description using UML: Invited talkWorkshop on Software Architecture Description & UML (SADUML2004). Lisbon (Portugal). 2004
Jürjens, Jan
Security Modeling with UMLsecWorkshop regarding Security in Information Systems (SISBD2004). Málaga (Spain). 2004
Jürjens, Jan
Security Software Engineering and Embedded SystemsInfineon. Munich (Germany). 2004
Görgen, Daniel; Frey, Hannes; Lehnert, Johannes K. et al.
SELMA: A Middleware Platform for Self-Organzing Distributed Applications in Mobile Multihop Ad-hoc Networks2004 S. 1 - 16