Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan; Schneider, Kurt; Bürger, Jens et al.
Maintaining Security in Software EvolutionRalf Reussner; Michael Godeicke; Wilhelm Hasselbring; Birgit Vogel-Heuser; Jan Keim; Lukas Märtin (Hrsg). Managed Software Evolution. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 207 - 253
Loepp, Benedikt; Ziegler, Jürgen
Measuring the Impact of Recommender Systems - A Position Paper on Item Consumption in User StudiesOren Sar Shalom; Dietmar Jannach; Ido Guy (Hrsg). Proceedings of the 1st Workshop on Impact of Recommender Systems ImpactRS 2019 co-located with 13th ACM Conference on Recommender Systems RecSys 2019, Copenhagen, Denmark, September 19, 2019. Aachen: CEUR/RWTH 2019 S. 1 - 2
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and SynthesisChristoph Benzmüller; Xavier Parent; Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsPascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405
Gurrin, Cathal; Joho, Hideo; Hopfgartner, Frank et al.
Overview of the NTCIR-14 Lifelog-3 TaskCharles L. A. Clarke; Noriko Kando (Hrsg). Online Proceeding of the 14th NTCIR Conference: June 10-13, 2019 National Institute of Informatics, Tokyo, Japan. Tokyo: National Institute of Informatics 2019 S. 14 - 26
Radak, Jovan; Schneider, Daniel; Henke, Christian et al.
Performance of Consensus and Formation Control subject to Bernoulli, Slotted Aloha and IEEE 802.11p Simulation ModelsMérouane Debbah; Guy Pujolle; Zoubir Mammeri; Marília Curado; Thi Mai Trang Nguyen; Selma Boumerdassi (Hrsg). Proceedings of the 12th IFIP Wireless and Mobile Networking Conference: WMNC 2019; September 11-13, 2019 Paris, France. New York, NY: IEEE Computer Society 2019 S. 63 - 70
Ahmadian, Amir Shayan; Strüber, Daniel; Jürjens, Jan
Privacy-enhanced system design modeling based on privacy featuresChih-Cheng Hung; George A. Papadopoulos (Hrsg). Proceedings of the 34th ACM Symposium on Applied Computing SAC 2019; Limassol, Cyprus; April 8-12, 2019. New York, NY: ACM Association for Computing Machinery 2019 S. 1492 - 1499
de Boer, Heike; Inckemann, Elke; Frey, Anne et al.
Reziprozität in Mentoring- und Lernpatenprojekten zwischen Studierenden und Kindern mit ZuwanderungshintergrundChristian Donie; Frank Foerster; Marlene Obermayr; Anne Deckwerth; Gisela Kammermeyer; Gerlinde Lenske; Miriam Leuchter; Anja Wildmann (Hrsg). Grundschulpädagogik zwischen Wissenschaft und Transfer. Wiesbaden: Springer VS 2019 S. 125 - 136 (Jahrbuch Grundschulforschung Bd. 23)
Peldszus, Sven; Tuma, Katja; Strüber, Daniel et al.
Secure Data-Flow Compliance Checks between Models and Code Based on Automated MappingsLoli Burgueño; Alexander Pretschner; Sebastian Voss; Michel Chaudron; Jörg Kienzle; Markus Völter; Sébastien Gérard; Mansooreh Zahedi; Erwan Bousse; Arend Rensink; Fiona Polack; Gregor Engels; Gerti Kappel (Hrsg). Proceedings of the 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion MODELS-C 201915–20 September 2019; Munich, Germany. Los Alamitos, CA: IEEE Computer Society 2019 S. 23 - 33
Jürjens, Jan
Security in der KI - KI für Security2019