
Mikael Berndtsson
Lektor i datavetenskap
Institutionen för informationsteknologi
Kontaktuppgifter
- E-post
- mikael.berndtsson@his.se
- Arbete
- 0500-448322
- Rum
- PA410F
Kurser
- Business Intelligence (Master åk 2)
- Business Intelligence - aktuella trender (åk3)
- Business Intelligence - datadrivna organisationer (distanskurs, magister)
- Business Intelligence - datadrivna organisationer (distanskurs, magister, yrkesverksamma)
- Business Intelligence - översikt (distanskurs)
- Introduktion till Business Intelligence (åk1)
CV
Publikationer
-
2009
Event in Active DatabasesEricsson AnnMarie, Berndtsson Mikael, Mellin JonasEncyclopedia of Database Systems (1044-1045). Springer Science+Business Media B.V., 2009. -
Event Specification
Mellin Jonas, Berndtsson MikaelEncyclopedia of Database Systems (1059-1063). Springer Science+Business Media B.V., 2009.
-
Explicit Event
Mellin Jonas, Berndtsson MikaelEncyclopedia of Database Systems (1080-1080). Springer Science+Business Media B.V., 2009.
-
Implicit Event
Mellin Jonas, Berndtsson MikaelEncyclopedia of Database Systems (1404-1405). Springer Science+Business Media B.V., 2009.
-
2008
Thesis projects: A guide for students in computer science and information systemsBerndtsson Mikael, Hansson Jörgen, Olsson Björn et al.London: Springer London, 2008. -
Verification of an industrial rule-based manufacturing system using REX
Ericsson AnnMarie, Berndtsson Mikael, Pettersson Paul et al.Proceedings of the 1st iCEP08 Workshop onComplex Event Processing for the Future Internet Vienna, Austria, September 28th, 2008 (1-10). CEUR-WS.org, 2008.
-
2007
REX, the Rule and Event eXplorerEricsson AnnMarie, Berndtsson Mikaelthe 2007 inaugural international conference on Distributed event-based systems (71-74). ACM Press, 2007. -
Seamless Formal Verification of Complex Event Processing Applications
Ericsson AnnMarie, Pettersson Paul, Berndtsson Mikael et al.the 2007 inaugural international conference on Distributed event-based systems (50-61). ACM Press, 2007.
-
2006
Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed AutomataEricsson Ann-Marie, Berndtsson Mikaelthe First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS 06: IEEE Services Computing Workshops (SCW'06) (39-50). IEEE conference proceedings, 2006. -
2005
Analyzing Course Configurations for Teaching Object-Oriented Modeling and DesignBerndtsson MikaelIEEE Transactions on Education, 2005, 48(2), 337-339.