Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric SystemsMartin Fränzle; Jürgen Niehaus; Bernd Westphal (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday. Cham: Springer Nature Switzerland 2026 S. 201 - 221
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On Verification and Constraint Generation for Families of Similar Hybrid AutomataRauh, Andreas, Finkbeiner, Bernd, Kröger, Paul (Hrsg). Lecture Notes in Computer Science. Springer Nature Switzerland 2026 S. 126 - 149 (Design and Verification of Cyber-Physical Systems : From Theory to Applications)
Gera, Anchal; Dörpinghaus, Jens; Rockenfeller, Robert
Predicting centrality measures in complex networks utilizing Markov chainsMarek Bolanowski; Maria Ganzha; Marek Grzegorowski; Leszek Maciaszek; Marcin Paprzycki; Andrzej Paszkiewicz; Dominik Ślęzak (Hrsg). Communication Papers of the 21st Conference on Computer Science and Intelligence Systems (FedCSIS) . August 23–26, 2026. Riga, Latvia. Warschau: Polskie Towarzystwo Informatyczne 2026 S. 25 - 35
Gieß, Anna; Lovrekovic, Josip; Tavakoligargari, Masoumeh et al.
The Hidden Backbone of Knowledge Transfer: A Taxonomy and Archetypes of Transfer Data in Non-University Research InstitutionsAssociation for Information Systems (AIS) (Hrsg). PACIS 2026 Proceedings. Atlanta, Georgia: Association for Information Systems (AIS) 2026 17 S.
Vasileva, Veronika; Wolf, Eduard; Riediger, Volker et al.
TITAN - Requirements Eliciation Process Evaluation2026
Peldszus, Sven; Großer, Katharina; Konersmann, Marco et al.
Too Many Issues : Automatically Prioritizing Analyzer Findings by Tracing Security ImportanceACM transactions on software engineering and methodology : TOSEM. Bd. 35. H. 3. New York, NY: ACM Press 2026
Peldszus, Sven; Großer, Katharina; Konersmann, Marco et al.
Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance (Summary)Timo Kehrer; Leen Lambers; Michael Pradel; Jonas Spieler (Hrsg). Software Engineering 2026 : 23.-27. Februar 2026 Bern, Schweiz : Proceedings. Bonn: Gesellschaft für Informatik 2026 S. 55 - 56
Specht, Alexander; Herrmann, Marc; Elsofi, Duaa Adel Ali et al.
Tracing Safety- and Security-Critical Artifacts and Where to Find ThemJournal of Systems and Software. Bd. 241. Amsterdam: Elsevier 2026
Augustine, Anusha; Al-Dhamari, Ibraheem; Jürjens, Jan et al.
Trustworthy AI for Skin Cancer Image ClassificationYatimah Alias; Ferda Ernawan; Teddy Surya Gunawan; Ziti Fariha Mohd Apandi; Nurul Izzatie Husna Binti Muhamad Fauzi (Hrsg). 2026 IEEE 1st International Conference on Artificial Intelligence Implementation & Applications (ICAIIA) : "Driving the Future with Intelligent Systems", 1-4 Sept. 2026 Putrajaya, Malaysia : Proceedings. Red Hook, NY: Curran Associates 2026 S. 232 - 237
Esser, Alexander M.; Dörpinghaus, Jens
Two-Step Occupation CodingMarek Bolanowski; Maria Ganzha; Marek Grzegorowski; Leszek Maciaszek; Marcin Paprzycki; Andrzej Paszkiewicz; Dominik Ślęzak (Hrsg). Proceedings of the 21st Conference on Computer Science and Intelligence Systems (FedCSIS) : August 23–26, 2026. Riga, Latvia. Warschau: Polskie Towarzystwo Informatyczne 2026 S. 263 - 271