Antwerp Systems and software Modelling

Publications

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Source
International journal on software tools for technology transfer - ISSN 1433-2779- (2024) p. 1-17
Author(s)
    Swen Jacobs, Guillermo Alberto Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Integer programming with GCD constraints

Source
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA)- () p. 3605-3658
Author(s)

ACapDS : an energy-efficient and fault-tolerant distributed capacitated dominating set algorithm for industrial IoT

Source
IEEE access - ISSN 2169-3536-12 (2024) p. 38816-38829
Author(s)

Towards a knowledge graph framework for ad hoc analysis in manufacturing

Source
Journal of intelligent manufacturing - ISSN 0956-5515- (2024) p. 1-22
Author(s)
    Bart Meyers, Hans Vangheluwe, Pieter Lietaert, Geert Vanderhulst, Johan Van Noten, Michel Schaffers, Davy Maes, Klaas Gadeyne