Maxwell Levatich

According to our database, Maxwell Levatich authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

2022

C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification.

Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards

Proceedings of the IEEE Military Communications Conference, 2022

2021

Supercharging Plant Configurations Using Z3.

Nikolaj S. Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

Solving $\mathrm {LIA} ^\star $ Using Approximations.

Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020