Static Analysis of Dynamic Communication Systems by Partner Abstraction-Reference-Cited by-同舟云学术

Static Analysis of Dynamic Communication Systems by Partner Abstraction

Published:2007 Issue: Volume: Page:249-264
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Bauer Jörg,Wilhelm Reinhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74061-2_16

Reference14 articles.

1. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations. World Scientific, Singapore (1997)

2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In: Symp. on Princ. of Prog. Lang., pp. 238–252. ACM Press, New York (1977)

3. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Symp. on Princ. of Prog. Lang., pp. 269–282. ACM Press, New York (1979)

4. Hsu, A., Eskafi, F., Sachs, S., Varaiya, P.: The design of platoon maneuver protocols for IVHS. Technical Report UCB-ITS-PRR-91-6, University of California, Berkley (1991)

5. Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems 24(3), 217–298 (2002)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rewriting Abstract Structures: Materialization Explained Categorically;Lecture Notes in Computer Science;2019

2. Graph Attribution Through Sub-Graphs;Graph Transformation, Specifications, and Nets;2018

3. Towards Smart Systems of Systems;Fundamentals of Software Engineering;2015

4. Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction;Lecture Notes in Computer Science;2015

5. A Visual Logic for the Description of Highway Traffic Scenarios;Complex Systems Design & Management;2014