Pape M. Sylla

According to our database, Pape M. Sylla authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

IEEE Control. Syst. Lett., 2022

2021

Formal verification of octorotor flight envelope using barrier functions and SMT solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

CoRR, 2021

2020

Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems.

Chris R. Serrano, Pape M. Sylla, Michael A. Warren

CoRR, 2020

RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks.

Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2016

Automated Inference of Dependencies of Network Services and Applications via Transfer Entropy.

Karim El Defrawy, Tiffany Kim, Pape M. Sylla

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016