Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan; Lotz, Volkmer; Pretschner, Alexander et al.
Engineering Secure Future Internet Services (Invited Panel Discussion)2013
Jürjens, Jan; Livshits, Benjamin; Scandariato, Riccardo
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. ProceedingsBerlin: Springer 2013
Scott, David; Hopfgartner, Frank; Guo, Jinlin et al.
Evaluating Novice and Expert Users on Handheld Video Retrieval SystemsShipeng Li;Abdulmotaleb Saddik;Meng Wang;Tao Mei;Nicu Sebe;Shuicheng Yan;Richang Hong;Cathal Gurrin (Hrsg). Advances in Multimedia Modeling: 19th International Conference, MMM 2012; Huangshan, China; January 7-9, 2012, Proceedings, Part II. Berlin: Springer 2013 S. 69 - 78
Jürjens, Jan
Evolution vs. semantische Konsistenz2013
Schwarz, Christian; Zöbel, Dieter; Wagner, Marco
Formal Verification of Service-Oriented Adaptive Driver Assistance SystemsSIGBED Review. Bd. 10. H. 4. New York, NY: ACM Association for Computing Machinery 2013 S. APRES
Hopfgartner, Frank; Scott, David; Wang, Hongyi et al.
Helping the helpers: How video retrieval can assist special interest groupsShipeng Li;Abdulmotaleb Saddik;Meng Wang;Tao Mei;Nicu Sebe;Shuicheng Yan;Richang Hong;Cathal Gurrin (Hrsg). Advances in Multimedia Modeling: 19th International Conference, MMM 2012; Huangshan, China; January 7-9, 2012, Proceedings, Part II. Berlin: Springer 2013 S. 493 - 495
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid SystemsMaria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 360 - 376
Jürjens, Jan
Hot Topics in Model-based Security (Invited Panel Contribution)2013
Scheglmann, Stefan; Gröner, Gerd; Staab, Steffen et al.
Incompleteness-aware Programming with RDF dataEvelyne Viegas; Karin Breitman; Judith Bishop (Hrsg). Proceedings of the ACM SIGPLAN Workshop on Data Driven Functional Programming DDFP 2013 co-located with 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages POPL 2013: January 22, 2013; Rome, Italy. New York, NY: ACM Association for Computing Machinery 2013 S. 11 - 14