Ahmad Al Hanbali, Arzad A Kherani & Philippe Nain (2007):
Simple Models for the Performance Evaluation of a Class of Two-Hop Relay Protocols.
In: International Conference on Research in Networking.
Springer,
pp. 191–202,
doi:10.1007/978-3-540-72606-7_17.
Konstantine Arkoudas (2005):
Simplifying Proofs in Fitch-Style Natural Deduction Systems.
Journal of Automated Reasoning 34(3),
pp. 239–294,
doi:10.1007/s10817-005-9000-3.
Konstantine Arkoudas & David Musser (2017):
Fundamental Proof Methods in Computer Science: A Computer-Based Approach.
MIT Press,
doi:10.1017/s1471068420000071.
Hagit Attiya & Taly Djerassi-Shintel (2001):
Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures.
Journal of Parallel and Distributed Computing 61(8),
pp. 1096–1109,
doi:10.1006/jpdc.2001.1730.
Hagit Attiya, Cynthia Dwork, Nancy Lynch & Larry Stockmeyer (1994):
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty.
Journal of the ACM (JACM) 41(1),
pp. 122–152,
doi:10.21236/ada229766.
Swee Balachandran, Christopher Manderino, César Muñoz & María Consiglio (2020):
A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons.
In: 2020 International Conference on Unmanned Aircraft Systems (ICUAS).
IEEE,
pp. 204–210,
doi:10.1109/icuas48674.2020.9213973.
Piotr Berman, Juan A Garay & Kenneth J Perry (1989):
Towards Optimal Distributed Consensus.
In: FOCS 89,
pp. 410–415,
doi:10.1109/sfcs.1989.63511.
Dimitri P Bertsekas, Robert G Gallager & Pierre Humblet (1992):
Data Networks 2.
Prentice-Hall International New Jersey.
Marc Brittain & Peng Wei (2018):
Autonomous Aircraft Sequencing and Separation with Hierarchical Deep Reinforcement Learning.
In: Proceedings of the International Conference for Research in Air Transportation.
Xianbin Cao, Peng Yang, Mohamed Alzenad, Xing Xi, Dapeng Wu & Halim Yanikomeroglu (2018):
Airborne Communication Networks: A Survey.
IEEE Journal on Selected Areas in Communications 36(9),
pp. 1907–1926,
doi:10.1109/jsac.2018.2864423.
Donia Chaouch (2015):
Formalization of Continuous Time Markov Chains with Applications in Queueing Theory.
Concordia University.
Bernadette Charron-Bost & André Schiper (2009):
The Heard-Of Model: Computing in Distributed Systems With Benign Faults.
Distributed Computing 22(1),
pp. 49–71,
doi:10.1007/s00446-009-0084-6.
Frederica Darema (2004):
Dynamic Data-Driven Application Systems: A New Paradigm for Application Simulations and Measurements.
In: Computational Science-ICCS 2004.
Springer,
pp. 662–669,
doi:10.1007/978-3-540-24688-6_86.
Henri Debrat & Stephan Merz (2012):
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model.
Archive of Formal Proofs 2012.
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui & Bastian Pochon (2007):
The Perfectly Synchronized Round-Based Model of Distributed Computing.
Information and Computation 205(5),
pp. 783–815,
doi:10.1016/j.ic.2006.11.003.
Cezara Drăgoi, Thomas A Henzinger & Damien Zufferey (2016):
PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms.
In: ACM SIGPLAN Notices 51.
ACM,
pp. 400–415,
doi:10.1145/2837614.2837650.
Ronald Fagin, Joseph Y Halpern, Yoram Moses & Moshe Vardi (2004):
Reasoning About Knowledge.
MIT press,
doi:10.7551/mitpress/5803.001.0001.
Robert G Gallager (2013):
Stochastic Processes: Theory for Applications.
Cambridge University Press,
doi:10.1017/cbo9781139626514.
László Gönczy, Máté Kovács & Dániel Varró (2007):
Modeling and Verification of Reliable Messaging by Graph Transformation Systems.
Electronic Notes in Theoretical Computer Science 175(4),
pp. 37–50,
doi:10.1016/j.entcs.2007.04.015.
Michael JC Gordon (1989):
Mechanizing Programming Logics in Higher Order Logic.
In: Current trends in hardware verification and automated theorem proving.
Springer,
pp. 387–439,
doi:10.1007/978-1-4612-3658-0_10.
Matthias Grossglauser & David NC Tse (2002):
Mobility Increases the Capacity of Ad Hoc Wireless Networks.
IEEE/ACM transactions on networking 10(4),
pp. 477–486,
doi:10.1109/tnet.2002.801403.
Mustafa Maad Hamdi, Lukman Audah, Sami Abduljabbar Rashid, Alaa Hamid Mohammed, Sameer Alani & Ahmed Shamil Mustafa (2020):
A Review of Applications, Characteristics and Challenges in Vehicular Ad-Hoc Networks (VANETs).
In: 2020 International Congress on Human-Computer Interaction, Optimization and Robotic Applications (HORA).
IEEE,
pp. 1–7,
doi:10.1109/hora49412.2020.9152928.
Osman Hasan (2008):
Probabilistic Analysis Using Theorem Proving.
In: 21 st International Conference on Theorem Proving in Higher Order Logics.
Citeseer,
pp. 21.
Osman Hasan & Sofiène Tahar (2007):
Formalization of the Standard Uniform random variable.
Theoretical Computer Science 382,
pp. 71–83,
doi:10.1016/j.tcs.2007.05.009.
Osman Hasan & Sofiène Tahar (2008):
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.
Journal of Automated Reasoning 41(3-4),
pp. 295–323,
doi:10.1007/s10817-008-9113-6.
Osman Hasan & Sofiene Tahar (2009):
Formal Verification of Tail Distribution Bounds in the HOL Theorem Prover.
Mathematical Methods in the Applied Sciences 32(4),
pp. 480–504,
doi:10.1002/mma.1055.
Osman Hasan & Sofiene Tahar (2010):
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.
In: International Conference on Abstract State Machines, Alloy, B and Z.
Springer,
pp. 2–19,
doi:10.1007/978-3-642-11811-1_2.
Osman Hasan & Sofiène Tahar (2011):
Reasoning About Conditional Probabilities in a Higher-Order-Logic Theorem Prover.
Journal of Applied Logic 9(1),
pp. 23–40,
doi:10.1016/j.jal.2011.01.001.
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R Lorch, Bryan Parno, Michael L Roberts, Srinath Setty & Brian Zill (2015):
IronFleet: Proving Practical Distributed Systems Correct.
In: Proceedings of the 25th Symposium on Operating Systems Principles.
ACM,
pp. 1–17,
doi:10.1145/2815400.2815428.
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R Lorch, Bryan Parno, Michael L Roberts, Srinath Setty & Brian Zill (2017):
IronFleet: Proving Safety and Liveness of Practical Distributed Systems.
Communications of the ACM 60(7),
pp. 83–92,
doi:10.1145/3068608.
Rashmi Kushwah, Shashikala Tapaswi & Ajay Kumar (2020):
Multipath Delay Analysis Using Queuing Theory for Gateway Selection in Hybrid MANET.
Wireless Personal Communications 111(1),
pp. 9–32,
doi:10.1007/s11277-019-06842-9.
Günter Last & Mathew Penrose (2017):
Lectures on the Poisson Process 7.
Cambridge University Press,
doi:10.1017/9781316104477.007.
Seung Man Lee, Chunki Park, Marcus A Johnson & Eric R Mueller (2013):
Investigating Effects of Well Clear Definitions on UAS Sense-And-Avoid Operations in Enroute and Transition Airspace.
In: 2013 Aviation Technology, Integration, and Operations Conference,
doi:10.2514/6.2013-4308.
K. Rustan M. Leino (2010):
Dafny: An Automatic Program Verifier for Functional Correctness.
In: International Conference on Logic for Programming Artificial Intelligence and Reasoning.
Springer,
pp. 348–370,
doi:10.1007/978-3-642-17511-4_20.
Alberto Leon-Garcia (1994):
Probability and Random Processes for Electrical Engineering,
2nd edition.
Addison-Wesley,
Reading, MA.
Lester Lipsky (2009):
M/M/1 Queue.
Queueing Theory: A Linear Algebraic Approach,
pp. 33–75,
doi:10.1007/978-0-387-49706-8_2.
John DC Little (1961):
A Proof for the Queuing Formula: L= λ W.
Operations research 9(3),
pp. 383–387,
doi:10.1287/opre.9.3.383.
Jiajia Liu, Xiaohong Jiang, Hiroki Nishiyama & Nei Kato (2013):
On the Delivery Probability of Two-Hop Relay MANETs with Erasure Coding.
IEEE Transactions on Communications 61(4),
pp. 1314–1326,
doi:10.1109/tcomm.2013.020413.120198.
Robert Luckner, Gordon Höhne & Michael Fuhrmann (2004):
Hazard Criteria for Wake Vortex Encounters During Approach.
Aerospace Science and Technology 8(8),
pp. 673–687,
doi:10.1016/j.ast.2004.06.008.
Maria Manzano (1996):
Extensions of First-Order Logic.
Cambridge University Press.
Kenneth L McMillan & Oded Padon (2018):
Deductive Verification in Decidable Fragments with Ivy.
In: Static Analysis.
Springer,
pp. 43–55,
doi:10.1007/978-3-319-99725-4_4.
Ronald Meester & Klaas Slooten (2021):
Some Philosophy of Probability, Statistics, and Forensic Science,
pp. 129.
Cambridge University Press,
doi:10.1017/9781108596176.002.
Tarek Mhamdi, Osman Hasan & Sofiène Tahar (2010):
On the Formalization of the Lebesgue Integration Theory in HOL.
In: International Conference on Interactive Theorem Proving.
Springer,
pp. 387–402,
doi:10.1007/978-3-642-14052-5_27.
Tarek Mhamdi, Osman Hasan & Sofiène Tahar (2013):
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL.
ACM Transactions on Embedded Computing Systems 12(1),
doi:10.1145/2406336.2406349.
Andreas F Molisch, Fredrik Tufvesson, Johan Karedal & Christoph F Mecklenbrauker (2009):
A Survey on Vehicle-to-Vehicle Propagation Channels.
IEEE Wireless Communications 16(6),
pp. 12–22,
doi:10.1109/mwc.2009.5361174.
David R. Musser & Carlos A. Varela (2013):
Structured Reasoning About Actor Systems.
In: Proceedings of the 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control,
AGERE!.
ACM,
New York, NY, USA,
pp. 37–48,
doi:10.1145/2541329.2541334.
Oded Padon, Kenneth L McMillan, Aurojit Panda, Mooly Sagiv & Sharon Shoham (2016):
Ivy: Safety Verification by Interactive Generalization.
ACM SIGPLAN Notices 51(6),
pp. 614–630,
doi:10.1145/2980983.2908118.
Saswata Paul, Gul A. Agha, Stacy Patterson & Carlos A. Varela (2021):
Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model.
In: Proceedings of the 13th NASA Formal Methods Symposium (NFM 2021),
pp. 249–267,
doi:10.1007/978-3-030-76384-8_16.
Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson & Carlos A. Varela (2020):
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms.
In: Dynamic Data-Driven Application Systems,
pp. 245–252,
doi:10.1007/978-3-030-61725-7_29.
Saswata Paul, Stacy Patterson & Carlos A. Varela (2019):
Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions.
In: The 38th AIAA/IEEE Digital Avionics Systems Conference,
San Diego, CA,
pp. 1–10,
doi:10.1109/dasc43569.2019.9081658.
Saswata Paul, Stacy Patterson & Carlos A. Varela (2020):
Collaborative Situational Awareness for Conflict-Aware Flight Planning.
In: The 39th IEEE/AIAA Digital Avionics Systems Conference,
pp. 1–10,
doi:10.1109/dasc50938.2020.9256620.
Muhammad Qasim (2016):
Formalization of Normal Random Variables.
Concordia University,
doi:10.1016/j.entcs.2013.09.001.
Xinbing Wang, Qiuyu Peng & Yingzhe Li (2012):
Cooperation Achieves Optimal Multicast Capacity-Delay Scaling in MANET.
IEEE Transactions on Communications 60(10),
pp. 3023–3031,
doi:10.1109/tcomm.2012.081512.110535.
Yang Wang & Yiyuan J Zhao (2006):
Fundamental Issues in Systematic Design of Airborne Networks for Aviation.
In: 2006 IEEE Aerospace Conference.
IEEE,
pp. 8–pp,
doi:10.1109/aero.2006.1655882.
Xia Wen-jie, Yan Han & Liu Feng-yu (2011):
The Analysis of M/M/1 Queue Model with N Policy for Damaged Nodes in MANET.
In: 2011 IEEE International Conference on Computer Science and Automation Engineering 1.
IEEE,
pp. 289–294,
doi:10.1109/csae.2011.5953224.
David Wing & William Cotton (2011):
For Spacious Skies: Self-Separation with "Autonomous Flight Rules" in US Domestic Airspace,
doi:10.2514/6.2011-6865.
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui & John Fitzgerald (2009):
Formal Methods: Practice and Experience.
ACM Computing Surveys 41(4),
pp. 1–36,
doi:10.5555/3065491.3065655.