|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tua Agustinus Tamba, Michael D. Lemmon |
Forecasting the resilience of networked dynamical systems under environmental perturbation. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matti Mantere, Mirko Sailio, Sami Noponen |
A module for anomaly detection in ICS networks. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katherine Rose Driggs-Campbell, Victor Shia, Ruzena Bajcsy |
Decisions for autonomous vehicles: integrating sensors, communication, and control. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia |
Safety envelope for security. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emeka Eyisi, Xenofon D. Koutsoukos |
Energy-based attack detection in networked control systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marina Krotofil, Alvaro A. Cárdenas |
Is this a good time?: deciding when to launch attacks on process control systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Yampolskiy, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos, Péter Horváth, Heath J. LeBlanc, Janos Sztipanovits |
Resilient distributed consensus for tree topology. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Phillip Lee, Omar Saleh, Basel Alomair, Linda Bushnell, Radha Poovendran |
Graph-based verification and misbehavior detection in multi-agent networks. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bin Hu, Michael D. Lemmon |
Distributed switching control to achieve resilience to deep fades in leader-follower nonholonomic systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Curtis R. Taylor, Krishna K. Venkatasubramanian, Craig A. Shue |
Understanding the security of interoperable medical devices using attack graphs. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lillian J. Ratliff, Roy Dong, Henrik Ohlsson, S. Shankar Sastry |
Energy efficiency via incentive design and utility learning. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos (eds.) |
3rd International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014 |
HiCoNS |
2014 |
DBLP BibTeX RDF |
|
1 | Heath J. LeBlanc, Firas Hassan |
Resilient distributed parameter estimation in heterogeneous time-varying networks. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Galina A. Schwartz, S. Shankar Sastry |
Cyber-insurance framework for large scale interdependent networks. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lina Perelman, Saurabh Amin |
A network interdiction model for analyzing the vulnerability of water distribution systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erik Miehling, Demosthenis Teneketzis |
Multilateral trades in interconnected power systems: a local public goods approach. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Trcka, Mark Moulin, Shaunak D. Bopardikar, Alberto Speranzon |
A formal verification approach to revealing stealth attacks on networked control systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radoslav Ivanov, Miroslav Pajic, Insup Lee 0001 |
Resilient multidimensional sensor fusion using measurement history. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dorsa Sadigh, Katherine Rose Driggs-Campbell, Ruzena Bajcsy, S. Shankar Sastry, Sanjit A. Seshia |
User interface design and verification for semi-autonomous driving. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radha Poovendran |
Passivity framework for modeling, mitigating, and composing attacks on networked systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenqi Huang, Yu Wang 0044, Sayan Mitra, Geir E. Dullerud |
On the cost of differential privacy in distributed control systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro A. Cárdenas |
From CRCs to resilient control systems: differentiating between reliability and security for the protection of cyber-physical systems. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roy Dong, Lillian J. Ratliff, Henrik Ohlsson, S. Shankar Sastry |
Fundamental limits of nonintrusive load monitoring. |
HiCoNS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio |
Mechanism design for robust resource management to false report in cloud computing systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Danielle C. Tarraf |
Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhijing Qin, Grit Denker, Carolyn L. Talcott, Nalini Venkatasubramanian |
Achieving resilience of heterogeneous networks through predictive, formal analysis. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bin Hu, Michael D. Lemmon |
Using channel state feedback to achieve resilience to deep fades in wireless networked control systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Yampolskiy, Péter Horváth, Xenofon D. Koutsoukos, Yuan Xue 0001, Janos Sztipanovits |
Taxonomy for description of cross-domain attacks on CPS. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chinwendu Enyioha, Victor M. Preciado, George J. Pappas |
Bio-inspired strategy for control of viral spreading in networks. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee 0001 |
Contract-based blame assignment by trace analysis. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo |
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee 0001 |
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Xenofon D. Koutsoukos |
Algorithms for determining network robustness. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edward S. Canepa, Christian G. Claudel |
A framework for privacy and security analysis of probe-based traffic information systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aaron M. Bestick, Lillian J. Ratliff, Posu Yan, Ruzena Bajcsy, S. Shankar Sastry |
An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury |
Verifiably-safe software-defined networks for CPS. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Boris Köpf |
Verifying information flow properties of hybrid systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos (eds.) |
2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013 |
HiCoNS |
2013 |
DBLP BibTeX RDF |
|
1 | Alexander Georg Camek, Christian Buckl, Alois C. Knoll |
Future cars: necessity for an adaptive and distributed multiple independent levels of security architecture. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Le Ny, George J. Pappas |
Privacy-preserving release of aggregate dynamic models. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Weimer, Damiano Varagnolo, Karl Henrik Johansson |
Distributed model-invariant detection of unknown inputs in networked systems. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yasser Shoukry, José Araujo, Paulo Tabuada, Mani B. Srivastava, Karl Henrik Johansson |
Minimax control for cyber-physical systems under network packet scheduling attacks. |
HiCoNS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shan Liu, Deepa Kundur, Takis Zourntos, Karen L. Butler-Purry |
Coordinated variable structure switching in smart power systems: attacks and mitigation. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Clark 0001, Linda Bushnell, Radha Poovendran |
Leader selection games under link noise injection attacks. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Weimer, Soummya Kar, Karl Henrik Johansson |
Distributed detection and isolation of topology attacks in power networks. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Quanyan Zhu, Tamer Basar |
A dynamic game-theoretic approach to resilient control system design for cascading failures. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Yan, Yuan Xue 0001, Xiaowei Li 0003, Jiannian Weng, Timothy Busch, Janos Sztipanovits |
Integrated simulation and emulation platform for cyber-physical system security experimentation. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alefiya Hussain, Saurabh Amin |
NCS security experimentation using DETER. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Heath LeBlanc, Haotian Zhang 0001, Shreyas Sundaram, Xenofon D. Koutsoukos |
Consensus of multi-agent networks in the presence of adversaries using only local information. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Teixeira 0001, Daniel Pérez 0003, Henrik Sandberg, Karl Henrik Johansson |
Attack models and scenarios for networked control systems. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | S. Shankar Sastry, Tamer Basar, Saurabh Amin, Gabor Karsai (eds.) |
1st International Conference on High Confidence Networked Systems (HiCoNS - at CPS Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012 |
HiCoNS |
2012 |
DBLP BibTeX RDF |
|
1 | Yilin Mo, Bruno Sinopoli |
Integrity attacks on cyber-physical systems. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee 0001 |
HMM-based characterization of channel behavior for networked control systems. |
HiCoNS |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|