Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Stoller, Scott D.
238  Ergebnisse:
Personensuche X
?
1

The black-box simplex architecture for runtime assurance of..:

Sheikhi, Sanaz ; Mehmood, Usama ; Bak, Stanley..
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

A distributed simplex architecture for multi-agent systems:

Mehmood, Usama ; Roy, Shouvik ; Damare, Amol...
Journal of Systems Architecture.  134 (2023)  - p. 102784 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Integrating Logic Rules with Everything Else, Seamlessly:

LIU, YANHONG A. ; STOLLER, SCOTT D. ; TONG, YI.
Theory and Practice of Logic Programming.  23 (2023)  4 - p. 678-695 , 2023
Link: https://doi.org/10.1017/..
 
?
4

Multi-Agent Spatial Predictive Control with Application to ..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),
Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D... - p. 1221-1227 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Debugging Malware Classification Models Based on Event Logs..:

, In: 2023 IEEE International Conference on Data Mining Workshops (ICDMW),
Gwak, Joon-Young ; Wakodikar, Priti ; Wang, Meng... - p. 939-948 , 2023
Link: https://doi.org/10.1109/..
 
?
6

WebSheets: A New Privacy-Centric Framework for Web Applicat..:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,
Stoller, Scott D. - p. 3-4 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Recursive rules with aggregation: a simple unified semantic:

Liu, Yanhong A ; Stoller, Scott D
Journal of Logic and Computation.  32 (2022)  8 - p. 1659-1693 , 2022
Link: https://doi.org/10.1093/..
 
?
8

A Barrier Certificate-Based Simplex Architecture with Appli..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Damare, Amol ; Roy, Shouvik ; Smolka, Scott A.. - p. 105-123 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Towards Drone Flocking Using Relative Distance Measurements:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D... - p. 97-109 , 2022
Link: https://doi.org/10.1007/..
 
?
10

The Black-Box Simplex Architecture for Runtime Assurance of..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Mehmood, Usama ; Sheikhi, Sanaz ; Bak, Stanley.. - p. 231-250 , 2022
Link: https://doi.org/10.1007/..
 
?
11

A Distributed Simplex Architecture for Multi-agent Systems:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,
Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu... - p. 239-257 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Safe CPS from unsafe controllers:

, In: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,
Mehmood, Usama ; Bak, Stanley ; Smolka, Scott A.. - p. 26-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Demonstration of Three True Random Number Generator Circuit..:

Stoller, Scott ; Campbell, Kristy A.
Entropy.  23 (2021)  3 - p. 371 , 2021
Link: https://doi.org/10.3390/..
 
?
14

Neural predictive monitoring and a comparison of frequentis..:

Bortolussi, Luca ; Cairoli, Francesca ; Paoletti, Nicola..
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 615-640 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Collision-Free 3D Flocking Using the Distributed Simplex Ar..:

, In: Formal Methods in Outer Space; Lecture Notes in Computer Science,
Mehmood, Usama ; D. Stoller, Scott ; Grosu, Radu. - p. 147-156 , 2021
Link: https://doi.org/10.1007/..
 
1-15