| Daniel Karlsson |
|
|
|
Daniel Karlsson left ESLAB to Volvo Technology in Gothenburg as an advanced engineer. He stayed as a postgraduate researcher at ESLAB at Linköpings universitet until August 2007. He received his M.Sc. degree in Computer Science from Linköpings Universitet in April 2000 and he defended his Ph.D. at the same university in June 2006.
Research Interests
- Hardware/Software Codesign
- Modelling and Verification of Embedded Systems
- Formal Methods
- IP Reuse
- Communication Synthesis
Publications
- 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. - 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. - 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. - 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. - 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) - 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 - 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 - 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 - 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) - 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 - 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. - 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) - 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 - 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) - 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 - 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