Software metrics: establishing a company-wide program
Software metrics: establishing a company-wide program
Communication and concurrency
Model-checking for probabilistic real-time systems (extended abstract)
Proceedings of the 18th international colloquium on Automata, languages and programming
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Theoretical Computer Science
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
IEEE Spectrum
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Software Engineering Economics
Software Engineering Economics
Time and Probability in Formal Design of Distributed Systems
Time and Probability in Formal Design of Distributed Systems
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Compositional and symbolic model-checking of real-time systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Explanation-Based Scenario Generation for Reactive System Models
Automated Software Engineering
Automated Software Engineering
Metrics for Labeled Markov Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Specification Modeling and Validation Applied to a Family of Network Security Products
Proceedings of the 16th IEEE international conference on Automated software engineering
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
| Hi-index | 0.00 |