statistiche ricercatore

Nome	#
A containerized ROS-compliant verification environment for robotic systems	10
A containerized ROS-compliant verification environment for robotic systems	10
HARM: A Hint-Based Assertion Miner	8
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level	8
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions	8
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study	7
Exploiting assertions mining and fault analysis to guide RTL-level approximation	6
MIST: monitor generation from informal specifications for firmware verification	6
From Informal Specifications to an ABV Framework for Industrial Firmware Verification	5
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences	5
System-level bug explanation through program slicing and instruction clusterization	4
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation	4
Assertion-aware approximate computing design exploration on behavioral models	4
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs	4
Totale	89

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2024/2025	89	0	0	0	21	4	3	9	48	3	1	0	0
Totale													89