Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450319614

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Achieving resilience of heterogeneous networks through predictive, formal analysis

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461459 ◽

2013 ◽

Cited By ~ 2

Author(s):

Zhijing Qin ◽

Grit Denker ◽

Carolyn Talcott ◽

Nalini Venkatasubramanian

Keyword(s):

Heterogeneous Networks ◽

Formal Analysis

Download Full-text

Future cars

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461450 ◽

2013 ◽

Cited By ~ 6

Author(s):

Alexander Georg Camek ◽

Christian Buckl ◽

Alois Knoll

Download Full-text

Bio-inspired strategy for control of viral spreading in networks

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461452 ◽

2013 ◽

Cited By ~ 6

Author(s):

Chinwendu Enyioha ◽

Victor Preciado ◽

George Pappas

Download Full-text

Taxonomy for description of cross-domain attacks on CPS

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461465 ◽

2013 ◽

Cited By ~ 31

Author(s):

Mark Yampolskiy ◽

Peter Horvath ◽

Xenofon D. Koutsoukos ◽

Yuan Xue ◽

Janos Sztipanovits

Keyword(s):

Cross Domain

Download Full-text

An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461449 ◽

2013 ◽

Cited By ~ 2

Author(s):

Aaron Bestick ◽

Lillian J. Ratliff ◽

Posu Yan ◽

Ruzena Bajcsy ◽

S. Shankar Sastry

Keyword(s):

Correlated Equilibrium

Download Full-text

Minimax control for cyber-physical systems under network packet scheduling attacks

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461460 ◽

2013 ◽

Cited By ~ 14

Author(s):

Yasser Shoukry ◽

Jose Araujo ◽

Paulo Tabuada ◽

Mani Srivastava ◽

Karl H. Johansson

Keyword(s):

Packet Scheduling ◽

Cyber Physical Systems ◽

Physical Systems ◽

Minimax Control

Download Full-text

Contract-based blame assignment by trace analysis

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461463 ◽

2013 ◽

Cited By ~ 5

Author(s):

Shaohui Wang ◽

Anaheed Ayoub ◽

Radoslav Ivanov ◽

Oleg Sokolsky ◽

Insup Lee

Keyword(s):

Trace Analysis ◽

Blame Assignment

Download Full-text

Distributed model-invariant detection of unknown inputs in networked systems

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461464 ◽

2013 ◽

Cited By ~ 5

Author(s):

James Weimer ◽

Damiano Varagnolo ◽

Karl Henrik Johansson

Keyword(s):

Networked Systems ◽

Distributed Model ◽

Unknown Inputs ◽

Invariant Detection

Download Full-text

Verifiably-safe software-defined networks for CPS

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461461 ◽

2013 ◽

Cited By ~ 24

Author(s):

Richard William Skowyra ◽

Andrei Lapets ◽

Azer Bestavros ◽

Assaf Kfoury

Keyword(s):

Software Defined Networks

Download Full-text

Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 ◽

10.1145/2461446.2461462 ◽

2013 ◽

Author(s):

Danielle C. Tarraf

Keyword(s):

Invariant Sets

Download Full-text

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Achieving resilience of heterogeneous networks through predictive, formal analysis

Future cars

Bio-inspired strategy for control of viral spreading in networks

Taxonomy for description of cross-domain attacks on CPS

An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings

Minimax control for cyber-physical systems under network packet scheduling attacks

Contract-based blame assignment by trace analysis

Distributed model-invariant detection of unknown inputs in networked systems

Verifiably-safe software-defined networks for CPS

Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls

Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13
Latest Publications