Statistics for RuSTL: Runtime Verification using Signal Temporal Logic
Total visits
| views | |
|---|---|
| RuSTL: Runtime Verification using Signal Temporal Logic | 119 |
Total visits per month
| views | |
|---|---|
| April 2025 | 0 |
| May 2025 | 1 |
| June 2025 | 0 |
| July 2025 | 1 |
| August 2025 | 2 |
| September 2025 | 1 |
| October 2025 | 0 |
File Visits
| views | |
|---|---|
| Khan_Waleed.pdf | 252 |
Top country views
| views | |
|---|---|
| United States | 36 |
| Australia | 12 |
| Ireland | 9 |
| China | 6 |
| Hong Kong SAR China | 6 |
| Canada | 5 |
| Singapore | 4 |
| Netherlands | 3 |
| United Kingdom | 2 |
| Indonesia | 2 |
| Japan | 2 |
| South Korea | 2 |
| Lithuania | 2 |
| Norway | 2 |
| Russia | 2 |
| Switzerland | 1 |
| Denmark | 1 |
| France | 1 |
Top city views
| views | |
|---|---|
| Dublin | 9 |
| Ithaca | 9 |
| Boydton | 6 |
| Newcastle | 6 |
| Sydney | 6 |
| Hong Kong | 5 |
| Shanghai | 4 |
| Waterloo | 4 |
| Ashburn | 3 |
| Singapore | 3 |
| Sittard | 3 |
| Springfield | 3 |
| Fulham | 2 |
| Kyoto | 2 |
| Prineville | 2 |
| Vilnius | 2 |
| Boardman | 1 |
| Bures-sur-Yvette | 1 |
| Central | 1 |
| Fort Worth | 1 |
| Gibsonia | 1 |
| Houston | 1 |
| Jakarta | 1 |
| Manokwari | 1 |
| Okemos | 1 |
| Oslo | 1 |
| Ottawa | 1 |
| San Diego | 1 |
| Seattle | 1 |
| Trondheim | 1 |
| Zurich | 1 |