Search results for: Stephen Gilmore
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 289-311
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 191-205
Lecture Notes in Computer Science > Formal Methods for Real-Time and Probabilistic Systems > Stochastic Process Algebra > 211-227
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > EPEW > 262-277
Lecture Notes in Computer Science > Computational Science - ICCS 2004 > Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) > 289-296
Lecture Notes in Computer Science > Computer Performance Evaluation Modelling Techniques and Tools > 353-368
Lecture Notes in Computer Science > Computer Performance Evaluation: Modelling Techniques and Tools > 111-130
Lecture Notes in Computer Science > Computer and Information Sciences - ISCIS 2004 > Modeling and Performance Evaluation > 523-532
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Scalable Analysis of Scalable Systems > 1-17
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 522-540
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 200-214
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 467-485
Lecture Notes in Computer Science > Performance Tools and Applications to Networked Systems > 311-335
Lecture Notes in Computer Science > FM 2005: Formal Methods > Security > 286-301
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 1-26
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Dependability and Performance Analysis > 179-192