9 citations · 14 across the 3 of their papers we have counts for
4 papers
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
Maryam Kamali, Sven Linker, Michael Fisher
The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to…
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
Lukas Bulwahn, Maryam Kamali, Sven Linker
These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the Internationa…
Formal Verification of Autonomous Vehicle Platooning
Maryam Kamali, Louise A. Dennis, Owen McAree +2
The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new aut…
Self-Recovering Sensor-Actor Networks
Maryam Kamali, Linas Laibinis, Luigia Petre +1
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present.…