Mikael Berndtsson
Informatics
University of Skovde
Sweden
Biography
Mikael Berndtsson is working as professor in the department of Informatics in University of Skovde.
Research Interest
Informatics
Publications
-
Ericsson, A-M., Berndsson, M., Pettersson, P. and Pettersson, L. (2008) Verification of an industrial rule-based manufacturing system using REX. In Proceedings of the 1st iCEP08 Workshop on Complex Event Processing for the Future Internet, Vienna, Austria, September 28th, 2008.
-
Ericsson, A-M., Pettersson, P. ,Berndsson, M. and Seirio M. (2007) Seamless Formal Verification of Complex Event Processing Applications. Inaugural International Conference on Distributed Event-Based Systems (DEBS), Toronto, June 2007, pp.50-61.
-
Ericsson, A-M. and Berndsson, M. (2007) REX, the Rule and Event eXplorer. Inaugural International Conference on Distributed Event-Based Systems (DEBS), Toronto, June 2007, pp. 71-74.
