Lance Joneckis

According to our database, Lance Joneckis authored at least 8 papers between 2014 and 2026.

Collaborative distances:

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

2026

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink.

Arthur Amorim, Paul Gazzillo, Max Taylor, Lance Joneckis

Proceedings of the NASA Formal Methods, 2026

2025

UAV Resilience Against Stealthy Attacks.

Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis

CoRR, March, 2025

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Gary T. Leavens, Bill Harrison, Lance Joneckis, Trevor Kann

CoRR, January, 2025

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types.

Max Taylor, Arthur Amorim, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2025

2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.

Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2024

2014

Network Size and Connectivity in Mobile and Stationary Ad Hoc Networks.

Lance Joneckis, Corinne Kramer, David Sparrow, David Tate

Proceedings of the 2014 IEEE Military Communications Conference, 2014

Modeling Terrain Impact on MANET Connectivity.

Lance Joneckis, Corinne Kramer, David Sparrow, David Tate

Proceedings of the 2014 IEEE Military Communications Conference, 2014