Kogel, A
74  Ergebnisse:
Personensuche X
?
2

Verifying Opacity of Discrete-Timed Automata:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Klein, Julian ; Kogel, Paul ; Glesner, Sabine - p. 55-65 , 2024
 
?
3

Correction to: Learning Mealy Machines with Local Timers:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Kogel, Paul ; Klös, Verena ; Glesner, Sabine - p. C1-C1 , 2023
 
?
4

Die immer andere Stadt – Teilhabe am demokratischen Möglich..:

, In: (Re-) Konstruktion von lokaler Urbanität,
Kögel, Johannes ; Güte, Thomas - p. 161-174 , 2023
 
?
6

Multimodal Integration of Human-Like Attention in Visual Qu..:

, In: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW),
Sood, Ekta ; Kogel, Fabian ; Muller, Philipp... - p. 2648-2658 , 2023
 
?
7

Set-Based Anomaly Detector and Stealthy Attack Impact Using..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Wagner, Jonas ; Kogel, Tanner ; Ruths, Justin - p. 7081-7087 , 2023
 
?
8

Learning Mealy Machines with Local Timers:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Kogel, Paul ; Klös, Verena ; Glesner, Sabine - p. 47-64 , 2023
 
?
9

An Active Self-Interference Cancellation Coupler with 60 dB..:

, In: 2023 IEEE/MTT-S International Microwave Symposium - IMS 2023,
Fenske, Patrick ; Kogel, Tobias ; Scheder, Andre... - p. 517-520 , 2023
 
?
10

VITALflow: Visual Interactive Traffic Analysis with NetFlow:

, In: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium,
 
?
11

Automatic anti-pattern detection in microservice architectu..:

, In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice,
 
?
12

Astra Zarina – Unter Männern:

, In: Women in Architecture Berlin,
Kögel, Eduard - p. 84-84 , 2022
 
?
13

Analysing Capacity Bottlenecks in Rail Infrastructure by Ep..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Berger, Philipp ; Lenze, Wiebke ; Noll, Thomas... - p. 121-133 , 2022
 
?
14

TTT/ik: Learning Accurate Mealy Automata Efficiently with a..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Kogel, Paul ; Klös, Verena ; Glesner, Sabine - p. 227-243 , 2022
 
?
15

HABEN FRAUEN IN DER ARCHITEKTUR ( K)EINE GESCHICHTE?:

, In: Women in Architecture Berlin,
Kögel, Eduard - p. 146-147 , 2022
 
1-15