References

  1. 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.
  2. Konstantine Arkoudas: Athena. Available at http://proofcentral.org/athena.
  3. 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.
  4. Konstantine Arkoudas & David Musser (2017): Fundamental Proof Methods in Computer Science: A Computer-Based Approach. MIT Press, doi:10.1017/s1471068420000071.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Dimitri P Bertsekas, Robert G Gallager & Pierre Humblet (1992): Data Networks 2. Prentice-Hall International New Jersey.
  10. 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.
  11. 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.
  12. Donia Chaouch (2015): Formalization of Continuous Time Markov Chains with Applications in Queueing Theory. Concordia University.
  13. 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.
  14. 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.
  15. Henri Debrat & Stephan Merz (2012): Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model. Archive of Formal Proofs 2012.
  16. 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.
  17. 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.
  18. Ronald Fagin, Joseph Y Halpern, Yoram Moses & Moshe Vardi (2004): Reasoning About Knowledge. MIT press, doi:10.7551/mitpress/5803.001.0001.
  19. Robert G Gallager (2013): Stochastic Processes: Theory for Applications. Cambridge University Press, doi:10.1017/cbo9781139626514.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. Osman Hasan (2008): Probabilistic Analysis Using Theorem Proving. In: 21 st International Conference on Theorem Proving in Higher Order Logics. Citeseer, pp. 21.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. Günter Last & Mathew Penrose (2017): Lectures on the Poisson Process 7. Cambridge University Press, doi:10.1017/9781316104477.007.
  34. 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.
  35. 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.
  36. Alberto Leon-Garcia (1994): Probability and Random Processes for Electrical Engineering, 2nd edition. Addison-Wesley, Reading, MA.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. Dahlia Malkhi, Leslie Lamport & Lidong Zhou (2008): Stoppable Paxos. Technical Report. Microsoft Research.
  42. Maria Manzano (1996): Extensions of First-Order Logic. Cambridge University Press.
  43. 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.
  44. Ronald Meester & Klaas Slooten (2021): Some Philosophy of Probability, Statistics, and Forensic Science, pp. 129. Cambridge University Press, doi:10.1017/9781108596176.002.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. Muhammad Qasim (2016): Formalization of Normal Random Variables. Concordia University, doi:10.1016/j.entcs.2013.09.001.
  55. 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.
  56. 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.
  57. 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.
  58. David Wing & William Cotton (2011): For Spacious Skies: Self-Separation with "Autonomous Flight Rules" in US Domestic Airspace, doi:10.2514/6.2011-6865.
  59. 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.
  60. Shouyi Yin & Xiaokang Lin (2004): MALB: MANET Adaptive Load Balancing. In: IEEE 60th Vehicular Technology Conference, 2004 4. IEEE, pp. 2843–2847, doi:10.1109/vetecf.2004.1400578.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org