Published in: LIPIcs, Volume 182, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, and Barbara König. Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. In 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 182, pp. 38:1-38:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bernemann_et_al:LIPIcs.FSTTCS.2020.38, author = {Bernemann, Rebecca and Cabrera, Benjamin and Heckel, Reiko and K\"{o}nig, Barbara}, title = {{Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks}}, booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)}, pages = {38:1--38:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-174-0}, ISSN = {1868-8969}, year = {2020}, volume = {182}, editor = {Saxena, Nitin and Simon, Sunil}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2020.38}, URN = {urn:nbn:de:0030-drops-132794}, doi = {10.4230/LIPIcs.FSTTCS.2020.38}, annote = {Keywords: uncertainty reasoning, probabilistic knowledge, Petri nets, Bayesian networks} }
Published in: LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, and Barbara König. Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, pp. 27:1-27:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{cabrera_et_al:LIPIcs.CONCUR.2018.27, author = {Cabrera, Benjamin and Heindel, Tobias and Heckel, Reiko and K\"{o}nig, Barbara}, title = {{Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks}}, booktitle = {29th International Conference on Concurrency Theory (CONCUR 2018)}, pages = {27:1--27:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-087-3}, ISSN = {1868-8969}, year = {2018}, volume = {118}, editor = {Schewe, Sven and Zhang, Lijun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.27}, URN = {urn:nbn:de:0030-drops-95659}, doi = {10.4230/LIPIcs.CONCUR.2018.27}, annote = {Keywords: Petri nets, Bayesian networks, Probabilistic databases, Condition/Event nets, Probabilistic knowledge, Dynamic probability distributions} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Rui Correia, Carlos Matos, Mohammad El-Ramly, and Reiko Heckel. Rule-based Model Extraction from Source Code. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{correia_et_al:DagSemProc.06302.9, author = {Correia, Rui and Matos, Carlos and El-Ramly, Mohammad and Heckel, Reiko}, title = {{Rule-based Model Extraction from Source Code}}, booktitle = {Aspects For Legacy Applications}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.9}, URN = {urn:nbn:de:0030-drops-8815}, doi = {10.4230/DagSemProc.06302.9}, annote = {Keywords: Reverse engineering, Code categorization, Program representation} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Jean Bézivin and Reiko Heckel. 04101 Abstracts Collection – Language Engineering for Model-Driven Software Development. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{bezivin_et_al:DagSemProc.04101.1, author = {B\'{e}zivin, Jean and Heckel, Reiko}, title = {{04101 Abstracts Collection – Language Engineering for Model-Driven Software Development}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.1}, URN = {urn:nbn:de:0030-drops-258}, doi = {10.4230/DagSemProc.04101.1}, annote = {Keywords: Dagstuhl Seminar 04101} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Jean-Marc Jezequel. A MDA Approach to Model & Implement Transformations. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{jezequel:DagSemProc.04101.4, author = {Jezequel, Jean-Marc}, title = {{A MDA Approach to Model \& Implement Transformations}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.4}, URN = {urn:nbn:de:0030-drops-202}, doi = {10.4230/DagSemProc.04101.4}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Martin Gogolla. An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gogolla:DagSemProc.04101.5, author = {Gogolla, Martin}, title = {{An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.5}, URN = {urn:nbn:de:0030-drops-143}, doi = {10.4230/DagSemProc.04101.5}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Sebastian Thöne. Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{thone:DagSemProc.04101.9, author = {Th\"{o}ne, Sebastian}, title = {{Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.9}, URN = {urn:nbn:de:0030-drops-174}, doi = {10.4230/DagSemProc.04101.9}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Reiko Heckel. Graph Transformation in a Nutshell. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{heckel:DagSemProc.04101.10, author = {Heckel, Reiko}, title = {{Graph Transformation in a Nutshell}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.10}, URN = {urn:nbn:de:0030-drops-169}, doi = {10.4230/DagSemProc.04101.10}, annote = {Keywords: graph transformation} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Martin Große-Rhode. Language Engineering in Practice. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{groerhode:DagSemProc.04101.11, author = {Gro{\ss}e-Rhode, Martin}, title = {{Language Engineering in Practice}}, booktitle = {Language Engineering for Model-Driven Software Development}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.11}, URN = {urn:nbn:de:0030-drops-151}, doi = {10.4230/DagSemProc.04101.11}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Alexander Königs and Andy Schürr. Multi-Domain Integration with MOF and extended Triple Graph Grammars. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{konigs_et_al:DagSemProc.04101.12, author = {K\"{o}nigs, Alexander and Sch\"{u}rr, Andy}, title = {{Multi-Domain Integration with MOF and extended Triple Graph Grammars}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.12}, URN = {urn:nbn:de:0030-drops-225}, doi = {10.4230/DagSemProc.04101.12}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Heike Wehrheim. Refinement and Consistency in Multiview Models. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{wehrheim:DagSemProc.04101.13, author = {Wehrheim, Heike}, title = {{Refinement and Consistency in Multiview Models}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.13}, URN = {urn:nbn:de:0030-drops-190}, doi = {10.4230/DagSemProc.04101.13}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Arend Rensink. Subjects, Models, Languages, Transformations. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{rensink:DagSemProc.04101.14, author = {Rensink, Arend}, title = {{Subjects, Models, Languages, Transformations}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.14}, URN = {urn:nbn:de:0030-drops-242}, doi = {10.4230/DagSemProc.04101.14}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Thomas Kühne. What is a Model?. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kuhne:DagSemProc.04101.15, author = {K\"{u}hne, Thomas}, title = {{What is a Model?}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.15}, URN = {urn:nbn:de:0030-drops-237}, doi = {10.4230/DagSemProc.04101.15}, annote = {Keywords: no keywords} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Pieter Van Gorp. Write Once, Deploy N: a Performance Oriented MDA Case Study. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gorp:DagSemProc.04101.16, author = {Gorp, Pieter Van}, title = {{Write Once, Deploy N: a Performance Oriented MDA Case Study}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.16}, URN = {urn:nbn:de:0030-drops-181}, doi = {10.4230/DagSemProc.04101.16}, annote = {Keywords: model transformation , consistency management , qvt , mda , ocl} }
Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)
Jean-Marie Favre. Foundations of Meta-Pyramids: Languages vs. Metamodels – Episode II: Story of Thotus the Baboon. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{favre:DagSemProc.04101.7, author = {Favre, Jean-Marie}, title = {{Foundations of Meta-Pyramids: Languages vs. Metamodels – Episode II: Story of Thotus the Baboon}}, booktitle = {Language Engineering for Model-Driven Software Development}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4101}, editor = {Jean Bezivin and Reiko Heckel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.7}, URN = {urn:nbn:de:0030-drops-212}, doi = {10.4230/DagSemProc.04101.7}, annote = {Keywords: models , reverse engineering , transformations} }
Feedback for Dagstuhl Publishing