Functional program testing and analysis
Functional program testing and analysis
Miss Manners: a specialized silicon compiler for synchronizers
Proceedings of the fourth MIT conference on Advanced research in VLSI
MELDing data flow and object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions
Proceedings of the International Colloquium on Formalization of Programming Concepts
A Method for Developing Concurrent Systems
Proceedings of the 6th Colloquium on International Symposium on Programming
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Development of a debugger for a concurrent language
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
EBBA Modelling Tool a.k.a Event Definition Language
EBBA Modelling Tool a.k.a Event Definition Language
Predicate path expressions: a high-level synchronization mechanism
Predicate path expressions: a high-level synchronization mechanism
Adaptability and portability of symbolic debuggers
Adaptability and portability of symbolic debuggers
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
MELDing transactions and objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Process clustering for distributed debugging
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Debugging Multithreaded Programs with MPD
IEEE Software
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
IEEE Transactions on Software Engineering
Fast detection of communication patterns in distributed executions
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Logical time in visualizations produced by parallel programs
VIS '92 Proceedings of the 3rd conference on Visualization '92
On the design of a pervasive debugger
Proceedings of the sixth international symposium on Automated analysis-driven debugging
| Hi-index | 0.00 |