Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva. Automata Learning with an Incomplete Teacher. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 21:1-21:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{moeller_et_al:LIPIcs.ECOOP.2023.21, author = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra}, title = {{Automata Learning with an Incomplete Teacher}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {21:1--21:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.21}, URN = {urn:nbn:de:0030-drops-182145}, doi = {10.4230/LIPIcs.ECOOP.2023.21}, annote = {Keywords: Finite Automata, Active Learning, SMT Solvers} }
Published in: DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva. Automata Learning with an Incomplete Teacher (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 21:1-21:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{moeller_et_al:DARTS.9.2.21, author = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra}, title = {{Automata Learning with an Incomplete Teacher (Artifact)}}, pages = {21:1--21:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.9.2.21}, URN = {urn:nbn:de:0030-drops-182612}, doi = {10.4230/DARTS.9.2.21}, annote = {Keywords: Finite Automata, Active Learning, SMT Solvers} }
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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)
Jaco van de Pol. A Typical Verification Challenge for the GRID. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{vandepol:DagSemProc.08332.3, author = {van de Pol, Jaco}, title = {{A Typical Verification Challenge for the GRID}}, 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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.3}, URN = {urn:nbn:de:0030-drops-16293}, doi = {10.4230/DagSemProc.08332.3}, annote = {Keywords: Strongly connected components, distributed algorithms, breadth first search} }
Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)
Kees Verstoep, Henri E. Bal, Jiri Barnat, and Lubos Brim. Efficient Large-Scale Model Checking. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{verstoep_et_al:DagSemProc.08332.4, author = {Verstoep, Kees and Bal, Henri E. and Barnat, Jiri and Brim, Lubos}, title = {{Efficient Large-Scale Model Checking}}, booktitle = {Distributed Verification and Grid Computing}, pages = {1--15}, 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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.4}, URN = {urn:nbn:de:0030-drops-16309}, doi = {10.4230/DagSemProc.08332.4}, annote = {Keywords: Distributed model checking, Grid-based model checking} }
Published in: Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008)
Stephen F. Siegel. Verification of MPI-based Computations. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{siegel:DagSemProc.08332.5, author = {Siegel, Stephen F.}, title = {{Verification of MPI-based Computations}}, booktitle = {Distributed Verification and Grid Computing}, pages = {1--3}, 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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.5}, URN = {urn:nbn:de:0030-drops-16316}, doi = {10.4230/DagSemProc.08332.5}, annote = {Keywords: MPI, Spin, model checking, MPI-Spin, symbolic execution} }
Feedback for Dagstuhl Publishing