Author:
Gössler Gregor,Le Métayer Daniel
Publisher
Springer International Publishing
Reference24 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
2. Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)
3. Beckers, S., Vennekens, J.: Counterfactual dependency and actual causation in cp-logic and structural models: a comparison. In: Kersting, K., Toussaint, M. (eds.) STAIRS. Frontiers in Artificial Intelligence and Applications, vol. 241, pp. 35–46. IOS Press (2012)
4. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20–40 (2012)
5. Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dyn. Syst. 15(1), 33–84 (2005)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Repair of Violated Eventually Properties in Concurrent Programs;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Synthesis of Temporal Causality;Lecture Notes in Computer Science;2024
3. Applications of statistical causal inference in software engineering;Information and Software Technology;2023-07
4. Checking and Sketching Causes on Temporal Sequences;Automated Technology for Verification and Analysis;2023
5. Explaining Hyperproperty Violations;Computer Aided Verification;2022