Causality Analysis of Synchronous Programs with Refined Clocks

Concurrency to System Design (ACSD), pages 157–
168, Braga, Portugal, 2010. IEEE Computer Society.
[13] M. Gemünde, J. Brandt, and K. Schneider. Schizophrenia
and causality in the context of refined clocks. In
Forum on Specification and Design Languages (FDL),
Oldenburg, Germany, 2011. IEEE Computer Society.
[14] N. Halbwachs. Synchronous programming of reactive
systems. Kluwer, 1993.
[15] N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud.
The synchronous dataflow programming language
LUSTRE. Proceedings of the IEEE, 79(9):1305–
1320, September 1991.
[16] D. Harel and A. Naamad. The STATEMATE semantics
of statecharts. ACM Transactions on Software Engineering
and Methodology (TOSEM), 5(4):293–333,
1996.
[17] P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony
for system design. Journal of Circuits, Systems,
and Computers (JCSC), 12(3):261–304, June 2003.
[18] K. Schneider. The synchronous programming language
Quartz. Internal Report 375, Department of Computer
Science, University of Kaiserslautern, Kaiserslautern,
Germany, December 2009.
[19] K. Schneider and J. Brandt. Performing causality
analysis by bounded model checking. In Application of
Concurrency to System Design (ACSD), pages 78–87,
Xi’an, China, 2008. IEEE Computer Society.
[20] K. Schneider, J. Brandt, and T. Schuele. A verified
compiler for synchronous programs with local declarations.
Electronic Notes in Theoretical Computer
Science (ENTCS), 153(4):71–97, 2006.
[21] K. Schneider, J. Brandt, T. Schuele, and T. Tuerk. Maximal
causality analysis. In J. Desel and Y. Watanabe,
editors, Application of Concurrency to System Design
(ACSD), pages 106–115, St. Malo, France, 2005. IEEE
Computer Society.
[22] E.M. Sentovich. Quick conservative causality analysis.
In International Symposium on System Synthesis
(ISSS), pages 2–8, Antwerp, Belgium, 1997. IEEE
Computer Society.
[23] T.R. Shiple, G. Berry, and H. Touati. Constructive
analysis of cyclic circuits. In European Design Automation
Conference (EDAC), pages 328–333, Paris,
France, 1996. IEEE Computer Society.
32