Daniel Karlsson

	2012
17		Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz: Timing Modeling with AUTOSAR - Current state and future directions. DATE 2012: 805-809
	2011
16		Daniel Karlsson, Martin Berzell, Stefan Schulz: Information Models and Ontologies for Representing the Electronic Health Record. ICBO 2011
	2009
15		Françoise Pontet, Ulla Magdal Petersen, Xavier Fuentes-Arderiu, Gunnar Nordin, Ivan Bruunshuus, Jarkko Ihalainen, Daniel Karlsson, Urban Forsum, René Dybkaer, Gunther Schadow, Wolf Kuelpmann, Georges Férard, Dongchon Kang, Clement J. McDonald, Gilbert Hill: Clinical Laboratory Sciences Data Transmission: The NPU Coding System. MIE 2009: 265-269
14		Stefan Schulz, Daniel Karlsson, Christel Daniel, Hans Cools, Christian Lovis: Is the "International Classification for Patient Safety" a Classification? MIE 2009: 502-506
	2008
13		Rong Chen, Sebastian Garde, Thomas Beale, Mikael Nyström, Daniel Karlsson, Gunnar O. Klein, Hans Åhlfeldt: An Archetype-based Testing Framework. MIE 2008: 401-406
12		Mattias Pettersson, Jenny Wihlborg, Rikard Lövström, Erik Sundvall, Mikael Nyström, Daniel Karlsson: Systematizing medical alerts. MIE 2008: 753-758
11		Leili Lind, Daniel Karlsson, Bengt Fridlund: Patients' use of digital pens for pain assessment in advanced palliative home healthcare. I. J. Medical Informatics 77(2): 129-136 (2008)
10		Daniel Karlsson, Petru Eles, Zebo Peng: Model validation for embedded systems using formal method-aided simulation. IET Computers & Digital Techniques 2(6): 413-433 (2008)
	2007
9		Daniel Karlsson, Petru Eles, Zebo Peng: Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310
8		Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles: What impacts course evaluation? ITiCSE 2007: 333
7		Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of component-based designs. Design Autom. for Emb. Sys. 11(1): 49-90 (2007)
	2006
6		Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233
	2005
5		Daniel Karlsson, Petru Eles, Zebo Peng: Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201
	2004
4		Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379
3		Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568
	2002
2		Petru Eles, Zebo Peng, Daniel Karlsson: Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161
1		Leili Lind, Erik Sundvall, Daniel Karlsson, Nosrat Shahsavar, Hans Åhlfeldt: Requirements and prototyping of a home health care application based on emerging JAVA technology. I. J. Medical Informatics 68(1-3): 129-139 (2002)

Coauthor Index

1	Hans Åhlfeldt	[1] [13]
2	Mehdi Amirijoo	[8]
3	Thomas Beale	[13]
4	Martin Berzell	[16]
5	Hans Blom	[17]
6	Christel Daniel-Le Bozec (Christel Daniel, Christel Le Bozec)	[14]
7	Ivan Bruunshuus	[15]
8	Rong Chen	[13]
9	Hans Cools	[14]
10	René Dybkaer	[15]
11	Petru Eles	[2] [3] [4] [5] [6] [7] [8] [9] [10]
12	Georges Férard	[15]
13	Urban Forsum	[15]
14	Bengt Fridlund	[11]
15	Xavier Fuentes-Arderiu	[15]
16	Sebastian Garde	[13]
17	Gilbert Hill	[15]
18	Jarkko Ihalainen	[15]
19	Dongchon Kang	[15]
20	Gunnar O. Klein	[13]
21	Wolf Kuelpmann	[15]
22	Stefan Kuntz	[17]
23	Erik Larsson	[8]
24	Leili Lind	[1] [11]
25	Christian Lovis	[14]
26	Rikard Lövström	[12]
27	Clement J. McDonald	[15]
28	Gunnar Nordin	[15]
29	Mikael Nyström	[12] [13]
30	Zebo Peng	[2] [3] [4] [5] [6] [7] [9] [10]
31	Marie-Agnès Peraldi-Frati	[17]
32	Ulla Magdal Petersen	[15]
33	Mattias Pettersson	[12]
34	Françoise Pontet	[15]
35	Gunther Schadow	[15]
36	Stefan Schulz	[14] [16]
37	Nosrat Shahsavar	[1]
38	Erik Sundvall	[1] [12]
39	Jenny Wihlborg	[12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page