Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Daniel Larsson
Daniel Larsson
About Me
Since May 2005 I am a PhD student at Chalmers University of Technology,
Computer Science and Engineering
Department, Computing Science Division.
My research consists of formal software verification. I am currently
investigating how hardware and software faults can be modeled during verification
in a way that makes it possible to prove that a program is tolerant against certain
kinds of faults.
I am a member of the
Formal
Methods group at our Department and also a member of the
KeY project
(in collaboration with University of
Karlsruhe and
University
of Koblenz-Landau), which aims at integrating
object oriented design with formal methods.
Finally, I am part of the CEDES
project, a project aiming at methods for cost-efficient fault tolerance
for safety-critical computer systems in the domain of road vehicles.
My supervisor is Reiner Hähnle.
Address/Contact Info
Daniel Larsson
Chalmers University of Technology
Computer Science and Engineering
412-96 Göteborg, Sweden
e-mail: danla(at)cs(dot)chalmers(dot)se
tel: +46-31-772-5660
Room: SAFER area, building NAVET, 5th floor, Lindholmen
Publications
Oleg Mürk, Daniel Larsson, Reiner Hähnle.
KeY-C: A Tool for Verification of C Programs
International Conference on Automated Deduction (CADE), LNCS 4603,
pages 385-390, Bremen, Germany. July 2007. Springer
[PDF]
[BibTeX]
Daniel Larsson, Reiner Hähnle.
Symbolic Fault Injection.
International Verification Workshop (VERIFY'07) at International Conference
on Automated Deduction (CADE), volume 259 of CEUR Workshop Proceeding,
pages 85-103, Bremen, Germany, July 2007
[PDF]
Oleg Mürk, Daniel Larsson, Reiner Hähnle.
A Dynamic Logic for Deductive Verification of C Programs with KeY-C
C/C++ Verification Workshop at Integrated Formal Methods (IFM),
Technical Report ICIS-R07015 of Radboud University Nijmegen,
pages 43-58, Oxford, UK. July 2007
[PDF]
Daniel Larsson.
Formal Specification and Verification of Safety-Critical Software.
Licentiate Thesis
Chalmers University of Technology/Göteborg University 2006
[abstract]
[PDF]
[BibTeX]
Daniel Larsson, Ruben Alexandersson.
Formal Verification of Fault Tolerance Aspects.
Fast Abstract. Supplementary Proceedings of International Symposium
on Software Reliability Engineering (ISSRE)
Conference, pages 279-280, Chicago, USA.
November 2005. IEEE Computer Society
[PDF]
Martin Giese, Daniel Larsson.
Simplifying Transformations of OCL Constraints.
Proceedings of Model Driven Engineering Languages and Systems (MoDELS)
Conference, LNCS 3713, pages 309-323, Montego Bay, Jamaica.
October 2005. Springer
[abstract]
[PDF]
[BibTeX]
Martin Giese, Reiner Hähnle, Daniel Larsson.
Rule-Based Simplification of OCL Constraints.
OCL and Model Driven Engineering Workshop at UML 2004 Conference, Lisbon, Portugal, October 12, 2004.
[Gzipped PostScript]
[PDF]
[BibTeX]
[OCL Workshop Homepage]
Daniel Larsson and Wojciech Mostowski.
Specifying Java Card API in OCL.
OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS.
[Gzipped PostScript]
[PDF]
[BibTeX]
[At Elsevier]