Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:DANIEL KARLSSON
Found 16 entries
  1. Transactor-based Formal Verification of Real-time Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    In Lecture Notes in Electrical Engineering, Vol. 10, Ed.: E. Villar, Springer.
  2. Model Validation for Embedded Systems Using Formal Method-Aided Simulation
    Daniel Karlsson, Petru Eles, Zebo Peng
    IET Computers & Digital Techniques journal, Vol. 2, Number 6, November 2008, pp. 413-433.
  3. Transactor-based Formal Verification of Real-time Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    Forum on Specification & Design Languages (FDL), Barcelona, Spain, September 18-20, 2007.
  4. What Impacts Course Evaluation?
    Erik Larsson, Medhi Amirijoo, Daniel Karlsson, Petru Eles
    12th SIGCSE Conf. on Innovation and Technology in Computer Science Education, Dundee, Scotland, UK, June 25-27, 2007, pp. 333-333.
  5. Verification of Component-based Embedded System Designs
    Daniel Karlsson
    Ph. D. Thesis No. 1017, Dept. of Computer and Information Science, Linköping University, June 2006 (Opponent: Prof. Bashir Al-Hashimi, University of Southampton, UK)
  6. Formal Verification of Component-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Journal of Design Automation for Embedded Systems, Vol. 11, No. 1, March 2007, pp. 49-90
  7. Formal Verification of SystemC Designs Using a Petri-Net based Representation
    Daniel Karlsson, Petru Eles, Zebo Peng
    Design Automation and Test in Europe Conference (DATE 2006), Munich, Germany, March 6-10, 2006, pp. 1228-1233
  8. Validation of Embedded Systems using Formal Method aided Verification
    Daniel Karlsson, Petru Eles, Zebo Peng
    8th Euromicro Conference on Digital System Design (DSD'2005), Porto, Portugal, August 30 - September 3, 2005, pp. 196-199
  9. Validation of Embedded Systems using Formal Method aided Simulation
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)
  10. A Formal Verification Approach for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Forum on Specification and Design Languages, Lille, France, September 13-17, 2004, pp. 556-567
  11. A Formal Verification Methodology for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools, Rennes, France, August 31-September 3, 2004, pp 372-379.
  12. A Formal Verification Methodology for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)
  13. Towards Formal Verification in a Component-based Reuse Methodology
    Daniel Karlsson
    Licentiate Thesis No. 1058, Dept. of Computer and Information Science, Linköping University, December 2003
  14. Automatic Generation of a Formal Verification Bench for a Reuse Methodology
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'03), Sunbyholms Slott, Eskilstuna, Sweden, April 8-9, 2003 (Informal Digest)
  15. Formal Verification in a Component-based Reuse Methodology
    Daniel Karlsson, Petru Eles, Zebo Peng
    International Symposium on System Synthesis (ISSS) 2002, Kyoto, Japan, October 2-4, 2002, pp. 156-161
  16. A Front End to a Java Based Environment for the Design of Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    4th IEEE DDECS Workshop, Gyor, Hungary, April 2001, pp. 71-78
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)