20
G. Fey and R. Drechsler
23. Liu, X., Xu, Q.: Trace signal selection for visibility enhancement in post-silicon validation. In:
Design, Automation and Test in Europe, pp. 1338–1343. IEEE, Piscataway (2009). https://doi.
org/10.1109/DATE.2009.5090872
24. Malburg, J., Flenker, T., Fey, G.: Property mining using dynamic dependency graphs. In: ASP
Design Automation Conference, pp. 244–250. IEEE, Piscataway (2017). https://doi.org/10.
1109/ASPDAC.2017.7858327
25. Maybury, M.T., Wahlster, W. (eds.): Readings in Intelligent User Interfaces. Morgan Kaufmann
Publishers, Los Altos (1998)
26. Montavon, G., Samek, W., Mller, K.R.: Methods for interpreting and understanding deep neural
networks. Digital Signal Process. 73, 1–15 (2018). https://doi.org/https://doi.org/10.1016/j.dsp.
2017.10.011
27. Müller-Schloer, C., Tomforde, S.: Organic Computing: Technical Systems for Survival in the
Real World. Birkhäuser, Basel (2017)
28. Mstl, M., Schlatow, J., Ernst, R., Hoffmann, H., Merchant, A., Shraer, A.: Self-aware systems
for the internet-of-things. In: International Conference on Hardware/Software Codesign and
System Synthesis (CODES+ISSS), pp. 1–9. IEEE, Piscataway (2016)
29. Necula, G.C., Lee, P.: Safe, untrusted agents using proof-carrying code. In: Vigna, G. (ed.)
Mobile Agents and Security, pp. 61–91. Springer, Berlin (1998)
30. Oh, Y., Mneimneh, M.N., Andraus, Z.S., Sakallah, K.A., Markov, I.L.: AMUSE: a minimallyunsatisfiable subformula extractor. In: Design Automation Conference, pp. 518–523 (2004)
31. Pearl, J.: Causality. Cambridge University Press, Cambridge (2010)
32. Siafara, L.C., Kholerdi, H.A., Bratukhin, A., Taherinejad, N., Jantsch, A.: SAMBA—an
architecture for adaptive cognitive control of distributed cyber-physical production systems
based on its self-awareness. Elektrotech. Informationstech. 135(3), 270–277 (2018)
33. Weiser, M.: Program slicing. In: International Conference on Software Engineering, pp. 439–
449. IEEE, Piscataway (1981)
34. Woods, S., Yang, Q.: The program understanding problem: analysis and a heuristic approach.
In: International Conference on Software Engineering, pp. 6–15. IEEE, Piscataway (1996)
35. Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker:
practical implementations and other applications. In: Design, Automation and Test in Europe,
pp. 880–885. IEEE, Piscataway (2003)
36. Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices
for fault location. In: International Symposium on Automated Analysis-Driven Debugging
(AADEBUG), pp. 33–42. ACM, New York (2005). http://doi.acm.org/10.1145/1085130.
1085135
37. Zhu, C.S., Weissenbacher, G., Malik, S.: Silicon fault diagnosis using sequence interpolation
with backbones. In: International Conference on CAD, pp. 348–355 (2014). https://doi.org/10.
1109/ICCAD.2014.7001373
G. Fey and R. Drechsler
23. Liu, X., Xu, Q.: Trace signal selection for visibility enhancement in post-silicon validation. In:
Design, Automation and Test in Europe, pp. 1338–1343. IEEE, Piscataway (2009). https://doi.
org/10.1109/DATE.2009.5090872
24. Malburg, J., Flenker, T., Fey, G.: Property mining using dynamic dependency graphs. In: ASP
Design Automation Conference, pp. 244–250. IEEE, Piscataway (2017). https://doi.org/10.
1109/ASPDAC.2017.7858327
25. Maybury, M.T., Wahlster, W. (eds.): Readings in Intelligent User Interfaces. Morgan Kaufmann
Publishers, Los Altos (1998)
26. Montavon, G., Samek, W., Mller, K.R.: Methods for interpreting and understanding deep neural
networks. Digital Signal Process. 73, 1–15 (2018). https://doi.org/https://doi.org/10.1016/j.dsp.
2017.10.011
27. Müller-Schloer, C., Tomforde, S.: Organic Computing: Technical Systems for Survival in the
Real World. Birkhäuser, Basel (2017)
28. Mstl, M., Schlatow, J., Ernst, R., Hoffmann, H., Merchant, A., Shraer, A.: Self-aware systems
for the internet-of-things. In: International Conference on Hardware/Software Codesign and
System Synthesis (CODES+ISSS), pp. 1–9. IEEE, Piscataway (2016)
29. Necula, G.C., Lee, P.: Safe, untrusted agents using proof-carrying code. In: Vigna, G. (ed.)
Mobile Agents and Security, pp. 61–91. Springer, Berlin (1998)
30. Oh, Y., Mneimneh, M.N., Andraus, Z.S., Sakallah, K.A., Markov, I.L.: AMUSE: a minimallyunsatisfiable subformula extractor. In: Design Automation Conference, pp. 518–523 (2004)
31. Pearl, J.: Causality. Cambridge University Press, Cambridge (2010)
32. Siafara, L.C., Kholerdi, H.A., Bratukhin, A., Taherinejad, N., Jantsch, A.: SAMBA—an
architecture for adaptive cognitive control of distributed cyber-physical production systems
based on its self-awareness. Elektrotech. Informationstech. 135(3), 270–277 (2018)
33. Weiser, M.: Program slicing. In: International Conference on Software Engineering, pp. 439–
449. IEEE, Piscataway (1981)
34. Woods, S., Yang, Q.: The program understanding problem: analysis and a heuristic approach.
In: International Conference on Software Engineering, pp. 6–15. IEEE, Piscataway (1996)
35. Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker:
practical implementations and other applications. In: Design, Automation and Test in Europe,
pp. 880–885. IEEE, Piscataway (2003)
36. Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices
for fault location. In: International Symposium on Automated Analysis-Driven Debugging
(AADEBUG), pp. 33–42. ACM, New York (2005). http://doi.acm.org/10.1145/1085130.
1085135
37. Zhu, C.S., Weissenbacher, G., Malik, S.: Silicon fault diagnosis using sequence interpolation
with backbones. In: International Conference on CAD, pp. 348–355 (2014). https://doi.org/10.
1109/ICCAD.2014.7001373