ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
Validating programs without specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cesar: a static sequencing constraint analyzer
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Experiments in automated analysis of concurrent software systems
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Comments Analysis and Programming Errors
IEEE Transactions on Software Engineering
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
Experiments with an improved constrained expression toolset
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A model of Ada programs for static deadlock detection in polynomial times
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Metric-driven reengineering for static concurrency analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems
Real-Time Systems - Special issue on safety-critical systems
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |