Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Krause, Christian, Tichy, Matthias, Giese, Holger
Published in Fundamental Approaches to Software Engineering (2014)
Published in Fundamental Approaches to Software Engineering (2014)
Get full text
Book Chapter
Conference Proceeding
Modal Specifications for Probabilistic Timed Systems
Han, Tingting, Krause, Christian, Kwiatkowska, Marta, Giese, Holger
Published in Electronic proceedings in theoretical computer science (11.06.2013)
Published in Electronic proceedings in theoretical computer science (11.06.2013)
Get full text
Journal Article
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
Maximova, Maria, Schneider, Sven, Giese, Holger
Published in Formal aspects of computing (13.09.2023)
Published in Formal aspects of computing (13.09.2023)
Get full text
Journal Article
Hybrid search plan generation for generalized graph pattern matching
Barkowsky, Matthias, Giese, Holger
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Published in Journal of logical and algebraic methods in programming (01.08.2020)
Get full text
Journal Article
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
Schneider, Sven, Maximova, Maria, Giese, Holger
Published in Journal of logical and algebraic methods in programming (01.02.2024)
Published in Journal of logical and algebraic methods in programming (01.02.2024)
Get full text
Journal Article
Incremental model synchronization with triple graph grammars
Get full text
Conference Proceeding
Book Chapter