Články s príkazom na verejný prístup - Scott D. StollerĎalšie informácie
Nedostupné nikde: 1
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements
A Brandstätter, SA Smolka, SD Stoller, A Tiwari, R Grosu
2024 IEEE International Conference on Robotics and Automation (ICRA), 12193 …, 2024
Príkazy: European Commission
Dostupné niekde: 45
{SLEUTH}: Real-time attack scenario reconstruction from {COTS} audit data
MN Hossain, SM Milajerdi, J Wang, B Eshete, R Gjomemo, R Sekar, ...
26th USENIX Security Symposium (USENIX Security 17), 487-504, 2017
Príkazy: US National Science Foundation, US Department of Defense
Formal verification of multi-paxos for distributed consensus
S Chand, YA Liu, SD Stoller
International Symposium on Formal Methods, 119-136, 2016
Príkazy: US National Science Foundation
Neural simplex architecture
DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
Príkazy: US National Science Foundation, US Department of Defense, Austrian Science Fund
Greedy and evolutionary algorithms for mining relationship-based access control policies
T Bui, SD Stoller, J Li
Computers & Security 80, 317-333, 2019
Príkazy: US National Science Foundation, US Department of Defense
A component-based simplex architecture for high-assurance cyber-physical systems
D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller
2017 17th International Conference on Application of Concurrency to System …, 2017
Príkazy: US National Science Foundation, US Department of Defense
From clarity to efficiency for distributed algorithms
YA Liu, SD Stoller, B Lin
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (3), 1-41, 2017
Príkazy: US National Science Foundation, US Department of Defense
Neural predictive monitoring
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Príkazy: US National Science Foundation
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
D Phan, J Yang, R Grosu, SA Smolka, SD Stoller
Formal Methods in System Design 51, 62-86, 2017
Príkazy: US National Science Foundation, US Department of Defense
Mining hierarchical temporal roles with multiple metrics
SD Stoller, T Bui
Journal of Computer Security 26 (1), 121-142, 2018
Príkazy: US National Science Foundation, US Department of Defense
Neural state classification for hybrid systems
D Phan, N Paoletti, T Zhang, R Grosu, SA Smolka, SD Stoller
Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019
Príkazy: US National Science Foundation, US Department of Defense, Austrian Science Fund
A decision tree learning approach for mining relationship-based access control policies
T Bui, SD Stoller
Proceedings of the 25th ACM Symposium on Access Control Models and …, 2020
Príkazy: US National Science Foundation, US Department of Defense
Efficient and extensible policy mining for relationship-based access control
T Bui, SD Stoller, H Le
Proceedings of the 24th ACM Symposium on Access Control Models and …, 2019
Príkazy: US National Science Foundation, US Department of Defense
Declarative vs rule-based control for flocking dynamics
U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ...
Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018
Príkazy: US National Science Foundation, US Department of Defense, Austrian Science Fund
Demand-Driven Incremental Object Queries
YA Liu, J Brandvein, SD Stoller, B Lin
18th International Symposium on Principles and Practice of Declarative …, 2016
Príkazy: US National Science Foundation
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
International Journal on Software Tools for Technology Transfer 23 (4), 615-640, 2021
Príkazy: US National Science Foundation, US Department of Defense, German Research …
Learning attribute-based and relationship-based access control policies with unknown values
T Bui, SD Stoller
International Conference on Information Systems Security, 23-44, 2020
Príkazy: US National Science Foundation, US Department of Defense
The black-box simplex architecture for runtime assurance of autonomous CPS
U Mehmood, S Sheikhi, S Bak, SA Smolka, SD Stoller
NASA formal methods symposium, 231-250, 2022
Príkazy: US National Science Foundation, US Department of Defense
Founded semantics and constraint semantics of logic rules
YA Liu, SD Stoller
Journal of Logic and Computation 30 (8), 1609-1668, 2020
Príkazy: US National Science Foundation, US Department of Defense
Mining relationship-based access control policies from incomplete and noisy data
T Bui, SD Stoller, J Li
International Symposium on Foundations and Practice of Security, 267-284, 2018
Príkazy: US National Science Foundation, US Department of Defense
Informácie o zverejnení a financovaní sú automaticky vyberané počítačovým programom