Publications for Daniel Karlsson
Co-author map based on ISI articles 2007-

Keywords

verified verification validation system representation proposes model methodology logic glue formal environment embedded designs designers course component-based component checking abstraction

Journal Articles

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Model validation for embedded systems using formal method-aided simulation
  IET Computers and digital techniques, 2008, 2(6), 413-433.
   Fulltext  PDF  
 Web of Science® Times Cited: 1

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal verification of component-based designs
  Design automation for embedded systems, 2007, 11(1), 49-90.
 Web of Science® Times Cited: 8

Chapters in Books

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Transactor-based Formal Verification of Real-time Embedded Systems
  Embedded Systems Specification and Design Languages, Springer, 2008, 255-270.


Conference Articles

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Transactor-based Formal Verification of Real-time Embedded Systems
  Forum on Specification Design Languages,2007, 2008.


Erik Larsson, Mehdi Amirijoo, Daniel Karlsson and Petru Ion Eles
  What Impacts Course Evaluation?
  12th SIGCSE Conf. on Innovation and Technology in Computer Science Education,2007, 2007.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal Verification of SystemC Designs Using a Petri-Net based Representation
  Design Automation and Test in Europe Conference DATE 2006,2006, 2006.


 Web of Science® Times Cited: 11

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Validation of Embedded Systems using Formal Method aided Verification
  8th Euromicro Conference on Digital System Design DSD2005,2005, 2005.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Formal Verification Methodology for IP-based Designs
  EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools,2004, 2004.


 Web of Science® Times Cited: 2

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Formal Verification Approach for IP-based Designs
  Forum on Specification and Design Languages,2004, 2004.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal Verification in a Component-based Reuse Methodology
  nternational Symposium on System Synthesis ISSS 2002,2002, 2002.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Front End to a Java Based Environment for the Design of Embedded Systems
  4th IEEE DDECS Workshop,2001, 2001.


Ph.D. Theses

Daniel Karlsson
  Verification of Component-based Embedded System Designs
  2006.


  Fulltext PDF

Licentiate Theses

Daniel Karlsson
  Towards Formal Verification in a Component-based Reuse Methodology
  2003.


  Fulltext PDF