Publications

  • 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.
  • Ericsson, A-M. and Berndsson, M. (2006) Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS 06), In Proceedings of IEEE Services Computing Workshops (SCW'06), Chicago, pp. 39-50.
  • Schroiff, A. (2005). Using a Rule-System as Mediator for Heterogeneous Databases, exemplified in a Bioinformatics Use Case. Master's thesis, HS-IKI-MD-05-003, School of Humanities and Informatics, University of Skövde, September 2005.
  • Seiriö, M. and Berndtsson, M. (2005). Design and Implementation of an ECA Rule Markup Language.  In Proceedings of the 4th International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2005), Galway, Ireland, 10-12 November 2005, pp. 98-112.
  • Grigoris, A.,  Berndtsson, M., Spreeuwenberg, S., Taveter, K., and Wagner, G. (2004). Elements of a First Visual Rule Language for the Semantic Web. AIS SIGSEMIS Bulletin 1(3):40-42, October 2004. 
Updated: 11/14/2008
Page editor: Mikael Berntsson

Rewerse - reasoning on the web

Contact

Mikael Berndtsson
Senior Lecturer
University of Skövde
Humanities and Informatics
0500 - 44 83 22