Takip et
Barbara König
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
1902006
A static analysis technique for graph transformation systems
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 381-395, 2001
1232001
Deriving bisimulation congruences in the DPO approach to graph rewriting
H Ehrig, B König
International Conference on Foundations of Software Science and Computation …, 2004
1062004
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
H Ehrig, B König
Mathematical Structures in Computer Science 16 (6), 1133-1163, 2006
982006
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
B König, V Kozioura
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
972006
Approximating the behaviour of graph transformation systems
P Baldan, B König
International Conference on Graph Transformation, 14-29, 2002
922002
Augur 2—a new version of a tool for the analysis of graph transformation systems
B König, V Kozioura
Electronic Notes in Theoretical Computer Science 211, 201-210, 2008
872008
Verifying finite-state graph grammars: an unfolding-based approach
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 83-98, 2004
852004
A framework for the verification of infinite-state graph transformation systems
P Baldan, A Corradini, B König
Information and Computation 206 (7), 869-907, 2008
812008
Saturated semantics for reactive systems
F Bonchi, B Konig, U Montanari
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 69-80, 2006
812006
On deterministic finite automata and syntactic monoid size
M Holzer, B König
Theoretical Computer Science 327 (3), 319-347, 2004
752004
Coalgebraic behavioral metrics
P Baldan, F Bonchi, H Kerstan, B König
Logical Methods in Computer Science 14, 2018
682018
A coalgebraic perspective on minimization and determinization
J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva
Foundations of Software Science and Computational Structures: 15th …, 2012
682012
Efficient unfolding of contextual Petri nets
P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon
Theoretical Computer Science 449, 2-22, 2012
632012
Specification and verification of model transformations
F Hermann, M Hülsbusch, B König
Electronic Communications of the EASST 30, 2010
622010
A tutorial on graph transformation
B König, D Nolte, J Padberg, A Rensink
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
582018
Behavior preservation in model refactoring using DPO transformations with borrowed contexts
G Rangel, L Lambers, B König, H Ehrig, P Baldan
International Conference on Graph Transformation, 242-256, 2008
542008
A logic for analyzing abstractions of graph transformation systems
P Baldan, B König, B König
International Static Analysis Symposium, 255-272, 2003
532003
On the decidability status of reachability and coverability in graph transformation systems
N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath
23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012
522012
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
502010
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20
OSZAR »