 | 2009 |
|---|
| 135 |       | Gengxin Miao,
Firat Kart,
Louise E. Moser,
P. M. Melliar-Smith:
Collaborative Web Data Record Extraction.
ICWS 2009: 896-902 |
| 134 | | Gengxin Miao,
Jun'ichi Tatemura,
Wang-Pin Hsiung,
Arsany Sawires,
Louise E. Moser:
Extracting data records from the web using tag path clustering.
WWW 2009: 981-990 |
| 2008 |
|---|
| 133 | | Firat Kart,
Louise E. Moser,
P. Michael Melliar-Smith:
Collaborative Computing Using the Atom Publishing Protocol.
ITNG 2008: 291-296 |
| 132 | | Louise E. Moser,
P. M. Melliar-Smith:
Service-Oriented Architecture and Web Services.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 131 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
A Reservation-Based Extended Transaction Protocol.
IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008) |
| 130 | | Firat Kart,
Louise E. Moser,
P. Michael Melliar-Smith:
Building a Distributed E-Healthcare System Using SOA.
IT Professional 10(2): 24-30 (2008) |
| 129 | | Wenbing Zhao,
Firat Kart,
Louise E. Moser,
P. M. Melliar-Smith:
A Reservation-based Extended Transaction Protocol for Coordination of Web Services.
Int. J. Web Service Res. 5(3): 64-95 (2008) |
| 128 | | Vana Kalogeraki,
P. M. Melliar-Smith,
Louise E. Moser,
Yannis Drougas:
Resource management using multiple feedback loops in soft real-time distributed object systems.
Journal of Systems and Software 81(7): 1144-1162 (2008) |
| 2007 |
|---|
| 127 | | Firat Kart,
Gengxin Miao,
Louise E. Moser,
P. M. Melliar-Smith:
A Distributed e-Healthcare System Based on the Service Oriented Architecture.
IEEE SCC 2007: 652-659 |
| 126 |  | Firat Kart,
Louise E. Moser,
P. Michael Melliar-Smith:
Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.
International Conference on Internet Computing 2007: 124-132 |
| 125 | | P. Michael Melliar-Smith,
Louise E. Moser:
Achieving Atomicity for Web Services Using Commutativity of Actions.
J. UCS 13(8): 1094-1109 (2007) |
| 124 | | Louise E. Moser,
P. Michael Melliar-Smith,
Wenbing Zhao:
Building Dependable and Secure Web Services.
JSW 2(1): 14-26 (2007) |
| 2006 |
|---|
| 123 | | Louise E. Moser,
P. M. Melliar-Smith,
Wenbing Zhao:
Making Web Services Dependable.
ARES 2006: 440-448 |
| 122 | | Zachary Davis,
Michael Hu,
Shreyas Prasad,
Michael Schuricht,
P. M. Melliar-Smith,
Louise E. Moser:
A Personal Handheld Multi-Modal Shopping Assistant.
ICNS 2006: 117 |
| 121 | | Shreyas Prasad,
Zachary Davis,
Michael Hu,
Michael Schuricht,
P. M. Melliar-Smith,
Louise E. Moser:
Location-Aware Voice-Enabled Web Services for Mobile Devices.
MoMM 2006: 291-300 |
| 120 | | Michael Hu,
Zachary Davis,
Shreyas Prasad,
Michael Schuricht,
P. Michael Melliar-Smith,
Louise E. Moser:
Speech-Enabled Web Services for Mobile Devices.
SWWS 2006: 103-109 |
| 119 | | Prithviraj Dasgupta,
P. M. Melliar-Smith,
Louise E. Moser:
Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.
International Journal of Information Technology and Decision Making 5(2): 331-352 (2006) |
| 118 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
End-to-end latency of a fault-tolerant CORBA infrastructure.
Perform. Eval. 63(4-5): 341-363 (2006) |
| 2005 |
|---|
| 117 | | A. V. Singh,
Louise E. Moser,
P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.
EDCC 2005: 154-166 |
| 116 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
A Reservation-Based Coordination Protocol for Web Services.
ICWS 2005: 49-56 |
| 115 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Deterministic Scheduling for Multithreaded Replicas.
WORDS 2005: 74-81 |
| 114 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Fault Tolerance for Distributed and Networked Systems.
Encyclopedia of Information Science and Technology (II) 2005: 1190-1196 |
| 113 | | Prithviraj Dasgupta,
Louise E. Moser,
P. M. Melliar-Smith:
Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.
Electronic Commerce Research 5(2): 267-292 (2005) |
| 112 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.
IEEE Trans. Dependable Sec. Comput. 2(1): 20-33 (2005) |
| 2004 |
|---|
| 111 | | K. H. (Kane) Kim,
Paul D. Ezhilchelvan,
Jörg Kaiser,
Louise E. Moser,
Edgar Nett,
Neeraj Suri:
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
SRDS 2004: 102 |
| 110 | | P. M. Melliar-Smith,
Louise E. Moser:
Progress in Real-Time Fault Tolerance.
SRDS 2004: 109-111 |
| 109 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.
Cluster Computing 7(4): 317-330 (2004) |
| 108 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Design and implementation of a consistent time service for fault-tolerant distributed systems.
Comput. Syst. Sci. Eng. 19(5): (2004) |
| 2003 |
|---|
| 107 | | Louise E. Moser,
P. M. Melliar-Smith:
Demonstration of Fault Tolerance for CORBA Applications.
DISCEX (2) 2003: 87-89 |
| 106 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.
DSN 2003: 341-350 |
| 105 | | Ruppert R. Koch,
Sanjay Hortikar,
Louise E. Moser,
P. M. Melliar-Smith:
Transparent TCP Connection Failover.
DSN 2003: 383-392 |
| 104 | | Kim Potter Kihlstrom,
Louise E. Moser,
P. M. Melliar-Smith:
Byzantine Fault Detectors for Solving Consensus.
Comput. J. 46(1): 16-35 (2003) |
| 2002 |
|---|
| 103 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
On Bootstrapping Replicated CORBA Applications.
COMPSAC 2002: 239-245 |
| 102 | | Louise E. Moser,
P. M. Melliar-Smith,
L. A. Tewksbury:
Online Upgrades Become Standard.
COMPSAC 2002: 982-988 |
| 101 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Lessons Learned in Building a Fault-Tolerant CORBA System.
DSN 2002: 39-44 |
| 100 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Unification of Replication and Transaction Processing in Three-Tier Architectures.
ICDCS 2002: 290- |
| 99 | | Ruppert R. Koch,
Louise E. Moser,
P. M. Melliar-Smith:
The Totem Redundant Ring Protocol.
ICDCS 2002: 598-607 |
| 98 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure.
IPDPS 2002 |
| 97 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
End-to-End Latency of a Fault-Tolerant CORBA Infrastructure.
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 189-198 |
| 96 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Strongly consistent replication and recovery of fault-tolerant CORBA applications.
Comput. Syst. Sci. Eng. 17(2): 103-114 (2002) |
| 95 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Eternal - a component-based framework for transparent fault-tolerant CORBA.
Softw., Pract. Exper. 32(8): 771-788 (2002) |
| 2001 |
|---|
| 94 | | L. A. Tewksbury,
Louise E. Moser,
P. M. Melliar-Smith:
Live Upgrade Techniques for CORBA Applications.
DAIS 2001: 257-272 |
| 93 | | L. A. Tewksbury,
Louise E. Moser,
P. M. Melliar-Smith:
Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects.
DOA 2001: 310-320 |
| 92 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.
DSN 2001: 261-270 |
| 91 | | Vana Kalogeraki,
P. M. Melliar-Smith,
Louise E. Moser:
Dynamic Migration Algorithms for Distributed Object Systems.
ICDCS 2001: 119-126 |
| 90 | | L. A. Tewksbury,
Louise E. Moser,
P. M. Melliar-Smith:
Live Upgrades of CORBA Applications Using Object Replication.
ICSM 2001: 488- |
| 89 | | Wenbing Zhao,
Louise E. Moser,
P. M. Melliar-Smith:
Increasing the Reliability of Three-Tier Applications.
ISSRE 2001: 138-147 |
| 88 | | K. Berket,
Deborah A. Agarwal,
P. M. Melliar-Smith,
Louise E. Moser:
Overview of the InterGroup Protocols.
International Conference on Computational Science (1) 2001: 316-325 |
| 87 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Strong Replica Consistency for Fault-Tolerant CORBA Applications.
WORDS 2001: 10-20 |
| 86 | | Kim Potter Kihlstrom,
Louise E. Moser,
P. M. Melliar-Smith:
The SecureRing group communication system.
ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001) |
| 85 | | Louise E. Moser,
P. M. Melliar-Smith,
Priya Narasimhan,
Ruppert R. Koch,
K. Berket:
A multicast group communication protocol, engine, and bridge for CORBA.
Concurrency and Computation: Practice and Experience 13(7): 579-603 (2001) |
| 84 | | Nitya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Interceptors for Java Remote Method Invocation.
Concurrency and Computation: Practice and Experience 13(8-9): 755-774 (2001) |
| 83 | | Efstratios Thomopoulos,
Louise E. Moser,
P. M. Melliar-Smith:
Latency analysis of the totem single-ring protocol.
IEEE/ACM Trans. Netw. 9(5): 669-680 (2001) |
| 2000 |
|---|
| 82 | | Nitya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Transparent Consistent Replication of Java RMI Objects.
DOA 2000: 17-26 |
| 81 | | Ruppert R. Koch,
Louise E. Moser,
P. M. Melliar-Smith:
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.
DSN 2000: 337-346 |
| 80 | | Vana Kalogeraki,
Louise E. Moser,
P. M. Melliar-Smith:
A CORBA Framework for Managing Real-Time Distributed Multimedia Applications.
HICSS 2000 |
| 79 | | Vana Kalogeraki,
P. M. Melliar-Smith,
Louise E. Moser:
Dynamic Scheduling for Soft Real-Time Distributed Object Systems.
ISORC 2000: 114-121 |
| 78 | | Nitya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Interception in the Aroma system.
Java Grande 2000: 107-115 |
| 77 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Gateways for Accessing Fault Tolerance Domains.
Middleware 2000: 88-103 |
| 76 | | Michael D. Santos,
P. M. Melliar-Smith,
Louise E. Moser:
Flow control in the high-speed Thunder and Lightning ATM network.
Computer Communications 23(10): 928-935 (2000) |
| 1999 |
|---|
| 75 | | Louise E. Moser,
P. M. Melliar-Smith,
Priya Narasimhan,
Ruppert R. Koch,
K. Berket:
Multicast Group Communication for CORBA.
DOA 1999: 98-107 |
| 74 | | Louise E. Moser,
P. M. Melliar-Smith,
Priya Narasimhan:
A Fault Tolerance Framework for CORBA.
FTCS 1999: 150-157 |
| 73 | | Priya Narasimhan,
Kim Potter Kihlstrom,
Louise E. Moser,
P. M. Melliar-Smith:
Providing Support for Survivable CORBA Applications with the Immune System.
ICDCS 1999: 507-516 |
| 72 | | Louise E. Moser,
P. M. Melliar-Smith,
Ruppert R. Koch,
K. Berket:
A Group Communication Protocol for CORBA.
ICPP Workshops 1999: 30-36 |
| 71 | | Vana Kalogeraki,
P. M. Melliar-Smith,
Louise E. Moser:
Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems.
ISORC 1999: 291-300 |
| 70 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.
SRDS 1999: 263-273 |
| 69 | | Efstratios Thomopoulos,
Louise E. Moser,
P. M. Melliar-Smith:
Analyzing and Measuring the Latency of the Totem Multicast Protocols.
Computer Networks 31(1-2): 59-78 (1999) |
| 68 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Using Interceptors to Enhance CORBA.
IEEE Computer 32(7): 62-68 (1999) |
| 67 | | Prithviraj Dasgupta,
Nitya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
MAgNET: Mobile Agents for Networked Electronic Trading.
IEEE Trans. Knowl. Data Eng. 11(4): 509-525 (1999) |
| 66 | | Louise E. Moser,
P. M. Melliar-Smith:
Byzantine-Resistant Total Ordering Algorithms.
Inf. Comput. 150(1): 75-111 (1999) |
| 1998 |
|---|
| 65 | | Kim Potter Kihlstrom,
Louise E. Moser,
P. M. Melliar-Smith:
The SecureRing Protocols for Securing Group Communication.
HICSS (3) 1998: 317-326 |
| 64 | | Michael D. Santos,
P. M. Melliar-Smith,
Louise E. Moser:
Flow Control in the High-Speed Thunder and Lightning ATM Network.
ICCCN 1998: 243-250 |
| 63 | | Michael D. Santos,
P. M. Melliar-Smith,
Louise E. Moser:
A Lossless, Minimal Latency Protocol for Gigabit ATM Networks.
ICNP 1998: 151- |
| 62 | | Deborah A. Agarwal,
Louise E. Moser,
P. M. Melliar-Smith,
Ravi K. Budhia:
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.
ACM Trans. Comput. Syst. 16(2): 93-132 (1998) |
| 61 | | Ravi K. Budhia,
Louise E. Moser,
P. M. Melliar-Smith:
Performance engineering of the Totem group communication system.
Distributed Systems Engineering 5(2): 78-87 (1998) |
| 60 | | P. M. Melliar-Smith,
Louise E. Moser:
Surviving Network Partitioning.
IEEE Computer 31(3): 62-68 (1998) |
| 59 | | Louise E. Moser,
P. M. Melliar-Smith,
Priya Narasimhan:
Consistent Object Replication in the external System.
TAPOS 4(2): 81-92 (1998) |
| 1997 |
|---|
| 58 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
The Interception Approach to Reliable Distributed CORBA Objects.
COOTS 1997: 245-248 |
| 57 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance.
COOTS 1997: 81-90 |
| 56 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Consistency of Partitionable Object Groups in a CORBA Framework.
HICSS (1) 1997: 120-129 |
| 55 | | Efstratios Thomopoulos,
Louise E. Moser,
P. M. Melliar-Smith:
Analyzing the latency of the Totem multicast protocols.
ICCCN 1997: 42-50 |
| 54 | | Kim Potter Kihlstrom,
Louise E. Moser,
P. M. Melliar-Smith:
Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.
OPODIS 1997: 61-76 |
| 53 | | Louise E. Moser,
Y. S. Ramakrishna,
G. Kutty,
P. M. Melliar-Smith,
Laura K. Dillon:
A Graphical Environment for the Design of Concurrent Real-Time Systems.
ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997) |
| 52 | | Priya Narasimhan,
Louise E. Moser,
P. M. Melliar-Smith:
Replica consistency of CORBA objects in partitionable distributed systems.
Distributed Systems Engineering 4(3): 139-150 (1997) |
| 51 | | Xiaomin Chen,
Louise E. Moser,
P. M. Melliar-Smith:
Totally ordered gigabit multicasting.
Distributed Systems Engineering 4(4): 229-243 (1997) |
| 1996 |
|---|
| 50 | | Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna,
G. Kutty,
Laura K. Dillon:
The Real-Time Graphical Interval Logic Toolset.
CAV 1996: 446-449 |
| 49 | | W. J. Chun,
Louise E. Moser,
P. M. Melliar-Smith,
Deborah A. Agarwal:
Applying Distributed Simulation to a Communication Protocol Development Environment.
HICSS (1) 1996: 320-329 |
| 48 | | Xiaomin Chen,
Louise E. Moser,
P. M. Melliar-Smith:
Reservation-Based Totally Ordered Multicasting.
ICDCS 1996: 511-519 |
| 47 | | Xiaomin Chen,
Louise E. Moser,
P. M. Melliar-Smith:
Flow Control Techniques for Multicasting in Gigabit Networks.
ICNP 1996: 102- |
| 46 | | Louise E. Moser,
P. M. Melliar-Smith:
Probabilistic Duration Automata for Analyzing Real-Time Systems.
TACAS 1996: 369-390 |
| 45 | | Louise E. Moser,
P. M. Melliar-Smith,
Deborah A. Agarwal,
Ravi K. Budhia,
Colleen A. Lingley-Papadopoulos:
Totem: A Fault-Tolerant Multicast Group Communication System.
Commun. ACM 39(4): 54-63 (1996) |
| 44 | | Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna,
G. Kutty,
Laura K. Dillon:
Automated Deduction in a Graphical Temporal Logic.
Journal of Applied Non-Classical Logics 6(1): (1996) |
| 43 | | Y. S. Ramakrishna,
P. M. Melliar-Smith,
Louise E. Moser,
Laura K. Dillon,
G. Kutty:
Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci. 166(1&2): 1-47 (1996) |
| 42 | | Y. S. Ramakrishna,
P. M. Melliar-Smith,
Louise E. Moser,
Laura K. Dillon,
G. Kutty:
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.
Theor. Comput. Sci. 170(1-2): 1-46 (1996) |
| 1995 |
|---|
| 41 | | Louise E. Moser,
P. M. Melliar-Smith,
Deborah A. Agarwal:
The Totem System.
FTCS 1995: 61-66 |
| 40 | | Deborah A. Agarwal,
Louise E. Moser,
P. M. Melliar-Smith,
Ravi K. Budhia:
A reliable ordered delivery protocol for interconnected local area networks.
ICNP 1995: 365- |
| 39 | | Amitabha Das,
Louise E. Moser,
P. M. Melliar-Smith:
A Parallel Processing Paradigm for Irregular Applications.
IRREGULAR 1995: 249-254 |
| 38 | | Louise E. Moser,
P. M. Melliar-Smith:
Total Ordering Algorithms for Asynchronous Byzantine Systems.
WDAG 1995: 242-256 |
| 37 | | Yair Amir,
Louise E. Moser,
P. M. Melliar-Smith,
Deborah A. Agarwal,
P. Ciarfella:
The Totem Single-Ring Ordering and Membership Protocol.
ACM Trans. Comput. Syst. 13(4): 311-342 (1995) |
| 36 | | G. Kutty,
Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna,
Laura K. Dillon:
Axiomatizations of Interval Logics.
Fundam. Inform. 24(4): 313-331 (1995) |
| 1994 |
|---|
| 35 | | Marcos Valerio,
Louise E. Moser,
P. M. Melliar-Smith,
Paul Sweazey:
The QuickRing Network.
ACM Conference on Computer Science 1994: 233-240 |
| 34 | | G. Kutty,
Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna:
A Graphical Methodology for Concurrent System Design.
ACM Conference on Computer Science 1994: 52-59 |
| 33 | | Louise E. Moser,
Yair Amir,
P. M. Melliar-Smith,
Deborah A. Agarwal:
Extended Virtual Synchrony.
ICDCS 1994: 56-65 |
| 32 | | G. Kutty,
Louise E. Moser,
P. M. Melliar-Smith,
Laura K. Dillon,
Y. S. Ramakrishna:
First-Order Future Interval Logic.
ICTL 1994: 195-209 |
| 31 | | P. M. Melliar-Smith,
Louise E. Moser,
Y. S. Ramakrishna,
G. Kutty,
Laura K. Dillon:
A System for Automated Deduction in Graphical Interval Logic.
ICTL 1994: 540-542 |
| 30 | | Louise E. Moser,
P. M. Melliar-Smith:
Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol.
IEEE Real-Time Systems Symposium 1994: 238-248 |
| 29 | | Laura K. Dillon,
G. Kutty,
Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna:
A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994) |
| 28 | | Marcos Valerio,
Louise E. Moser,
P. M. Melliar-Smith:
Classic Squares and Broadcast Squares.
Discrete Applied Mathematics 54(1): 89-96 (1994) |
| 27 | | Louise E. Moser,
P. M. Melliar-Smith,
G. Kutty,
Y. S. Ramakrishna:
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Fundam. Inform. 21(4): 257-305 (1994) |
| 26 | | Louise E. Moser,
P. M. Melliar-Smith,
Vivek Agrawala:
Processor Membership in Asynchronous Distributed Systems.
IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994) |
| 25 | | Laura K. Dillon,
G. Kutty,
P. M. Melliar-Smith,
Louise E. Moser,
Y. S. Ramakrishna:
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput. 5(1): 61-81 (1994) |
| 1993 |
|---|
| 24 | | Louise E. Moser,
P. M. Melliar-Smith:
Analysis of Timing Hazards in Ada Programs.
ACM Conference on Computer Science 1993: 326-331 |
| 23 | | Hossein Moiin,
P. M. Melliar-Smith,
Louise E. Moser:
Better Late Than Never.
ACM Conference on Computer Science 1993: 44-51 |
| 22 | | G. Kutty,
Y. S. Ramakrishna,
Louise E. Moser,
Laura K. Dillon,
P. M. Melliar-Smith:
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
CAV 1993: 138-153 |
| 21 | | Y. S. Ramakrishna,
Laura K. Dillon,
Louise E. Moser,
P. M. Melliar-Smith,
G. Kutty:
A Real-Time Interval Logic and Its Decision Procedure.
FSTTCS 1993: 173-192 |
| 20 | | Yair Amir,
Louise E. Moser,
P. M. Melliar-Smith,
Deborah A. Agarwal,
P. Ciarfella:
Fast Message Ordering and Membership Using a Logical Token-Passing Ring.
ICDCS 1993: 551-560 |
| 19 | | G. Kutty,
Laura K. Dillon,
Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna:
Visual Tools for Temporal Reasoning.
VL 1993: 152-159 |
| 18 | | Louise E. Moser,
P. M. Melliar-Smith,
Vivek Agrawala:
Necessary and Sufficient Conditions for Broadcast Consensus Protocols.
Distributed Computing 7(2): 75-85 (1993) |
| 17 | | Louise E. Moser,
P. M. Melliar-Smith,
Vivek Agrawala:
Asynchronous Fault-Tolerant Total Ordering Algorithms.
SIAM J. Comput. 22(4): 727-750 (1993) |
| 1992 |
|---|
| 16 | | Deborah A. Agarwal,
Louise E. Moser:
A Graphical Interface for Analysis of Communication Protocols.
ACM Conference on Computer Science 1992: 149-156 |
| 15 | | Y. S. Ramakrishna,
Laura K. Dillon,
Louise E. Moser,
P. M. Melliar-Smith,
G. Kutty:
An Automata-Theoretic Decision Procedure for Future Interval Logic.
FSTTCS 1992: 51-67 |
| 14 | | Amitabha Das,
Louise E. Moser,
P. M. Melliar-Smith:
PAL: A Language for Parallel Asynchronous Computation.
ICPP (2) 1992: 166-173 |
| 13 | | Laura K. Dillon,
G. Kutty,
Louise E. Moser,
P. M. Melliar-Smith,
Y. S. Ramakrishna:
Graphical Specifications for Concurrent Software Systems.
ICSE 1992: 214-224 |
| 12 | | Y. S. Ramakrishna,
Louise E. Moser,
Laura K. Dillon,
P. M. Melliar-Smith,
G. Kutty:
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Inform. 17(3): 271-282 (1992) |
| 1991 |
|---|
| 11 | | P. M. Melliar-Smith,
Louise E. Moser:
Protection against Covert Storage and Timing Channels.
CSFW 1991: 209-214 |
| 10 | | Louise E. Moser,
P. M. Melliar-Smith,
Vivek Agrawala:
Membership algorithms for asynchronous distributed systems.
ICDCS 1991: 480-488 |
| 9 | | P. M. Melliar-Smith,
Louise E. Moser:
Performance Analysis of a Broadcast Communications Protocol.
SIGMETRICS 1991: 1-10 |
| 1990 |
|---|
| 8 | | Louise E. Moser,
Vikas Kapur,
P. M. Melliar-Smith:
Probabilistic Language Analysis of Weighted Voting Algorithms.
SIGMETRICS 1990: 67-73 |
| 7 | | P. M. Melliar-Smith,
Louise E. Moser,
Vivek Agrawala:
Broadcast Protocols for Distributed Systems.
IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990) |
| 6 | | Louise E. Moser:
Data Dependency Graphs for Ada Programs.
IEEE Trans. Software Eng. 16(5): 498-509 (1990) |
| 5 | | Louise E. Moser,
P. M. Melliar-Smith:
The World Banker's Algorithm.
J. Parallel Distrib. Comput. 9(4): 369-373 (1990) |
| 4 | | Louise E. Moser,
P. M. Melliar-Smith:
Formal Verification of Safety-critical Systems.
Softw., Pract. Exper. 20(8): 799-821 (1990) |
| 1989 |
|---|
| 3 | | Louise E. Moser:
A Logic of Knowledge and Belief for Reasoning about Computer Security.
CSFW 1989: 47-63 |
| 1988 |
|---|
| 2 | | Louise E. Moser:
A Decision Procedure for Unquantified Formulas of Graph Theory.
CADE 1988: 344-357 |
| 1987 |
|---|
| 1 | | Louise E. Moser:
Graph Homomorphisms and the Design of Secure Computer Systems.
IEEE Symposium on Security and Privacy 1987: 88-96 |
