Search Results

Documents authored by Leucker, Martin


Document
A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies

Authors: Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, and Lars B. Vosteen

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)


Abstract
Recent decades have seen the increasing use of Digital Twins (DTs) - that is, digital models used over the lifetime of a physical product or system for tasks such as predictive maintenance or optimization - in a number of domains such as buildings, manufacturing, or design. DTs face a challenge known as the DT synchronization problem; a DT, often based on machine-learned, or complex simulation models, needs to adequately mirror the physical product or system at all times, as any deviations might affect the quality of predictions or control actions. In this paper, we present a model-based approach that aims to add a level of awareness to DT models by supervising if they are in sync with the physical counterpart. The approach is agnostic to the type of models used in the DT, as long as they are compositional, and based on monitoring critical properties (behavioral or functional aspects) of the system at run-time. In the case violations are detected, it reasons on the DT’s structure to localize and identify parts of the model that cause deviations and need to be adapted. We give a formal description and an implementation of this approach, and illustrate it with an example from building climatisation.

Cite as

Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, and Lars B. Vosteen. A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 2:1-2:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@InProceedings{hosseinkhani_et_al:OASIcs.DX.2024.2,
  author =	{Hosseinkhani, Elaheh and Leucker, Martin and Sachenbacher, Martin and Streichhahn, Hendrik and Vosteen, Lars B.},
  title =	{{A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{2:1--2:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.2},
  URN =		{urn:nbn:de:0030-drops-220944},
  doi =		{10.4230/OASIcs.DX.2024.2},
  annote =	{Keywords: Digital Twins, Runtime Verification, Diagnosis, FDIR, TeSSLa}
}
Document
Short Paper
Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper)

Authors: Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, and Martin Leucker

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)


Abstract
This paper presents a systematic approach to achieving, in a well-defined sense, 100% structural test coverage for large embedded software projects. In embedded systems, high code coverage is a critical part of the testing process to ensure that the system works correctly. Measuring code coverage provides insight into the effectiveness of the testing process, the quality of the software, and can help identify untested or partially tested areas of the code. Traditionally, coverage is often measured when unit tests are executed. The proposed approach instead uses integration tests as the starting point for determining test completeness. Measuring code coverage at the integration test level in embedded systems can be challenging due to the limitations of software instrumentation (additional memory requirements and additional CPU load). To overcome these limitations, embedded trace technology is used to measure code coverage continuously and non-intrusively. The use of these techniques will help to increase the reliability of embedded software and reduce the likelihood of missed integration tests, missed high-level requirements, and undetected software defects.

Cite as

Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, and Martin Leucker. Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 19:1-19:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@InProceedings{weiss_et_al:OASIcs.DX.2024.19,
  author =	{Weiss, Alexander and Schulz, Albert and Heininger, Martin and Sachenbacher, Martin and Leucker, Martin},
  title =	{{Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{19:1--19:12},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.19},
  URN =		{urn:nbn:de:0030-drops-221115},
  doi =		{10.4230/OASIcs.DX.2024.19},
  annote =	{Keywords: structural tests, integration tests, code coverage, embedded trace}
}
Document
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)

Authors: Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker

Published in: Dagstuhl Reports, Volume 9, Issue 10 (2020)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19432 "Analysis of Autonomous Mobile Collectives in Complex Physical Environments". Our working hypothesis for this seminar was that for systems of such complexity and criticality, the trustworthy certification and the successful operation in society will strongly benefit from the coordinated application of several rigorous engineering methods and formal analysis techniques. In this context, we discussed the state-of-the-art based on the working example of a Smart Farm. Our aim was to understand the practical challenges and the capabilities and limitations of recent formal modelling and analysis techniques when tackling these challenges, and to initiate a special research community on the verification of autonomous collectives.

Cite as

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker. Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). In Dagstuhl Reports, Volume 9, Issue 10, pp. 95-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@Article{gleirscher_et_al:DagRep.9.10.95,
  author =	{Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
  title =	{{Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)}},
  pages =	{95--116},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{10},
  editor =	{Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.95},
  URN =		{urn:nbn:de:0030-drops-118579},
  doi =		{10.4230/DagRep.9.10.95},
  annote =	{Keywords: autonomous collectives, control engineering, formal verification, hybrid systems, uncertainty and risk}
}
Document
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)

