Sciweavers

Share
399 search results - page 1 / 80
» From Data to Events: Checking Properties on the Control of a...
Sort
View
MEMOCODE
2008
IEEE
9 years 8 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
APN
2015
Springer
3 years 10 months ago
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data
Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checke...
Andrey Mokhov, Josep Carmona
ENTCS
2006
123views more  ENTCS 2006»
9 years 2 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
RV
2007
Springer
130views Hardware» more  RV 2007»
9 years 8 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
books