Email Gateway (Aug 18 2022 at 10:35): Email Gateway (Aug 18 2022 at 10:35):From: Klaus Schneider <Klaus.Schneider@informatik.uni-kl.de>
Call for Papers
DASMOD Workshop on Formal Verification of Adaptive Systems
Kaiserslautern, Germany, September 14th, 2007
http://rsg.informatik.uni-kl.de/TPHOLs-2007/VerAS
http://www.dasmod.de
Important Dates:
* Submission deadline: 29 June 2007
* Author Notification: 20 July 2007
* Camera-ready copy: 3 August, 2007
* Workshop: 14 September, 2007
Workshop Topics:
The adaptive behavior of software and hardware systems becomes
more and more important in different areas of computer science
as e.g.
* new applications with situation-based selection of algorithms,
* new technologies like dynamically reconfigurable hardware, and
* new requirements with respect to fault-tolerance.
Traditionally, adaptive behavior has been realized as part of the
functionality. However, the increased complexity now asks for a
more explicit treatment of adaptation. A central goal is to check
that the adaptation does not violate global system properties or
leads to inconsistent system configurations.
This workshop is the first that aims at considering adaptation as
a cross-cutting system aspect that needs to be explicitly
addressed in system design and verification. The program committee
welcomes submissions on formal modeling, specification,
verification, and implementation of adaptive systems.
This includes, but is not limited to, the following topics:
* formal modeling of adaptation
* programming language concepts for adaptive systems
* specification and verification methods of adaptive systems
* dynamic verification techniques for adaptation
* new applications of software/hardware adaptation
* dynamic adaptation of hardware and/or hardware/software
partitioning
* self-healing and self-optimizing systems
Format of the Workshop:
The workshop is co-located with the International Conference on
Theorem Proving in Higher Order Logics and will be held in
Kaiserslautern, Germany, on September 14th, 2007.
Proceedings:
Submissions will be fully refereed, and accepted papers will be
published first as a technical report of the University of
Kaiserslautern (available at the workshop). Second, it is planned
to publish the accepted papers as a volume of ENTCS after the
workshop (decision pending). Authors of accepted papers are
expected to present their work at the conference.
Submission Guidelines:
Submissions should describe new approaches, case studies or
results in the areas described above.
Papers must be submitted by email to
schneider@informatik.uni-kl.de.
Submissions should be no more than 16 pages in length and should
be written using LaTeX2e and the ENTCS style file that is
available at http://www.entcs.org.
Program Committee:
* Betty Cheng, Michigan State University, USA
* Mike Gordon, University of Cambridge, UK
* Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
* Wolfgang Reif, University of Augsburg, Germany
* Klaus Schneider, University of Kaiserslautern, Germany
* Robert de Simone, INRIA Sophia-Antipolis, France
Workshop Organizers:
* Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
* Klaus Schneider, University of Kaiserslautern, Germany
Last updated: Nov 21 2024 at 12:39 UTC