Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Gorgen, Daniel; Frey, Hannes; Hiedels, Christian
JANE - The Java Ad Hoc Network Development EnvironmentSilvia Ceballos (Hrsg). Proceedings of the 40th Annual Simulation Symposium ANSS 2007; Norfolk, Virginia; 26-28 March 2007. Los Alamitos, CA: IEEE Computer Society 2007 S. 163 - 176
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to VerificationFranz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Hrsg). Deduction and Decision Procedures - Dagstuhl Seminar 07401: 30.09. - 05.10.2007; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2007 S. 1 - 22
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Localized Self-Deployment of Mobile Sensors for Optimal Focused-Coverage Formation: (Technical Report)2007
Jürjens, Jan
Model-based Security Engineering for Compliance with Regulatory and Business RequirementsHeinz-Gerd Hegering;Helmut Reiser;Michael Schiffers;T. Nebe (Hrsg). Proceedings of the 14th Annual Workshop of HP Software University Association, Hosted by the Leibniz Computing Center and the Munich Network Management Team, July 8-11, 2007. Stuttgart: Infonomics-Consulting 2007 S. 219 - 226
Best, Bastian; Jürjens, Jan; Nuseibeh, Bashar
Model-based Security Engineering of Distributed Information Systems using UMLsecJohn Knight; Wolfgang Emmerich; Gregg Rothermel (Hrsg). Proceedings of the 29th International Conference on Software Engineering ICSE 2007: May 20. - 26. 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 581 - 590
Jürjens, Jan
Model-based Security Engineering: Run-time Assurance: Invited Talk2007
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)2007
Jürjens, Jan
Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)Software Engineering 2007. 2007
Sofronie-Stokkermans, Viorica
On unification for bounded distributive latticesACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Woodside, Murray; Petriu, Dorina; Israr, Tauseef et al.
Performance Analysis of Security Aspects in UML ModelsShikharesh Majumdar; Vittorio Cortellessa; Sebastian Uchitel; Daniel Yankelevich (Hrsg). Proceedings of the 6th International Workshop on Software and Performance WOSP 2007: Buenes Aires, Argentina; February 5 - 8, 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 91 - 102