{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T15:46:14Z","timestamp":1774021574458,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031365966","type":"print"},{"value":"9783031365973","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36597-3_6","type":"book-chapter","created":{"date-parts":[[2023,7,7]],"date-time":"2023-07-07T15:01:58Z","timestamp":1688742118000},"page":"116-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Link Network Emulation and\u00a0Validation of\u00a0Execution Datasets"],"prefix":"10.1007","author":[{"given":"Erick","family":"Petersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxime","family":"Labonne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Poletti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamal","family":"Zeghlache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Alsmadi, I., Zarrad, A., Yassine, A.: Mutation testing to validate networks protocols. In: 2020 IEEE International Systems Conference (SysCon), pp. 1\u20138. IEEE, Montreal, QC, Canada (2020). https:\/\/doi.org\/10.1109\/SysCon47679.2020.9275875","DOI":"10.1109\/SysCon47679.2020.9275875"},{"key":"6_CR2","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The satisfiability modulo theories library (smt-lib). SMT-LIB.org (2010)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-319-10575-8_11","volume-title":"Handbook of Model Checking","author":"C Barrett","year":"2018","unstructured":"Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305\u2013343. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_11"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Chan, M.C., Chen, C., Huang, J.X., Kuo, T., Yen, L.H., Tseng, C.C.: Opennet: A simulator for software-defined wireless local area network. In: 2014 IEEE Wireless Communications and Networking Conference (WCNC), pp. 3332\u20133336. IEEE (2014)","DOI":"10.1109\/WCNC.2014.6953088"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/MWC.001.1900178","volume":"27","author":"B Deng","year":"2019","unstructured":"Deng, B., Jiang, C., Yao, H., Guo, S., Zhao, S.: The next generation heterogeneous satellite communication networks: integration of resource management and deep reinforcement learning. IEEE Wirel. Commun. 27(2), 105\u2013111 (2019)","journal-title":"IEEE Wirel. Commun."},{"key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2022.118743","volume":"312","author":"G Fambri","year":"2022","unstructured":"Fambri, G., Diaz-Londono, C., Mazza, A., Badami, M., Sihvonen, T., Weiss, R.: Techno-economic analysis of power-to-gas plants in a gas and electricity distribution network system with high renewable energy penetration. Appl. Energy 312, 118743 (2022)","journal-title":"Appl. Energy"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Farias, F.N., Junior, A.d.O., da Costa, L.B., Pinheiro, B.A., Abel\u00e9m, A.J.: vsdnemul: A software-defined network emulator based on container virtualization. arXiv preprint arXiv:1908.10980 (2019)","DOI":"10.5013\/IJSSST.a.20.04.07"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Gandhi, S., Singh, R.K., et al.: Design and development of dynamic satellite link emulator with experimental validation. In: 2021 12th International Conference on Computing Communication and Networking Technologies (ICCCNT), pp. 1\u20136. IEEE (2021)","DOI":"10.1109\/ICCCNT51525.2021.9579962"},{"key":"6_CR10","unstructured":"Hemminger, S., et al.: Network emulation with netem. In: Linux conf au, pp. 18\u201323 (2005)"},{"issue":"14","key":"6_CR11","first-page":"527","volume":"14","author":"TR Henderson","year":"2008","unstructured":"Henderson, T.R., Lacage, M., Riley, G.F., Dowell, C., Kopena, J.: Network simulations with the ns-3 simulator. SIGCOMM Demonstrat. 14(14), 527 (2008)","journal-title":"SIGCOMM Demonstrat."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1820","DOI":"10.1109\/COMST.2014.2320051","volume":"16","author":"J Horneber","year":"2014","unstructured":"Horneber, J., Hergenr\u00f6der, A.: A survey on testbeds and experimentation environments for wireless sensor networks. IEEE Commun. Surveys Tutorials 16(4), 1820\u20131838 (2014). https:\/\/doi.org\/10.1109\/COMST.2014.2320051","journal-title":"IEEE Commun. Surveys Tutorials"},{"key":"6_CR13","unstructured":"Kamp, P.H., Watson, R.N.: Jails: Confining the omnipotent root. In: Proceedings of the 2nd International SANE Conference. vol. 43, p. 116 (2000)"},{"key":"6_CR14","unstructured":"Kaur, K., Singh, J., Ghumman, N.S.: Mininet as software defined networking testing platform. In: International Conference on Communication, Computing & Systems (ICCCS), pp. 139\u201342 (2014)"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Khan, A.R., Bilal, S.M., Othman, M.: A performance comparison of open source network simulators for wireless networks. In: 2012 IEEE International Conference on Control System, Computing and Engineering, pp. 34\u201338. IEEE, Penang, Malaysia (2012). https:\/\/doi.org\/10.1109\/ICCSCE.2012.6487111","DOI":"10.1109\/ICCSCE.2012.6487111"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/COMST.2020.3028247","volume":"23","author":"O Kodheli","year":"2020","unstructured":"Kodheli, O., et al.: Satellite communications in the new space era: a survey and future challenges. IEEE Commun. Surv. Tutorials 23(1), 70\u2013109 (2020)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-030-32216-8_49","volume-title":"Simulation Tools and Techniques","author":"J Lai","year":"2019","unstructured":"Lai, J., Tian, J., Jiang, D., Sun, J., Zhang, K.: Network emulation as a service (neaas): towards a cloud-based network emulation platform. In: Song, H., Jiang, D. (eds.) Simulation Tools and Techniques, pp. 508\u2013517. Springer International Publishing, Cham (2019)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Lantz, B., Heller, B., McKeown, N.: A network in a laptop: rapid prototyping for software-defined networks. In: Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks. pp. 1\u20136. ACM (2010)","DOI":"10.1145\/1868447.1868466"},{"issue":"9","key":"6_CR19","doi-asserted-by":"publisher","first-page":"7450","DOI":"10.1109\/JIOT.2020.3038793","volume":"8","author":"Y Liu","year":"2021","unstructured":"Liu, Y., Lu, H., Li, X., Zhang, Y., Xi, L., Zhao, D.: Dynamic service function chain orchestration for nfv\/mec-enabled iot networks: A deep reinforcement learning approach. IEEE Internet Things J. 8(9), 7450\u20137465 (2021). https:\/\/doi.org\/10.1109\/JIOT.2020.3038793","journal-title":"IEEE Internet Things J."},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"L\u00f3pez, J., Labonne, M., Poletti, C.: Toward formal data set verification for building effective machine learning models. In: Cucchiara, R., Fred, A.L.N., Filipe, J. (eds.) Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, Volume 1: KDIR, Online Streaming, October 25\u201327, 2021. pp. 249\u2013256. SCITEPRESS (2021). https:\/\/doi.org\/10.5220\/0010676500003064","DOI":"10.5220\/0010676500003064"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-40007-3_24","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"Z Manna","year":"2003","unstructured":"Manna, Z., Zarba, C.G.: Combining decision procedures. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 381\u2013422. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40007-3_24"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/ACCESS.2021.3137341","volume":"10","author":"Z Nurlan","year":"2022","unstructured":"Nurlan, Z., Zhukabayeva, T., Othman, M., Adamova, A., Zhakiyev, N.: Wireless sensor network as a mesh: vision and challenges. IEEE Access 10, 46\u201367 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2021.3137341","journal-title":"IEEE Access"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Petersen, E., L\u00f3pez, J., Kushik, N., Labonne, M., Poletti, C., Zeghlache, D.: Dlemudataverif: Dynamic link network emulation and validation of execution data sets. https:\/\/gitlab.ailab.airbus.com\/erick.petersen\/DLEmuDataVerif.gi (2022)","DOI":"10.5220\/0011091100003176"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Petersen, E., L\u00f3pez, J., Kushik, N., Poletti, C., Zeghlache, D.: On using smt-solvers for modeling and verifying dynamic network emulators: (work in progress). In: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24\u201327, 2020. pp. 1\u20133. IEEE (2020). https:\/\/doi.org\/10.1109\/NCA51143.2020.9306731","DOI":"10.1109\/NCA51143.2020.9306731"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Petersen, E., L\u00f3pez, J., Kushik, N., Poletti, C., Zeghlache, D.: Dynamic link network emulation: A model-based design. In: Kaindl, H., Mannion, M., Maciaszek, L.A. (eds.) Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25\u201326, 2022. pp. 536\u2013543. SCITEPRESS (2022). https:\/\/doi.org\/10.5220\/0011091100003176","DOI":"10.5220\/0011091100003176"},{"key":"6_CR26","unstructured":"Peterson, L.L., Davie, B.S.: Computer networks: a systems approach. Elsevier (2007)"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Peuster, M., Kampmeyer, J., Karl, H.: Containernet 2.0: A rapid prototyping platform for hybrid service function chains. In: 2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft), pp. 335\u2013337. IEEE (2018)","DOI":"10.1109\/NETSOFT.2018.8459905"},{"issue":"2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11846-021-00445-0","volume":"16","author":"A Rese","year":"2022","unstructured":"Rese, A., G\u00f6rmar, L., Herbig, A.: Social networks in coworking spaces and individual coworker\u2019s creativity. RMS 16(2), 391\u2013428 (2022)","journal-title":"RMS"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Shan, Q.: Testing methods of computer software. In: 2020 International Conference on Data Processing Techniques and Applications for Cyber-Physical Systems, pp. 231\u2013237. Springer (2021)","DOI":"10.1007\/978-981-16-1726-3_28"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Srisawai, S., Uthayopas, P.: Rapid building of software-based SDN testbed using SDN owl. In: 2018 22nd International Computer Science and Engineering Conference (ICSEC), pp. 1\u20134. IEEE (2018)","DOI":"10.1109\/ICSEC.2018.8712636"},{"key":"6_CR31","unstructured":"Stoller, M.H.R.R.L., Duerig, J., Guruprasad, S., Stack, T., Webb, K., Lepreau, J.: Large-scale virtualization in the emulab network testbed. In: USENIX Annual Technical Conference, Boston, MA (2008)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Stump, A., Barrett, C.W., Dill, D.L., Levitt, J.: A decision procedure for an extensional theory of arrays. In: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp. 29\u201337. IEEE (2001)","DOI":"10.1109\/LICS.2001.932480"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Sun, Z., Chai, W.K.: Satellite emulator for ip networking based on linux. In: 21st International Communications Satellite Systems Conference and Exhibit, p. 2393 (2003)","DOI":"10.2514\/6.2003-2393"},{"key":"6_CR34","unstructured":"Varga, A.: Discrete event simulation system. In: Proceedings of the European Simulation Multiconference (ESM\u20192001), pp. 1\u20137 (2001)"},{"issue":"9","key":"6_CR35","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/MCOM.2013.6588659","volume":"51","author":"SY Wang","year":"2013","unstructured":"Wang, S.Y., Chou, C.L., Yang, C.M.: Estinet openflow network simulator and emulator. IEEE Commun. Mag. 51(9), 110\u2013117 (2013)","journal-title":"IEEE Commun. Mag."}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36597-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T20:30:25Z","timestamp":1729715425000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36597-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031365966","9783031365973"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36597-3_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ENASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation of Novel Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"enase2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/enase.scitevents.org\/?y=2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"109","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}