E-LIB Suche - Ergebnisse für: Giese, Holger

1

Foundations for Query-based Runtime Monitoring of Temporal ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Sakizloglou, Lucas ; Giese, Holger ; Lambers, Leen - p. 22-55 , 2024

2

Bounded model checking for interval probabilistic timed gra..:

Schneider, Sven ; Maximova, Maria ; Giese, Holger
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100938 , 2024

Link: https://doi.org/10.1016/..

3

Combining Look-ahead Design-time and Run-time Control-synth..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Xu, He ; Schneider, Sven ; Giese, Holger - p. 77-100 , 2024

Link: https://doi.org/10.1007/..

4

STIGS: Spatio-Temporal Interference Graph Simulator for Sel..:

, In: Companion of the 15th ACM/SPEC International Conference on Performance Engineering,

Zafar, Iqra ; Adriano, Christian Medeiros ; Giese, Holger - p. 52-56 , 2024

Link: https://dl.acm.org/doi/1..

5

Service-oriented design and verification of hybrid systems:

Liebrenz, Timm , 2023

Link: https://nbn-resolving.de..

6

Compositional Analysis of Probabilistic Timed Graph Transfo..:

Maximova, Maria ; Schneider, Sven ; Giese, Holger
Formal Aspects of Computing. 35 (2023) 3 - p. 1-79 , 2023

Link: https://doi.org/10.1145/..

7

Modeling and formal analysis of meta-ecosystems with dynami..:

Flotterer, Boris ; Maximova, Maria ; Schneider, Sven...
Ecological Informatics. 75 (2023) - p. 101908 , 2023

Link: https://doi.org/10.1016/..

8

Host-graph-sensitive RETE nets for incremental graph patter..:

Barkowsky, Matthias ; Giese, Holger
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100841 , 2023

Link: https://doi.org/10.1016/..

9

Challenges in Reward Design for Reinforcement Learning-base..:

Schumacher, Max ; Adriano, Christian Medeiros ; Giese, Holger
SUMO Conference Proceedings. 4 (2023) - p. 131-151 , 2023

Link: https://doi.org/10.52825..

10

Incremental Model Transformations with Triple Graph Grammar..:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),

Barkowsky, Matthias ; Giese, Holger - p. 296-306 , 2023

Link: https://doi.org/10.1109/..

11

Translation validation of coloured Petri net models of prog..:

Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan.
Acta Informatica. 59 (2022) 6 - p. 725-759 , 2022

Link: https://doi.org/10.1007/..

12

Tool support for the teaching of state-based behavior model..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Zöllner, Christian ; Adriano, Christian M. ; Wietheger, Simon.. - p. 87-94 , 2022

Link: https://dl.acm.org/doi/1..

13

Probabilistic Metric Temporal Graph Logic:

, In: Graph Transformation; Lecture Notes in Computer Science,

Schneider, Sven ; Maximova, Maria ; Giese, Holger - p. 58-76 , 2022

Link: https://doi.org/10.1007/..

14

Towards Development with Multi-version Models: Detecting Me..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Barkowsky, Matthias ; Giese, Holger - p. 118-136 , 2022

Link: https://doi.org/10.1007/..

15

Invariant Analysis for Multi-agent Graph Transformation Sys..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Schneider, Sven ; Maximova, Maria ; Giese, Holger - p. 173-192 , 2022

Link: https://doi.org/10.1007/..