Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Softwaretechnik (IST)
Adresse
Universitätsstraße 1
56070 Koblenz
Deutschland
GERiT
Diese Institution in GERiT
56070 Koblenz
Projekte
Schwerpunktprogramme
abgeschlossene Projekte
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
(Antragsteller
Hanisch, Hans-Michael
)
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
(Antragsteller
Lautenbach, Kurt
)
Beyond One-Shot Security: Requirements-driven Run-time Security Adaptation to Reduce Code Patching (SecVolution@Run-time)
(Antragsteller
Jürjens, Jan
;
Schneider, Kurt
)
Diagnostik mittels Dualität in Petri-Netzen und in Logiken
(Antragsteller
Lautenbach, Kurt
)
Modular Modeling of Delegation Security in Software Development (MoDelSec)
(Antragsteller
Jürjens, Jan
)
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
(Antragsteller
Lautenbach, Kurt
)
Sachbeihilfen
laufende Projekte
TraceSEC - Nachverfolgbarkeit und Erklärbarkeit von Security in der Softwareentwicklung
(Antragsteller
Jürjens, Jan
;
Schneider, Kurt
)
abgeschlossene Projekte
Sprachintegrierte semantische Anfragen (LISeQ)
(Antragsteller
Lämmel, Ralf
;
Staab, Steffen
)
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
(Antragsteller
Lautenbach, Kurt
)
Unternehmensmodellierung zur Unterstützung effizienter Prozesse im Electronic Commerce
(Antragsteller
Frank, Ulrich
)
