FMT Papers of the Month: February 2024

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

  • Vitor Jacques, Negar Alizadeh, Fernando Castor: A Study on the Battery Usage of Deep Learning Frameworks on iOS Devices. Accepted at the 11th International Conference on Mobile Software Engineering and Systems. Lisboa, Portugal. April 2024.
  • Negar Alizadeh, Fernando Castor: Green AI: a Preliminary Empirical Study on Energy Consumption in DL Models Across Different Runtime Infrastructures. Accepted at the 3rd International Conference on AI Engineering – Software Engineering for AI. Lisboa, Portugal. April 2024.
  • Fernando Oliveira, Fernando Castor: AthenaLLM: Supporting Experiments with Large Language Models in Software Development. Accepted at the 32nd IEEE/ACM International Conference on Program Comprehension – ERA track. Lisboa, Portugal. April 2024.
  • Chris Admiraal, Wouter van den Brink, Marcus Gerhold, Vadim Zaytsev, Cristian Zubcu: Deriving Modernity Signatures of Codebases with Static Analysis. Accepted in Journal of Systems and Software.
  • Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans: An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. Accepted at VST 2024
  • Thom S. BadingsMatthias VolkSebastian Junges, Mariëlle Stoelinga, Nils JansenCTMCs with Imprecisely Timed Observations. Accepted for TACAS. Preprint: https://dblp.org/db/journals/corr/corr2401.html#abs-2401-06574
  • Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga: Fuzzy quantitative attack tree analysis, accepted for FASE.
  • Iman Hemati Moghadam, Mel Ó Cinnéide, Ali Sardarian and Faezeh Zarepour: Model-Based Source Code Refactoring with Interaction and Visual Cues. Accepted in Journal of Software: Evolution and Process.
  • Iman Hemati Moghadam, Mohammad Mehdi Afkhami, Parsa Kamalipour, and Vadim Zaytsev: Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study. Accepted at the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2024.
  • Sophie Lathouwers and Marieke Huisman: Survey of Annotation Generators for Deductive Verifiers. Accepted in Journal of Systems & Software.