Mardavij Roozbehani

	2008
4		Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli: Lyapunov analysis of quadratically symmetric neighborhood consensus algorithms. CDC 2008: 2252-2257
3		Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron: Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC 2008: 443-456
	2007
2		Eric Feron, Mardavij Roozbehani: Certifying controls and systems software CoRR abs/cs/0701132: (2007)
	2005
1		Mardavij Roozbehani, Eric Feron, Alexandre Megretski: Modeling, Optimization and Computation for Software Verification. HSCC 2005: 606-622

Coauthor Index

1	Eric Feron	[1] [2] [3]
2	Emilio Frazzoli	[3] [4]
3	Alexandre Megretski	[1] [3] [4]