Search the dblp DataBase

Publications of Author

1. Daniel Karlsson, Petru Eles, Zebo Peng
   Formal verification of systemc designs using a petri-net based representation. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:1228-1233 [Conf]
   
2. Daniel Karlsson, Petru Eles, Zebo Peng
   A Formal Verification Methodology for IP-based Designs. [Citation Graph (0, 0)][DBLP]
   DSD, 2004, pp:372-379 [Conf]
   
3. Daniel Karlsson, Petru Eles, Zebo Peng
   Validation of Embedded Systems Using Formal Method Aided Simulation. [Citation Graph (0, 0)][DBLP]
   DSD, 2005, pp:196-201 [Conf]
   
4. Petru Eles, Zebo Peng, Daniel Karlsson
   Formal Verification in a Component-Based Reuse Methodology. [Citation Graph (0, 0)][DBLP]
   ISSS, 2002, pp:156-161 [Conf]
   
5. Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles
   What impacts course evaluation? [Citation Graph (0, 0)][DBLP]
   ITiCSE, 2007, pp:333- [Conf]
   
6. 
   Transactor-based Formal Verification of Real-time Embedded Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   A Formal Verification Approach for IP-based Designs. [Citation Graph (, )][DBLP]
   
   
8. 
   Clinical Laboratory Sciences Data Transmission: The NPU Coding System. [Citation Graph (, )][DBLP]
   
   
9. 
   Is the "International Classification for Patient Safety" a Classification? [Citation Graph (, )][DBLP]
   
   
10. 
    An Archetype-based Testing Framework. [Citation Graph (, )][DBLP]
    
    
11. 
    Systematizing medical alerts. [Citation Graph (, )][DBLP]