[{"scopus_import":"1","department":[{"_id":"ToHe"}],"date_published":"2026-03-01T00:00:00Z","status":"public","language":[{"iso":"eng"}],"fulldoi":"https://doi.org/10.18420/se2026_45","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","image":"/images/cc_by_sa.png","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","short":"CC BY-SA (4.0)"},"supplementarymaterial":"no","month":"03","_id":"22622","publisher":"Gesellschaft für Informatik","file":[{"success":1,"date_created":"2026-10-19T08:39:37Z","creator":"dernst","file_id":"23170","access_level":"open_access","file_name":"2026_LNI_Richter.pdf","relation":"main_file","file_size":147208,"checksum":"3371c63711ed26efa41744834d337d28","content_type":"application/pdf","date_updated":"2026-10-19T08:39:37Z"}],"publication_status":"published","has_accepted_license":"1","year":"2026","abstract":[{"text":"Cooperative software verification aims at improving the effectiveness and efficiency of software verification by enabling multiple verification tools to work together. Existing cooperative verification schemes, however, typically require specialized interfaces or tight integration, limiting their practical applicability. In our International Conference on Software Engineering (ICSE) 2025 publication, we introduce dynamic program splitting – a novel approach that enables cooperation between off-the-shelf verification tools without requiring any modifications. The key idea is to probe verification tools on a given verification task under a time limit and split tasks dynamically that cannot be verified under the given time constraints. The process continues recursively, incrementally identifying program parts that are particularly hard for the given verifier. The remaining unverified parts are provided to a second verifier, allowing to leverage the complementary strengths of different tools. Our evaluation on SV-COMP benchmarks demonstrates that cooperation through dynamic program splitting enables the verification of tasks that none of the individual verifiers can solve on their own.","lang":"eng"}],"OA_type":"hybrid","date_created":"2026-08-02T22:01:54Z","publication_identifier":{"eissn":["1617-5468"]},"citation":{"ieee":"C. Richter, M. Chalupa, M. C. Jakobs, and H. Wehrheim, “Off-the-Shelf cooperative software verification by splitting programs dynamically,” in <i>Software Engineering 2026</i>, Bonn, Switzerland, 2026, vol. P-377, pp. 41–42.","mla":"Richter, Cedric, et al. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” <i>Software Engineering 2026</i>, vol. P-377, Gesellschaft für Informatik, 2026, pp. 41–42, doi:<a href=\"https://doi.org/10.18420/se2026_45\">10.18420/se2026_45</a>.","short":"C. Richter, M. Chalupa, M.C. Jakobs, H. Wehrheim, in:, Software Engineering 2026, Gesellschaft für Informatik, 2026, pp. 41–42.","chicago":"Richter, Cedric, Marek Chalupa, Marie Christine Jakobs, and Heike Wehrheim. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” In <i>Software Engineering 2026</i>, P-377:41–42. Gesellschaft für Informatik, 2026. <a href=\"https://doi.org/10.18420/se2026_45\">https://doi.org/10.18420/se2026_45</a>.","ista":"Richter C, Chalupa M, Jakobs MC, Wehrheim H. 2026. Off-the-Shelf cooperative software verification by splitting programs dynamically. Software Engineering 2026. SE: Software Engineering, Lecture Notes in Informatics, vol. P-377, 41–42.","ama":"Richter C, Chalupa M, Jakobs MC, Wehrheim H. Off-the-Shelf cooperative software verification by splitting programs dynamically. In: <i>Software Engineering 2026</i>. Vol P-377. Gesellschaft für Informatik; 2026:41-42. doi:<a href=\"https://doi.org/10.18420/se2026_45\">10.18420/se2026_45</a>","apa":"Richter, C., Chalupa, M., Jakobs, M. C., &#38; Wehrheim, H. (2026). Off-the-Shelf cooperative software verification by splitting programs dynamically. In <i>Software Engineering 2026</i> (Vol. P-377, pp. 41–42). Bonn, Switzerland: Gesellschaft für Informatik. <a href=\"https://doi.org/10.18420/se2026_45\">https://doi.org/10.18420/se2026_45</a>"},"page":"41-42","day":"01","quality_controlled":"1","dataavailabilitystatement":"All our implementations and data are archived and available at Zenodo5\r\nand are evaluated as an artifact in the ICSE 2025 artifact evaluation. Furthermore, our\r\napproach is integrated into the software verifier Bubaak [CR25] which we submitted as\r\npart of our contribution to SV-COMP 2025.","oa":1,"license":"https://creativecommons.org/licenses/by-sa/4.0/","doi":"10.18420/se2026_45","keyword":["Software Verification","Cooperation","Program Decomposition"],"file_date_updated":"2026-10-19T08:39:37Z","OA_place":"publisher","researchdata_availability":"yes","alternative_title":["Lecture Notes in Informatics"],"date_updated":"2026-10-19T08:49:32Z","das_tickbox":"1","oa_version":"Published Version","ddc":["000"],"volume":"P-377","publication":"Software Engineering 2026","title":"Off-the-Shelf cooperative software verification by splitting programs dynamically","author":[{"first_name":"Cedric","last_name":"Richter","full_name":"Richter, Cedric"},{"last_name":"Chalupa","first_name":"Marek","full_name":"Chalupa, Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463"},{"full_name":"Jakobs, Marie Christine","last_name":"Jakobs","first_name":"Marie Christine"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"start_date":"2026-02-23","name":"SE: Software Engineering","location":"Bonn, Switzerland","end_date":"2026-02-27"},"type":"conference","article_processing_charge":"No"},{"status":"public","date_published":"2025-10-16T00:00:00Z","acknowledgement":"We thank Joergen Eilenberg and Nicolai V. Meyling for the fungal strain, and the ISTA Social Immunity team, Jonghyun Park and Yuko Ulrich for ant collection. We also thank the Social Immunity team, in particular David Moreno Martínez, Tanvi Madaan, Wilfrid Jean Louis and Jessica Kirchner, for experimental and molecular support, as well as Friedrich Fochler for technical support with the chemical analysis, and the ISTA Lab Support Facility, including the mass spectrometry unit, for general and chemical laboratory support. We further thank Marco Ribezzi for advice on 13C calculations and Ernst Pittenauer for discussion of the chemical data, Chris Pull and Michael Sixt for project discussion and the Social Immunity team for comments on the manuscript. The study was funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation Programme (No. 771402; EPIDEMICSonCHIP) to SC. ","corr_author":"1","department":[{"_id":"SyCr"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"ec_funded":1,"fulldoi":"https://doi.org/10.15479/AT-ISTA-20471","has_accepted_license":"1","file":[{"file_id":"20474","access_level":"open_access","file_name":"Dawson_etal_README.txt","success":1,"date_created":"2025-10-16T08:52:07Z","creator":"scremer","content_type":"text/plain","date_updated":"2025-10-16T08:52:07Z","relation":"main_file","file_size":620,"checksum":"01fbc46af38c4f72970fe2865d47a29b"},{"creator":"scremer","success":1,"date_created":"2025-10-16T08:52:12Z","file_name":"Dawson_etal_Mass_Spectra.pdf","access_level":"open_access","file_id":"20475","file_size":942172,"checksum":"c3cfd7659e6fd4a6f4397ca5cd3318e7","relation":"main_file","date_updated":"2025-10-16T08:52:12Z","content_type":"application/pdf"},{"date_updated":"2025-10-16T08:52:26Z","content_type":"application/vnd.openxmlformats-officedocument.spreadsheetml.sheet","checksum":"e5ff8e8fdf2520d18d9f1d11c60c1117","file_size":582129,"relation":"main_file","file_name":"Dawson_etal_Peak_Areas.xlsx","file_id":"20476","access_level":"open_access","creator":"scremer","date_created":"2025-10-16T08:52:26Z","success":1}],"publisher":"Institute of Science and Technology Austria","month":"10","_id":"20471","abstract":[{"lang":"eng","text":"Sick individuals often conceal their disease status to group members, thereby preventing social exclusion or aggression. Here we show by behavioural, chemical, immunological and infection load analyses that sick ant pupae instead actively emit a chemical signal that in itself is sufficient to trigger their own destruction by colony members. In our experiments, this altruistic disease-signalling was performed only by worker but not queen pupae. The lack of signalling by queen pupae did not constitute cheating behaviour, but reflected their superior immune capabilities. Worker pupae suffered from extensive pathogen replication whereas queen pupae were able to restrain their infection. Our data suggest the evolution of a finely-tuned signalling system in which it is not the induction of an individual’s immune response, but rather its failure to overcome the infection, that triggers pupal signalling for sacrifice. This demonstrates a balanced interplay between individual and social immunity that efficiently achieves whole-colony health. "}],"date_created":"2025-10-16T09:02:16Z","year":"2025","day":"16","citation":{"mla":"Cremer, Sylvia. <i>Altruistic Disease Signalling in Ant Colonies</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20471\">10.15479/AT-ISTA-20471</a>.","chicago":"Cremer, Sylvia. “Altruistic Disease Signalling in Ant Colonies.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20471\">https://doi.org/10.15479/AT-ISTA-20471</a>.","short":"S. Cremer, (2025).","ieee":"S. Cremer, “Altruistic disease signalling in ant colonies.” Institute of Science and Technology Austria, 2025.","ama":"Cremer S. Altruistic disease signalling in ant colonies. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20471\">10.15479/AT-ISTA-20471</a>","apa":"Cremer, S. (2025). Altruistic disease signalling in ant colonies. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20471\">https://doi.org/10.15479/AT-ISTA-20471</a>","ista":"Cremer S. 2025. Altruistic disease signalling in ant colonies, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT-ISTA-20471\">10.15479/AT-ISTA-20471</a>."},"contributor":[{"last_name":"Dawson","first_name":"Erika","id":"31B4E2D0-F248-11E8-B48F-1D18A9856A87"},{"id":"953894f3-25bd-11ec-8556-f70a9d38ef60","first_name":"Michaela","last_name":"Hönigsberger"},{"first_name":"Niklas","last_name":"Kampleitner","id":"2AC57FAC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Grasse","first_name":"Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87"},{"id":"85f0e6d3-06b3-11ec-8982-8c5049fa4455","last_name":"Lindorfer","first_name":"Lukas"},{"id":"7bc2734a-e2c6-11ea-9824-a2ed5f0662a8","first_name":"Jennifer","last_name":"Robb"},{"id":"0344bfb9-3feb-11ee-87e9-c27edc800bcd","first_name":"Farnaz","last_name":"Beikzadeh Abbasi"},{"first_name":"Florian","last_name":"Strahodinsky","id":"979E35EE-C996-11E9-8C7C-CF13E6697425"},{"first_name":"Hanna","last_name":"Leitner","id":"8fc5c6f6-5903-11ec-abad-c83f046253e7"},{"id":"876b6b34-8ff4-11ec-97c9-8d95a7aae416","first_name":"Harikrishnan","last_name":"Rajendran"},{"last_name":"Schmitt","first_name":"Thomas"},{"orcid":"0000-0002-2193-3868","last_name":"Cremer","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","keyword":["host-parasite interactions","social insects","social immunity","chemical communication","cooperation"],"doi":"10.15479/AT-ISTA-20471","project":[{"grant_number":"771402","name":"Epidemics in ant societies on a chip","_id":"2649B4DE-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"oa":1,"oa_version":"Published Version","date_updated":"2026-06-10T08:50:53Z","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"18892"}]},"file_date_updated":"2025-10-16T08:52:26Z","article_processing_charge":"No","author":[{"full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","first_name":"Sylvia","orcid":"0000-0002-2193-3868"}],"title":"Altruistic disease signalling in ant colonies","type":"research_data","user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","ddc":["570"]}]