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
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]