Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
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)
@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} }
Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
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)
@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} }
Published in: Dagstuhl Reports, Volume 9, Issue 10 (2020)
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)
@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} }
Published in: Dagstuhl Reports, Volume 7, Issue 11 (2018)
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)
@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} }
Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
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)
@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} }
Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)
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)
@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} }
Feedback for Dagstuhl Publishing