{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T15:48:15Z","timestamp":1750780095010,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"TUMCREATE\/National Research Foundation Singapore"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,29]]},"DOI":"10.1145\/3316480.3322891","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"173-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["From Effects to Causes"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Andelfinger","sequence":"first","affiliation":[{"name":"TUMCREATE Ltd and Nanyang Technological University, Singapore, Singapore"}]},{"given":"Jordan","family":"Ivanchev","sequence":"additional","affiliation":[{"name":"TUMCREATE Ltd, Singapore, Singapore"}]},{"given":"David","family":"Eckhoff","sequence":"additional","affiliation":[{"name":"TUMCREATE Ltd & Technische Universit\u00e4t M\u00fcnchen, Singapore, Singapore"}]},{"given":"Wentong","family":"Cai","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen & Nanyang Technological University, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Sussman","author":"Abelson Harold","year":"1996","unstructured":"Harold Abelson and Gerald J . Sussman . 1996 . Structure and Interpretation of Computer Programs, Second Edition . MIT Press . Harold Abelson and Gerald J. Sussman. 1996. Structure and Interpretation of Computer Programs, Second Edition. MIT Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3320516.3320603"},{"key":"e_1_3_2_1_3_1","volume-title":"Antoine Petit, Laure Petrucci, and Philippe Schnoebelen.","author":"B\u00e9rard B\u00e9atrice","year":"2013","unstructured":"B\u00e9atrice B\u00e9rard , Michel Bidoit , Alain Finkel , Francc ois Laroussinie , Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. 2013 . Systems and Software Verification: Model- Checking Techniques and Tools. Springer Science & Business Media . B\u00e9atrice B\u00e9rard, Michel Bidoit, Alain Finkel, Francc ois Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. 2013. Systems and Software Verification: Model-Checking Techniques and Tools. Springer Science & Business Media."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-5955-7"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Winter Simulation Conference","volume":"1","author":"Chugh Abhishek","year":"2004","unstructured":"Abhishek Chugh and Maria Hybinette . 2004 . Towards Adaptive Caching for Parallel and Discrete Event Simulation . In Proceedings of the Winter Simulation Conference , 2004., Vol. 1 . IEEE, 433--441. Abhishek Chugh and Maria Hybinette. 2004. Towards Adaptive Caching for Parallel and Discrete Event Simulation. In Proceedings of the Winter Simulation Conference, 2004., Vol. 1. IEEE, 433--441."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3077583"},{"key":"e_1_3_2_1_7_1","volume-title":"International Workshop on Verification and Validation of Multi-Agent Models for Complex Systems.","author":"El-Zaher Madeleine","year":"2011","unstructured":"Madeleine El-Zaher , Jean-michel Contet, Pablo Gruer , and Franck Gechter . 2011 . Towards a Compositional Verification Approach for Multi-Agent Systems: Application to Platoon System . In International Workshop on Verification and Validation of Multi-Agent Models for Complex Systems. Madeleine El-Zaher, Jean-michel Contet, Pablo Gruer, and Franck Gechter. 2011. Towards a Compositional Verification Approach for Multi-Agent Systems: Application to Platoon System. In International Workshop on Verification and Validation of Multi-Agent Models for Complex Systems."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/564062.564080"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/VTCSpring.2015.7145641"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1966.1053907"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2769458.2769472"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/508366.508370"},{"key":"e_1_3_2_1_14_1","first-page":"8","article-title":"Reversible Functional Simulation for Digital System Design. In Custom Integrated Circuits Conference","volume":"8","author":"Jennings Glenn","year":"1991","unstructured":"Glenn Jennings . 1991 . Reversible Functional Simulation for Digital System Design. In Custom Integrated Circuits Conference . IEEE , 8 .2\/ 8 -- 8 .2\/4. Glenn Jennings. 1991. Reversible Functional Simulation for Digital System Design. In Custom Integrated Circuits Conference. IEEE, 8.2\/8--8.2\/4.","journal-title":"IEEE"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3141\/1999-10"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2888619.2888969"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3013529"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064911.3064912"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_55"},{"key":"e_1_3_2_1_22_1","volume-title":"Verification and Evaluation of Fail-Safe Virtual Traffic Light Applications. In Vehicular Networking Conference. IEEE, 158--165","author":"Neudecker Till","year":"2013","unstructured":"Till Neudecker , Natalya An , and Hannes Hartenstein . 2013 . Verification and Evaluation of Fail-Safe Virtual Traffic Light Applications. In Vehicular Networking Conference. IEEE, 158--165 . Till Neudecker, Natalya An, and Hannes Hartenstein. 2013. Verification and Evaluation of Fail-Safe Virtual Traffic Light Applications. In Vehicular Networking Conference. IEEE, 158--165."},{"volume-title":"Mathematics of Data\/Image Coding, Compression, and Encryption V, with Applications","author":"Perumalla Kalyan","key":"e_1_3_2_1_23_1","unstructured":"Kalyan Perumalla and Richard Fujimoto . 2003. Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits . In Mathematics of Data\/Image Coding, Compression, and Encryption V, with Applications , Vol. 4793 . International Society for Optics and Photonics , 267--276. Kalyan Perumalla and Richard Fujimoto. 2003. Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits. In Mathematics of Data\/Image Coding, Compression, and Encryption V, with Applications, Vol. 4793. International Society for Optics and Photonics, 267--276."},{"volume-title":"Introduction to Reversible Computing","author":"Perumalla Kalyan S","key":"e_1_3_2_1_24_1","unstructured":"Kalyan S Perumalla . 2013. Introduction to Reversible Computing . Chapman and Hall\/CRC. Kalyan S Perumalla. 2013. Introduction to Reversible Computing. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2457459.2457461"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2010.5471657"},{"key":"e_1_3_2_1_27_1","volume-title":"International Joint Conference on Artificial Intelligence. Citeseer, 318--324","author":"Rao Anand S","year":"1993","unstructured":"Anand S Rao and Michael P Georgeff . 1993 . A Model-Theoretic Approach to the Verification of Agent-Oriented Systems . In International Joint Conference on Artificial Intelligence. Citeseer, 318--324 . Anand S Rao and Michael P Georgeff. 1993. A Model-Theoretic Approach to the Verification of Agent-Oriented Systems. In International Joint Conference on Artificial Intelligence. Citeseer, 318--324."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1029\/2009WR008957"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901378.2901394"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043635.2043639"},{"key":"e_1_3_2_1_31_1","volume-title":"On a Formal Model of Safe and Scalable Self-Driving Cars. arXiv preprint arXiv:1708.06374","author":"Shalev-Shwartz Shai","year":"2017","unstructured":"Shai Shalev-Shwartz , Shaked Shammah , and Amnon Shashua . 2017. On a Formal Model of Safe and Scalable Self-Driving Cars. arXiv preprint arXiv:1708.06374 ( 2017 ). Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-Driving Cars. arXiv preprint arXiv:1708.06374 (2017)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901378.2901386"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2005.16"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.62.1805"},{"key":"e_1_3_2_1_35_1","volume-title":"Inaccuracies and Anticipation in Microscopic Traffic Models. Physica A: Statistical Mechanics and its Applications","author":"Treiber Martin","year":"2006","unstructured":"Martin Treiber , Arne Kesting , and Dirk Helbing . 2006. Delays , Inaccuracies and Anticipation in Microscopic Traffic Models. Physica A: Statistical Mechanics and its Applications , Vol. 360 , 1 ( 2006 ), 71--88. Martin Treiber, Arne Kesting, and Dirk Helbing. 2006. Delays, Inaccuracies and Anticipation in Microscopic Traffic Models. Physica A: Statistical Mechanics and its Applications, Vol. 360, 1 (2006), 71--88."},{"key":"e_1_3_2_1_36_1","volume-title":"Model Checking Knowledge and Time. In International SPIN Workshop on Model Checking of Software. Springer, 95--111","author":"Der Hoek Wiebe Van","year":"2002","unstructured":"Wiebe Van Der Hoek and Michael Wooldridge . 2002 . Model Checking Knowledge and Time. In International SPIN Workshop on Model Checking of Software. Springer, 95--111 . Wiebe Van Der Hoek and Michael Wooldridge. 2002. Model Checking Knowledge and Time. In International SPIN Workshop on Model Checking of Software. Springer, 95--111."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/645607.661342"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2431518.2431870"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/985793.985797"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/238793.238820"},{"volume-title":"Simulation des Strassenverkehrsflusses. Habilitation Thesis","author":"Wiedemann Rainer","key":"e_1_3_2_1_41_1","unstructured":"Rainer Wiedemann . 1974. Simulation des Strassenverkehrsflusses. Habilitation Thesis . Institute for Traffic Engineering , University of Karlsruhe. Rainer Wiedemann. 1974. Simulation des Strassenverkehrsflusses. Habilitation Thesis. Institute for Traffic Engineering, University of Karlsruhe."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/194313.194405"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2008.14"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2009.028624"},{"key":"e_1_3_2_1_45_1","volume-title":"Efficient Reversible Uniform and Non-Uniform Random Number Generation in UNU.RAN. In Annual Simulation Symposium. Society for Computer Simulation International, 2.","author":"Yoginath Srikanth B","year":"2018","unstructured":"Srikanth B Yoginath and Kalyan S Perumalla . 2018 a. Efficient Reversible Uniform and Non-Uniform Random Number Generation in UNU.RAN. In Annual Simulation Symposium. Society for Computer Simulation International, 2. Srikanth B Yoginath and Kalyan S Perumalla. 2018a. Efficient Reversible Uniform and Non-Uniform Random Number Generation in UNU.RAN. In Annual Simulation Symposium. Society for Computer Simulation International, 2."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158669"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/3130379.3130486"}],"event":{"name":"SIGSIM-PADS '19: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Chicago IL USA","acronym":"SIGSIM-PADS '19"},"container-title":["Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316480.3322891","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316480.3322891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:15Z","timestamp":1750204395000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316480.3322891"}},"subtitle":["Reversible Simulation and Reverse Exploration of Microscopic Traffic Models"],"short-title":[],"issued":{"date-parts":[[2019,5,29]]},"references-count":46,"alternative-id":["10.1145\/3316480.3322891","10.1145\/3316480"],"URL":"https:\/\/doi.org\/10.1145\/3316480.3322891","relation":{},"subject":[],"published":{"date-parts":[[2019,5,29]]},"assertion":[{"value":"2019-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}