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: 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 7011, Runtime Verification (2008)
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, and Oleg Sokolsky. 07011 Abstracts Collection – Runtime Verification. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{finkbeiner_et_al:DagSemProc.07011.1, author = {Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg}, title = {{07011 Abstracts Collection – Runtime Verification}}, booktitle = {Runtime Verification}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07011.1}, URN = {urn:nbn:de:0030-drops-13764}, doi = {10.4230/DagSemProc.07011.1}, annote = {Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented programming, test oracles, fault protection, dynamic specification learning, combining static and dynamic analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008)
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, and Oleg Sokolsky. 07011 Executive Summary – Runtime Verification. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{finkbeiner_et_al:DagSemProc.07011.2, author = {Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg}, title = {{07011 Executive Summary – Runtime Verification}}, booktitle = {Runtime Verification}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07011.2}, URN = {urn:nbn:de:0030-drops-13699}, doi = {10.4230/DagSemProc.07011.2}, annote = {Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented program} }
Published in: Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008)
Stavros Tripakis. Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{tripakis:DagSemProc.07011.3, author = {Tripakis, Stavros}, title = {{Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks}}, booktitle = {Runtime Verification}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07011.3}, URN = {urn:nbn:de:0030-drops-13705}, doi = {10.4230/DagSemProc.07011.3}, annote = {Keywords: Monitoring, fault diagnosis, testing, timed automata} }
Published in: Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008)
Oleg Sokolsky, Usa Sammapun, John Regehr, and Insup Lee. Runtime Verification for Wireless Sensor Network Applications. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{sokolsky_et_al:DagSemProc.07011.4, author = {Sokolsky, Oleg and Sammapun, Usa and Regehr, John and Lee, Insup}, title = {{Runtime Verification for Wireless Sensor Network Applications}}, booktitle = {Runtime Verification}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07011.4}, URN = {urn:nbn:de:0030-drops-13719}, doi = {10.4230/DagSemProc.07011.4}, annote = {Keywords: Runtime verification, wireless sensor network, Avrora simulator} }
Feedback for Dagstuhl Publishing