34 search results - page 2 / 7 » Proven correct monitors from PSL specifications |
B
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
WSCG
2003
13 years 6 months ago
2003
Apart from anatomical and physiological imaging, MRI can also be used to produce temperature maps. Our objective is to obtain such maps in real-time to monitor mini-invasive therm...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
LREC
2010
13 years 6 months ago
2010
We describe the implementation of an enterprise monitoring system that builds on an ontology-based information extraction (OBIE) component applied to heterogeneous data sources. T...
JCS
2002
13 years 5 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...