Verification of a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Clock Synchronization
Get full text
Conference Proceeding
Journal Article
A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems
Get full text
Book Chapter
Conference Proceeding
A self-stabilizing hybrid fault-tolerant synchronization protocol
Get full text
Conference Proceeding
A Self-Stabilizing Hybrid Fault-Tolerant Synchronization Protocol
Malekpour, Mahyar R
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (07.03.2015)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (07.03.2015)
Conference Proceeding
Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs
Malekpour, Mahyar R
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (14.10.2012)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (14.10.2012)
Conference Proceeding
A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs
Malekpour, Mahyar R
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (12.12.2011)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (12.12.2011)
Conference Proceeding
Model checking a self-stabilizing synchronization protocol for arbitrary digraphs
Malekpour, M. R.
Published in 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) (01.10.2012)
Published in 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) (01.10.2012)
Get full text
Conference Proceeding
Aircraft Classification Using Radar from Small Unmanned Aerial Systems for Scalable Traffic Management Emergency Response Operations
Dolph, Chester V, Szatkowski, George N, Holbrook, Henry, Morris, Chris M, Ticatch, Larry A, Malekpour, Mahyar R, McSwain, Robert G
Published in AIAA Aviation 2021 (02.09.2021)
Get full text
Published in AIAA Aviation 2021 (02.09.2021)
Web Resource
Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs
Malekpour, M. R.
Published in 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) (01.10.2012)
Published in 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) (01.10.2012)
Get full text
Conference Proceeding