Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Lohstroh M, Bateni S, Menard C, Schulz-Rosengarten A, Castrillon J and Lee E. (2024). Deterministic Coordination across Multiple Timelines. ACM Transactions on Embedded Computing Systems. 23:5. (1-29). Online publication date: 30-Sep-2024.

    https://doi.org/10.1145/3615357

  • Zou Y, Yang L, Jing G, Zhang R, Xie Z, Li H and Yu D. (2024). A survey of fault tolerant consensus in wireless networks. High-Confidence Computing. 10.1016/j.hcc.2024.100202. 4:2. (100202). Online publication date: 1-Jun-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S2667295224000059

  • McColl M, McColl C, Pereira A, de Souza P, Tuxworth G and Hexel R. (2024). Continuous Formal Verification for Aerospace Applications 2024 IEEE Aerospace Conference. 10.1109/AERO58975.2024.10521386. 979-8-3503-0462-6. (1-19).

    https://ieeexplore.ieee.org/document/10521386/

  • Lee E, Akella R, Bateni S, Lin S, Lohstroh M and Menard C. (2023). Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 22:5s. (1-24). Online publication date: 31-Oct-2023.

    https://doi.org/10.1145/3609119

  • McColl M, McColl C and Hexel R. Automatic Verification of High-Level Executable Models Running on FPGAs. Automated Technology for Verification and Analysis. (217-234).

    https://doi.org/10.1007/978-3-031-45332-8_11

  • Bateni S, Lohstroh M, Wong H, Kim H, Lin S, Menard C and Lee E. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design. (1-11).

    https://doi.org/10.1145/3610579.3613219

  • Lee E, Bateni S, Lin S, Lohstroh M and Menard C. (2023). Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems. Intelligent Computing. 10.34133/icomputing.0013. 2. Online publication date: 1-Jan-2023.

    https://spj.science.org/doi/10.34133/icomputing.0013

  • Hammi B, Zeadally S, Adja Y, Giudice M and Nebhen J. Blockchain-Based Solution for Detecting and Preventing Fake Check Scams. IEEE Transactions on Engineering Management. 10.1109/TEM.2021.3087112. 69:6. (3710-3725).

    https://ieeexplore.ieee.org/document/9469218/

  • Drakatos P, Koutrouli E and Tsalgatidou A. (2022). Adrestus: Secure, scalable blockchain technology in a decentralized ledger via zones. Blockchain: Research and Applications. 10.1016/j.bcra.2022.100093. 3:4. (100093). Online publication date: 1-Dec-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S2096720922000343

  • Duan S and Zhang H. (2022). Foundations of Dynamic BFT 2022 IEEE Symposium on Security and Privacy (SP). 10.1109/SP46214.2022.9833787. 978-1-6654-1316-9. (1317-1334).

    https://ieeexplore.ieee.org/document/9833787/

  • Dolev S and Liber M. (2022). Towards self-stabilizing blockchain, reconstructing totally erased blockchain. Information and Computation. 10.1016/j.ic.2022.104881. 285. (104881). Online publication date: 1-May-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S0890540122000232

  • Singh J, Kumawat A and Venkatesan S. (2022). Improved Byzantine fault tolerance with fast consensus. Concurrency and Computation: Practice and Experience. 10.1002/cpe.6813. 34:10. Online publication date: 1-May-2022.

    https://onlinelibrary.wiley.com/doi/10.1002/cpe.6813

  • Chen R, Wang L, Zhu R and Du Z. (2022). An Improved Practical Byzantine Fault Tolerance Algorithm Based on Vague Sets and Random Numbers 2022 7th International Conference on Intelligent Computing and Signal Processing (ICSP). 10.1109/ICSP54964.2022.9778701. 978-1-6654-7857-1. (151-155).

    https://ieeexplore.ieee.org/document/9778701/

  • Liu B, Yang M, Wang Y, Yuan L, Liu C, Xu J, Yu D, Hu H and Feng D. (2022). A lightweight data-voting strategy for triple-modular redundant control computers. Science China Technological Sciences. 10.1007/s11431-021-1928-0.

    https://link.springer.com/10.1007/s11431-021-1928-0

  • Mast K. (2022). Building Protocols for Scalable Decentralized Applications. Handbook on Blockchain. 10.1007/978-3-031-07535-3_7. (215-255).

    https://link.springer.com/10.1007/978-3-031-07535-3_7

  • Lee E and Lohstroh M. Time for All Programs, Not Just Real-Time Programs. Leveraging Applications of Formal Methods, Verification and Validation. (213-232).

    https://doi.org/10.1007/978-3-030-89159-6_15

  • Goren G and Moses Y. (2021). Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Computing. 34:5. (395-410). Online publication date: 1-Oct-2021.

    https://doi.org/10.1007/s00446-021-00393-8

  • Tan H and Golab W. Optimizing All-to-All Data Transmission in WANs. IEEE Transactions on Network and Service Management. 10.1109/TNSM.2021.3071025. 18:3. (3677-3690).

    https://ieeexplore.ieee.org/document/9395173/

  • Konczak J and Wojciechowski P. (2021). Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication 2021 40th International Symposium on Reliable Distributed Systems (SRDS). 10.1109/SRDS53918.2021.00018. 978-1-6654-3819-3. (88-98).

    https://ieeexplore.ieee.org/document/9603642/

  • Li B, Zuo G, Bai W and Zhang L. 1Pipe. Proceedings of the 2021 ACM SIGCOMM 2021 Conference. (78-92).

    https://doi.org/10.1145/3452296.3472909

  • Asharina I. (2021). Clock synchronization in distributed multicomputer systems. Part II. Engineering Journal: Science and Innovation. 10.18698/2308-6033-2021-5-2081:5 (113).

    http://engjournal.ru/eng/catalog/arse/itae/2081.html

  • Majeed U, Khan L, Yaqoob I, Kazmi S, Salah K and Hong C. (2021). Blockchain for IoT-based smart cities: Recent advances, requirements, and future challenges. Journal of Network and Computer Applications. 10.1016/j.jnca.2021.103007. 181. (103007). Online publication date: 1-May-2021.

    https://linkinghub.elsevier.com/retrieve/pii/S1084804521000345

  • Asharina I. (2021). Clock synchronization in distributed multicomputer systems. Part I. Engineering Journal: Science and Innovation. 10.18698/2308-6033-2021-4-2074:4 (112).

    http://engjournal.ru/eng/catalog/arse/itae/2074.html

  • Lohstroh M, Menard C, Schulz-Rosengarten A, Weber M, Castrillon J and Lee E. (2020). A Language for Deterministic Coordination Across Multiple Timelines 2020 Forum for Specification and Design Languages (FDL). 10.1109/FDL50818.2020.9232939. 978-1-7281-8928-4. (1-8).

    https://ieeexplore.ieee.org/document/9232939/

  • Goren G and Moses Y. Brief Announcement: On Using Null Messages in a Byzantine Setting. Proceedings of the 39th Symposium on Principles of Distributed Computing. (405-407).

    https://doi.org/10.1145/3382734.3405717

  • Tan H and Golab W. (2020). Optimizing All-to-All Data Transmission in WANs 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). 10.1109/ICBC48266.2020.9169394. 978-1-7281-6680-3. (1-9).

    https://ieeexplore.ieee.org/document/9169394/

  • Goren G and Moses Y. (2020). Silence. Journal of the ACM. 67:1. (1-26). Online publication date: 5-Apr-2020.

    https://doi.org/10.1145/3377883

  • Xiao Y, Zhang N, Lou W and Hou Y. A Survey of Distributed Consensus Protocols for Blockchain Networks. IEEE Communications Surveys & Tutorials. 10.1109/COMST.2020.2969706. 22:2. (1432-1465).

    https://ieeexplore.ieee.org/document/8972381/

  • Dolev S and Liber M. (2020). Toward Self-stabilizing Blockchain, Reconstructing Totally Erased Blockchain (Preliminary Version). Cyber Security Cryptography and Machine Learning. 10.1007/978-3-030-49785-9_12. (175-192).

    http://link.springer.com/10.1007/978-3-030-49785-9_12

  • Lamport L. The part-time parliament. Concurrency. (277-317).

    https://doi.org/10.1145/3335772.3335939

  • Jiang Y and Lian Z. (2019). Scalable Efficient Byzantine Fault Tolerance 2019 IEEE 3rd Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC). 10.1109/IMCEC46724.2019.8983827. 978-1-7281-0513-0. (1736-1742).

    https://ieeexplore.ieee.org/document/8983827/

  • Jalalzai M, Busch C and Richard G. (2019). Proteus: A Scalable BFT Consensus Protocol for Blockchains 2019 IEEE International Conference on Blockchain (Blockchain). 10.1109/Blockchain.2019.00048. 978-1-7281-4693-5. (308-313).

    https://ieeexplore.ieee.org/document/8946203/

  • Jiang Y and Lian Z. (2019). High Performance and Scalable Byzantine Fault Tolerance 2019 IEEE 3rd Information Technology, Networking, Electronic and Automation Control Conference (ITNEC). 10.1109/ITNEC.2019.8728972. 978-1-5386-6243-4. (1195-1202).

    https://ieeexplore.ieee.org/document/8728972/

  • Zieliński C, Figat M and Hexel R. (2019). Communication Within Multi-FSM Based Robotic Systems. Journal of Intelligent and Robotic Systems. 93:3-4. (787-805). Online publication date: 1-Mar-2019.

    https://doi.org/10.1007/s10846-018-0869-6

  • Stifter N, Judmayer A and Weippl E. (2019). Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies. Security and Quality in Cyber-Physical Systems Engineering. 10.1007/978-3-030-25312-7_17. (471-495).

    http://link.springer.com/10.1007/978-3-030-25312-7_17

  • Estivill-Castro V, Hexel R and McColl M. (2018). High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs 2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig). 10.1109/RECONFIG.2018.8641710. 978-1-7281-1968-7. (1-8).

    https://ieeexplore.ieee.org/document/8641710/

  • Duan S, Reiter M and Zhang H. BEAT. Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. (2028-2041).

    https://doi.org/10.1145/3243734.3243812

  • INTERLANDI M and TANCA L. (2018). A datalog-based computational model for coordination-free, data-parallel systems. Theory and Practice of Logic Programming. 10.1017/S147106841800042X. 18:5-6. (874-927). Online publication date: 1-Sep-2018.

    https://www.cambridge.org/core/product/identifier/S147106841800042X/type/journal_article

  • Goren G and Moses Y. Silence. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. (285-294).

    https://doi.org/10.1145/3212734.3212768

  • Kobus T, Kokociński M and Wojciechowski P. (2018). Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined. IEEE Transactions on Parallel and Distributed Systems. 29:7. (1499-1514). Online publication date: 1-Jul-2018.

    https://doi.org/10.1109/TPDS.2018.2796079

  • Jalalzai M and Busch C. (2018). Window Based BFT Blockchain Consensus 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 10.1109/Cybermatics_2018.2018.00184. 978-1-5386-7975-3. (971-979).

    https://ieeexplore.ieee.org/document/8726602/

  • Hao X, Yu L, Zhiqiang L, Zhen L and Dawu G. (2018). Dynamic Practical Byzantine Fault Tolerance 2018 IEEE Conference on Communications and Network Security (CNS). 10.1109/CNS.2018.8433150. 978-1-5386-4586-4. (1-8).

    https://ieeexplore.ieee.org/document/8433150/

  • Estivill-Castro V and Hexel R. (2018). Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. Model-Driven Engineering and Software Development. 10.1007/978-3-319-94764-8_6. (119-144).

    http://link.springer.com/10.1007/978-3-319-94764-8_6

  • Lee E. (2018). Models of Timed Systems. Formal Modeling and Analysis of Timed Systems. 10.1007/978-3-030-00151-3_2. (17-33).

    http://link.springer.com/10.1007/978-3-030-00151-3_2

  • Dan A, Manohar R and Moses Y. On Using Time Without Clocks via Zigzag Causality. Proceedings of the ACM Symposium on Principles of Distributed Computing. (241-250).

    https://doi.org/10.1145/3087801.3087839

  • Judmayer A, Stifter N, Krombholz K and Weippl E. (2017). Blocks and Chains: Introduction to Bitcoin, Cryptocurrencies, and Their Consensus Mechanisms. Synthesis Lectures on Information Security, Privacy, and Trust. 10.2200/S00773ED1V01Y201704SPT020. 9:1. (1-123). Online publication date: 20-Jun-2017.

    http://www.morganclaypool.com/doi/10.2200/S00773ED1V01Y201704SPT020

  • Duan S, Reiter M and Zhang H. (2017). Secure Causal Atomic Broadcast, Revisited 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 10.1109/DSN.2017.64. 978-1-5386-0542-4. (61-72).

    http://ieeexplore.ieee.org/document/8023111/

  • (2017). Bibliography. Distributed Systems. 10.1016/B978-1-78548-226-7.50013-6. (149-156).

    https://linkinghub.elsevier.com/retrieve/pii/B9781785482267500136

  • Mizrahi T, Saat E and Moses Y. (2016). Timed Consistent Network Updates in Software-Defined Networks. IEEE/ACM Transactions on Networking. 24:6. (3412-3425). Online publication date: 1-Dec-2016.

    https://doi.org/10.1109/TNET.2016.2529058

  • Estivill-Castro V and Hexel R. (2016). Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR). 10.1109/SIMPAR.2016.7862408. 978-1-5090-4616-4. (281-288).

    http://ieeexplore.ieee.org/document/7862408/

  • Gates A, Thiry H and Hug S. (2016). Reflections. ACM Inroads. 7:4. (69-73). Online publication date: 21-Nov-2016.

    https://doi.org/10.1145/3010823

  • Bobb K. (2016). Broadening Participation in Computing. ACM Inroads. 7:4. (49-51). Online publication date: 21-Nov-2016.

    https://doi.org/10.1145/2972954

  • Wang S, Zhou A, Lei W, Yu Z, Hsu C and Yang F. (2016). Enhanced User Context-Aware Reputation Measurement of Multimedia Service. ACM Transactions on Multimedia Computing, Communications, and Applications. 12:4s. (1-18). Online publication date: 18-Nov-2016.

    https://doi.org/10.1145/2978569

  • Cheung M and She J. (2016). Evaluating the Privacy Risk of User-Shared Images. ACM Transactions on Multimedia Computing, Communications, and Applications. 12:4s. (1-21). Online publication date: 18-Nov-2016.

    https://doi.org/10.1145/2978568

  • Duan S and Zhang H. (2016). Practical State Machine Replication with Confidentiality 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS). 10.1109/SRDS.2016.031. 978-1-5090-3513-7. (187-196).

    http://ieeexplore.ieee.org/document/7794343/

  • Pilman M, Kaufmann M, Köhl F, Kossmann D and Profeta D. ParTime. Proceedings of the 2016 International Conference on Management of Data. (999-1010).

    https://doi.org/10.1145/2882903.2903732

  • Eyal I, Gencer A, Sirer E and Van Renesse R. Bitcoin-NG. Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation. (45-59).

    /doi/10.5555/2930611.2930615

  • Cotard S, Queudet A, Béchennec J, Faucou S and Trinquet Y. (2015). STM-HRT. ACM Transactions on Embedded Computing Systems. 14:4. (1-25). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2786979

  • Zhao Q, Gu Z and Zeng H. (2015). Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. ACM Transactions on Embedded Computing Systems. 14:4. (1-25). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2783440

  • Mihajlović B, Žilić Ž and Gross W. (2015). Architecture-Aware Real-Time Compression of Execution Traces. ACM Transactions on Embedded Computing Systems. 14:4. (1-24). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2766449

  • Knapik M, Męski A and Penczek W. (2015). Action Synthesis for Branching Time Logic. ACM Transactions on Embedded Computing Systems. 14:4. (1-23). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2746337

  • Bujtor F and Vogler W. (2015). Failure Semantics for Modal Transition Systems. ACM Transactions on Embedded Computing Systems. 14:4. (1-30). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2746336

  • Li G, Zhang Y and Li J. (2015). Crenel-Interval-Based Dynamic Power Management for Periodic Real-Time Systems. ACM Transactions on Embedded Computing Systems. 14:4. (1-32). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2744197

  • Bak S, Huang Z, Abad F and Caccamo M. (2015). Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Transactions on Embedded Computing Systems. 14:4. (1-22). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2739046

  • Lu J, Bai K and Shrivastava A. (2015). Efficient Code Assignment Techniques for Local Memory on Software Managed Multicores. ACM Transactions on Embedded Computing Systems. 14:4. (1-24). Online publication date: 8-Dec-2015.

    https://doi.org/10.1145/2738039

  • Paris J and Long D. Reducing the Energy Footprint of a Distributed Consensus Algorithm. Proceedings of the 2015 11th European Dependable Computing Conference (EDCC). (198-204).

    https://doi.org/10.1109/EDCC.2015.25

  • Bushkov V and Guerraoui R. Safety-Liveness Exclusion in Distributed Computing. Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. (227-236).

    https://doi.org/10.1145/2767386.2767401

  • Mizrahi T, Saat E and Moses Y. Timed consistent network updates. Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research. (1-14).

    https://doi.org/10.1145/2774993.2775001

  • Stewart G, Gowda M, Mainland G, Radunovic B, Vytiniotis D and Agullo C. (2015). Ziria. ACM SIGPLAN Notices. 50:4. (415-428). Online publication date: 12-May-2015.

    https://doi.org/10.1145/2775054.2694368

  • Tan Z, Qian Z, Chen X, Asanovic K and Patterson D. (2015). DIABLO. ACM SIGPLAN Notices. 50:4. (207-221). Online publication date: 12-May-2015.

    https://doi.org/10.1145/2775054.2694362

  • Yetim Y, Malik S and Martonosi M. (2015). CommGuard. ACM SIGPLAN Notices. 50:4. (311-323). Online publication date: 12-May-2015.

    https://doi.org/10.1145/2775054.2694354

  • Sujit P, Manathara J, Ghose D and de Sousa J. (2015). Decentralized Multi-UAV Coalition Formation with Limited Communication Ranges. Handbook of Unmanned Aerial Vehicles. 10.1007/978-90-481-9707-1_29. (2021-2048).

    https://link.springer.com/10.1007/978-90-481-9707-1_29

  • Estivill-Castro V, Hexel R and Lusty C. High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. Proceedings of the 4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots - Volume 8810. (182-194).

    https://doi.org/10.1007/978-3-319-11900-7_16

  • A framework for high-assurance quasi-synchronous systems. Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign. (72-83).

    https://doi.org/10.1109/MEMCOD.2014.6961845

  • Reddy C and Nalini N. (2014). FT2R2Cloud: Fault tolerance using time-out and retransmission of requests for cloud applications 2014 International Conference on Advances in Electronics, Computers and Communications (ICAECC). 10.1109/ICAECC.2014.7002396. 978-1-4799-5496-4. (1-4).

    http://ieeexplore.ieee.org/document/7002396/

  • Chan T and Ning L. (2014). Fast Convergence for Consensus in Dynamic Networks. ACM Transactions on Algorithms. 10:3. (1-15). Online publication date: 1-Jun-2014.

    https://doi.org/10.1145/2601072

  • Fakcharoenphol J, Laekhanukit B and Nanongkai D. (2014). Faster Algorithms for Semi-Matching Problems. ACM Transactions on Algorithms. 10:3. (1-23). Online publication date: 1-Jun-2014.

    https://doi.org/10.1145/2601071

  • Demaine E, Hajiaghayi M and Klein P. (2014). Node-Weighted Steiner Tree and Group Steiner Tree in Planar Graphs. ACM Transactions on Algorithms. 10:3. (1-20). Online publication date: 1-Jun-2014.

    https://doi.org/10.1145/2601070

  • Guerraoui R. (2014). Distributed Algorithms. Computing Handbook, Third Edition. 10.1201/b16812-19. (1-16). Online publication date: 14-May-2014.

    http://www.crcnetbase.com/doi/abs/10.1201/b16812-19

  • Amano S, David C, Libkin L and Murlak F. (2014). XML Schema Mappings. Journal of the ACM. 61:2. (1-48). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2590773

  • Brotherston J and Kanovich M. (2014). Undecidability of Propositional Separation Logic and Its Neighbours. Journal of the ACM. 61:2. (1-43). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2542667

  • Ben-Zvi I and Moses Y. (2014). Beyond Lamport's Happened-before. Journal of the ACM. 61:2. (1-26). Online publication date: 1-Apr-2014.

    https://doi.org/10.1145/2542181

  • Duan S, Meling H, Peisert S and Zhang H. (2014). BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. Principles of Distributed Systems. 10.1007/978-3-319-14472-6_7. (91-106).

    http://link.springer.com/10.1007/978-3-319-14472-6_7

  • Birman K and Sohn H. Hosting dynamic data in the cloud with Isis2 and the Ida DHT. Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems. (1-15).

    https://doi.org/10.1145/2524211.2524212

  • Lenzen C, Függer M, Hofstätter M and Schmid U. Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. Proceedings of the 2013 Euromicro Conference on Digital System Design. (142-151).

    https://doi.org/10.1109/DSD.2013.97

  • Mizrahi T and Moses Y. Time-based updates in software defined networks. Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking. (163-164).

    https://doi.org/10.1145/2491185.2491214

  • Kobus T, Kokocinski M and Wojciechowski P. Hybrid Replication. Proceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems. (286-296).

    https://doi.org/10.1109/ICDCS.2013.30

  • Ladopoulos E. (2013). Non-linear real-time expert water management telematics system for leaks control. Water Resources. 10.1134/S0097807813040076. 40:4. (476-482). Online publication date: 1-Jul-2013.

    http://link.springer.com/10.1134/S0097807813040076

  • Wang Na , Liu DongQian and He KangLi . (2013). A formal description for protocols in WSN based on STeC language 2013 8th International Conference on Computer Science & Education (ICCSE). 10.1109/ICCSE.2013.6554043. 978-1-4673-4463-0. (921-924).

    http://ieeexplore.ieee.org/document/6554043/

  • Ding Y, Wang J and Srimani P. Churn Tolerance Algorithm for State Machine Replication. Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02. (356-360).

    https://doi.org/10.1109/WI-IAT.2012.16

  • Wang N and He H. Time Synchronization for Failure Tolerance in Wireless Sensor Network. Proceedings of the 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. (181-184).

    https://doi.org/10.1109/SNPD.2012.29

  • Rieger C and Villez K. (2012). Resilient control system execution agent (ReCoSEA) 2012 5th International Symposium on Resilient Control Systems (ISRCS). 10.1109/ISRCS.2012.6309308. 978-1-4673-0163-3. (143-148).

    http://ieeexplore.ieee.org/document/6309308/

  • Wang N and Pang Y. (2012). Time synchronization for wireless sensor network based on major clock 2012 7th International Conference on Computer Science & Education (ICCSE 2012). 10.1109/ICCSE.2012.6295077. 978-1-4673-0242-5. (295-298).

    http://ieeexplore.ieee.org/document/6295077/

  • Birman K. (2012). The Way of the Cloud. Guide to Reliable Distributed Systems. 10.1007/978-1-4471-2416-0_2. (45-67).

    http://link.springer.com/10.1007/978-1-4471-2416-0_2

  • Birman K. (2012). Clock Synchronization and Synchronous Systems. Guide to Reliable Distributed Systems. 10.1007/978-1-4471-2416-0_19. (571-586).

    https://link.springer.com/10.1007/978-1-4471-2416-0_19

  • Birman K. (2012). The Virtual Synchrony Execution Model. Guide to Reliable Distributed Systems. 10.1007/978-1-4471-2416-0_14. (419-455).

    https://link.springer.com/10.1007/978-1-4471-2416-0_14

  • Birman K. (2012). Group Communication Systems. Guide to Reliable Distributed Systems. 10.1007/978-1-4471-2416-0_12. (369-405).

    https://link.springer.com/10.1007/978-1-4471-2416-0_12

  • Birman K. (2012). Overcoming Failures in a Distributed System. Guide to Reliable Distributed Systems. 10.1007/978-1-4471-2416-0_10. (301-337).

    https://link.springer.com/10.1007/978-1-4471-2416-0_10

  • Ben-Zvi I and Moses Y. (2012). On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics. 10.3166/jancl.21.323-354. 21:3-4. (323-354). Online publication date: 1-Jan-2011.

    https://www.tandfonline.com/doi/full/10.3166/jancl.21.323-354

  • Ben-Zvi I and Moses Y. (2010). Causality in synchronous systems Electronics Engineers in Israel (IEEEI 2010). 10.1109/EEEI.2010.5662143. 978-1-4244-8681-6. (000040-000044).

    http://ieeexplore.ieee.org/document/5662143/

  • Garg V. Implementing fault-tolerant services using state machines. Proceedings of the 24th international conference on Distributed computing. (450-464).

    /doi/10.5555/1888781.1888839

  • Impagliazzo R and Williams R. Communication Complexity with Synchronized Clocks. Proceedings of the 2010 IEEE 25th Annual Conference on Computational Complexity. (259-269).

    https://doi.org/10.1109/CCC.2010.32

  • George J, Pinto J, Sujit P and Sousa J. Multiple UAV coalition formation strategies. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1. (1503-1504).

    /doi/10.5555/1838206.1838452

  • Sen S, Lloyd W and Freedman M. Prophecy. Proceedings of the 7th USENIX conference on Networked systems design and implementation. (23-23).

    /doi/10.5555/1855711.1855734

  • Lamport L, Malkhi D and Zhou L. (2010). Reconfiguring a state machine. ACM SIGACT News. 41:1. (63-73). Online publication date: 1-Mar-2010.

    https://doi.org/10.1145/1753171.1753191

  • Birman K. A history of the virtual synchrony replication model. Replication. (91-120).

    /doi/10.5555/2172338.2172344

  • van Renesse R and Guerraoui R. Replication techniques for availability. Replication. (19-40).

    /doi/10.5555/2172338.2172340

  • Garg V. (2010). Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. Distributed Computing. 10.1007/978-3-642-15763-9_44. (450-464).

    http://link.springer.com/10.1007/978-3-642-15763-9_44

  • Birman K. (2010). A History of the Virtual Synchrony Replication Model. Replication. 10.1007/978-3-642-11294-2_6. (91-120).

    http://link.springer.com/10.1007/978-3-642-11294-2_6

  • van Renesse R and Guerraoui R. (2010). Replication Techniques for Availability. Replication. 10.1007/978-3-642-11294-2_2. (19-40).

    http://link.springer.com/10.1007/978-3-642-11294-2_2

  • Kotla R, Alvisi L, Dahlin M, Clement A and Wong E. (2010). Zyzzyva. ACM Transactions on Computer Systems. 27:4. (1-39). Online publication date: 1-Dec-2009.

    https://doi.org/10.1145/1658357.1658358

  • Obermaisser R and Huber B. The GENESYS Architecture. Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems. (296-307).

    https://doi.org/10.1007/978-3-642-10265-3_27

  • Fuchs G, Függer M and Steininger A. On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme. Proceedings of the 2009 15th IEEE Symposium on Asynchronous Circuits and Systems (async 2009). (127-136).

    https://doi.org/10.1109/ASYNC.2009.15

  • Cameron R and Lin D. (2009). Architectural support for SWAR text processing with parallel bit streams. ACM SIGARCH Computer Architecture News. 37:1. (337-348). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508283

  • Ramani K, Gribble C and Davis A. (2009). StreamRay. ACM SIGARCH Computer Architecture News. 37:1. (325-336). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508282

  • Burcea I and Moshovos A. (2009). Phantom-BTB. ACM SIGARCH Computer Architecture News. 37:1. (313-324). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508281

  • Rajamani S, Ramalingam G, Ranganath V and Vaswani K. (2009). ISOLATOR. ACM SIGARCH Computer Architecture News. 37:1. (181-192). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508266

  • Montesinos P, Hicks M, King S and Torrellas J. (2009). Capo. ACM SIGARCH Computer Architecture News. 37:1. (73-84). Online publication date: 1-Mar-2009.

    https://doi.org/10.1145/2528521.1508254

  • Yang Z, Yang Y, Gu Y and Gay R. Isochronous Distributed Multimedia Synchronization. Encyclopedia of Information Science and Technology, Second Edition. 10.4018/978-1-60566-026-4.ch358. (2260-2265).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-026-4.ch358

  • Morgan G. (2009). Chapter 3 Highly Interactive Scalable Online Worlds. Social Networking and The Web. 10.1016/S0065-2458(09)01003-1. (75-120).

    https://linkinghub.elsevier.com/retrieve/pii/S0065245809010031

  • Krasnogor N. (2008). An unorthodox introduction to Memetic Algorithms. ACM SIGEVOlution. 3:4. (6-15). Online publication date: 31-Dec-2009.

    https://doi.org/10.1145/1621943.1621945

  • Kotla R, Clement A, Wong E, Alvisi L and Dahlin M. (2008). Zyzzyva. Communications of the ACM. 51:11. (86-95). Online publication date: 1-Nov-2008.

    https://doi.org/10.1145/1400214.1400236

  • Ho C, van Renesse R, Bickford M and Dolev D. Nysiad. Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation. (175-188).

    /doi/10.5555/1387589.1387602

  • Engelmann C, Scott S, Leangsuksun C and He X. Symmetric Active/Active Replication for Dependent Services. Proceedings of the 2008 Third International Conference on Availability, Reliability and Security. (260-267).

    https://doi.org/10.1109/ARES.2008.64

  • Corin R, Etalle S, Hartel P and Mader A. (2007). Timed analysis of security protocols. Journal of Computer Security. 15:6. (619-645). Online publication date: 1-Dec-2007.

    /doi/10.5555/1370677.1370679

  • Haeberlen A, Kouznetsov P and Druschel P. (2007). PeerReview. ACM SIGOPS Operating Systems Review. 41:6. (175-188). Online publication date: 14-Oct-2007.

    https://doi.org/10.1145/1323293.1294279

  • Haeberlen A, Kouznetsov P and Druschel P. PeerReview. Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles. (175-188).

    https://doi.org/10.1145/1294261.1294279

  • Haeberlen A, Kouznetsov P and Druschel P. The case for byzantine fault detection. Proceedings of the Second conference on Hot topics in system dependability. (5-5).

    /doi/10.5555/1973416.1973421

  • Haeberlen A, Kouznetsov P and Druschel P. The case for Byzantine fault detection. Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2. (5-5).

    /doi/10.5555/1251014.1251019

  • Zhao W, Zhang L, Liu Y, Sun J and Yang F. (2006). SNIAFL. ACM Transactions on Software Engineering and Methodology. 15:2. (195-226). Online publication date: 1-Apr-2006.

    https://doi.org/10.1145/1131421.1131424

  • Fisher M, Rothermel G, Brown D, Cao M, Cook C and Burnett M. (2006). Integrating automated test generation into the WYSIWYT spreadsheet testing methodology. ACM Transactions on Software Engineering and Methodology. 15:2. (150-194). Online publication date: 1-Apr-2006.

    https://doi.org/10.1145/1131421.1131423

  • Counsell S, Swift S and Crampton J. (2006). The interpretation and utility of three cohesion metrics for object-oriented design. ACM Transactions on Software Engineering and Methodology. 15:2. (123-149). Online publication date: 1-Apr-2006.

    https://doi.org/10.1145/1131421.1131422

  • Rosset V, Souto P and Vasques F. (2006). A group membership protocol for communication systems with both static and dynamic scheduling 2006 IEEE International Workshop on Factory Communication Systems. 10.1109/WFCS.2006.1704119. 1-4244-0379-0. (22-31).

    http://ieeexplore.ieee.org/document/1704119/

  • Bhavanasi C and Iyer S. M2MC: Middleware for Many to Many Communication over broadcast networks 2006 1st International Conference on Communication Systems Software & Middleware. 10.1109/COMSWA.2006.1665189. 0-7803-9575-1. (1-10).

    http://ieeexplore.ieee.org/document/1665189/

  • Chung K, Yu H and Park S. Garbage collection in a causal message logging protocol. Proceedings of the First international conference on High Performance Computing and Communications. (123-132).

    https://doi.org/10.1007/11557654_18

  • Clock Synchronization and Synchronous Systems. Reliable Distributed Systems. 10.1007/0-387-27601-7_23. (493-508).

    http://link.springer.com/10.1007/0-387-27601-7_23

  • Group Communication Systems. Reliable Distributed Systems. 10.1007/0-387-27601-7_16. (303-339).

    http://link.springer.com/10.1007/0-387-27601-7_16

  • Overcoming Failures in a Distributed System. Reliable Distributed Systems. 10.1007/0-387-27601-7_14. (247-275).

    http://link.springer.com/10.1007/0-387-27601-7_14

  • Fundamentals. Reliable Distributed Systems. 10.1007/0-387-27601-7_1. (3-23).

    http://link.springer.com/10.1007/0-387-27601-7_1

  • Dunagan J, Harvey N, Jones M, Kostić D, Theimer M and Wolman A. FUSE. Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation - Volume 6. (11-11).

    /doi/10.5555/1251254.1251265

  • Bar-Yehuda R, Bendel K, Freund A and Rawitz D. (2004). Local ratio. ACM Computing Surveys. 36:4. (422-463). Online publication date: 1-Dec-2004.

    https://doi.org/10.1145/1041680.1041683

  • Défago X, Schiper A and Urbán P. (2004). Total order broadcast and multicast algorithms. ACM Computing Surveys. 36:4. (372-421). Online publication date: 1-Dec-2004.

    https://doi.org/10.1145/1041680.1041682

  • Corin R, Etalle S, Hartel P and Mader A. Timed model checking of security protocols. Proceedings of the 2004 ACM workshop on Formal methods in security engineering. (23-32).

    https://doi.org/10.1145/1029133.1029137

  • Cockshott P. (2004). Array languages and the challenge of modern computer architecture. ACM SIGAPL APL Quote Quad. 34:3. (13-19). Online publication date: 1-Jun-2004.

    https://doi.org/10.1145/1127556.1127558

  • Reiter C. (2004). With J. ACM SIGAPL APL Quote Quad. 34:3. (3-12). Online publication date: 1-Jun-2004.

    https://doi.org/10.1145/1127556.1127557

  • Zhang F and Chanson S. (2004). Blocking-aware processor voltage scheduling for real-time tasks. ACM Transactions on Embedded Computing Systems. 3:2. (307-335). Online publication date: 1-May-2004.

    https://doi.org/10.1145/993396.993401

  • Mejia-Alvarez P, Levner E and Mossé D. (2004). Adaptive scheduling server for power-aware real-time tasks. ACM Transactions on Embedded Computing Systems. 3:2. (284-306). Online publication date: 1-May-2004.

    https://doi.org/10.1145/993396.993400

  • Robertson I and Irvine J. (2004). A design flow for partially reconfigurable hardware. ACM Transactions on Embedded Computing Systems. 3:2. (257-283). Online publication date: 1-May-2004.

    https://doi.org/10.1145/993396.993399

  • Ezhilchelvan P, Brasileiro F and Speirs N. (2004). A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. IEEE Transactions on Parallel and Distributed Systems. 15:1. (53-65). Online publication date: 1-Jan-2004.

    https://doi.org/10.1109/TPDS.2004.1264786

  • Mirabella V, Kimani S and Catarci T. (2003). A no-frills approach for accessible Web-based learning material. ACM SIGCAPH Computers and the Physically Handicapped:76. (8-9). Online publication date: 1-Jun-2003.

    https://doi.org/10.1145/1036401.1036404

  • Wegner P and Goldin D. (2003). Computation beyond turing machines. Communications of the ACM. 46:4. (100-102). Online publication date: 1-Apr-2003.

    https://doi.org/10.1145/641205.641235

  • Pan S and Lee J. (2003). Using e-CRM for a unified view of the customer. Communications of the ACM. 46:4. (95-99). Online publication date: 1-Apr-2003.

    https://doi.org/10.1145/641205.641212

  • Siau K and Shen Z. (2003). Building customer trust in mobile commerce. Communications of the ACM. 46:4. (91-94). Online publication date: 1-Apr-2003.

    https://doi.org/10.1145/641205.641211

  • Pachet F. (2003). Content management for electronic music distribution. Communications of the ACM. 46:4. (71-75). Online publication date: 1-Apr-2003.

    https://doi.org/10.1145/641205.641207

  • Schiper A. Practical impact of group communication theory. Future directions in distributed computing. (1-10).

    /doi/10.5555/1809315.1809317

  • Schiper A. (2003). Practical Impact of Group Communication Theory. Future Directions in Distributed Computing. 10.1007/3-540-37795-6_1. (1-10).

    http://link.springer.com/10.1007/3-540-37795-6_1

  • Castro M and Liskov B. (2002). Practical byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems. 20:4. (398-461). Online publication date: 1-Nov-2002.

    https://doi.org/10.1145/571637.571640

  • Elnozahy E, Alvisi L, Wang Y and Johnson D. (2002). A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys. 34:3. (375-408). Online publication date: 1-Sep-2002.

    https://doi.org/10.1145/568522.568525

  • Stoller S. (2000). Detecting global predicates in distributed systems with clocks. Distributed Computing. 13:2. (85-98). Online publication date: 1-Apr-2000.

    https://doi.org/10.1007/s004460050069

  • Yang Z, Sun C, Sattar A and Yang Y. A new look at multimedia synchronization in distributed environments 1999 International Symposium on Parallel Architecture, Algorithms and Networks. 10.1109/ISPAN.1999.778959. 0-7695-0231-8. (322-327).

    http://ieeexplore.ieee.org/document/778959/

  • Ciuffoletti A. Uniform timing of a multi-cast service Proceedings. 19th IEEE International Conference on Distributed Computing Systems. 10.1109/ICDCS.1999.776550. 0-7695-0222-9. (478-486).

    http://ieeexplore.ieee.org/document/776550/

  • Ciuffoletti A. (1999). Sharing a common time reference in a heterogeneous distributed system Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99. 10.1109/EMPDP.1999.746700. 0-7695-0059-5. (359-366).

    http://ieeexplore.ieee.org/document/746700/

  • Lamport L. (1998). The part-time parliament. ACM Transactions on Computer Systems. 16:2. (133-169). Online publication date: 1-May-1998.

    https://doi.org/10.1145/279227.279229

  • Hurfin M, Raynal M and Tronel F. A practical building block for solving agreement problems in asynchronous distributed systems 1998 IEEE International Performance, Computing and Communications Conference. Proceedings. 10.1109/PCCC.1998.659892. 0-7803-4468-5. (25-31).

    http://ieeexplore.ieee.org/document/659892/

  • Yamashita T and Ono S. A statistical method for time synchronization of computer clocks with precisely frequency-synchronized oscillators 18th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1998.679484. 0-8186-8292-2. (32-39).

    http://ieeexplore.ieee.org/document/679484/

  • Benedicenti L, Succi G and Vernazza T. (1997). From process modeling to domain modeling. ACM SIGAPP Applied Computing Review. 5:2. (28-32). Online publication date: 1-Sep-1997.

    https://doi.org/10.1145/297075.297087

  • Cardino G, Baruchelli F and Valerio A. (1997). The evaluation of framework reusability. ACM SIGAPP Applied Computing Review. 5:2. (21-27). Online publication date: 1-Sep-1997.

    https://doi.org/10.1145/297075.297085

  • Valerio A, Succi G and Fenaroli M. (1997). Domain analysis and framework-based software development. ACM SIGAPP Applied Computing Review. 5:2. (4-15). Online publication date: 1-Sep-1997.

    https://doi.org/10.1145/297075.297081

  • Alari G and Ciuffoletti A. (1997). Implementing a Probabilistic Clock Synchronization Algorithm. Real-Time Systems. 13:1. (25-46). Online publication date: 1-Jul-1997.

    https://doi.org/10.1023/A:1007900902186

  • Yamashita T and Ono S. (1997). Clock frequency synchronization using high-speed digital networks. Systems and Computers in Japan. 10.1002/(SICI)1520-684X(199705)28:5<44::AID-SCJ5>3.0.CO;2-O. 28:5. (44-51). Online publication date: 1-May-1997.

    http://doi.wiley.com/10.1002/%28SICI%291520-684X%28199705%2928%3A5%3C44%3A%3AAID-SCJ5%3E3.0.CO%3B2-O

  • Bucci G and Vicario E. (1995). Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Transactions on Software Engineering. 21:12. (969-992). Online publication date: 1-Dec-1995.

    https://doi.org/10.1109/32.489073

  • Shyu I and Shieh S. (1995). Virtual address translation for wide-address architectures. ACM SIGOPS Operating Systems Review. 29:4. (37-46). Online publication date: 1-Oct-1995.

    https://doi.org/10.1145/219282.219290

  • Zezula P, Ciaccia P and Tiberio P. (1995). Key-based partitioned bit-sliced signature file. ACM SIGIR Forum. 29:2. (20-34). Online publication date: 1-Sep-1995.

    https://doi.org/10.1145/219587.219593

  • Cristian F, Aghili H, Strong R and Dolev D. (1995). Atomic Broadcast. Information and Computation. 118:1. (158-179). Online publication date: 1-Apr-1995.

    https://doi.org/10.1006/inco.1995.1060

  • Dolev D, Halpern J, Simons B and Strong R. (1995). Dynamic fault-tolerant clock synchronization. Journal of the ACM. 42:1. (143-185). Online publication date: 3-Jan-1995.

    https://doi.org/10.1145/200836.200870

  • Mammeri Z and Akazan J. An approach to make MMS real-time [manufacturing automation] IEEE International Symposium on Industrial Electronics. 10.1109/ISIE.1995.497251. 0-7803-2683-0. (586-591).

    http://ieeexplore.ieee.org/document/497251/

  • Cristian F, Aghili H, Strong R and Volev D. ATOMIC BROADCAST: FROM SIMPLE MESSAGE DIFFUSION TO BYZANTINE AGREEMENT Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'.. 10.1109/FTCSH.1995.532668. 0-8186-7150-5. (431).

    http://ieeexplore.ieee.org/document/532668/

  • Powell D, Bonn G, Seaton D, Verissimo P and Waeselynck F. The Delta-4 Approach to Dependability in Open Distributed Computing Systems Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'.. 10.1109/FTCSH.1995.532612. 0-8186-7150-5. (56).

    http://ieeexplore.ieee.org/document/532612/

  • Butler R, Caldwell J, Carreno V, Holloway C, Miner P and Di Vito B. NASA Langley's research and technology-transfer program in formal methods COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance. 10.1109/CMPASS.1995.521893. 0-7803-2680-6. (135-149).

    http://ieeexplore.ieee.org/document/521893/

  • Poledna S. (1994). Replica determinism in distributed real-time systems. Real-Time Systems. 6:3. (289-316). Online publication date: 1-May-1994.

    https://doi.org/10.1007/BF01088629

  • Ciuffoletti A. Using simple diffusion to synchronize the clocks in a distributed system 14th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1994.302457. 0-8186-5840-1. (484-491).

    http://ieeexplore.ieee.org/document/302457/

  • Kopetz H and Grünsteidl G. (1994). TTP-A Protocol for Fault-Tolerant Real-Time Systems. Computer. 27:1. (14-23). Online publication date: 1-Jan-1994.

    https://doi.org/10.1109/2.248873

  • Fiadeiro J and Maibaum T. Sometimes “Tomorrow” is “Sometime”. Temporal Logic. 10.1007/BFb0013980. (48-66).

    http://www.springerlink.com/index/10.1007/BFb0013980

  • Shin K. (1994). HARTS: A Distributed Real-Time Architecture. Real Time Computing. 10.1007/978-3-642-88049-0_20. (431-455).

    https://link.springer.com/10.1007/978-3-642-88049-0_20

  • Liu Z and Joseph M. (1994). Stepwise development of fault-tolerant reactive systems. Formal Techniques in Real-Time and Fault-Tolerant Systems. 10.1007/3-540-58468-4_182. (529-546).

    http://link.springer.com/10.1007/3-540-58468-4_182

  • Kazmierczak and Radhakrishnan . An optimal distributed ear decomposition algorithm with applications to biconnectivity and outerplanarity testing. Proceedings of the 1993 5th IEEE Symposium on Parallel and Distributed Processing. (486-489).

    https://doi.org/10.1109/SPDP.1993.395494

  • Alari and Ciuffoletti . Group membership in a synchronous distributed system. Proceedings of the 1993 5th IEEE Symposium on Parallel and Distributed Processing. (490-493).

    https://doi.org/10.1109/SPDP.1993.395493

  • Liskov B. (1993). Practical uses of synchronized clocks in distributed systems. Distributed Computing. 6:4. (211-219). Online publication date: 1-Jul-1993.

    https://doi.org/10.1007/BF02242709

  • Lakshman K, Kuthethoor G and Yavatkar R. Design and implementation of a multimedia protocol suite in a BSD Unix Kernel. Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 1. (1-24).

    /doi/10.5555/1361453.1361463

  • Ramanathan P and Shin K. (1993). Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System. IEEE Transactions on Software Engineering. 19:6. (571-583). Online publication date: 1-Jun-1993.

    https://doi.org/10.1109/32.232022

  • Gopal A and Perry K. Composition of concurrent programs [1993]. The 13th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1993.287686. 0-8186-3770-6. (391-398).

    http://ieeexplore.ieee.org/document/287686/

  • ZeinElDine O, Eltoweissy M and Abdel-Wahab H. BUS: a multicasting protocol for interconnected LANs ICCI'93: 5th International Conference on Computing and Information. 10.1109/ICCI.1993.315390. 0-8186-4212-2. (140-144).

    http://ieeexplore.ieee.org/document/315390/

  • Kopetz H and Grunsteidl G. TTP - A time-triggered protocol for fault-tolerant real-time systems FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing. 10.1109/FTCS.1993.627355. 0-8186-3680-7. (524-533).

    http://ieeexplore.ieee.org/document/627355/

  • Hosseini S and Jamal N. (1992). Efficient Distributed Algorithms for Self Testing of Multiple Processor Systems. IEEE Transactions on Computers. 41:11. (1397-1409). Online publication date: 1-Nov-1992.

    https://doi.org/10.1109/12.177310

  • Baugher M. Media transports and distributed multimedia flows. Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's. (1132-1143).

    https://doi.org/10.1145/130069.130141

  • Yavatkar R. MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications [1992] 12th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1992.235100. 0-8186-2865-0. (606-613).

    http://ieeexplore.ieee.org/document/235100/

  • Kopetz H. Sparse time versus dense time in distributed real-time systems [1992] 12th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1992.235008. 0-8186-2865-0. (460-467).

    http://ieeexplore.ieee.org/document/235008/

  • Tanenbaum A. (1992). Chapter 3 Operating systems — the state of the art. Computing. 10.1016/S0927-0507(05)80200-2. (91-131).

    https://linkinghub.elsevier.com/retrieve/pii/S0927050705802002

  • Cristian F. (1991). Reaching agreement on processor-group membrship in synchronous distributed systems. Distributed Computing. 4:4. (175-187). Online publication date: 1-Dec-1991.

    https://doi.org/10.1007/BF01784719

  • Gopal A and Toueg S. Inconsistency and contamination (preliminary version). Proceedings of the tenth annual ACM symposium on Principles of distributed computing. (257-272).

    https://doi.org/10.1145/112600.112622

  • Ramarao K. (1991). Design of transaction commitment protocols. Information Sciences: an International Journal. 55:1-3. (129-149). Online publication date: 3-Jun-1991.

    https://doi.org/10.1016/0020-0255(91)90010-R

  • Shin K. (1991). HARTS. Computer. 24:5. (25-35). Online publication date: 1-May-1991.

    https://doi.org/10.1109/2.76284

  • Cristian F. (1991). Understanding fault-tolerant distributed systems. Communications of the ACM. 34:2. (56-78). Online publication date: 1-Feb-1991.

    https://doi.org/10.1145/102792.102801

  • Couvet D, Florin G and Natkin S. A statistical clock synchronization algorithm for anisotropic networks Tenth Symposium on Reliable Distributed Systems. 10.1109/RELDIS.1991.145403. 0-8186-2260-1. (42-51).

    http://ieeexplore.ieee.org/document/145403/

  • Chew P and Marzullo K. Masking failures of multidimensional sensors Tenth Symposium on Reliable Distributed Systems. 10.1109/RELDIS.1991.145402. 0-8186-2260-1. (32-41).

    http://ieeexplore.ieee.org/document/145402/

  • Hillyer B and Robinson B. Communications issues in BBFS, a broadband distributed filesystem IEEE Global Telecommunications Conference GLOBECOM '91: Countdown to the New Millennium. Conference Record. 10.1109/GLOCOM.1991.188545. 0-87942-697-7. (1097-1101).

    http://ieeexplore.ieee.org/document/188545/

  • Fabre J. Improving fault-tolerance in distributed systems: The saturation approach [1991] Advanced Computer Technology, Reliable Systems and Applications. 10.1109/CMPEUR.1991.257463. 0-8186-2141-9. (634-641).

    http://ieeexplore.ieee.org/document/257463/

  • Butler R. NASA Langley's research program in formal methods COMPASS '91, Sixth Annual Conference on Computer Assurance. 10.1109/CMPASS.1991.161055. 0-7803-0126-9. (157-162).

    http://ieeexplore.ieee.org/document/161055/

  • Butler R, Caldwell J and Di Vito B. Design strategy for a formally verified reliable computing platform COMPASS '91, Sixth Annual Conference on Computer Assurance. 10.1109/CMPASS.1991.161051. 0-7803-0126-9. (125-133).

    http://ieeexplore.ieee.org/document/161051/

  • Cristian F. Basic concepts and issues in fault-tolerant distributed systems. Operating Systems of the 90s and Beyond. 10.1007/BFb0024534. (118-149).

    http://www.springerlink.com/index/10.1007/BFb0024534

  • Hosseini and Jamal . Distributed, dynamic, and efficient testing of large scale multiple processor systems. Proceedings of the 1990 IEEE Second Symposium on Parallel and Distributed Processing. (208-214).

    https://doi.org/10.1109/SPDP.1990.143535

  • Schneider F. (1990). Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys. 22:4. (299-319). Online publication date: 1-Dec-1990.

    https://doi.org/10.1145/98163.98167

  • Marzullo K. (1990). Tolerating failures of continuous-valued sensors. ACM Transactions on Computer Systems. 8:4. (284-304). Online publication date: 1-Nov-1990.

    https://doi.org/10.1145/128733.128735

  • Harrison P. (1990). The representation of multistage interconnection networks in queuing models of parallel systems. Journal of the ACM. 37:4. (863-898). Online publication date: 1-Oct-1990.

    https://doi.org/10.1145/96559.96599

  • Cockett J and Herrera J. (1990). Decision tree reduction. Journal of the ACM. 37:4. (815-842). Online publication date: 1-Oct-1990.

    https://doi.org/10.1145/96559.96576

  • Nadathur G and Miller D. (1990). Higher-order Horn clauses. Journal of the ACM. 37:4. (777-814). Online publication date: 1-Oct-1990.

    https://doi.org/10.1145/96559.96570

  • Dolev D, Reischuk R and Strong H. (1990). Early stopping in Byzantine agreement. Journal of the ACM. 37:4. (720-741). Online publication date: 1-Oct-1990.

    https://doi.org/10.1145/96559.96565

  • Fleisch B. Fault-tolerance support in distributed systems. Proceedings of the 4th workshop on ACM SIGOPS European workshop. (1-6).

    https://doi.org/10.1145/504136.504171

  • Gopal A, Strong R, Toueg S and Cristian F. Early-delivery atomic broadcast. Proceedings of the ninth annual ACM symposium on Principles of distributed computing. (297-309).

    https://doi.org/10.1145/93385.93430

  • Ramanathan P, Kandlur D and Shin K. (1990). Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems. IEEE Transactions on Computers. 39:4. (514-524). Online publication date: 1-Apr-1990.

    https://doi.org/10.1109/12.54844

  • Elshiewy N. (1990). Logic programming for real-time control of telecommunication switching systems. Journal of Logic Programming. 8:1-2. (121-144). Online publication date: 3-Jan-1990.

    https://doi.org/10.1016/0743-1066(90)90054-9

  • Tulley A and Shrivastava S. Preventing state divergence in replicated distributed programs Ninth Symposium on Reliable Distributed Systems. 10.1109/RELDIS.1990.93956. 0-8186-2081-1. (104-113).

    http://ieeexplore.ieee.org/document/93956/

  • LAMPORT L and LYNCH N. (1990). Distributed Computing: Models and Methods. Formal Models and Semantics. 10.1016/B978-0-444-88074-1.50023-8. (1157-1199).

    https://linkinghub.elsevier.com/retrieve/pii/B9780444880741500238

  • Zedan H. (1990). Key references in distributed computer systems 1959–1989. Distributed Computer Systems. 10.1016/B978-0-408-02938-4.50016-4. (193-295).

    https://linkinghub.elsevier.com/retrieve/pii/B9780408029384500164

  • Ramarao K. (1990). Efficient fault-tolerant broadcasts. Journal of Systems and Software. 11:2. (131-140). Online publication date: 1-Jan-1990.

    https://doi.org/10.1016/0164-1212(90)90057-S

  • Babaoglu Ö. The “Engineering” of fault-tolerant distributed computing systems. Fault-Tolerant Distributed Computing. 10.1007/BFb0042341. (262-273).

    http://www.springerlink.com/index/10.1007/BFb0042341

  • Schneider F. The state machine approach: A tutorial. Fault-Tolerant Distributed Computing. 10.1007/BFb0042323. (18-41).

    http://www.springerlink.com/index/10.1007/BFb0042323

  • Hsieh C and Mata R. Decentralized mutual exclusion in the presence of link failures. Proceedings of the 17th conference on ACM Annual Computer Science Conference. (195-203).

    https://doi.org/10.1145/75427.75451

  • Pittelli F and Garcia-Molina H. (1989). Reliable scheduling in a TMR database system. ACM Transactions on Computer Systems. 7:1. (25-60). Online publication date: 1-Jan-1989.

    https://doi.org/10.1145/58564.59294

  • Babaoglu Ö, Stephenson P and Drummond R. (1988). Reliable broadcasts and communication models. Distributed Computing. 2:4. (177-189). Online publication date: 1-Dec-1988.

    https://doi.org/10.1007/BF01872844

  • Ramanathan P and Shin K. Checkpointing and rollback recovery in a distributed system using common time base Proceedings [1988] Seventh Symposium on Reliable Distributed Systems. 10.1109/RELDIS.1988.25776. 0-8186-0875-7. (13-21).

    http://ieeexplore.ieee.org/document/25776/

  • Mohamed N and Michel T. (1988). How to detect a failure and regenerate the token in the Log(n) distributed algorithm for mutual exclusion. Distributed Algorithms. 10.1007/BFb0019802. (155-166).

    http://link.springer.com/10.1007/BFb0019802

  • Rotem D, Korach E and Santoro N. (1987). Analysis of a distributed algorithm for extrema finding in a ring. Journal of Parallel and Distributed Computing. 10.1016/0743-7315(87)90031-1. 4:6. (575-591). Online publication date: 1-Dec-1987.

    http://linkinghub.elsevier.com/retrieve/pii/0743731587900311

  • BUTLER R, PALUMBO D and JOHNSON S. (1987). Fault-tolerant clock synchronization validation methodology. Journal of Guidance, Control, and Dynamics. 10.2514/3.20250. 10:6. (513-522). Online publication date: 1-Nov-1987.

    http://arc.aiaa.org/doi/10.2514/3.20250

  • Birman K and Joseph T. Exploiting virtual synchrony in distributed systems. Proceedings of the eleventh ACM Symposium on Operating systems principles. (123-138).

    https://doi.org/10.1145/41457.37515

  • Birman K and Joseph T. (1987). Exploiting virtual synchrony in distributed systems. ACM SIGOPS Operating Systems Review. 21:5. (123-138). Online publication date: 1-Nov-1987.

    https://doi.org/10.1145/37499.37515

  • Babaoğlu Ö. (1987). On the reliability of consensus-based fault-tolerant distributed computing systems. ACM Transactions on Computer Systems. 5:4. (394-416). Online publication date: 1-Oct-1987.

    https://doi.org/10.1145/29868.31332

  • Patnaik L and Balaji S. (1987). Byzantine-resilient distributed computing systems. Sadhana. 10.1007/BF02811312. 11:1-2. (81-91). Online publication date: 1-Oct-1987.

    http://link.springer.com/10.1007/BF02811312

  • Lee I and Davidson S. (1987). Adding time to synchronous process communications. IEEE Transactions on Computers. 36:8. (941-948). Online publication date: 1-Aug-1987.

    https://doi.org/10.1109/TC.1987.5009517

  • Volz R and Mudge T. (1987). Timing Issues in the Distributed Execution of Ada Programs. IEEE Transactions on Computers. 36:4. (449-459). Online publication date: 1-Apr-1987.

    https://doi.org/10.1109/TC.1987.1676927

  • Baiardi F and Vanneschi M. (1987). Design of Highly Decentralized Operating Systems. Distributed Operating Systems. 10.1007/978-3-642-46604-5_4. (113-145).

    http://link.springer.com/10.1007/978-3-642-46604-5_4

  • Banatre M. (1987). An Experience in Solving a Transaction Ordering Problem in a Distributed System. Distributed Operating Systems. 10.1007/978-3-642-46604-5_12. (311-330).

    http://link.springer.com/10.1007/978-3-642-46604-5_12

  • Baiardi F and Vanneschi M. (1987). Parallelism issues in multi — Style computers. Future Parallel Computers. 10.1007/3-540-18203-9_1. (1-34).

    http://link.springer.com/10.1007/3-540-18203-9_1

  • Walter B. A turnable protocol for symmetric surveillance in distributed systems. Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols. (368-376).

    https://doi.org/10.1145/18172.18213

  • Walter B. (1986). A turnable protocol for symmetric surveillance in distributed systems. ACM SIGCOMM Computer Communication Review. 16:3. (368-376). Online publication date: 1-Aug-1986.

    https://doi.org/10.1145/1013812.18213

  • Lamport L and Smith P. (1986). Byzantine clock synchronization. ACM SIGOPS Operating Systems Review. 20:3. (10-16). Online publication date: 1-Jul-1986.

    https://doi.org/10.1145/12476.12477

  • Garcia Molina H, Pittelli F and Davidson S. (1986). Applications of Byzantine agreement in database systems. ACM Transactions on Database Systems. 11:1. (27-47). Online publication date: 1-Mar-1986.

    https://doi.org/10.1145/5236.5243

  • Tanenbaum A and Van Renesse R. (1985). Distributed operating systems. ACM Computing Surveys. 17:4. (419-470). Online publication date: 10-Dec-1985.

    https://doi.org/10.1145/6041.6074

  • Babaoglu O and Drummond R. (1985). Streets of Byzantium. IEEE Transactions on Software Engineering. 11:6. (546-554). Online publication date: 1-Jun-1985.

    https://doi.org/10.1109/TSE.1985.232247

  • Lamport L and Melliar-Smith P. (1985). Synchronizing clocks in the presence of faults. Journal of the ACM. 32:1. (52-78). Online publication date: 1-Jan-1985.

    https://doi.org/10.1145/2455.2457

  • Lamport L and Melliar-Smith P. Byzantine clock synchronization. Proceedings of the third annual ACM symposium on Principles of distributed computing. (68-74).

    https://doi.org/10.1145/800222.806737

  • Risse T, Brause R, Dal Cin M, Dilger E and Lutz J. (1984). Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. Fehlertolerierende Rechensysteme. 10.1007/978-3-642-69698-5_6. (66-76).

    http://link.springer.com/10.1007/978-3-642-69698-5_6

  • Dilger E. (1984). Distributed Self-Diagnosis and Fault-Tolerant Communication in Parallel Multiprocessor Networks. Fehlertolerierende Rechensysteme. 10.1007/978-3-642-69698-5_24. (292-300).

    http://link.springer.com/10.1007/978-3-642-69698-5_24

  • Debray S, Frank A and Smolka S. (1984). On the existence and construction of robust communication protocols for unreliable channels. Foundations of Software Technology and Theoretical Computer Science. 10.1007/3-540-13883-8_69. (136-151).

    http://link.springer.com/10.1007/3-540-13883-8_69

  • Dwork C and Skeen D. The inherent cost of nonblocking commitment. Proceedings of the second annual ACM symposium on Principles of distributed computing. (1-11).

    https://doi.org/10.1145/800221.806705

  • Sethi R. (1982). Control flow aspects of semantics directed compiling (Summary). ACM SIGPLAN Notices. 17:6. (245-260). Online publication date: 1-Jun-1982.

    https://doi.org/10.1145/872726.806999

  • Crawford J. (1982). Engineering a production code generator. ACM SIGPLAN Notices. 17:6. (205-215). Online publication date: 1-Jun-1982.

    https://doi.org/10.1145/872726.806996

  • Krumme D and Ackley D. (1982). A practical method for code generation based on exhaustive search. ACM SIGPLAN Notices. 17:6. (185-196). Online publication date: 1-Jun-1982.

    https://doi.org/10.1145/872726.806994

  • Seyfer H. (1982). Tailoring testing to a specific compiler—experiences. ACM SIGPLAN Notices. 17:6. (140-152). Online publication date: 1-Jun-1982.

    https://doi.org/10.1145/872726.806990

  • Zaky S. (1977). Microprocessors for non-numeric processing. ACM SIGMOD Record. 9:2. (23-30). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965645.810249

  • Lipovski G. (1977). On imaginary fields, token transfers and floating codes in intelligent secondary memories. ACM SIGMOD Record. 9:2. (17-22). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965645.810248

  • Bray O. (1977). Data management requirements. ACM SIGIR Forum. 12:1. (68-76). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965643.810254

  • McDonell K. (1977). Trends in non-software support for input-output functions. ACM SIGIR Forum. 12:1. (40-47). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965643.810252

  • Rosenthal R. (1977). The data management machine, a classification. ACM SIGIR Forum. 12:1. (35-39). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965643.810251

  • Zaky S. (1977). Microprocessors for non-numeric processing. ACM SIGIR Forum. 12:1. (23-30). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965643.810249

  • Lipovski G. (1977). On imaginary fields, token transfers and floating codes in intelligent secondary memories. ACM SIGIR Forum. 12:1. (17-22). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965643.810248

  • Bray O. (1977). Data management requirements. ACM SIGARCH Computer Architecture News. 6:2. (68-76). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965641.810254

  • McDonell K. (1977). Trends in non-software support for input-output functions. ACM SIGARCH Computer Architecture News. 6:2. (40-47). Online publication date: 1-May-1977.

    https://doi.org/10.1145/965641.810252

  • Richards H and Wright C. (1973). Introduction to the SYMBOL 2R programming language. ACM SIGPLAN Notices. 8:11. (27-33). Online publication date: 1-Nov-1973.

    https://doi.org/10.1145/953171.803928

  • Hutchison P and Ethington K. (1973). Program execution in the SYMBOL 2R computer. ACM SIGPLAN Notices. 8:11. (20-26). Online publication date: 1-Nov-1973.

    https://doi.org/10.1145/953171.803927

  • Anderberg J and Smith C. (1973). High-level language translation in SYMBOL 2R. ACM SIGPLAN Notices. 8:11. (11-19). Online publication date: 1-Nov-1973.

    https://doi.org/10.1145/953171.803926

  • Richards H and Zingg R. (1973). The logical structure of the memory resource in the SYMBOL-2R computer. ACM SIGPLAN Notices. 8:11. (1-10). Online publication date: 1-Nov-1973.

    https://doi.org/10.1145/953171.803925