Authors: Klaus Havelund, Martin Leucker, Giles Reger, and Volker Stolz

Published in: Dagstuhl Reports, Volume 7, Issue 11 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17462 "A Shared Challenge in Behavioural Specification". The seminar considered the issue of behavioral specification with a focus on its usage in Runtime Verification. The seminar was motivated by the observations that, whilst the field of Runtime Verification is becoming more mature, there is a lack of common specification language, in the main part due to the rich setting allowing for highly expressive languages. The aim of the Seminar was to shed light on the similarities and differences between the different existing languages, and specifically, suggest directions for future collaboration and research. The seminar consisted of two talk sessions, two working group sessions, and a feedback and reflection session. Working group topics were suggested and agreed in response to points raised in talks. One significant outcome was the proposal of a shared challenge project in which different Runtime Verification approaches can be compared, as outlined in one of the working group reports.

Cite as

Klaus Havelund, Martin Leucker, Giles Reger, and Volker Stolz. A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). In Dagstuhl Reports, Volume 7, Issue 11, pp. 59-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{havelund_et_al:DagRep.7.11.59,
  author =	{Havelund, Klaus and Leucker, Martin and Reger, Giles and Stolz, Volker},
  title =	{{A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)}},
  pages =	{59--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{11},
  editor =	{Havelund, Klaus and Leucker, Martin and Reger, Giles and Stolz, Volker},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.59},
  URN =		{urn:nbn:de:0030-drops-86716},
  doi =		{10.4230/DagRep.7.11.59},
  annote =	{Keywords: behavioural specification, dynamic properties, runtime verification, temporal logic}
}
Document
Model-Checking Counting Temporal Logics on Flat Structures

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, and Daniel Thoma

Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)


Abstract
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extensions, the model-checking problem is undecidable, but we show that decidability can be recovered by considering flat Kripke structures where each state belongs to at most one simple loop. Most decision procedures are based on results on (flat) counter systems where counters are used to implement the evaluation of counting operators.

Cite as

Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, and Daniel Thoma. Model-Checking Counting Temporal Logics on Flat Structures. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 29:1-29:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@InProceedings{decker_et_al:LIPIcs.CONCUR.2017.29,
  author =	{Decker, Normann and Habermehl, Peter and Leucker, Martin and Sangnier, Arnaud and Thoma, Daniel},
  title =	{{Model-Checking Counting Temporal Logics on Flat Structures}},
  booktitle =	{28th International Conference on Concurrency Theory (CONCUR 2017)},
  pages =	{29:1--29:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-048-4},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{85},
  editor =	{Meyer, Roland and Nestmann, Uwe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.29},
  URN =		{urn:nbn:de:0030-drops-77709},
  doi =		{10.4230/LIPIcs.CONCUR.2017.29},
  annote =	{Keywords: Counting Temporal Logic, Model checking, Flat Kripke Structure}
}
Document
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices

Authors: Franziska Kühn, Martin Leucker, and Alexander Mildner

Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)


Abstract
Nowadays, it lacks an open, standardized and dynamic interconnection of medical devices. All existing combinations of medical devices consist of isolated solutions with proprietary interfaces, as no common standards for networking and the exchange of data of medical devices exist. This situation leads to confusing operating rooms and inefficient operations. Thus, new strategies need to be developed for the authorization of dynamically interconnected medical devices. Primarily, those concern of an acquisition and methodical adaption of new requirements and risks resulting from this way of interconnection. The approach is to develop a method for a risk analysis for interconnected medical devices, which is structured modular and consists of a risk assessment of the standalone device and a risk analysis for the interconnection considering the risks involved in the transfer of functions. When interconnecting the medical devices the risk analysis of each of the devices is taken and they are compared by a gap analysis. Through this strategy it will be possible to realize a standard-compliant dynamic interconnection of medical products, which would be advantageous both for clinic operators and producers. This paper presents the current situation of the authorization of combined medical devices and proposes a strategy for the risk management of dynamically interconnected medical devices as a substantial part of the authorization.

Cite as

