1. E. Lee , "Cyber physical systems : design challenges ", In Proc. of ISORC, 363--369 , 2008 . E. Lee, "Cyber physical systems: design challenges", In Proc. of ISORC, 363--369, 2008.
2. Synthesizing barrier certificates using neural networks
3. G. Frehse , : Scalable verification of hybrid systems ", In Proc. of CAV, 379--395 , 2011 . G. Frehse, et al., "SpaceEx: Scalable verification of hybrid systems", In Proc. of CAV, 379--395, 2011.
4. Differential-algebraic Dynamic Logic for Differential-algebraic Programs
5. Computing differential invariants of hybrid systems as fixedpoints