1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2021
Probabilistic Metric Temporal Graph Logic
Sven Schneider, Maria Maximova, Holger Giese
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilisti…
cs.LO2012★ 1 cited
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Hanna Schölzel, Hartmut Ehrig, Maria Maximova +2
Application conditions for rules and constraints for graphs are well-known in the theory of graph transformation and have been extended already to M-adhesive transformation systems…