Get my own profile
Co-authors
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Nan GuanThe Hong Kong Polytechnic UniversityVerified email at comp.polyu.edu.hk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Martin StiggeResearcher, Uppsala UniversityVerified email at it.uu.se
Pontus EkbergUppsala UniversityVerified email at it.uu.se
Mingsong LvNortheastern University, ChinaVerified email at cse.neu.edu.cn
Elena FersmanResearch Director at Ericsson, Adjunct Professor at Royal Institute of Technology, StockholmVerified email at ericsson.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Leonid MokrushinPrincipal Researcher at Ericsson ABVerified email at it.uu.se
Fanxin KongSyracuse UniversityVerified email at syr.edu
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Johan LiliusÅbo Akademi UniversityVerified email at abo.fi
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Kai LampkaChief Expert & Technology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)Verified email at elektrobit.com
Mats DanielsProfessor Computing Education Research, UppsalaVerified email at it.uu.se
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
Per StenstromChalmersVerified email at chalmers.se