36 citations · 41 across the 6 of their papers we have counts for
7 papers
NetGAP: A Graph-Grammar approach for concept design of networked platforms with extra-functional requirements
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
During the concept design of complex networked systems, concept developers have to ensure that the choice of hardware modules and the topology of the target platform will provide a…
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles
John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani
The ability to explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided…
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learni…
Formal Verification of Input-Output Mappings of Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to human…
On generating network traffic datasets with synthetic attacks for intrusion detection
Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh +2
Most research in the area of intrusion detection requires datasets to develop, evaluate or compare systems in one way or another. In this field, however, finding suitable datasets…
A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing
Klervie Toczé, Simin Nadjm-Tehrani
Edge computing is promoted to meet increasing performance needs of data-driven services using computational and storage resources close to the end devices, at the edge of the curre…
Modelling Correlated Mobility
Mikael Asplund, Simin Nadjm-Tehrani
When nodes in a mobile network cluster together or move according to common external factors (e.g., cars that follow the road network), the resulting contact patterns become correl…