Mohamed G. Gouda

According to our database, Mohamed G. Gouda authored at least 211 papers between 1976 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Policy expressions and the bottom-up design of computing policies.

Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda

Computing, 2019

Executing Firewalls in Public Clouds.

Rezwana Reaz, Ehab S. Elmallah, Mohamed G. Gouda

Proceedings of the 10th International Conference on Computing, 2019

2017

Hardness of Firewall Analysis.

Ehab S. Elmallah, Mohamed G. Gouda

IEEE Trans. Dependable Secur. Comput., 2017

2016

Analysis of Computing Policies Using SAT Solvers (Short Paper).

Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Securing NFC Credit Card Payments Against Malicious Retailers.

Oliver Jensen, Tyler O'Meara, Mohamed G. Gouda

Proceedings of the Networked Systems - 4th International Conference, 2016

Nonrepudiation Protocols Without a Trusted Party.

Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda

Proceedings of the Networked Systems - 4th International Conference, 2016

A secure credit card protocol over NFC.

Oliver Jensen, Mohamed G. Gouda, Lili Qiu

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Two-phase Nonrepudiation Protocols.

Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda

Proceedings of the 7th International Conference on Computing Communication and Networking Technologies, 2016

Nonrepudiation Protocols in Cloud Systems.

Muqeet Ali, Mohamed G. Gouda

Proceedings of the 7th International Conference on Computing Communication and Networking Technologies, 2016

2015

The Implication Problem of Computing Policies.

Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

2014

Incremental Verification of Computing Policies.

Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Keynote Talk: Communication Without Repudiation: The Unanswered Question.

Mohamed G. Gouda

Proceedings of the Networked Systems - Second International Conference, 2014

2013

The best keying protocol for sensor networks.

Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda

Pervasive Mob. Comput., 2013

2012

A state-based model of sensor protocols.

Young-ri Choi, Mohamed G. Gouda

Theor. Comput. Sci., 2012

A secure cookie scheme.

Alex X. Liu, Jason M. Kovacs, Mohamed G. Gouda

Comput. Networks, 2012

2011

Nash equilibria in stabilizing systems.

Mohamed G. Gouda, Hrishikesh B. Acharya

Theor. Comput. Sci., 2011

Stabilization of max-min fair networks without per-flow state.

Jorge Arturo Cobb, Mohamed G. Gouda

Theor. Comput. Sci., 2011

Is that you? Authentication in a network without identities.

Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda

Int. J. Secur. Networks, 2011

Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.

Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

The K-Observer Problem in Computer Networks.

Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Brief announcement: RedRem: a parallel redundancy remover.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates.

Sushil K. Prasad, Almadena Yu. Chtchelkanova, Sajal K. Das, Frank Dehne, Mohamed G. Gouda, Anshul Gupta, Joseph F. JáJá, Krishna Kant, Anita La Salle, Richard LeBlanc, Manish Lumsdaine, David A. Padua, Manish Parashar, Viktor K. Prasanna, Yves Robert, Arnold L. Rosenberg, Sartaj Sahni, Behrooz A. Shirazi, Alan Sussman, Charles C. Weems, Jie Wu

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Firewall verification and redundancy checking are equivalent.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

On the Hardness of Topology Inference.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

HTTPI: An HTTP with Integrity.

Taehwan Choi, Mohamed G. Gouda

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

TPP: The Two-Way Password Protocol.

Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

2010

Complete Redundancy Removal for Packet Classifiers in TCAMs.

Alex X. Liu, Mohamed G. Gouda

IEEE Trans. Parallel Distributed Syst., 2010

Stabilization of Flood Sequencing Protocols in Sensor Networks.

Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda

IEEE Trans. Parallel Distributed Syst., 2010

Mission critical networking [Guest editorial].

Mohamed Eltoweissy, David Hung-Chang Du, Mario Gerla, Silvia Giordano, Mohamed G. Gouda, Henning Schulzrinne, Moustafa Youssef, Donald F. Towsley

IEEE J. Sel. Areas Commun., 2010

On the Power of Non-spoofing Adversaries.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: On the Hardness of Topology Inference.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

IP Fast Reroute in Networks with Shared Risk Links.

Yan Li, Mohamed G. Gouda

Proceedings of the NETWORKING 2010, 2010

Firewall modules and modular firewalls.

Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda

Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

Projection and Division: Linear-Space Verification of Firewalls.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

