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 Databases
Ericsson AnnMarie, Berndtsson Mikael, Mellin Jonas
Encyclopedia of Database Systems (1044-1045). Springer Science+Business Media B.V., 2009.
Event Specification
Mellin Jonas, Berndtsson Mikael
Encyclopedia of Database Systems (1059-1063). Springer Science+Business Media B.V., 2009.
Explicit Event
Mellin Jonas, Berndtsson Mikael
Encyclopedia of Database Systems (1080-1080). Springer Science+Business Media B.V., 2009.
Implicit Event
Mellin Jonas, Berndtsson Mikael
Encyclopedia of Database Systems (1404-1405). Springer Science+Business Media B.V., 2009.
2008
Thesis projects: A guide for students in computer science and information systems
Berndtsson 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 eXplorer
Ericsson AnnMarie, Berndtsson Mikael
the 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 Automata
Ericsson Ann-Marie, Berndtsson Mikael
the 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 Design
Berndtsson Mikael
IEEE Transactions on Education, 2005, 48(2), 337-339.