@inproceedings{22622,
  abstract     = {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.},
  author       = {Richter, Cedric and Chalupa, Marek and Jakobs, Marie Christine and Wehrheim, Heike},
  booktitle    = {Software Engineering 2026},
  issn         = {1617-5468},
  keywords     = {Software Verification, Cooperation, Program Decomposition},
  location     = {Bonn, Switzerland},
  pages        = {41--42},
  publisher    = {Gesellschaft für Informatik},
  title        = {{Off-the-Shelf cooperative software verification by splitting programs dynamically}},
  doi          = {10.18420/se2026_45},
  volume       = {P-377},
  year         = {2026},
}

@misc{20471,
  abstract     = {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. },
  author       = {Cremer, Sylvia},
  keywords     = {host-parasite interactions, social insects, social immunity, chemical communication, cooperation},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Altruistic disease signalling in ant colonies}},
  doi          = {10.15479/AT-ISTA-20471},
  year         = {2025},
}