The Weak Network Tracing Problem.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

2009

Firewall Policy Queries.

Alex X. Liu, Mohamed G. Gouda

IEEE Trans. Parallel Distributed Syst., 2009

Hop chains: Secure routing and the establishment of distinct identities.

Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda

Theor. Comput. Sci., 2009

A Theory of Network Tracing.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the Stabilization, 2009

Brief Announcement: Consistent Fixed Points and Negative Gain.

Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda

Proceedings of the Stabilization, 2009

The Blocking Option in Routing Protocols.

Yan Li, Mohamed G. Gouda

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Brief announcement: the theory of network tracing.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Consistent Fixed Points and Negative Gain.

Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Linear-Time Verification of Firewalls.

Hrishikesh B. Acharya, Mohamed G. Gouda

Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

Balanced Peer Lists: Towards a Collusion-Resistant BGP.

Yan Li, Mohamed G. Gouda

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

2008

Diverse Firewall Design.

Alex X. Liu, Mohamed G. Gouda

IEEE Trans. Parallel Distributed Syst., 2008

Logarithmic keying.

Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni

ACM Trans. Auton. Adapt. Syst., 2008

Formal Specification and Verification of a Secure Micropayment Protocol.

Mohamed G. Gouda, Alex X. Liu

Int. J. Netw. Secur., 2008

Pharewell to Phishing.

Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb

Proceedings of the Stabilization, 2008

Sources and Monitors: A Trust Model for Peer-to-Peer Networks.

Yan Li, Mohamed G. Gouda

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language.

Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Verification of Distributed Firewalls.

Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

2007

Optimal Dispersal of Certificate Chains.

Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda

IEEE Trans. Parallel Distributed Syst., 2007

A Stabilizing Deactivation/Reactivation Protocol.

Mehmet Hakan Karaata, Mohamed G. Gouda

IEEE Trans. Computers, 2007

A state-based language for sensor-actuator networks.

Anish Arora, Mohamed G. Gouda, Jason O. Hallstrom, Ted Herman, William Leal, Nigamanth Sridhar

SIGBED Rev., 2007

The alternator.

Mohamed G. Gouda, F. Furman Haddix

Distributed Comput., 2007

Reliable bursty convergecast in wireless sensor networks.

Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda

Comput. Commun., 2007

SPP: An anti-phishing single password protocol.

Mohamed G. Gouda, Alex X. Liu, Lok M. Leung, Mohamed A. Alam

Comput. Networks, 2007

Structured firewall design.

Mohamed G. Gouda, Alex X. Liu

Comput. Networks, 2007

The Truth System: Can a System of Lying Processes Stabilize?

Mohamed G. Gouda, Yan Li

Proceedings of the Stabilization, 2007

Stabilization of Flood Sequencing Protocols in Sensor Networks.

Young-ri Choi, Mohamed G. Gouda

Proceedings of the Stabilization, 2007

Truth in advertising: lightweight verification of route integrity.

Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

Convergence of IPsec in presence of resets.

Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy

J. High Speed Networks, 2006

Stabilizing Certificate Dispersal.

Mohamed G. Gouda, Eunjin Jung

J. Aerosp. Comput. Inf. Commun., 2006

Stabilization of Grid Routing in Sensor Networks.

Young-ri Choi, Mohamed G. Gouda, Hongwei Zhang, Anish Arora

J. Aerosp. Comput. Inf. Commun., 2006

Vulnerability analysis of certificate graphs.

Eunjin Jung, Mohamed G. Gouda

Int. J. Secur. Networks, 2006

Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].

Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora

Comput. Commun., 2006

Secret instantiation in ad-hoc networks.

Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora

Comput. Commun., 2006

Key bundles and parcels: Secure communication in many groups.

Eunjin Jung, Alex X. Liu, Mohamed G. Gouda

Comput. Networks, 2006

Logarithmic Keying of Communication Networks.

Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah

Proceedings of the Stabilization, 2006

Fault Masking in Tri-redundant Systems.

Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang

Proceedings of the Stabilization, 2006

Key Grids: A Protocol Family for Assigning Symmetric Keys.

Amitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda

Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

Rating Certificates.

Eunjin Jung, Mohamed G. Gouda

Proceedings of the 15th International Conference On Computer Communications and Networks, 2006

How to Assign Symmetric Keys in a Network of Small Computers.

