] Filters: First Letter Of Title is E [Clear All Filters]
"An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms",
Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, pp. 897-902, 2010.
"Efficient Temporal Reasoning in the Cached Event Calculus",
Computational Intelligence, vol. 12, pp. 359-382, 1996.
Download: fulltext.pdf (1.48 MB)
"Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems",
RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
"Extensions to Coloured Petri Nets",
Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM '89): IEEE Computer Society, pp. 61-70, 1989.