Maryam Kamali
Orcid: 0000-0002-2789-6914
According to our database1,
Maryam Kamali
authored at least 15 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
4
1
1
1
1
1
1
1
1
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018
2017
2016
Int. J. Commun. Networks Inf. Secur., 2016
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016
2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
2013
Int. J. Crit. Comput. Based Syst., 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
2011
Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2010
Recharging Sensor Nodes Using Implicit Actor Coordination in Wireless Sensor Actor Networks.
Wirel. Sens. Netw., 2010
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010