PD Dr. Louchka Popova-Zeugmann
Profil
Zusammenfassung
PD Dr. Popova-Zeugmann entwickelt und analysiert zeitbehaftete Petri-Netze – ein mathematisches Modellierungswerkzeug für komplexe, verteilte Systeme. Sie nutzt diese Methode, um sicherheitskritische Systeme (wie biochemische Netzwerke oder eingebettete Systeme) zu verifizieren und deren zeitliches Verhalten vorherzusagen, ohne diese Systeme physisch testen zu müssen.
Skills
Stammdaten
Identität, Organisation und Kontakt aus HU-FIS.
- Name
- PD Dr. Louchka Popova-Zeugmann
- Titel
- PD Dr.
- Fakultät
- Mathematisch-Naturwissenschaftliche Fakultät
- Institut
- Institut für Informatik
- Arbeitsgruppe
- Theoretische Informatik
- 🔒 nur für eingeloggte sichtbarAnmelden
- Telefon
- 🔒 nur für eingeloggte sichtbarAnmelden
- HU-FIS-Profil
- Quelle ↗
- Zuletzt gescrapt
- 28.6.2026, 01:11:07
Forschungsthemen1
Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
Quelle ↗Förderer: DFG Sachbeihilfe Zeitraum: 10/2015 - 07/2017 Projektleitung: PD Dr. Louchka Popova-Zeugmann
Mögliche Industrie-Partner156
Details nur für eingeloggte sichtbar
🔒 Das System hat 156 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden
Publikationen25
Top 25 nach Zitationen — Quelle: OpenAlex (BAAI/bge-m3 embedded für Matching).
113 Zitationen · DOI
Journal of automata, languages and combinatorics · 85 Zitationen
41 Zitationen
Biochemical networks are modelled at different abstraction levels. Basically, qualitative and quantitative models can be distinguished, which are typically treated as separate ones. In this paper, we bridge the gap between qualitative and quantitative models and apply time Petri nets for modelling and analysis of molecular biological systems. We demonstrate how to develop quantitative models of biochemical networks in a systematic manner, starting from the underlying qualitative ones. For this purpose we exploit the well-established structural Petri net analysis technique of transition invariants, which may be interpreted as a characterisation of the system?s steady state behaviour. For the analysis of the derived quantitative model, given as time Petri net, we present structural techniques to decide the time-dependent realisability of a transition sequence and to calculate its shortest and longest time length. All steps of the demonstrated approach consider systems of integer linear inequalities. The crucial point is the total avoidance of any state space construction. Therefore, the presented technology may be applied also to infinite systems, i.e. unbounded Petri nets.
Kooperationen0
Bestätigte Forscher↔Partner-Paare aus HU-FIS — Gold-Standard-Positive für das Matching.
Aus HU-FIS sind keine Kooperationen für diese Person gemeldet.