Mohamed G. Gouda

Proceedings of the 15th International Conference On Computer Communications and Networks, 2006

Hop Integrity in the Internet

Chin-Tser Huang, Mohamed G. Gouda

Advances in Information Security 21, Springer, ISBN: 978-0-387-24426-6, 2006

2005

Self-Stabilizing Systems, Part 2.

Mohamed G. Gouda

J. High Speed Networks, 2005

Self-Stabilizing Systems, Part 1.

Mohamed G. Gouda

J. High Speed Networks, 2005

Hello again: Stabilization of the Hello protocol in OSPF.

Jorge Arturo Cobb, Mohamed G. Gouda, Deepinder P. Sidhu

J. High Speed Networks, 2005

ExScal: Elements of an Extreme Scale Wireless Sensor Network.

Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A General Alternator.

F. Furman Haddix, Mohamed G. Gouda

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Zmail: Zero-Sum Free Market Control of Spam.

Benjamin Kuipers, Alex X. Liu, Aashin Gautam, Mohamed G. Gouda

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

State Checksum and Its Role in System Stabilization.

Chin-Tser Huang, Mohamed G. Gouda

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

A secure cookie protocol.

Alex X. Liu, Jason M. Kovacs, Chin-Tser Huang, Mohamed G. Gouda

Proceedings of the 14th International Conference On Computer Communications and Networks, 2005

A Model of Stateful Firewalls and Its Properties.

Mohamed G. Gouda, Alex X. Liu

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Project ExScal (Short Abstract).

Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker

Proceedings of the Distributed Computing in Sensor Systems, 2005

Complete Redundancy Detection in Firewalls.

Alex X. Liu, Mohamed G. Gouda

Proceedings of the Data and Applications Security XIX, 2005

Antireplay Protocols for Sensor Networks.

Mohamed G. Gouda, Young-ri Choi, Anish Arora

Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

The Austin Protocol Compiler

Tommy M. McGuire, Mohamed G. Gouda

Advances in Information Security 13, Springer, ISBN: 978-0-387-23227-0, 2005

2004

A line in the sand: a wireless sensor network for target detection, classification, and tracking.

Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita

Comput. Networks, 2004

Firewall Queries.

Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Sentries and Sleepers in Sensor Networks.

Mohamed G. Gouda, Young-ri Choi, Anish Arora

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Firewall Design: Consistency, Completeness, and Compactness.

Mohamed G. Gouda, Alex X. Liu

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Certificate Dispersal in Ad-Hoc Networks.

Mohamed G. Gouda, Eunjin Jung

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Formal Specification and Verification of a Micropayment Protocol.

Mohamed G. Gouda, Alex X. Liu

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 2004), 2004

Optimal dispersal of special certificate graphs.

Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003

Maximizable routing metrics.

Mohamed G. Gouda, Marco Schneider

IEEE/ACM Trans. Netw., 2003

Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks.

Vinayak Naik, Anish Arora, Sandip Bapat, Mohamed G. Gouda

IEEE Distributed Syst. Online, 2003

A secure address resolution protocol.

Mohamed G. Gouda, Chin-Tser Huang

Comput. Networks, 2003

A Pursuer-Evader Game for Sensor Networks.

Murat Demirbas, Anish Arora, Mohamed G. Gouda

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

A Stabilizing Solution to the Stable Path Problem.

Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

Key Bundels and Parcels: Secure Communication in Many Groups.

Eunjin Jung, Alex X. Liu, Mohamed G. Gouda

Proceedings of the Group Communications and Charges; Technology and Business Models, 2003

The mote connectivity protocol.

Young-ri Choi, Mohamed G. Gouda, Moon C. Kim, Anish Arora

Proceedings of the 12th International Conference on Computer Communications and Networks, 2003

2002

Multiphase Stabilization.

Mohamed G. Gouda

IEEE Trans. Software Eng., 2002

Hop integrity in computer networks.

Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire

IEEE/ACM Trans. Netw., 2002

Stabilization of General Loop-Free Routing.

Jorge Arturo Cobb, Mohamed G. Gouda

J. Parallel Distributed Comput., 2002

Key Trees and the Security of Interval Multicast.

Mohamed G. Gouda, Chin-Tser Huang, E. N. Elnozahy

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

Elements of security: Closure, convergence, and protection.

Mohamed G. Gouda

Inf. Process. Lett., 2001

