Program evolution: processes of software change
Program evolution: processes of software change
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Vision of Autonomic Computing
Computer
Model-Based Reconfiguration: Diagnosis and Recovery
Model-Based Reconfiguration: Diagnosis and Recovery
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using Architecture Models for Runtime Adaptability
IEEE Software
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
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Performance Model Estimation and Tracking Using Optimal Filters
IEEE Transactions on Software Engineering
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Runtime Verification
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
CADS*: Computer-Aided Development of Self-* Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Rule Systems for Runtime Verification: A Short Tutorial
Runtime Verification
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
TRACECONTRACT: a scala DSL for trace analysis
FM'11 Proceedings of the 17th international conference on Formal methods
Incremental quantitative verification for Markov decision processes
DSN '11 Proceedings of the 2011 IEEE/IFIP 41st International Conference on Dependable Systems&Networks
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
PSL model checking and run-time verification via testers
FM'06 Proceedings of the 14th international conference on Formal Methods
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Towards communication-based steering of complex distributed systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
An incremental verification framework for component-based software systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
A causal model to predict the effect of business process evolution on quality of service
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Mitigating the obsolescence of specification models of service-based systems
Proceedings of the 2013 International Conference on Software Engineering
Augmented manufacturing: a study with impaired persons on assistive systems using in-situ projection
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
From software verification to `everyware' verification
Computer Science - Research and Development
On the relationships between QoS and software adaptability at the architectural level
Journal of Systems and Software
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
A reliability model for Service Component Architectures
Journal of Systems and Software
Formal verification of service-oriented adaptive driver assistance systems
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 48.22 |
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.