Modern Control Systems
Self-Managing Systems: A Control Theory Foundation
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Performance Model Estimation and Tracking Using Optimal Filters
IEEE Transactions on Software Engineering
What does control theory bring to systems research?
ACM SIGOPS Operating Systems Review
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
MANTra: Towards Model Transformation Testing
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Synthesis for PCTL in parametric Markov decision processes
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Incremental quantitative verification for Markov decision processes
DSN '11 Proceedings of the 2011 IEEE/IFIP 41st International Conference on Dependable Systems&Networks
Symbolic and parametric model checking of discrete-time markov chains
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |