Requirements interaction management
ACM Computing Surveys (CSUR)
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
An assertion-based verification methodology for system-level design
Computers and Electrical Engineering
Run-Time Enforcement of Nonsafety Policies
ACM Transactions on Information and System Security (TISSEC)
Composing expressive runtime security policies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
A monitoring approach for runtime service discovery
Automated Software Engineering
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Multi-level model-based self-diagnosis of distributed object-oriented systems
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Discovery and diagnosis of behavioral transitions in patient event streams
ACM Transactions on Management Information Systems (TMIS)
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
A pattern-driven framework for monitoring security and dependability
TrustBus'07 Proceedings of the 4th international conference on Trust, Privacy and Security in Digital Business
Relaxing claims: coping with uncertainty while evaluating assumptions at run time
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Monitoring care processes in the gynecologic oncology department
Computers in Biology and Medicine
Hi-index | 0.01 |