Ahmad Al Hanbali
Arzad A Kherani
Philippe Nain
2007
Simple Models for the Performance Evaluation of a Class of Two-Hop Relay Protocols
International Conference on Research in Networking
Springer
191–202
10.1007/978-3-540-72606-7_17
Konstantine Arkoudas
Athena
http://proofcentral.org/athena
Konstantine Arkoudas
2005
Simplifying Proofs in Fitch-Style Natural Deduction Systems
Journal of Automated Reasoning
34
3
239–294
10.1007/s10817-005-9000-3
Konstantine Arkoudas
David Musser
2017
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
MIT Press
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
1096–1109
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
122–152
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
2020 International Conference on Unmanned Aircraft Systems (ICUAS)
IEEE
204–210
10.1109/icuas48674.2020.9213973
Piotr Berman
Juan A Garay
Kenneth J Perry
1989
Towards Optimal Distributed Consensus
FOCS
89
410–415
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
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
1907–1926
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
49–71
10.1007/s00446-009-0084-6
Frederica Darema
2004
Dynamic Data-Driven Application Systems: A New Paradigm for Application Simulations and Measurements
Computational Science-ICCS 2004
Springer
662–669
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
783–815
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
ACM SIGPLAN Notices
51
ACM
400–415
10.1145/2837614.2837650
Ronald Fagin
Joseph Y Halpern
Yoram Moses
Moshe Vardi
2004
Reasoning About Knowledge
MIT press
10.7551/mitpress/5803.001.0001
Robert G Gallager
2013
Stochastic Processes: Theory for Applications
Cambridge University Press
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
37–50
10.1016/j.entcs.2007.04.015
Michael JC Gordon
1989
Mechanizing Programming Logics in Higher Order Logic
Current trends in hardware verification and automated theorem proving
Springer
387–439
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
477–486
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)
2020 International Congress on Human-Computer Interaction, Optimization and Robotic Applications (HORA)
IEEE
1–7
10.1109/hora49412.2020.9152928
Osman Hasan
2008
Probabilistic Analysis Using Theorem Proving
21 st International Conference on Theorem Proving in Higher Order Logics
Citeseer
21
Osman Hasan
Sofiène Tahar
2007
Formalization of the Standard Uniform random variable
Theoretical Computer Science
382
71–83
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
295–323
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
480–504
10.1002/mma.1055
Osman Hasan
Sofiene Tahar
2010
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
International Conference on Abstract State Machines, Alloy, B and Z
Springer
2–19
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
23–40
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
Proceedings of the 25th Symposium on Operating Systems Principles
ACM
1–17
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
83–92
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
9–32
10.1007/s11277-019-06842-9
Günter Last
Mathew Penrose
2017
Lectures on the Poisson Process
7
Cambridge University Press
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
2013 Aviation Technology, Integration, and Operations Conference
10.2514/6.2013-4308
K. Rustan M. Leino
2010
Dafny: An Automatic Program Verifier for Functional Correctness
International Conference on Logic for Programming Artificial Intelligence and Reasoning
Springer
348–370
10.1007/978-3-642-17511-4_20
Alberto Leon-Garcia
1994
Probability and Random Processes for Electrical Engineering
2nd
Addison-Wesley
Reading, MA
Lester Lipsky
2009
M/M/1 Queue
Queueing Theory: A Linear Algebraic Approach
33–75
10.1007/978-0-387-49706-8_2
John DC Little
1961
A Proof for the Queuing Formula: L= λ W
Operations research
9
3
383–387
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
1314–1326
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
673–687
10.1016/j.ast.2004.06.008
Dahlia Malkhi
Leslie Lamport
Lidong Zhou
2008
Stoppable Paxos
Technical Report
Microsoft Research
Maria Manzano
1996
Extensions of First-Order Logic
Cambridge University Press
Kenneth L McMillan
Oded Padon
2018
Deductive Verification in Decidable Fragments with Ivy
Static Analysis
Springer
43–55
10.1007/978-3-319-99725-4_4
Ronald Meester
Klaas Slooten
2021
Some Philosophy of Probability, Statistics, and Forensic Science
129
Cambridge University Press
10.1017/9781108596176.002
Tarek Mhamdi
Osman Hasan
Sofiène Tahar
2010
On the Formalization of the Lebesgue Integration Theory in HOL
International Conference on Interactive Theorem Proving
Springer
387–402
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
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
12–22
10.1109/mwc.2009.5361174
David R. Musser
Carlos A. Varela
2013
Structured Reasoning About Actor Systems
Proceedings of the 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control
AGERE!
ACM
New York, NY, USA
37–48
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
614–630
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
Proceedings of the 13th NASA Formal Methods Symposium (NFM 2021)
249–267
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
Dynamic Data-Driven Application Systems
245–252
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
The 38th AIAA/IEEE Digital Avionics Systems Conference
San Diego, CA
1–10
10.1109/dasc43569.2019.9081658
Saswata Paul
Stacy Patterson
Carlos A. Varela
2020
Collaborative Situational Awareness for Conflict-Aware Flight Planning
The 39th IEEE/AIAA Digital Avionics Systems Conference
1–10
10.1109/dasc50938.2020.9256620
Muhammad Qasim
2016
Formalization of Normal Random Variables
Concordia University
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
3023–3031
10.1109/tcomm.2012.081512.110535
Yang Wang
Yiyuan J Zhao
2006
Fundamental Issues in Systematic Design of Airborne Networks for Aviation
2006 IEEE Aerospace Conference
IEEE
8–pp
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
2011 IEEE International Conference on Computer Science and Automation Engineering
1
IEEE
289–294
10.1109/csae.2011.5953224
David Wing
William Cotton
2011
For Spacious Skies: Self-Separation with "Autonomous Flight Rules" in US Domestic Airspace
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
1–36
10.5555/3065491.3065655
Shouyi Yin
Xiaokang Lin
2004
MALB: MANET Adaptive Load Balancing
IEEE 60th Vehicular Technology Conference, 2004
4
IEEE
2843–2847
10.1109/vetecf.2004.1400578