Franziska Kühn, Martin Leucker, and Alexander Mildner. OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 133-136, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@InProceedings{kuhn_et_al:OASIcs.MCPS.2014.133,
  author =	{K\"{u}hn, Franziska and Leucker, Martin and Mildner, Alexander},
  title =	{{OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{133--136},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.133},
  URN =		{urn:nbn:de:0030-drops-45300},
  doi =		{10.4230/OASIcs.MCPS.2014.133},
  annote =	{Keywords: Modular Risk Analysis, Medical Device Interconnection, OR.NET, Development Method}
}
Document
10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Authors: Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams

Published in: Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011)


Abstract
From November 7 to 12, 2010, the Dagstuhl Seminar 10451 ``Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar, and provides links to extended abstracts or full papers, if available.

Cite as

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams. 10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. In Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Dagstuhl Seminar Proceedings, Volume 10451, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{havelund_et_al:DagSemProc.10451.1,
  author =	{Havelund, Klaus and Leucker, Martin and Sachenbacher, Martin and Sokolsky, Oleg and Williams, Brian C.},
  title =	{{10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems}},
  booktitle =	{Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10451},
  editor =	{Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10451.1},
  URN =		{urn:nbn:de:0030-drops-29487},
  doi =		{10.4230/DagSemProc.10451.1},
  annote =	{Keywords: Runtime Verification, Model-based Diagnosis, Planning, Control, Autonomous Systems}
}
Document
10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Authors: Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams

Published in: Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011)


Abstract
From November 7 to 12, 2010, the Dagstuhl Seminar 10451 'Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems' was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar, and provides links to extended abstracts or full papers, if available.

Cite as

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams. 10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. In Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Dagstuhl Seminar Proceedings, Volume 10451, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{havelund_et_al:DagSemProc.10451.2,
  author =	{Havelund, Klaus and Leucker, Martin and Sachenbacher, Martin and Sokolsky, Oleg and Williams, Brian C.},
  title =	{{10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems}},
  booktitle =	{Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10451},
  editor =	{Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10451.2},
  URN =		{urn:nbn:de:0030-drops-29476},
  doi =		{10.4230/DagSemProc.10451.2},
  annote =	{Keywords: Runtime Verification, Model-based Diagnosis, Planning, Control, Autonomous Systems}
}
Document
08332 Abstracts Collection – Distributed Verification and Grid Computing

Authors: Henri E. Bal, Lubos Brim, and Martin Leucker

Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)


Abstract
From 08/10/2008 to 08/14/2008 the Dagstuhl Seminar 08332 ``Distributed Verification and Grid Computing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Henri E. Bal, Lubos Brim, and Martin Leucker. 08332 Abstracts Collection – Distributed Verification and Grid Computing. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bal_et_al:DagSemProc.08332.1,
  author =	{Bal, Henri E. and Brim, Lubos and Leucker, Martin},
  title =	{{08332 Abstracts Collection – Distributed Verification and Grid Computing}},
  booktitle =	{Distributed Verification and Grid Computing},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8332},
  editor =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.1},
  URN =		{urn:nbn:de:0030-drops-16335},
  doi =		{10.4230/DagSemProc.08332.1},
  annote =	{Keywords: Parallel Model Checking, Grid Computing, Verification}
}
Document
08332 Executive Summary – Distributed Verification and Grid Computing

Authors: Henri E. Bal, Lubos Brim, and Martin Leucker

Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)


Abstract
The Dagstuhl Seminar on Distributed Verification and Grid Computing took place from 10.08.2008 to 14.08.2008 and brought together two groups of researchers to discuss their recent work and recent trends related to parallel verification of large scale computer systems on large scale grids. In total, 29 experts from 12 countries attended the seminar.

Cite as

Henri E. Bal, Lubos Brim, and Martin Leucker. 08332 Executive Summary – Distributed Verification and Grid Computing. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bal_et_al:DagSemProc.08332.2,
  author =	{Bal, Henri E. and Brim, Lubos and Leucker, Martin},
  title =	{{08332 Executive Summary – Distributed Verification and Grid Computing}},
  booktitle =	{Distributed Verification and Grid Computing},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8332},
  editor =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.2},
  URN =		{urn:nbn:de:0030-drops-16329},
  doi =		{10.4230/DagSemProc.08332.2},
  annote =	{Keywords: Grid computing, verification, parallel computing, model checking}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail