Mardavij Roozbehani (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron: Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC 2008: 443-456

2 Eric Feron, Mardavij Roozbehani: Certifying controls and systems software CoRR abs/cs/0701132: (2007)

1 Mardavij Roozbehani, Eric Feron, Alexandre Megretski: Modeling, Optimization and Computation for Software Verification. HSCC 2005: 606-622

Selection of 3 from 4 records - Mardavij Roozbehani has 3 coauthors

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