Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Faster and Symbolic CTMC Model Checking
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Model Checking CSL until Formulae with Random Time Bounds
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Handbook of automated reasoning
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Formal Methods for Dynamic Power Management
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Model Checking Markov Chains with Actions and State Labels
IEEE Transactions on Software Engineering
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Quantitative verification: models, techniques and tools
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Bisimulation relations for weighted automata
Theoretical Computer Science
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An Experimental Evaluation of Probabilistic Simulation
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Natural Language Specification of Performance Trees
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Artificial Intelligence
Model checking expected time and expected reward formulae with random time bounds
Computers & Mathematics with Applications
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Evaluating quality of service for service level agreements
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Flow faster: efficient decision algorithms for probabilistic simulations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Query-based verification of qualitative trends and oscillations in biochemical systems
Theoretical Computer Science
Hybrid dynamics of stochastic programs
Theoretical Computer Science
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Combining formal verification with observed system execution behavior to tune system parameters
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
A bounded statistical approach for model checking of unbounded until properties
Proceedings of the IEEE/ACM international conference on Automated software engineering
An effective sequential statistical test for probabilistic monitoring
Information and Software Technology
Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Femtocell coverage optimisation using statistical verification
NETWORKING'11 Proceedings of the 10th international IFIP TC 6 conference on Networking - Volume Part I
Automata-based CSL model checking
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Functional performance specification with stochastic probes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Counterexamples for timed probabilistic reachability
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On statistical model checking of stochastic systems
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Transactions on Computational Systems Biology VII
Model checking interactive markov chains
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Symbolic model checking of stochastic systems: theory and implementation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Visualisation for stochastic process algebras: the graphic truth
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rare event simulation for highly dependable systems with fast repairs
Performance Evaluation
xTune: A formal methodology for cross-layer tuning of mobile embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A probabilistic framework for object-oriented modeling and analysis of distributed systems
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Formal modelling and verification of service-oriented systems in probabilistic event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A temporal logic with mean-payoff constraints
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Proceedings of the Winter Simulation Conference
Exploring parameter space of stochastic biochemical systems using quantitative model checking
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |