Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesDominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167
Frey, Hannes
Best case energy analysis of localized euclidean minimum spanning tree based multicasting in ad hoc and sensor networksViolet R. Syrotiuk; Fatih Alag; Brahim Bensaou; Özgür B. Akan (Hrsg). MSWIM'10: Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems; Bodrum, Turkey; October 17–21, 2010. New York, NY: ACM Association for Computing Machinery 2010 S. 195 - 204
Kschischo, Maik
Charge Balance matters: Lessons from modelling potassium homeostasis2010
Beckers, Kristian; Hirsch, Martin; Jürjens, Jan
Compliance in Clouds: A cloud computing security perspectiveGI SECMGT-Workshop. Frankfurt (Germany). 2010 S. 1 - 26
Sheikh Sadi, Muhammad; Myers, D. G.; Ortega-Sanchez, Cesar et al.
Component criticality analysis to minimize soft errors riskInternational Journal of Computer Systems Science & Engineering. Bd. 25. H. 5. London: CRL 2010 S. 23 - 37
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolationJournal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentationComputer Security Foundations Symposium (CSF). 2010
Houmb, Siv Hilde; Islam, Shareeful; Knauss, Eric et al.
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsecRequirements Engineering. Bd. 15. H. 1. London: Springer 2010 S. 63 - 93
Mohammed, Ammar; Furbach, Ulrich
Extending CTL to Specify Quantitative Temporal RequirementsManuel Isidoro Capel-Tuñón; Juan Garbajosa (Hrsg). Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems MSVVEIS 2010 in conjunction with ICEIS 2010; Funchal, Madeira, Portugal; 8 - 12 June, 2010. Setúbal: INSTICC Press 2010 S. 70 - 79
Lichte, Hermann S.; Frey, Hannes; Karl, Holger
Fading-Resistant Low-Latency Broadcasts in Wireless Multihop Networks: The Probabilistic Cooperation Diversity ApproachNitin Vaidya; Christoph Lindemann; Jitendra Padhye (Hrsg). MobiCom'10 & MobiHoc'10Proceedings of the 16th Annual International Conference on Mobile Computing and Networking and the 11th ACM International Symposium on Mobile Ad Hoc Networking and Computing; September 20–24, 2010; Chicago, Illinois, USA Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2010 S. 101 - 110