See in IST Research explorer
| Froleyks N, Yu Z, Biere A. Ternary simulation as abstract interpretation (Work in Progress). In: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. ; :148-151. |
| Trinh G, Benhamou B, Pastva S, Soliman S. Scalable enumeration of trap spaces in boolean networks via answer set programming. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Vol 38. Association for the Advancement of Artificial Intelligence; 2024:10714-10722. doi:10.1609/aaai.v38i9.28943 |
| Majumdar R, Sağlam I, Thejaswini KS. Rabin games and colourful universal trees. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:213-231. doi:10.1007/978-3-031-57256-2_11 |
| Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. Formal Methods in System Design. 2024. doi:10.1007/s10703-024-00447-0 |
| Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20 |
| Avni G, Mallik K, Sadhukhan S. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi:10.1007/978-3-031-57256-2_8 |