Batch rekeying for secure group communications.

Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam

Proceedings of the Tenth International World Wide Web Conference, 2001

On the Security and Vulnerability of PING.

Mohamed G. Gouda, Chin-Tser Huang, Anish Arora

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

The Theory of Weak Stabilization.

Mohamed G. Gouda

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Stabilization of Routing in Directed Networks.

Jorge Arturo Cobb, Mohamed G. Gouda

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

An anti-replay window protocol with controlled shift.

Chin-Tser Huang, Mohamed G. Gouda

Proceedings of the 10th International Conference on Computer Communications and Networks, 2001

2000

Secure group communications using key graphs.

Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam

IEEE/ACM Trans. Netw., 2000

Alert communication primitives above TCP.

Mohamed G. Gouda, Tommy M. McGuire

J. High Speed Networks, 2000

Anti-replay window protocols for secure IP.

Mohamed G. Gouda, Chin-Tser Huang, Eric Li

Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

1999

Memory Requirements for Silent Stabilization.

Shlomi Dolev, Mohamed G. Gouda, Marco Schneider

Acta Informatica, 1999

Stabilization of maximal metric trees.

Mohamed G. Gouda, Marco Schneider

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

General and Scalable State Feedback for Multimedia Systems.

Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda

Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 1999

1998

Time-shift scheduling - fair scheduling of flows in high-speed networks.

Jorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas

IEEE/ACM Trans. Netw., 1998

Accelerated Heartbeat Protocols.

Mohamed G. Gouda, Tommy M. McGuire

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Flow theory.

Jorge Arturo Cobb, Mohamed G. Gouda

IEEE/ACM Trans. Netw., 1997

The Request Reply Family of Group Routing Protocols.

Jorge Arturo Cobb, Mohamed G. Gouda

IEEE Trans. Computers, 1997

Properties of secure transaction protocols.

Douglas H. Steves, Chris Edmondson-Yurkanan, Mohamed G. Gouda

Comput. Networks ISDN Syst., 1997

Self-Stabilization by Tree Correction.

George Varghese, Anish Arora, Mohamed G. Gouda

Chic. J. Theor. Comput. Sci., 1997

The linear alternator.

Mohamed G. Gouda, F. Furman Haddix

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Delay-insensitive stabilization.

Anish Arora, Mohamed G. Gouda

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Inter-stream adaptation for collaborative multimedia applications.

Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Flow scheduling protocols without real-time clocks.

Amal El-Nahas, Khalil M. Ahmed, Mohamed G. Gouda

Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Balanced Routing.

Jorge Arturo Cobb, Mohamed G. Gouda

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

1996

The Stabilizing Token Ring in Three Bits.

Mohamed G. Gouda, F. Furman Haddix

J. Parallel Distributed Comput., 1996

Constraint satisfaction as a basis for designing nonmasking fault-tolerance.

Anish Arora, Mohamed G. Gouda, George Varghese

J. High Speed Networks, 1996

Systems of Recall Broadcast.

Hussein M. Abdel-Wahab, Mohamed G. Gouda

Inf. Sci., 1996

Network Protocols Between Exact Specifications and Pragmatic Implementations.

Mohamed G. Gouda

ACM Comput. Surv., 1996

Group routing without group routing tables: an exercise in protocol design.

Jorge Arturo Cobb, Mohamed G. Gouda

Comput. Commun., 1996

Memory Requirements for Silent Stabilization (Extended Abstract).

Shlomi Dolev, Mohamed G. Gouda, Marco Schneider

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Group Routing without Group Routing Tables.

Jorge Arturo Cobb, Mohamed G. Gouda

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Sentries for the Execution of Concurrent Programs.

Sarah E. Chodrow, Mohamed G. Gouda

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

A periodic state exchange protocol and its verification.

Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani

IEEE Trans. Commun., 1995

Implementation of the Sentry System.

Sarah E. Chodrow, Mohamed G. Gouda

Softw. Pract. Exp., 1995

Modularity and Rule-Based Programming.

James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Lance Obermeyer, F. Furman Haddix, Rwo-Hsi Wang, Sarah E. Chodrow

Int. J. Artif. Intell. Tools, 1995

The Triumph and Tribulation of System Stabilization.

Mohamed G. Gouda

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Load Balancing: An Exercise in Constrainted Convergence.

