IEEE Transactions on Software Engineering
A performance monitoring application for distributed interactive simulations (DIS)
Proceedings of the 29th conference on Winter simulation
BRISK: a portable and flexible distributed instrumentation system
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools parallel processing
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Quality of Service Negotiation for Distributed, Dynamic Real-Time Systems
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Software Black Box: An Alternative Mechanism for Failure Analysis
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Extending a traditional debugger to debug massively parallel applications
Journal of Parallel and Distributed Computing
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
| Hi-index | 0.00 |