Mohamed G. Gouda

234 papers A* 15A 14B 40C 23Misc 3Journal 90Unranked 45
YearRankTypeTitle / Venue / Authors
2025 J jnl
Electric supply restoration in self-healed smart distribution systems: a review.
Energy Inform.
Mohamed G. Gouda, Mazen Abdel-Salam, Mohamed-Tharwat EL-Mohandes, Ahmed Elnozahy
2019 — conf
Executing Firewalls in Public Clouds.
ICCCNT
Rezwana Reaz, Ehab S. Elmallah, Mohamed G. Gouda
2019 J jnl
Policy expressions and the bottom-up design of computing policies.
Computing
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
2017 J jnl
Hardness of Firewall Analysis.
IEEE Trans. Dependable Secur. Comput.
Ehab S. Elmallah, Mohamed G. Gouda
2017 — conf
Policy Expressions and the Bottom-Up Design of Computing Policies.
NETYS
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
2016 Misc conf
A secure credit card protocol over NFC.
ICDCN
Oliver Jensen, Mohamed G. Gouda, Lili Qiu
2016 C conf
Analysis of Computing Policies Using SAT Solvers (Short Paper).
SSS
Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda
2016 — conf
Nonrepudiation Protocols Without a Trusted Party.
NETYS
Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda
2016 — conf
Nonrepudiation Protocols in Cloud Systems.
ICCCNT
Muqeet Ali, Mohamed G. Gouda
2016 — conf
Securing NFC Credit Card Payments Against Malicious Retailers.
NETYS
Oliver Jensen, Tyler O'Meara, Mohamed G. Gouda
2016 — conf
Two-phase Nonrepudiation Protocols.
ICCCNT
Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda
2015 C conf
The Implication Problem of Computing Policies.
SSS
Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah
2014 — conf
Hardness of Firewall Analysis.
NETYS
Ehab S. Elmallah, Mohamed G. Gouda
2014 C conf
Incremental Verification of Computing Policies.
SSS
Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda
2014 — conf
Keynote Talk: Communication Without Repudiation: The Unanswered Question.
NETYS
Mohamed G. Gouda
2013 J jnl
The best keying protocol for sensor networks.
Pervasive Mob. Comput.
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
2012 J jnl
A secure cookie scheme.
Comput. Networks
Alex X. Liu, Jason M. Kovacs, Mohamed G. Gouda
2012 J jnl
A state-based model of sensor protocols.
Theor. Comput. Sci.
Young-ri Choi, Mohamed G. Gouda
2011 C conf
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.
SSS
Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda
2011 B conf
Brief announcement: RedRem: a parallel redundancy remover.
SPAA
Hrishikesh B. Acharya, Mohamed G. Gouda
2011 A* conf
Firewall verification and redundancy checking are equivalent.
INFOCOM
Hrishikesh B. Acharya, Mohamed G. Gouda
2011 B conf
HTTPI: An HTTP with Integrity.
ICCCN
Taehwan Choi, Mohamed G. Gouda
2011 B conf
Is That You? Authentication in a Network without Identities.
GLOBECOM
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
2011 J jnl
Is that you? Authentication in a network without identities.
Int. J. Secur. Networks
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
2011 A conf
NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates.
SIGCSE
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
2011 J jnl
Nash equilibria in stabilizing systems.
Theor. Comput. Sci.
Mohamed G. Gouda, Hrishikesh B. Acharya
2011 Misc conf
On the Hardness of Topology Inference.
ICDCN
Hrishikesh B. Acharya, Mohamed G. Gouda
2011 J jnl
Stabilization of max-min fair networks without per-flow state.
Theor. Comput. Sci.
Jorge Arturo Cobb, Mohamed G. Gouda
2011 B conf
TPP: The Two-Way Password Protocol.
ICCCN
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
2011 C conf
The K-Observer Problem in Computer Networks.
SSS
Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
2011 C conf
The best keying protocol for sensor networks.
WOWMOM
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
2010 C conf
Brief Announcement: On the Hardness of Topology Inference.
SSS
Hrishikesh B. Acharya, Mohamed G. Gouda
2010 J jnl
Complete Redundancy Removal for Packet Classifiers in TCAMs.
IEEE Trans. Parallel Distributed Syst.
Alex X. Liu, Mohamed G. Gouda
2010 B conf
Firewall modules and modular firewalls.
ICNP
Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda
2010 B conf
IP Fast Reroute in Networks with Shared Risk Links.
Networking
Yan Li, Mohamed G. Gouda
2010 J jnl
Mission critical networking [Guest editorial].
IEEE J. Sel. Areas Commun.
Mohamed Eltoweissy, David Hung-Chang Du, Mario Gerla, Silvia Giordano, Mohamed G. Gouda, Henning Schulzrinne, Moustafa Youssef, Donald F. Towsley
2010 A conf
On the Power of Non-spoofing Adversaries.
DISC
Hrishikesh B. Acharya, Mohamed G. Gouda
2010 A conf
Projection and Division: Linear-Space Verification of Firewalls.
ICDCS
Hrishikesh B. Acharya, Mohamed G. Gouda
2010 J jnl
Stabilization of Flood Sequencing Protocols in Sensor Networks.
IEEE Trans. Parallel Distributed Syst.
Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda
2010 Misc conf
The Weak Network Tracing Problem.
ICDCN
Hrishikesh B. Acharya, Mohamed G. Gouda
2009 C conf
A Theory of Network Tracing.
SSS
Hrishikesh B. Acharya, Mohamed G. Gouda
2009 B conf
Balanced Peer Lists: Towards a Collusion-Resistant BGP.
ICCCN
Yan Li, Mohamed G. Gouda
2009 C conf
Brief Announcement: Consistent Fixed Points and Negative Gain.
SSS
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
2009 A* conf
Brief announcement: the theory of network tracing.
PODC
Hrishikesh B. Acharya, Mohamed G. Gouda
2009 C conf
Consistent Fixed Points and Negative Gain.
PDCAT
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
2009 J jnl
Firewall Policy Queries.
IEEE Trans. Parallel Distributed Syst.
Alex X. Liu, Mohamed G. Gouda
2009 J jnl
Hop chains: Secure routing and the establishment of distinct identities.
Theor. Comput. Sci.
Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda
2009 B conf
Linear-Time Verification of Firewalls.
ICNP
Hrishikesh B. Acharya, Mohamed G. Gouda
2009 C conf
Nash Equilibria in Stabilizing Systems.
SSS
Mohamed G. Gouda, Hrishikesh B. Acharya
2009 — ed.
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009
SafeConfig
Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu
2009 B conf
The Blocking Option in Routing Protocols.
SRDS
Yan Li, Mohamed G. Gouda
2008 B conf
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language.
ICCCN
Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda
2008 J jnl
Diverse Firewall Design.
IEEE Trans. Parallel Distributed Syst.
Alex X. Liu, Mohamed G. Gouda
2008 J jnl
Formal Specification and Verification of a Secure Micropayment Protocol.
Int. J. Netw. Secur.
Mohamed G. Gouda, Alex X. Liu
2008 J jnl
Logarithmic keying.
ACM Trans. Auton. Adapt. Syst.
Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni
2008 C conf
Pharewell to Phishing.
SSS
Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb
2008 B conf
Sources and Monitors: A Trust Model for Peer-to-Peer Networks.
ICCCN
Yan Li, Mohamed G. Gouda
2008 C conf
Stabilization of Max-Min Fair Networks without Per-flow State.
SSS
Jorge Arturo Cobb, Mohamed G. Gouda
2008 B conf
Verification of Distributed Firewalls.
GLOBECOM
Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry
2007 J jnl
A Stabilizing Deactivation/Reactivation Protocol.
IEEE Trans. Computers
Mehmet Hakan Karaata, Mohamed G. Gouda
2007 J jnl
A state-based language for sensor-actuator networks.
SIGBED Rev.
Anish Arora, Mohamed G. Gouda, Jason O. Hallstrom, Ted Herman, William Leal, Nigamanth Sridhar
2007 J jnl
Optimal Dispersal of Certificate Chains.
IEEE Trans. Parallel Distributed Syst.
Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda
2007 J jnl
Reliable bursty convergecast in wireless sensor networks.
Comput. Commun.
Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda
2007 J jnl
SPP: An anti-phishing single password protocol.
Comput. Networks
Mohamed G. Gouda, Alex X. Liu, Lok M. Leung, Mohamed A. Alam
2007 C conf
Stabilization of Flood Sequencing Protocols in Sensor Networks.
SSS
Young-ri Choi, Mohamed G. Gouda
2007 J jnl
Structured firewall design.
Comput. Networks
Mohamed G. Gouda, Alex X. Liu
2007 C conf
The Truth System: Can a System of Lying Processes Stabilize?
SSS
Mohamed G. Gouda, Yan Li
2007 J jnl
The alternator.
Distributed Comput.
Mohamed G. Gouda, F. Furman Haddix
2007 A* conf
Truth in advertising: lightweight verification of route integrity.
PODC
Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov
2006 J jnl
Convergence of IPsec in presence of resets.
J. High Speed Networks
Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy
2006 J jnl
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].
Comput. Commun.
Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
2006 C conf
Fault Masking in Tri-redundant Systems.
SSS
Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang
2006 B conf
Hop Chains: Secure Routing and the Establishment of Distinct Identities.
OPODIS
Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda
2006 — book
Hop Integrity in the Internet
Chin-Tser Huang, Mohamed G. Gouda
2006 B conf
How to Assign Symmetric Keys in a Network of Small Computers.
ICCCN
Mohamed G. Gouda
2006 B conf
Key Grids: A Protocol Family for Assigning Symmetric Keys.
ICNP
Amitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda
2006 J jnl
Key bundles and parcels: Secure communication in many groups.
Comput. Networks
Eunjin Jung, Alex X. Liu, Mohamed G. Gouda
2006 C conf
Logarithmic Keying of Communication Networks.
SSS
Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah
2006 B conf
Rating Certificates.
ICCCN
Eunjin Jung, Mohamed G. Gouda
2006 J jnl
Secret instantiation in ad-hoc networks.
Comput. Commun.
Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
2006 J jnl
Stabilization of Grid Routing in Sensor Networks.
J. Aerosp. Comput. Inf. Commun.
Young-ri Choi, Mohamed G. Gouda, Hongwei Zhang, Anish Arora
2006 J jnl
Stabilizing Certificate Dispersal.
J. Aerosp. Comput. Inf. Commun.
Mohamed G. Gouda, Eunjin Jung
2006 J jnl
Vulnerability analysis of certificate graphs.
Int. J. Secur. Networks
Eunjin Jung, Mohamed G. Gouda
2005 — conf
A General Alternator.
IASTED PDCS
F. Furman Haddix, Mohamed G. Gouda
2005 A conf
A Model of Stateful Firewalls and Its Properties.
DSN
Mohamed G. Gouda, Alex X. Liu
2005 B conf
A State-Based Model of Sensor Protocols.
OPODIS
Mohamed G. Gouda, Young-ri Choi
2005 B conf
A secure cookie protocol.
ICCCN
Alex X. Liu, Jason M. Kovacs, Chin-Tser Huang, Mohamed G. Gouda
2005 — ch.
Antireplay Protocols for Sensor Networks.
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks
Mohamed G. Gouda, Young-ri Choi, Anish Arora
2005 B conf
Complete Redundancy Detection in Firewalls.
DBSec
Alex X. Liu, Mohamed G. Gouda
2005 B conf
ExScal: Elements of an Extreme Scale Wireless Sensor Network.
RTCSA
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
2005 J jnl
Hello again: Stabilization of the Hello protocol in OSPF.
J. High Speed Networks
Jorge Arturo Cobb, Mohamed G. Gouda, Deepinder P. Sidhu
2005 B conf
Project ExScal (Short Abstract).
DCOSS
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
2005 B conf
Reliable bursty convergecast in wireless sensor networks.
MobiHoc
Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda
2005 J jnl
Self-Stabilizing Systems, Part 1.
J. High Speed Networks
Mohamed G. Gouda
2005 J jnl
Self-Stabilizing Systems, Part 2.
J. High Speed Networks
Mohamed G. Gouda
2005 — conf
Stabilizing Certificate Dispersal.
Self-Stabilizing Systems
Mohamed G. Gouda, Eunjin Jung
2005 — conf
State Checksum and Its Role in System Stabilization.
ICDCS Workshops
Chin-Tser Huang, Mohamed G. Gouda
2005 — book
The Austin Protocol Compiler
Tommy M. McGuire, Mohamed G. Gouda
2005 — conf
Zmail: Zero-Sum Free Market Control of Spam.
ICDCS Workshops
Benjamin Kuipers, Alex X. Liu, Aashin Gautam, Mohamed G. Gouda
2004 J jnl
A line in the sand: a wireless sensor network for target detection, classification, and tracking.
Comput. Networks
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
2004 A conf
Certificate Dispersal in Ad-Hoc Networks.
ICDCS
Mohamed G. Gouda, Eunjin Jung
2004 A conf
Diverse Firewall Design.
DSN
Alex X. Liu, Mohamed G. Gouda
2004 A conf
Firewall Design: Consistency, Completeness, and Compactness.
ICDCS
Mohamed G. Gouda, Alex X. Liu
2004 B conf
Firewall Queries.
OPODIS
Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu
2004 B conf
Formal Specification and Verification of a Micropayment Protocol.
ICCCN
Mohamed G. Gouda, Alex X. Liu
2004 A conf
Optimal Dispersal of Certificate Chains.
DISC
Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda
2004 B conf
Optimal dispersal of special certificate graphs.
GLOBECOM
Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda
2004 B conf
Sentries and Sleepers in Sensor Networks.
OPODIS
Mohamed G. Gouda, Young-ri Choi, Anish Arora
2003 — conf
A Pursuer-Evader Game for Sensor Networks.
Self-Stabilizing Systems
Murat Demirbas, Anish Arora, Mohamed G. Gouda
2003 — conf
A Stabilizing Solution to the Stable Path Problem.
Self-Stabilizing Systems
Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri
2003 J jnl
A secure address resolution protocol.
Comput. Networks
Mohamed G. Gouda, Chin-Tser Huang
2003 — conf
Convergence of IPsec in Presence of Resets.
ICDCS Workshops
Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy
2003 J jnl
Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks.
IEEE Distributed Syst. Online
Vinayak Naik, Anish Arora, Sandip Bapat, Mohamed G. Gouda
2003 — conf
Key Bundels and Parcels: Secure Communication in Many Groups.
Networked Group Communication
Eunjin Jung, Alex X. Liu, Mohamed G. Gouda
2003 J jnl
Maximizable routing metrics.
IEEE/ACM Trans. Netw.
Mohamed G. Gouda, Marco Schneider
2003 B conf
The mote connectivity protocol.
ICCCN
Young-ri Choi, Mohamed G. Gouda, Moon C. Kim, Anish Arora
2002 J jnl
Hop integrity in computer networks.
IEEE/ACM Trans. Netw.
Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire
2002 A conf
Key Trees and the Security of Interval Multicast.
ICDCS
Mohamed G. Gouda, Chin-Tser Huang, E. N. Elnozahy
2002 J jnl
Multiphase Stabilization.
IEEE Trans. Software Eng.
Mohamed G. Gouda
2002 J jnl
Stabilization of General Loop-Free Routing.
J. Parallel Distributed Comput.
Jorge Arturo Cobb, Mohamed G. Gouda
2001 B conf
An anti-replay window protocol with controlled shift.
ICCCN
Chin-Tser Huang, Mohamed G. Gouda
2001 A* conf
Batch rekeying for secure group communications.
WWW
Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam
2001 J jnl
Elements of security: Closure, convergence, and protection.
Inf. Process. Lett.
Mohamed G. Gouda
2001 — conf
On the Security and Vulnerability of PING.
WSS
Mohamed G. Gouda, Chin-Tser Huang, Anish Arora
2001 — conf
Stabilization of Routing in Directed Networks.
WSS
Jorge Arturo Cobb, Mohamed G. Gouda
2001 — conf
The Theory of Weak Stabilization.
WSS
Mohamed G. Gouda
2000 J jnl
Alert communication primitives above TCP.
J. High Speed Networks
Mohamed G. Gouda, Tommy M. McGuire
2000 B conf
Anti-replay window protocols for secure IP.
ICCCN
Mohamed G. Gouda, Chin-Tser Huang, Eric Li
2000 B conf
Hop Integrity in Computer Networks.
ICNP
Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire
2000 J jnl
Secure group communications using key graphs.
IEEE/ACM Trans. Netw.
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
1999 C conf
General and Scalable State Feedback for Multimedia Systems.
ISCC
Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda
1999 J jnl
Memory Requirements for Silent Stabilization.
Acta Informatica
Shlomi Dolev, Mohamed G. Gouda, Marco Schneider
1999 — conf
Stabilization of maximal metric trees.
WSS
Mohamed G. Gouda, Marco Schneider
1999 — conf
The alternator.
WSS
Mohamed G. Gouda, F. Furman Haddix
1998 A conf
Accelerated Heartbeat Protocols.
ICDCS
Mohamed G. Gouda, Tommy M. McGuire
1998 B conf
Maximizable Routing Metrics.
ICNP
Mohamed G. Gouda, Marco Schneider
1998 A* conf
Secure Group Communications Using Key Graphs.
SIGCOMM
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
1998 J jnl
Time-shift scheduling - fair scheduling of flows in high-speed networks.
IEEE/ACM Trans. Netw.
Jorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas
1997 B conf
Balanced Routing.
ICNP
Jorge Arturo Cobb, Mohamed G. Gouda
1997 — conf
Delay-insensitive stabilization.
WSS
Anish Arora, Mohamed G. Gouda
1997 C conf
Flow scheduling protocols without real-time clocks.
ISCC
Amal El-Nahas, Khalil M. Ahmed, Mohamed G. Gouda
1997 J jnl
Flow theory.
IEEE/ACM Trans. Netw.
Jorge Arturo Cobb, Mohamed G. Gouda
1997 C conf
Inter-stream adaptation for collaborative multimedia applications.
ISCC
Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda
1997 J jnl
Properties of secure transaction protocols.
Comput. Networks ISDN Syst.
Douglas H. Steves, Chris Edmondson-Yurkanan, Mohamed G. Gouda
1997 J jnl
Self-Stabilization by Tree Correction.
Chic. J. Theor. Comput. Sci.
George Varghese, Anish Arora, Mohamed G. Gouda
1997 J jnl
The Request Reply Family of Group Routing Protocols.
IEEE Trans. Computers
Jorge Arturo Cobb, Mohamed G. Gouda
1997 — conf
The linear alternator.
WSS
Mohamed G. Gouda, F. Furman Haddix
1996 J jnl
Constraint satisfaction as a basis for designing nonmasking fault-tolerance.
J. High Speed Networks
Anish Arora, Mohamed G. Gouda, George Varghese
1996 A conf
Group Routing without Group Routing Tables.
ICDCS
Jorge Arturo Cobb, Mohamed G. Gouda
1996 J jnl
Group routing without group routing tables: an exercise in protocol design.
Comput. Commun.
Jorge Arturo Cobb, Mohamed G. Gouda
1996 A* conf
Memory Requirements for Silent Stabilization (Extended Abstract).
PODC
Shlomi Dolev, Mohamed G. Gouda, Marco Schneider
1996 J jnl
Network Protocols Between Exact Specifications and Pragmatic Implementations.
ACM Comput. Surv.
Mohamed G. Gouda
1996 A conf
Sentries for the Execution of Concurrent Programs.
ICDCS
Sarah E. Chodrow, Mohamed G. Gouda
1996 J jnl
Systems of Recall Broadcast.
Inf. Sci.
Hussein M. Abdel-Wahab, Mohamed G. Gouda
1996 J jnl
The Stabilizing Token Ring in Three Bits.
J. Parallel Distributed Comput.
Mohamed G. Gouda, F. Furman Haddix
1996 B conf
Time-Shift Scheduling: Fair Scheduling of Flows in High Speed Networks.
ICNP
Jorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas
1995 J jnl
A periodic state exchange protocol and its verification.
IEEE Trans. Commun.
Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani
1995 B conf
A wireless link protocol: design by refinement.
ICNP
Mohamed G. Gouda, Sanjoy Paul
1995 J jnl
Implementation of the Sentry System.
Softw. Pract. Exp.
Sarah E. Chodrow, Mohamed G. Gouda
1995 — conf
Load Balancing: An Exercise in Constrainted Convergence.
WDAG
Anish Arora, Mohamed G. Gouda
1995 J jnl
Modularity and Rule-Based Programming.
Int. J. Artif. Intell. Tools
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
1995 C conf
Ordered Delivery over One-way Virtual Circuits.
ISCC
Jorge Arturo Cobb, Mohamed G. Gouda
1995 C conf
Stabilizing Client/Server Protocols without the Tears.
FORTE
Mohamed G. Gouda
1995 — conf
The Triumph and Tribulation of System Stabilization.
WDAG
Mohamed G. Gouda
1994 B conf
A New Approach to Modularity in Rule-Based Programming.
ICTAI
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
1994 — conf
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.
Specification of Parallel Algorithms
Anish Arora, Mohamed G. Gouda, George Varghese
1994 A conf
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.
ICDCS
Anish Arora, Mohamed G. Gouda, George Varghese
1994 J jnl
Distributed Reset.
IEEE Trans. Computers
Anish Arora, Mohamed G. Gouda
1994 — conf
Protocol synchronization with sparse timestraps.
PSTV
Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal
1994 J jnl
Stabilizing Observers.
Inf. Process. Lett.
Mohamed G. Gouda
1994 J jnl
The Elusive Atomic Register.
J. ACM
Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda
1994 — conf
Universal Mobile Addressing in the Internet.
WMCSA
Jorge Arturo Cobb, Chris Edmondson-Yurkanan, Mohamed G. Gouda
1993 J jnl
Closure and Convergence: A Foundation of Fault-Tolerant Computing.
IEEE Trans. Software Eng.
Anish Arora, Mohamed G. Gouda
1993 J jnl
Convergence of Iteration Systems.
Distributed Comput.
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1993 B conf
Flow theory: Verification of rate-reservation protocols.
ICNP
Jorge Arturo Cobb, Mohamed G. Gouda
1993 J jnl
Protocol Verification Made Simple: A Tutorial.
Comput. Networks ISDN Syst.
Mohamed G. Gouda
1993 J jnl
Rankers: A Classification of Synchronization Problems.
Sci. Comput. Program.
Ambuj K. Singh, Mohamed G. Gouda
1993 J jnl
Stabilization and Pseudo-Stabilization.
Distributed Comput.
James E. Burns, Mohamed G. Gouda, Raymond E. Miller
1992 J jnl
A Criterion for Atomicity.
Formal Aspects Comput.
James H. Anderson, Mohamed G. Gouda
1992 A conf
Asynchronous Unison (Extended Abstract).
ICDCS
Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda
1992 — conf
Closure and Convergence: A Formulation of Fault-Tolerant Computing.
FTCS
Anish Arora, Mohamed G. Gouda
1992 — conf
The Granularity of Waiting (Extended Abstract).
WDAG
James H. Anderson, Jae-Heon Yang, Mohamed G. Gouda
1992 B conf
The Sentry System.
SRDS
Sarah E. Chodrow, Mohamed G. Gouda
1992 — conf
The Two-Dimensional Window Protocol.
PSTV
Mohamed G. Gouda
1991 J jnl
A New Explanation of the Glitch Phenomenon.
Acta Informatica
James H. Anderson, Mohamed G. Gouda
1991 J jnl
Adaptive Programming.
IEEE Trans. Software Eng.
Mohamed G. Gouda, Ted Herman
1991 J jnl
Block acknowledgment: redesigning the window protocol.
IEEE Trans. Commun.
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
1991 — conf
Maintaining Digital Clocks In Step.
WDAG
Anish Arora, Shlomi Dolev, Mohamed G. Gouda
1991 J jnl
Maintaining Digital Clocks in Step.
Parallel Process. Lett.
Anish Arora, Shlomi Dolev, Mohamed G. Gouda
1991 J jnl
On the Minimum Requirements for Independent Recovery in Distributed Systems.
Inf. Process. Lett.
Chung-Kuo Chang, Mohamed G. Gouda
1991 — conf
Protocol engineering (panel session).
ACM Conference on Computer Science
Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani
1991 J jnl
Stabilizing Communication Protocols.
IEEE Trans. Computers
Mohamed G. Gouda, Nicholas J. Multari
1990 — conf
Composite Routing Protocols.
SPDP
Anish Arora, Mohamed G. Gouda, Ted Herman
1990 B conf
Convergence of Iteration Systems (Extended Abstract).
CONCUR
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1990 — conf
Convergence/response tradeoffs in concurrent systems.
SPDP
Mohamed G. Gouda, Michael Evangelist
1990 — conf
Distributed Reset (Extended Abstract).
FSTTCS
Anish Arora, Mohamed G. Gouda
1990 J jnl
Stabilizing Unison.
Inf. Process. Lett.
Mohamed G. Gouda, Ted Herman
1990 J jnl
The Instability of Self-Stabilization.
Acta Informatica
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier
1989 A* conf
Block Acknowledgement: Redesigning the Window Protocol.
SIGCOMM
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
1989 B conf
System Simulation and the Sensitivity of Self-Stabilization.
MFCS
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier
1989 J jnl
Token Systems that Self-Stabilize.
IEEE Trans. Computers
Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu
1988 J jnl
Atomic Semantics of Nonatomic Programs.
Inf. Process. Lett.
James H. Anderson, Mohamed G. Gouda
1988 A* conf
Delivery and discrimination: the Seine protocol.
SIGCOMM
Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani
1987 B conf
Independent Recovery.
SRDS
Chung-Kuo Chang, Mohamed G. Gouda
1987 A* conf
The Elusive Atomic Register Revisited.
PODC
Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda
1986 J jnl
Proving Liveness for Networks of Communicating Finite State Machines.
ACM Trans. Program. Lang. Syst.
Mohamed G. Gouda, Chung-Kuo Chang
1985 J jnl
A Discipline for Constructing Multiphase Communication Protocols
ACM Trans. Comput. Syst.
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1985 A* conf
Modeling physical layer protocols using communicating finite state machines.
SIGCOMM
Mohamed G. Gouda, Khe-Sing The
1985 J jnl
On "A Simple Protocol Whose Proof Isńt": The State Machine Approach.
IEEE Trans. Commun.
Mohamed G. Gouda
1985 J jnl
Priority Networks of Communicating Finite State Machines.
SIAM J. Comput.
Mohamed G. Gouda, Louis E. Rosier
1985 J jnl
Protocol Validation by Fair Progress State Exploration.
Comput. Networks
Mohamed G. Gouda, Ji-Yun Han
1985 J jnl
Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines.
IEEE Trans. Software Eng.
Mohamed G. Gouda, Hui-Seng Lee
1984 A* conf
A Technique for Proving Liveness of Communicating Finite State Machines with Examples.
PODC
Mohamed G. Gouda, Chung-Kuo Chang
1984 J jnl
An exercise in constructing multi-phase communication protocols.
Comput. Commun. Rev.
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1984 J jnl
Closed Covers: To Verify Progress for Communicating Finite State Machines.
IEEE Trans. Software Eng.
Mohamed G. Gouda
1984 A* conf
Communicating Finite State Machines with Priority Channnels.
ICALP
Mohamed G. Gouda, Louis E. Rosier
1984 — conf
On Constructing Multi-Phase Communication Protocols.
PSTV
Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam
1984 — conf
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.
PSTV
Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam
1984 J jnl
On the Progress of Communications between Two Finite State Machines
Inf. Control.
Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu
1984 J jnl
Protocol Validation by Maximal Progress State Exploration.
IEEE Trans. Commun.
Mohamed G. Gouda, Yao-Tin Yu
1984 J jnl
Synthesis of Communicating Finite-State Machines with Guaranteed Progress.
IEEE Trans. Commun.
Mohamed G. Gouda, Yao-Tin Yu
1984 A* conf
Using Semiouterjoins to Process Queries in Multidatabase Systems.
PODS
Hai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda
1983 — conf
An Example for Constructing Communicating Machines by Step-Wise Refinement.
Protocol Specification, Testing, and Verification
Mohamed G. Gouda
1983 A* conf
Maximal progress state exploration.
SIGCOMM
Mohamed G. Gouda, Yao-Tin Yu
1983 J jnl
Unboundedness Detection for a Class of Communicating Finite-State Machines.
Inf. Process. Lett.
Yao-Tin Yu, Mohamed G. Gouda
1982 — conf
Deadlock Detection for a Class of Communicating Finite State Machine.
PSTV
Yao-Tin Yu, Mohamed G. Gouda
1982 J jnl
Deadlock Detection for a Class of Communicating Finite State Machines.
IEEE Trans. Commun.
Yao-Tin Yu, Mohamed G. Gouda
1982 — conf
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies.
PSTV
Mohamed G. Gouda, Bijendra N. Jain
1981 — conf
Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems.
SIGMOD Conference
Mohamed G. Gouda, Umeshwar Dayal
1980 — conf
On the progress of communication between two machines.
Operating Systems Engineering
Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu
1979 — conf
Global and Local Models for the Specification and Verification of Distributed Systems.
Berkeley Workshop
Mohamed G. Gouda, D. Body, W. Wood
1978 — conf
A Hierarchial Controller for Concurrent Accessing of Distributed Databases.
Computer Architecture for Non-Numeric Processing
Mohamed G. Gouda
1976 A* conf
On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures.
ICSE
Mohamed G. Gouda, Eric G. Manning
1976 C conf
Protocol Machines: A Concise Formal Model and its Automatic Implementation.
ICCC
Mohamed G. Gouda, Eric G. Manning