Anish Arora, Mohamed G. Gouda

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Ordered Delivery over One-way Virtual Circuits.

Jorge Arturo Cobb, Mohamed G. Gouda

Proceedings of the Proceedings IEEE Symposium on Computers and Communications, 1995

A wireless link protocol: design by refinement.

Mohamed G. Gouda, Sanjoy Paul

Proceedings of the 1995 International Conference on Network Protocols, 1995

Stabilizing Client/Server Protocols without the Tears.

Mohamed G. Gouda

Proceedings of the Formal Description Techniques VIII, 1995

1994

Distributed Reset.

Anish Arora, Mohamed G. Gouda

IEEE Trans. Computers, 1994

The Elusive Atomic Register.

Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda

J. ACM, 1994

Stabilizing Observers.

Mohamed G. Gouda

Inf. Process. Lett., 1994

Universal Mobile Addressing in the Internet.

Jorge Arturo Cobb, Chris Edmondson-Yurkanan, Mohamed G. Gouda

Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Protocol synchronization with sparse timestraps.

Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal

Proceedings of the Protocol Specification, 1994

A New Approach to Modularity in Rule-Based Programming.

James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

Closure and Convergence: A Foundation of Fault-Tolerant Computing.

Anish Arora, Mohamed G. Gouda

IEEE Trans. Software Eng., 1993

Rankers: A Classification of Synchronization Problems.

Ambuj K. Singh, Mohamed G. Gouda

Sci. Comput. Program., 1993

Stabilization and Pseudo-Stabilization.

James E. Burns, Mohamed G. Gouda, Raymond E. Miller

Distributed Comput., 1993

Convergence of Iteration Systems.

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Distributed Comput., 1993

Protocol Verification Made Simple: A Tutorial.

Mohamed G. Gouda

Comput. Networks ISDN Syst., 1993

Flow theory: Verification of rate-reservation protocols.

Jorge Arturo Cobb, Mohamed G. Gouda

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

A Criterion for Atomicity.

James H. Anderson, Mohamed G. Gouda

Formal Aspects Comput., 1992

The Granularity of Waiting (Extended Abstract).

James H. Anderson, Jae-Heon Yang, Mohamed G. Gouda

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

The Sentry System.

Sarah E. Chodrow, Mohamed G. Gouda

Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

The Two-Dimensional Window Protocol.

Mohamed G. Gouda

Proceedings of the Protocol Specification, 1992

Asynchronous Unison (Extended Abstract).

Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

Closure and Convergence: A Formulation of Fault-Tolerant Computing.

Anish Arora, Mohamed G. Gouda

Proceedings of the Digest of Papers: FTCS-22, 1992

1991

Adaptive Programming.

Mohamed G. Gouda, Ted Herman

IEEE Trans. Software Eng., 1991

Block acknowledgment: redesigning the window protocol.

Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller

IEEE Trans. Commun., 1991

Stabilizing Communication Protocols.

Mohamed G. Gouda, Nicholas J. Multari

IEEE Trans. Computers, 1991

Maintaining Digital Clocks in Step.

Anish Arora, Shlomi Dolev, Mohamed G. Gouda

Parallel Process. Lett., 1991

On the Minimum Requirements for Independent Recovery in Distributed Systems.

Chung-Kuo Chang, Mohamed G. Gouda

Inf. Process. Lett., 1991

A New Explanation of the Glitch Phenomenon.

James H. Anderson, Mohamed G. Gouda

Acta Informatica, 1991

Protocol engineering (panel session).

Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Stabilizing Unison.

Mohamed G. Gouda, Ted Herman

Inf. Process. Lett., 1990

The Instability of Self-Stabilization.

Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier

Acta Informatica, 1990

Convergence/response tradeoffs in concurrent systems.

Mohamed G. Gouda, Michael Evangelist

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Composite Routing Protocols.

Anish Arora, Mohamed G. Gouda, Ted Herman

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Distributed Reset (Extended Abstract).

Anish Arora, Mohamed G. Gouda

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Convergence of Iteration Systems (Extended Abstract).

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Proceedings of the CONCUR '90, 1990

1989

Token Systems that Self-Stabilize.

Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu

IEEE Trans. Computers, 1989

Block Acknowledgement: Redesigning the Window Protocol.

Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

System Simulation and the Sensitivity of Self-Stabilization.

Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Atomic Semantics of Nonatomic Programs.

