1. Verification of hybrid systems: formalization and proof rules in PVS;Ábrahám-Mumm,2001
2. Packet network simulation: speedup and accuracy versus timing granularity;Ahn;IEEE/ACM Trans. Netw.,1996
3. Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets;Althoff,2013
4. GISOO: a virtual testbed for wireless cyber-physical systems;Aminian,2013
5. A Bayesian approach to Bergman’s minimal model;Andersen;Insulin,2002