Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A generalized approach to monitoring distributed computations for event occurrences
A generalized approach to monitoring distributed computations for event occurrences
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A bibliography of parallel debuggers, 1993 edition
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Detecting relational global predicates in distributed systems
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Detecting atomic sequences of predicates in distributed computations
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
ENF event predicate detection in distributed systems
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Local states in distributed computations: a few relations and formulas
ACM SIGOPS Operating Systems Review
Local and temporal predicates in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Enhancing Distributed Event Predicate Detection Algorithms
IEEE Transactions on Parallel and Distributed Systems
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Clock Trees: Logical Clocks for Programs with Nested Parallelism
IEEE Transactions on Software Engineering
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Techniques to Tackle State Explosion in Global Predicate Detection
IEEE Transactions on Software Engineering
Causality in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Finding Consistent Global Checkpoints in a Distributed Computation
IEEE Transactions on Parallel and Distributed Systems
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
IEEE Transactions on Software Engineering
Detecting Temporal Logic Predicates on the Happened-Before Model
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Computation Slicing: Techniques and Theory
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Algorithmic Combinatorics Based on Slicing Posets
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Debugging in a Distributed World: Observation and Control
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Software Fault Tolerance of Distributed Programs Using Computation Slicing
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
On Detecting Global Predicates in Distributed Computations
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
On Slicing a Distributed Computation
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A Fine-Grained Modality Classification for Global Predicates
IEEE Transactions on Parallel and Distributed Systems
Runtime safety analysis of multithreaded programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Distributed algorithm to detect strong conjunctive predicates
Information Processing Letters
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
Detecting global predicates in distributed systems with clocks
Distributed Computing
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing
Causality and atomicity in distributed computations
Distributed Computing
Detection of global predicates: techniques and their limitations
Distributed Computing
Efficient dependency tracking for relevant events in shared-memory systems
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Vector time and causality among abstract events in distributed computations
Distributed Computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Intractability results in predicate detection
Information Processing Letters
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Event-based Programming Models for Event-based Programming Models for
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Techniques and applications of computation slicing
Distributed Computing
Manufacturing opaque predicates in distributed systems for code obfuscation
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Algorithmic combinatorics based on slicing posets
Theoretical Computer Science
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Neural, Parallel & Scientific Computations
Data-stream-based global event monitoring using pairwise interactions
Journal of Parallel and Distributed Computing
Communication analysis of distributed programs
Scientific Programming - Parallel/High-Performance Object-Oriented Scientific Computing (POOSC '05), Glasgow, UK, 25 July 2005
Efficient dependency tracking for relevant events in concurrent systems
Distributed Computing
Locally Distributed Predicates: A Programming Facility for Distributed State Detection
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On Detecting Regular Predicates in Distributed Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Intractability results in predicate detection
Information Processing Letters
An approach to feature location in distributed systems
Journal of Systems and Software
Web services discovery and constraints composition
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Parametric and sliced causality
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Middleware clocks for sensing the physical world
Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Immediate detection of predicates in pervasive environments
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Designing execution control in programs with global application states monitoring
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Strongly consistent global states detection using relative clock errors
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Modeling and analyzing periodic distributed computations
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A lattice-theoretic approach to runtime property detection for pervasive context
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
Repeated detection of conjunctive predicates in distributed executions
Information Processing Letters
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Immediate detection of predicates in pervasive environments
Journal of Parallel and Distributed Computing
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Monitoring for hierarchical web services compositions
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Analysis of interval-based global state detection
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Theoretical Computer Science
Detecting stable locality-aware predicates
Journal of Parallel and Distributed Computing
Modeling, analyzing and slicing periodic distributed computations
Information and Computation
| Hi-index | 0.01 |