{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:58:23Z","timestamp":1742392703218},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859277"},{"type":"electronic","value":"9783540859284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85928-4_8","type":"book-chapter","created":{"date-parts":[[2008,8,28]],"date-time":"2008-08-28T15:39:12Z","timestamp":1219937952000},"page":"42-58","source":"Crossref","is-referenced-by-count":2,"title":["Challenges in Relational Learning for Real-Time Systems Applications"],"prefix":"10.1007","author":[{"given":"Mark","family":"Bartlett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iain","family":"Bate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitar","family":"Kazakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Turing, A.: On Computable Numbers, with an Application to the Entscheidungsproblem (7936). The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life, Plus the Secrets of Enigma (2004)","DOI":"10.1093\/oso\/9780198250791.003.0005"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Kazakov, D., Bate, I.: Towards new methods for developing real-time systems: Automatically deriving loop bounds using machine learning. In: Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2006)","DOI":"10.1109\/ETFA.2006.355425"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., Ferdinand, C.: An abstract interpretation-based timing validation of hard real-time avionics software. In: Proceedings of the International Conference on Dependable Systems and Networks, pp. 625\u2013632 (2003)","DOI":"10.1109\/DSN.2003.1209972"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Coen-Porisini, A., Denaro, G., Ghezzi, C., Pezz\u00e8, M.: Using symbolic execution for verifying Safety-Critical systems. In: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 142\u2013151 (2001)","DOI":"10.1145\/503229.503230"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Engblom, J.: Analysis of the execution time unpredictability caused by dynamic branch prediction. In: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 152\u2013159 (2003)","DOI":"10.1109\/RTTAS.2003.1203047"},{"issue":"2-3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1008149332687","volume":"18","author":"A. Colin","year":"2000","unstructured":"Colin, A., Puaut, I.: Worst case execution time analysis for a processor with branch prediction. The Journal of Real-Time Systems\u00a018(2-3), 249\u2013274 (2000)","journal-title":"The Journal of Real-Time Systems"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Healy, C., Arnold, R., M\u00fcller, F., Whalley, D., Harmon, M.: Bounding pipeline and instruction cache performance. IEEE Transactions on Computers\u00a048(1) (1999)","DOI":"10.1109\/12.743411"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Li, Y.T.S., Malik, S.: Performance analysis of embedded software using implicit path enumeration. In: Proceedings of the 32nd Design Automation Conference, pp. 456\u2013461 (1995)","DOI":"10.1145\/217474.217570"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Software Testing, Verification & Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification & Reliability"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1018551716639","volume":"6","author":"J. Wegener","year":"1997","unstructured":"Wegener, J., Sthamer, H., Jones, B., Eyres, D.: Testing real-time systems using genetic algorithms. Software Quality Journal\u00a06(2), 127\u2013135 (1997)","journal-title":"Software Quality Journal"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/3-540-63494-0_65","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1997","unstructured":"Muggleton, S.: Learning from Positive Data. In: Muggleton, S. (ed.) ILP 1996. LNCS, vol.\u00a01314, pp. 358\u2013376. Springer, Heidelberg (1997)"},{"key":"8_CR12","series-title":"Computing Laboratory","volume-title":"The Aleph Manual","author":"A. Srinivasan","year":"2000","unstructured":"Srinivasan, A.: The Aleph Manual. Computing Laboratory. Oxford University Press, Oxford (2000)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Ernst, M.: Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington (2000)","DOI":"10.1145\/302405.302467"},{"key":"8_CR14","unstructured":"Todorovski, L., Dzeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning, pp. 376\u2013384 (1997)"},{"key":"8_CR15","unstructured":"Chapman, R.: Static Timing Analysis and Program Proof. PhD thesis, Department of Computer Science, University of York (1995)"},{"key":"8_CR16","unstructured":"Presburger, M.: \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. s. n (1931)"},{"issue":"2-3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0743-1066(99)00018-7","volume":"40","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A., Camacho, R.: Numerical reasoning with an ILP system capable of lazy evaluation and customised search. The Journal of Logic Programming\u00a040(2-3), 185\u2013213 (1999)","journal-title":"The Journal of Logic Programming"},{"key":"8_CR18","volume-title":"An introduction to numerical analysis","author":"K. Atkinson","year":"1989","unstructured":"Atkinson, K.: An introduction to numerical analysis. John Wiley, Chichester (1989)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Bate, I., Kazakov, D.: New directions in worst-case execution time analysis. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within 2008 IEEE World Congress on Computational Intelligence (WCCI 2008) (2008)","DOI":"10.1109\/CEC.2008.4631277"},{"key":"8_CR20","unstructured":"Smith, J.: A study of branch prediction strategies. In: Proceedings of the 8th International Symposium on Computer Architecture, pp. 135\u2013148 (1981)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85928-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T19:41:08Z","timestamp":1684525268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85928-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540859277","9783540859284"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85928-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}