Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Seifer, Philipp; Leinberger, Martin; Lämmel, Ralf et al.
Semantic Query Integration With ReasonThe Programming Journal. Bd. 3. H. 3. Solon, OH: AOSA Incorporated 2019
Jürjens, Jan
Smart Data Analytics im Gesundheitswesen: Aber sicher ! (... und compliant)Zukunftskongress Gesundheit DiGital, Koblenz, 3.-4.9.2019. 2019
Böhmer, Steffen; Schneider, Daniel; Frey, Hannes
Stochastic Modeling and Simulation for Redundancy and Coexistence in Graphs Resulting from Log-Normal ShadowingAntonio A. F. Loureiro; Paolo Bellavista; Salil Kanhere (Hrsg). Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWiM 2019: November 25-29, 2019; Miami Beach, FL, USA. New York, NY: ACM Association for Computing Machinery 2019 S. 173 - 182