- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c14 |      | Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz: Timing Modeling with AUTOSAR - Current state and future directions. DATE 2012: 805-809 |
| c13 | | Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson: Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. SAFECOMP Workshops 2012: 190-201 |
| 2011 | ||
| c12 | | Daniel Karlsson, Martin Berzell, Stefan Schulz: Information Models and Ontologies for Representing the Electronic Health Record. ICBO 2011 |
| 2009 | ||
| j5 | | Rong Chen, Gunnar O. Klein, Erik Sundvall, Daniel Karlsson, Hans Åhlfeldt: Archetype-based conversion of EHR content models: pilot experience with a regional EHR system. BMC Med. Inf. & Decision Making 9: 33 (2009) |
| c11 | | 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 |
| c10 | | Stefan Schulz, Daniel Karlsson, Christel Daniel, Hans Cools, Christian Lovis: Is the "International Classification for Patient Safety" a Classification? MIE 2009: 502-506 |
| 2008 | ||
| j4 | | 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) |
| j3 | | 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) |
| c9 | | 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 |
| c8 | | Mattias Pettersson, Jenny Wihlborg, Rikard Lövström, Erik Sundvall, Mikael Nyström, Daniel Karlsson: Systematizing medical alerts. MIE 2008: 753-758 |
| 2007 | ||
| j2 | | Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of component-based designs. Design Autom. for Emb. Sys. 11(1): 49-90 (2007) |
| c7 | | Daniel Karlsson, Petru Eles, Zebo Peng: Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310 |
| c6 | | Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles: What impacts course evaluation? ITiCSE 2007: 333 |
| 2006 | ||
| c5 | | Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233 |
| 2005 | ||
| c4 | | Daniel Karlsson, Petru Eles, Zebo Peng: Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201 |
| 2004 | ||
| c3 | | Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379 |
| c2 | | Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568 |
| 2002 | ||
| j1 | | 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) |
| c1 | | Petru Eles, Zebo Peng, Daniel Karlsson: Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161 |
Colors in the list of coauthors
Last update Mon May 20 10:21:10 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page