Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Integrating hundred's of products through one architecture: the industrial IT architecture
Proceedings of the 24th International Conference on Software Engineering
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
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
A Hardware and Software Monitor for High-Level System-on-Chip Verification
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Improving Performance of Virtual Reality Applications Through Parallel Processing
The Journal of Supercomputing
Traffic-aware stress testing of distributed systems based on UML models
Proceedings of the 28th international conference on Software engineering
Journal of Systems and Software
Empirical analysis of a genetic algorithm-based stress test technique
Proceedings of the 10th annual conference on Genetic and evolutionary computation
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Experience and challenges with UML-driven performance engineering of a Distributed Real-Time System
Information and Software Technology
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |