Publications for Daniel Karlsson
Co-author map based on ISI articles 2007-
Journal Articles
Chapters in Books
Conference Articles
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
Transactor-based Formal Verification of Real-time Embedded Systems
Forum on Specification Design Languages,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.
|
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.
|
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
Licentiate Theses
Ph.D., Lic. Theses
