Published in: LIPIcs, Volume 187, 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)
Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, and Marek Szykuła. Synchronizing Strongly Connected Partial DFAs. In 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 187, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{berlinkov_et_al:LIPIcs.STACS.2021.12, author = {Berlinkov, Mikhail V. and Ferens, Robert and Ryzhikov, Andrew and Szyku{\l}a, Marek}, title = {{Synchronizing Strongly Connected Partial DFAs}}, booktitle = {38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)}, pages = {12:1--12:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-180-1}, ISSN = {1868-8969}, year = {2021}, volume = {187}, editor = {Bl\"{a}ser, Markus and Monmege, Benjamin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.12}, URN = {urn:nbn:de:0030-drops-136579}, doi = {10.4230/LIPIcs.STACS.2021.12}, annote = {Keywords: \v{C}ern\'{y} conjecture, literal automaton, partial automaton, prefix code, rank conjecture, reset threshold, reset word, synchronizing automaton, synchronizing word} }
Published in: Dagstuhl Reports, Volume 4, Issue 10 (2015)
Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe. Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). In Dagstuhl Reports, Volume 4, Issue 10, pp. 32-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{cheng_et_al:DagRep.4.10.32, author = {Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard}, title = {{Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)}}, pages = {32--50}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {10}, editor = {Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.10.32}, URN = {urn:nbn:de:0030-drops-48913}, doi = {10.4230/DagRep.4.10.32}, annote = {Keywords: Modelling, Domain Specific Language, Software, Coordination, Globalization, Heterogeneous Complex Systems, DSL, UML, Composition} }
Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)
Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic. Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). In Dagstuhl Reports, Volume 3, Issue 4, pp. 188-227, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{clark_et_al:DagRep.3.4.188, author = {Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.}, title = {{Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)}}, pages = {188--227}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {4}, editor = {Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.4.188}, URN = {urn:nbn:de:0030-drops-41755}, doi = {10.4230/DagRep.3.4.188}, annote = {Keywords: meta-modeling, model-based engineering, models, tools, domain specific modeling languages} }
Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)
Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, and Stefan Strecker. Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). In Dagstuhl Reports, Volume 2, Issue 3, pp. 67-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{france_et_al:DagRep.2.3.67, author = {France, Robert B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan}, title = {{Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)}}, pages = {67--85}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {3}, editor = {France, Robert B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.3.67}, URN = {urn:nbn:de:0030-drops-35379}, doi = {10.4230/DagRep.2.3.67}, annote = {Keywords: Enterprise Modelling, Enterprise Systems, Reference Model, Meta Modeling, Method Engineering, Information Systems Architectures} }
Published in: Dagstuhl Reports, Volume 1, Issue 11 (2012)
Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, and Robert B. France. Models@run.time (Dagstuhl Seminar 11481). In Dagstuhl Reports, Volume 1, Issue 11, pp. 91-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{amann_et_al:DagRep.1.11.91, author = {A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.}, title = {{Models@run.time (Dagstuhl Seminar 11481)}}, pages = {91--123}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {1}, number = {11}, editor = {A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.11.91}, URN = {urn:nbn:de:0030-drops-33794}, doi = {10.4230/DagRep.1.11.91}, annote = {Keywords: Self-adaptive Systems, Feedback Loop, Assurance, Uncertainty, Requirements, Optimization, Adaptation} }
Feedback for Dagstuhl Publishing