Monday 10 June 2024
EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:
- Safety-security analysis via attack-fault-defense trees: semantics and cut set metrics, Reza Soltani, Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga, at SAFECOMP 2024.
- On the privacy bound of distributed optimization and its application in federated learning, Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Wenrui Yu & Richard Heusdens, at EUSIPCO 2024
- Integral models of reductive groups and integral Mumford-Tate groups, Milan Lopuhaä-Zwakenberg, Annales Henri Lebesgue
- Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning, L. A. Jimenez-Roa, T. D. Simão, Z. Bukhsh, T. Tinga, H. Molegraaf, N. Jansen, M. Stoelinga, at the 8th European Conference of the Prognostics and Health Management Society 2024, PHME24
- Comparing Homogeneous and Inhomogeneous Time Markov Chains for Modeling Degradation in Sewer Pipe Networks, L. A. Jimenez-Roa, T. Heskes, T. Tinga, M. Stoelinga, at the 34th European Safety and Reliability Conference, ESREL 2024: Advances in Reliability, Safety and Security
- A Comparison of Anomaly Detection Algorithms with Applications on Recoater Streaking in an Additive Manufacturing Process Additive Manufacturing, Reinier Stribos, Roel Bouman, Lisandro A. Jimenez-Roa, Maaike Slot and Marielle Stoelinga, in Rapid Prototyping Journal
- Graphs with minimum degree-entropy, Yanni Dong, Maximilien Gadouleau, Pengfei Wan, Shenggui Zhang, in Information Sciences, Volume 671, 2024, 120629.
- Extremal values of degree-based entropies of bipartite graphs, Stijn Cambie, Yanni Dong, Matteo Mazzamurro, in Information Sciences, Volume 676, 2024, 120737.
- Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting, Peter Lammich, in Journal of Automated Reasoning
- Fault Tree Inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based Metrics, Lisandro A. Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Marielle Stoelinga, at the International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024)
- E‑fficient Formally Verified Maximal End Component Decomposition for MDPs, Arnd Hartmanns, Bram Kohlen, Peter Lammich, at FM 2024
- Safety-security analysis via Attack-Fault-Defense Trees: semantics and cut set metrics, Reza Soltani, Milan Lopuhaä-Zwakenberg, Marielle Stoelinga, at the 43rd International Conference on Computer Safety, Reliability and Security (SafeComp 2024)
