Andrew Apicelli

According to our database, Andrew Apicelli authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Automated Analyses of IOT Event Monitoring Systems.

Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav

Proceedings of the Computer Aided Verification - 35th International Conference, 2023