Author of the publication

A Formal Approach for Efficient Navigation Management of Hybrid Electric Vehicles on Long Trips.

, , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Probabilistic model checking for AMI intrusion detection., and . SmartGridComm, page 468-473. IEEE, (2013)Towards a Unified Modeling and Verification of Network and System Security Configurations., , and . SafeConfig, page 3-19. Springer, (2012)Automated Firewall Analytics - Design, Configuration and Optimization. Springer, (2014)Toward Globally Optimal Event Monitoring & Aggregation For Large-scale Overlay Networks., , and . Integrated Network Management, page 236-245. IEEE, (2007)Fuzzy Conflict Analysis for QoS Policy Parameters in DiffServ Networks., and . IEEE Trans. Network and Service Management, 9 (4): 459-472 (2012)A Novel Visualization Approach for Efficient Network-wide Traffic Monitoring., , , and . E2EMON, page 1-7. IEEE Computer Society, (2007)Automated pseudo-live testing of firewall configuration enforcement., , and . IEEE J. Sel. Areas Commun., 27 (3): 302-314 (2009)Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement., and . IEEE Trans. Parallel Distributed Syst., 28 (2): 416-430 (2017)Synthetic security policy generation via network traffic clustering., and . AISec, page 45-53. ACM, (2010)Adaptive Information Coding for Secure and Reliable Wireless Telesurgery Communications., , , , , and . Mob. Networks Appl., 18 (5): 697-711 (2013)