DSML4JaCaMo : a modelling tool for multi-agent programming with JaCaMo
Source
Annals of computer science and information systems-39 (2024) p. 637-642
Model-Driven Engineering for Quantum Programming : a case study on ground state energy calculation
Source
IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), 02-04 July 2024, Osaka, Japan- (2024) p. 2353-2360
AAMA-sim : a Gazebo and ROS2-based simulation tool for agent-based modelling of cyber-physical systems
Source
Lecture notes in computer science-15157 (2024) p. 317-323
Analyzing value functions of states in parametric Markov chains
Source
Principles of verification: cycling the probabilistic landscape / Jansen, N. [edit.]; et al. [edit.]-p. 145-165
MUT4SLX : extensions for mutation testing of stateflow models
Source
IEEE International Conference on Software Analysis, Evolution and, Reengineering - Companion (SANER-C), MAR 12-15, 2024, Rovaniemi, Finland- (2024) p. 215-218