On the perception and adoption of flakiness scores
Source
2025 International Flaky Tests Workshop-FTW, APR 27, 2025, Ottawa, Canada- (2025) p. 11-12
Integrating model checking into a live modeling environment
Source
18th International Conference on Software Language, Engineering-SLE-Annual, JUN 12-13, 2025, Koblenz, Germany- (2025) p. 128-133
Shaping the future of metaverse research : innovation, collaboration, and journal of metaverse's academic impact
Source
Journal of metaverse - ISSN 2792-0232-5:2 (2025) p. 1-19
Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xviii, 106 p.
Analysis of and approximation algorithms for probabilistic and counter systems
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,128 p.
Parikh one-counter automata
Source
Information and computation - ISSN 0890-5401-306 (2025) p. 1-22
Algorithms for Markov binomial chains
Source
Logical Methods in Computer Science (LMCS) - ISSN 1860-5974-21:2 (2025) p. 1-32
Composing reinforcement learning policies, with formal guarantees
Source
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), May 19-23, 2025, Detroit, MI, USA- () p. 574-583
Cross-system categorization of abnormal traces in microservice-based systems via meta-learning
Source
Proceedings FSE 2024 (ACM International Conference on the Foundations of Soft- ware Engineering) - ISSN 2994-970X-2:FSE (2025) p. 576-598
Towards improving automated testing with GraphWalker
Source
Software Testing, Verification, and Validation, ICST, International Conference on - ISSN 2159-4848- () p. 54-58