FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Decker, Peter; Paulus, Dietrich
Model Based Pose Estimation Using SURFReinhard Koch;Fay Huang (Hrsg). Computer Vision - ACCV 2010 Workshops: ACCV 2010 International Workshops, Queenstown, New Zealand, November 8-9, 2010, Revised Selected Papers, Part II. Berlin: Springer 2011 S. 11 - 20 (LNCS)
Wirtz, Stefan; Paulus, Dietrich
Model-based recognition of 2D objects in perspective imagesPattern Recognition and Image Analysis. Bd. 21. H. 2. Moscow: MAIK Nauka/Interperiodica Publishing 2011 S. 361 - 364
Jürjens, Jan
Model-Based Security Engineering for Evolving Systems (Invited Lecture)2011
Fourneret, Elizabeta; Ochoa, Martin; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart- cardsGünther Pernul; Juan-Carlos Trujillo Mondéjar; Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279
Becker, Jörg; Bergener, Philipp; Delfmann, Patrick et al.
Modeling and Checking Business Process Compliance Rules in the Financial SectorDennis F. Galletta; Ting-Peng Liang (Hrsg). Proceeding of the 32nd International Conference on Information Systems ICIS 2011: December 4-7, 2011; Shanghai, China; Volume 1-5. Atlanta, GA: Association for Information Systems/AIS eLibrary 2011 S. 2292 - 2309
Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change SpecificationsMarco Bernardo; Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526
Krümpelmann, Patrick; Thimm, Matthias; Kern-Isberner, Gabriele et al.
Motivating Agents in Unreliable Environments: A Computational ModelFranziska Klügl; Sascha Ossowski (Hrsg). Multiagent System Technologies: 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 Proceedings. Berlin: Springer 2011 S. 65 - 76
Schaarschmidt, Mario; Kilian, Thomas; Walsh, G. et al.
Motivation and Creativity in Controlled Platforms: An Analysis Based on Facebook and iPhone Application Developers2011 S. 1 - 2
Marnerides, Angelos; James, Cyriac; Schaeffer-Filho, Alberto et al.
Multi-level network resilience: Traffic analysis, anomaly detection and simulationICTACT Journal on Communication Technology. Bd. 2. H. 2. Chennai: ICT Academy of Tamil Nadu 2011 S. 345 - 356
Mu, Mu; Ishmael, Johnathan; Mitchell, Keith et al.
Multimodal QoE evaluation in P2P-based IPTV systemsK. Selçuk Candan; Sethuraman Panchanathan; Balakrishnan Prabhakaran; Hari Sundaram; Wu-Chi Feng; Nicu Sebe (Hrsg). Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28 - December 1, 2011. New York, NY: ACM Association for Computing Machinery 2011 S. 1321 - 1324