James H. Anderson, Mohamed G. Gouda

Inf. Process. Lett., 1988

Delivery and discrimination: the Seine protocol.

Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani

Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

1987

Independent Recovery.

Chung-Kuo Chang, Mohamed G. Gouda

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

The Elusive Atomic Register Revisited.

Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1986

Proving Liveness for Networks of Communicating Finite State Machines.

Mohamed G. Gouda, Chung-Kuo Chang

ACM Trans. Program. Lang. Syst., 1986

1985

Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines.

Mohamed G. Gouda, Hui-Seng Lee

IEEE Trans. Software Eng., 1985

A Discipline for Constructing Multiphase Communication Protocols

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

ACM Trans. Comput. Syst., 1985

On "A Simple Protocol Whose Proof Isńt": The State Machine Approach.

Mohamed G. Gouda

IEEE Trans. Commun., 1985

Priority Networks of Communicating Finite State Machines.

Mohamed G. Gouda, Louis E. Rosier

SIAM J. Comput., 1985

Protocol Validation by Fair Progress State Exploration.

Mohamed G. Gouda, Ji-Yun Han

Comput. Networks, 1985

Modeling physical layer protocols using communicating finite state machines.

Mohamed G. Gouda, Khe-Sing The

Proceedings of the Ninth Symposium on Data Communications, 1985

1984

On the Progress of Communications between Two Finite State Machines

Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu

Inf. Control., December, 1984

Closed Covers: To Verify Progress for Communicating Finite State Machines.

Mohamed G. Gouda

IEEE Trans. Software Eng., 1984

Synthesis of Communicating Finite-State Machines with Guaranteed Progress.

Mohamed G. Gouda, Yao-Tin Yu

IEEE Trans. Commun., 1984

Protocol Validation by Maximal Progress State Exploration.

Mohamed G. Gouda, Yao-Tin Yu

IEEE Trans. Commun., 1984

An exercise in constructing multi-phase communication protocols.

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

Comput. Commun. Rev., 1984

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.

Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam

Proceedings of the Protocol Specification, 1984

On Constructing Multi-Phase Communication Protocols.

Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam

Proceedings of the Protocol Specification, 1984

Using Semiouterjoins to Process Queries in Multidatabase Systems.

Hai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

A Technique for Proving Liveness of Communicating Finite State Machines with Examples.

Mohamed G. Gouda, Chung-Kuo Chang

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Communicating Finite State Machines with Priority Channnels.

Mohamed G. Gouda, Louis E. Rosier

Proceedings of the Automata, 1984

1983

Unboundedness Detection for a Class of Communicating Finite-State Machines.

Yao-Tin Yu, Mohamed G. Gouda

Inf. Process. Lett., 1983

Maximal progress state exploration.

Mohamed G. Gouda, Yao-Tin Yu

Proceedings of the symposium on Communications Architectures & Protocols, 1983

An Example for Constructing Communicating Machines by Step-Wise Refinement.

Mohamed G. Gouda

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Deadlock Detection for a Class of Communicating Finite State Machines.

Yao-Tin Yu, Mohamed G. Gouda

IEEE Trans. Commun., 1982

Deadlock Detection for a Class of Communicating Finite State Machine.

Yao-Tin Yu, Mohamed G. Gouda

Proceedings of the Protocol Specification, 1982

Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies.

Mohamed G. Gouda, Bijendra N. Jain

Proceedings of the Protocol Specification, 1982

1981

Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems.

Mohamed G. Gouda, Umeshwar Dayal

Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981

1980

On the progress of communication between two machines.

Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu

Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

1979

Global and Local Models for the Specification and Verification of Distributed Systems.

Mohamed G. Gouda, D. Body, W. Wood

Proceedings of the Fourth Berkeley Workshop on Distributed Data Management and Computer Networks, 1979

1978

A Hierarchial Controller for Concurrent Accessing of Distributed Databases.

Mohamed G. Gouda

Proceedings of the Papers of the Fourth Workshop on Computer Architecture for Non-Numeric Processing, 1978

1976

On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures.

Mohamed G. Gouda, Eric G. Manning

Proceedings of the 2nd International Conference on Software Engineering, 1976

Protocol Machines: A Concise Formal Model and its Automatic Implementation.

Mohamed G. Gouda, Eric G. Manning

Proceedings of the Third International Conference on Computer Communication, 1976