The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniel Karlsson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002