{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:49:54Z","timestamp":1770274194384,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340253","type":"print"},{"value":"9783642340260","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_45","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"608-614","source":"Crossref","is-referenced-by-count":35,"title":["The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems"],"prefix":"10.1007","author":[{"given":"Falk","family":"Howar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maik","family":"Merten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Beyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"45_CR1","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/TASE.2006.880857","volume":"4","author":"E.E. Almeida","year":"2007","unstructured":"Almeida, E.E.: Event-Condition-Action Systems for Reconfigurable Logic Control. IEEE Transactions on Automation Science and Engineering\u00a04(2), 167\u2013181 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"2","key":"45_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"45_CR3","unstructured":"Balint, A., Belov, A., J\u00e4rvisalo, M., Sinz, C.: SAT Challenge 2012. In: SAT (2012), \n                    \n                      http:\/\/baldur.iti.kit.edu\/SAT-Challenge-2012\/index.html"},{"issue":"1","key":"45_CR4","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B. Benatallah","year":"2003","unstructured":"Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-Serv Environment for Web Services Composition. IEEE Internet Computing\u00a07(1), 40\u201348 (2003)","journal-title":"IEEE Internet Computing"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-28756-5_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Beyer","year":"2012","unstructured":"Beyer, D.: Competition on Software Verification (SV-COMP). In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 504\u2013524. Springer, Heidelberg (2012), \n                    \n                      http:\/\/sv-comp.sosy-lab.org\/"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model Checking of Probabilistic and Nondeterministic Systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol.\u00a01026, pp. 499\u2013513. Springer, Heidelberg (1995)"},{"key":"45_CR7","unstructured":"Biere, A., Heljanko, K., Seidl, M., Wieringa, S.: HWMCC 2012. In: FMCAD (2012), \n                    \n                      http:\/\/fmv.jku.at\/hwmcc12\/"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Boyer, J., Mili, H.: IBM WebSphere ILOG JRules. In: Agile Business Rule Development, pp. 215\u2013242. Springer (2011)","DOI":"10.1007\/978-3-642-19041-4_8"},{"key":"45_CR9","volume-title":"JBoss Drools Business Rules","author":"P. Browne","year":"2009","unstructured":"Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)"},{"key":"45_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"key":"45_CR11","unstructured":"Bruttomesso, R., Cok, D., Griggio, A.: SMT-COMP 2012. In: IJCAR (2012), \n                    \n                      http:\/\/smtcomp.sourceforge.net\/2012\/"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) ICSE, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"issue":"2","key":"45_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"45_CR15","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S1571-0661(04)00253-1","volume":"55","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java Programs with Java PathExplorer. Electronic Notes in Theoretical Computer Science\u00a055(2), 200\u2013217 (2001); RV 2001, Runtime Verification (in connection with CAV 2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"9","key":"45_CR16","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1145\/4284.4286","volume":"28","author":"F. Hayes-Roth","year":"1985","unstructured":"Hayes-Roth, F.: Rule-Based Systems. Commun. ACM\u00a028(9), 921\u2013932 (1985)","journal-title":"Commun. ACM"},{"issue":"2","key":"45_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1002\/stvr.228","volume":"11","author":"G.J. Holzmann","year":"2001","unstructured":"Holzmann, G.J., Smith, M.H.: Software Model Checking: Extracting Verification Models from Source Code. Software Testing, Verification and Reliability\u00a011(2), 65\u201379 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"7","key":"45_CR18","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic Execution and Program Testing. Commun. ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"issue":"5","key":"45_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A Brief Account of Runtime Verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"45_CR20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/67544.66946","volume-title":"Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989","author":"D. McCarthy","year":"1989","unstructured":"McCarthy, D., Dayal, U.: The Architecture of an Active Database Management System. In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989, pp. 215\u2013224. ACM, New York (1989)"},{"key":"45_CR21","unstructured":"Narizzano, M.: QBFEVAL (2012), \n                    \n                      http:\/\/www.qbflib.org\/index_eval.php"},{"key":"45_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus (1999)"},{"key":"45_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B. Steffen","year":"2011","unstructured":"Steffen, B., Howar, F., Merten, M.: Introduction to Active Automata Learning from a Practical Perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 256\u2013296. Springer, Heidelberg (2011)"},{"issue":"1","key":"45_CR24","first-page":"35","volume":"19","author":"G. Sutcliffe","year":"2006","unstructured":"Sutcliffe, G., Suttner, C.: The State of CASC. AI Communications\u00a019(1), 35\u201348 (2006), \n                    \n                      http:\/\/www.cs.miami.edu\/~tptp\/CASC\/","journal-title":"AI Communications"},{"key":"45_CR25","unstructured":"Vaquero, T.S., Fratini, S.: ICKEPS \u2013 International Competition on Knowledge Engineering for Planning and Scheduling. In: ICAPS (2012), \n                    \n                      http:\/\/icaps12.poli.usp.br\/icaps12\/ickeps"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:31:11Z","timestamp":1558301471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}