|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1026 occurrences of 508 keywords
|
|
|
Results
Found 1679 publication records. Showing 1679 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Amin Ghiasi, Ali Shafahi, Tom Goldstein |
Breaking certified defenses: Semantic adversarial examples with spoofed robustness certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Victor Magron, Jie Wang 0037 |
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Wanxin Jin, Zhaoran Wang 0001, Zhuoran Yang, Shaoshuai Mou |
Neural Certificates for Safe Control Policies. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | María Pérez-Ortiz 0001, Omar Rivasplata, John Shawe-Taylor, Csaba Szepesvári |
Tighter risk certificates for neural networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann |
Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Alexander Levine 0001, Aounon Kumar, Thomas A. Goldstein, Soheil Feizi |
Tight Second-Order Certificates for Randomized Smoothing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Nicholas M. Boffi, Stephen Tu, Nikolai Matni, Jean-Jacques E. Slotine, Vikas Sindhwani |
Learning Stability Certificates from Data. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning Safe Neural Network Controllers with Barrier Certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Tatiana Lopez-Guevara, Michael Burke, Nicholas K. Taylor, Kartic Subr |
IV-Posterior: Inverse Value Estimation for Interpretable Policy Certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna |
A Blockchain based and GDPR-compliant design of a system for digital education certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Ameneh Nejati, Sadegh Soudjani, Majid Zamani 0001 |
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Grigory Devadze, Victor Magron, Stefan Streif |
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Tom Hirshberg, Sai Vemprala, Ashish Kapoor |
Safety Considerations in Deep Control Policies with Probabilistic Safety Barrier Certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Brian Hu Zhang, Tuomas Sandholm |
Small Nash Equilibrium Certificates in Very Large Games. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Pawel Szalachowski |
SmartCert: Redesigning Digital Certificates with Smart Contracts. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Pouyan Fotouhi Tehrani, Eric Osterweil, Jochen H. Schiller, Thomas C. Schmidt, Matthias Wählisch |
Who ya gonna call? (Alerting Authorities): Measuring Namespaces, Web Certificates, and DNSSEC. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Tommaso d'Orsi, Pravesh K. Kothari, Gleb Novikov, David Steurer |
Sparse PCA: Algorithms, Adversarial Perturbations and Certificates. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Chris Hicks, David Butler 0002, Carsten Maple, Jon Crowcroft |
SecureABC: Secure AntiBody Certificates for COVID-19. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Auqib Hamid Lone, Roohie Naaz Mir |
Forgery Protection of Academic Certificates through Integrity Preservation at Scale using Ethereum Smart Contract. |
Scalable Comput. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mounira Msahli, Nancy Cam-Winget, William Whyte, Ahmed Serhrouchni, Houda Labiod |
TLS Authentication Using Intelligent Transport System (ITS) Certificates. |
RFC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yaron Sheffer, Diego R. López, Óscar González de Dios, Antonio Pastor Perales, Thomas Fossati |
Support for Short-Term, Automatically Renewed (STAR) Certificates in the Automated Certificate Management Environment (ACME). |
RFC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Fabian Knirsch, Clemens Brunner 0002, Andreas Unterweger, Dominik Engel |
Decentralized and permission-less green energy certificates with GECKO. |
Energy Inform. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich |
Compact Certificates of Collective Knowledge. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
15 | Thomas A. Wikle, Diana Sinton |
The administration of academic GIS certificates: A survey of program coordinators. |
Trans. GIS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tuukka Mustapää, Pekka Nikander, Daniel Hutzschenreuter, Raine Viitala |
Metrological Challenges in Collaborative Sensing: Applicability of Digital Calibration Certificates. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas 0001, Clément Pernet |
Elimination-based certificates for triangular equivalence and rank profiles. |
J. Symb. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xin Chen 0027, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li |
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. |
CAV (1) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Wilson |
A digital "Yellow Card" for securely recording vaccinations using Community PKI certificates. |
ISTAS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin |
Popular Branchings and Their Dual Certificates. |
IPCO |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tomer Grossman, Ilan Komargodski, Moni Naor |
Instance Complexity and Unlabeled Certificates in the Decision Tree Model. |
ITCS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tom Hirshberg, Sai Vemprala, Ashish Kapoor |
Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty. |
IROS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Clifford Brown, Tommi Elo, Kristine Hovhannisyan, Daniel Hutzschenreuter, Petri Kuosmanen, Olaf Maennel, Tuukka Mustapää, Pekka Nikander, Thomas Wiedenhoefer |
Infrastructure for Digital Calibration Certificates. |
MetroInd4.0&IoT |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Pollicino, Dario Stabili, Luca Ferretti, Mirco Marchetti |
An experimental analysis of ECQV implicit certificates performance in VANETs. |
VTC Fall |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marcus de Ree, Georgios Mantas, James Gao, Jonathan Rodriguez 0001, Ifiok E. Otung |
Public Key Cryptography Without Certificates for Beyond 5G Mobile Small Cells. |
CSNDSP |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tommaso d'Orsi, Pravesh K. Kothari, Gleb Novikov, David Steurer |
Sparse PCA: Algorithms, Adversarial Perturbations and Certificates. |
FOCS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001 |
Synthesizing barrier certificates using neural networks. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | George Pantazis, Filiberto Fele, Kostas Margellos |
Agent independent probabilistic robustness certificates for robust optimization programs with uncertain quadratic cost. |
CDC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shengnan Zhang, Jiaxing Xuan, Zitong Lyu, Yuchen Fu |
Application Prospect of Blockchain in Renewable Energy Certificates. |
CSAE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Joe Raad, Rick Mourits, Auke Rijpma, Ruben Schalk, Richard Zijdeman, Albert Meroño-Peñuela |
Linking Dutch Civil Certificates. |
WHiSe@ESWC |
2020 |
DBLP BibTeX RDF |
|
15 | Nicholas M. Boffi, Stephen Tu, Nikolai Matni, Jean-Jacques E. Slotine, Vikas Sindhwani |
Learning Stability Certificates from Data. |
CoRL |
2020 |
DBLP BibTeX RDF |
|
15 | Zhaoyang Lyu, Ching-Yun Ko, Zhifeng Kong, Ngai Wong, Dahua Lin, Luca Daniel |
Fastened CROWN: Tightened Neural Network Robustness Certificates. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Levine 0001, Soheil Feizi |
Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yuji Sakurai, Takuya Watanabe 0001, Tetsuya Okuda, Mitsuaki Akiyama, Tatsuya Mori |
Discovering HTTPSified Phishing Websites Using the TLS Certificates Footprints. |
EuroS&P Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mahmood Al-Bahri, Salim Al-Wardi, Ravindra R. Dharamshi, Naeem Al-shukail, Ammar Muthanna |
A Smart System Based on Digital Object Architecture to Verify the Diploma Certificates. |
CCCI |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Florian Funke 0002, Simon Jantsch, Christel Baier |
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. |
TACAS (1) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Junzhi Yan, Xiaoyong Hang, Bo Yang, Li Su, Shen He |
Blockchain based PKI and Certificates Management in Mobile Networks. |
TrustCom |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. |
IWOCA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning Safe Neural Network Controllers with Barrier Certificates. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Wenhao Luo, Wen Sun, Ashish Kapoor |
Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates. |
NeurIPS |
2020 |
DBLP BibTeX RDF |
|
15 | Brian Hu Zhang, Tuomas Sandholm |
Small Nash Equilibrium Certificates in Very Large Games. |
NeurIPS |
2020 |
DBLP BibTeX RDF |
|
15 | Gaëtan Pradel, Chris J. Mitchell |
Post-quantum Certificates for Electronic Travel Documents. |
DETIPS/DeSECSys/MPS/SPOSE@ESORICS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dimcho Karakashev, Sergey Gorbunov 0001, Srinivasan Keshav |
Making Renewable Energy Certificates Efficient, Trustworthy, and Anonymous. |
SmartGridComm |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Welligton Abreu, Emanuel F. Coutinho, Carla I. M. Bezerra |
A Blockchain-based Architecture for Query and Registration of Student Degree Certificates. |
SBCARS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Amin Ghiasi, Ali Shafahi, Tom Goldstein |
Breaking Certified Defenses: Semantic Adversarial Examples with Spoofed robustness Certificates. |
ICLR |
2020 |
DBLP BibTeX RDF |
|
15 | Vincenzo Della Mea, Mihai Horia Popescu, Kevin Roitero |
Underlying Cause of Death Identification from Death Certificates via Categorical Embeddings and Convolutional Neural Networks. |
ICHI |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shaozhuo Li, Na Wang, Xuehui Du, Xuan Li |
Supervisable Anonymous Management of Digital Certificates for Blockchain PKI. |
ICPCSEE (1) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann |
Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More. |
ICML |
2020 |
DBLP BibTeX RDF |
|
15 | Chao Zhang, Donggang Yang, Chu Chen, Pinghong Ren |
Checking Compliance of X.509 Digital Certificates over IPv6 with Specifications. |
CIAT |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Nicholas Mainardi |
From theoretical to real world cryptography: towards practical privacy-preserving outsourced computation and accurate parsing of digital certificates. |
|
2020 |
RDF |
|
15 | Hee-Yong Kwon, Mun-Kyu Lee |
Fast Verification of Signatures With Shared ECQV Implicit Certificates. |
IEEE Trans. Veh. Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Iván García-Magariño, Sandra Sendra, Raquel Lacuesta, Jaime Lloret 0001 |
Security in Vehicles With IoT by Prioritization Rules, Vehicle Certificates, and Trust Management. |
IEEE Internet Things J. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Eldefrawy, Nuno Pereira 0001, Mikael Gidlund |
Key Distribution Protocol for Industrial Internet of Things Without Implicit Certificates. |
IEEE Internet Things J. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Marcos Vinicius Maciel da Silva |
ACPC: Efficient revocation of pseudonym certificates using activation codes. |
Ad Hoc Networks |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vitaly V. Lapshichyov |
TLS Certificates of the Tor Network and Their Distinctive Features. |
Int. J. Syst. Softw. Secur. Prot. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Zoë Bukovac, Graham Farr, Kerri Morgan |
Short certificates for chromatic equivalence. |
J. Graph Algorithms Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yasmine Baghdadi, Alix Bourrée, Aude Robert, Grégoire Rey, Anne Gallay, Pierre Zweigenbaum, Cyril Grouin, Anne Fouillet |
Automatic classification of free-text medical causes from death certificates for reactive mortality surveillance in France. |
Int. J. Medical Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
15 | An Braeken |
Pairing Free Certificate Based Signcryption Schemes Using ECQV Implicit Certificates. |
KSII Trans. Internet Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nina Bindel, Johannes Braun 0001, Luca Gladiator, Tobias Stöckert, Johannes Wirth 0002 |
X.509-Compliant Hybrid Certificates for the Post-Quantum Transition. |
J. Open Source Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tomer Grossman, Ilan Komargodski, Moni Naor |
Instance Complexity and Unlabeled Certificates in the Decision Tree Model. |
Electron. Colloquium Comput. Complex. |
2019 |
DBLP BibTeX RDF |
|
15 | Hani Sami Brdesee |
An Online Verification System of Students and Graduates Documents and Certificates: A Developed Strategy That Prevents Fraud Qualifications. |
Int. J. Smart Educ. Urban Soc. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin |
Popular Branchings and Their Dual Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001 |
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Zhaoyang Lyu, Ching-Yun Ko, Zhifeng Kong, Ngai Wong, Dahua Lin, Luca Daniel |
Fastened CROWN: Tightened Neural Network Robustness Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger 0001, David A. Basin, Adrian Perrig |
Proxy Certificates: The Missing Link in the Web's Chain of Trust. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas 0001, Clément Pernet |
Elimination-based certificates for triangular equivalence and rank profiles. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Diana Berbecaru, Antonio Lioy |
Towards Simplifying PKI Implementation: Client-Server based Validation of Public Key Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Tim Mitchell |
Fast Interpolation-based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Matt Jordan, Justin Lewis, Alexandros G. Dimakis |
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Wenhao Luo, Ashish Kapoor |
Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran |
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Florian Funke 0002, Simon Jantsch, Christel Baier |
Farkas certificates and minimal witnesses for probabilistic reachability constraints. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Sahil Singla 0002, Soheil Feizi |
Robustness Certificates Against Adversarial Examples for ReLU Networks. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Alexander Levine 0001, Soheil Feizi |
Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Merav Parter |
Small Cuts and Connectivity Certificates: A Fault Tolerant Approach. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Tim Mitchell |
Fast Computation of Sepλ via Interpolation-based Globality Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Linbin Huang, Huanhai Xin, Florian Dörfler |
$H_{\infty}$-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Louis Falissard, Claire Morgand, Sylvie Roussel, Claire Imbaud, Walid Ghosn, Karim Bounebache, Grégoire Rey |
A deep artificial neural network based model for underlying cause of death prediction from death certificates. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Tim Seppelt |
The Graph Isomorphism Problem: Local Certificates for Giant Action. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Amir Ali Ahmadi, Georgina Hall |
On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivity. |
Math. Oper. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Cody Freitag, Ilan Komargodski, Rafael Pass |
Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
15 | Xuena An, Shaohua Zhang, Xue Li, Dajun Du |
Two-stage joint equilibrium model of electricity market with tradable green certificates. |
Trans. Inst. Meas. Control |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Wenda Li, Grant Olney Passmore, Lawrence C. Paulson |
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mario Almagro, Raquel Martínez 0001, Soto Montalvo, Víctor Fresno |
A cross-lingual approach to automatic ICD-10 coding of death certificates by exploring machine translation. |
J. Biomed. Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Richard Roberts, Yaelle Goldschlag, Rachel Walter, Taejoong Chung, Alan Mislove, Dave Levin |
You Are Who You Appear to Be: A Longitudinal Study of Domain Impersonation in TLS Certificates. |
CCS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Iman Salehi, Gang Yao, Ashwin P. Dani |
Active Sampling based Safe Identification of Dynamical Systems using Extreme Learning Machines and Barrier Certificates. |
ICRA |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bingyu Li, Wei Wang 0314, Lingjia Meng, Jingqiang Lin, Xuezhong Liu, Congli Wang |
Elaphurus: Ensemble Defense Against Fraudulent Certificates in TLS. |
Inscrypt |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran |
Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates. |
GameSec |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Bard, Heiko Becker, Eva Darulova |
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Soumya Kundu, Sai Pushpak Nandanoori, Karan Kalsi, Sijia Geng, Ian A. Hiskens |
Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids. |
ACC |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 1679 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|