Published in: LIPIcs, Volume 29, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)
Franck Cassez, Christian Müller, and Karla Burnett. Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. In 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 29, pp. 545-556, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{cassez_et_al:LIPIcs.FSTTCS.2014.545, author = {Cassez, Franck and M\"{u}ller, Christian and Burnett, Karla}, title = {{Summary-Based Inter-Procedural Analysis via Modular Trace Refinement}}, booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)}, pages = {545--556}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-77-4}, ISSN = {1868-8969}, year = {2014}, volume = {29}, editor = {Raman, Venkatesh and Suresh, S. P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.545}, URN = {urn:nbn:de:0030-drops-48708}, doi = {10.4230/LIPIcs.FSTTCS.2014.545}, annote = {Keywords: Program verification, Hoare Logic, Refinement, Automata} }
Published in: Dagstuhl Follow-Ups, Volume 3, Multimodal Music Processing (2012)
Verena Thomas, Christian Fremerey, Meinard Müller, and Michael Clausen. Linking Sheet Music and Audio - Challenges and New Approaches. In Multimodal Music Processing. Dagstuhl Follow-Ups, Volume 3, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InCollection{thomas_et_al:DFU.Vol3.11041.1, author = {Thomas, Verena and Fremerey, Christian and M\"{u}ller, Meinard and Clausen, Michael}, title = {{Linking Sheet Music and Audio - Challenges and New Approaches}}, booktitle = {Multimodal Music Processing}, pages = {1--22}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-37-8}, ISSN = {1868-8977}, year = {2012}, volume = {3}, editor = {M\"{u}ller, Meinard and Goto, Masataka and Schedl, Markus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol3.11041.1}, URN = {urn:nbn:de:0030-drops-34637}, doi = {10.4230/DFU.Vol3.11041.1}, annote = {Keywords: Music signals, audio, sheet music, music synchronization, alignment, optical music recognition, user interfaces, multimodality} }
Published in: Dagstuhl Seminar Proceedings, Volume 10431, Software Engineering for Self-Adaptive Systems (2011)
Rogerio de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cikic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Goeschka, Alessandra Gorla, Vincenzo Grassi, Poala Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antonia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Wilhelm Schlichting, Bradley Schmerl, Dennis B. Smith, Joao P. Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, and Jochen Wuttke. Software Engineering for Self-Adaptive Systems: A second Research Roadmap. In Software Engineering for Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 10431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{delemos_et_al:DagSemProc.10431.3, author = {de Lemos, Rogerio and Giese, Holger and M\"{u}ller, Hausi and Shaw, Mary and Andersson, Jesper and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cikic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Goeschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Poala and Karsai, Gabor and Kramer, Jeff and Litoiu, Marin and Lopes, Antonia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezz\`{e}, Mauro and Prehofer, Christian and Sch\"{a}fer, Wilhelm and Schlichting, Wilhelm and Schmerl, Bradley and Smith, Dennis B. and Sousa, Joao P. and Tamura, Gabriel and Tahvildari, Ladan and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Wong, Kenny and Wuttke, Jochen}, title = {{Software Engineering for Self-Adaptive Systems: A second Research Roadmap}}, booktitle = {Software Engineering for Self-Adaptive Systems}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2011}, volume = {10431}, editor = {Rogerio de Lemos and Holger Giese and Hausi M\"{u}ller and Mary Shaw}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10431.3}, URN = {urn:nbn:de:0030-drops-31561}, doi = {10.4230/DagSemProc.10431.3}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 9201, Self-Healing and Self-Adaptive Systems (2009)
Christian Müller-Schloer. Sandbox Learning: Try without error?. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{mullerschloer:DagSemProc.09201.10, author = {M\"{u}ller-Schloer, Christian}, title = {{Sandbox Learning: Try without error?}}, booktitle = {Self-Healing and Self-Adaptive Systems}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9201}, editor = {Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.10}, URN = {urn:nbn:de:0030-drops-21232}, doi = {10.4230/DagSemProc.09201.10}, annote = {Keywords: Learning, real time, natural systems, technical systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 9201, Self-Healing and Self-Adaptive Systems (2009)
Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Müller-Schloer, and Roland Reichle. The Role of Models in Self-adaptive and Self-healing Systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{happe_et_al:DagSemProc.09201.4, author = {Happe, Jens and Koziolek, Heiko and Bellur, Umesh and Giese, Holger and Hasselbring, Wilhelm and Laddaga, Robert and Tiziana, Margaria and Martinez, Josu and M\"{u}ller-Schloer, Christian and Reichle, Roland}, title = {{The Role of Models in Self-adaptive and Self-healing Systems}}, booktitle = {Self-Healing and Self-Adaptive Systems}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9201}, editor = {Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.4}, URN = {urn:nbn:de:0030-drops-21001}, doi = {10.4230/DagSemProc.09201.4}, annote = {Keywords: Self-adaptive, self-healing, models, hierarchicy} }
Published in: Dagstuhl Seminar Proceedings, Volume 8141, Organic Computing - Controlled Self-organization (2008)
Kirstie Bellman, Mike Hinchey, Christian Müller-Schloer, Hartmut Schmeck, and Rolf Würtz. 08141 Abstracts Collection – Organic Computing - Controlled Self-organization. In Organic Computing - Controlled Self-organization. Dagstuhl Seminar Proceedings, Volume 8141, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bellman_et_al:DagSemProc.08141.1, author = {Bellman, Kirstie and Hinchey, Mike and M\"{u}ller-Schloer, Christian and Schmeck, Hartmut and W\"{u}rtz, Rolf}, title = {{08141 Abstracts Collection – Organic Computing - Controlled Self-organization}}, booktitle = {Organic Computing - Controlled Self-organization}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8141}, editor = {Kirstie Bellman and Michael G. Hinchey and Christian M\"{u}ller-Schloer and Hartmut Schmeck and Rolf W\"{u}rtz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08141.1}, URN = {urn:nbn:de:0030-drops-15675}, doi = {10.4230/DagSemProc.08141.1}, annote = {Keywords: Organic computing, self-organisation, design, adaptivity} }
Published in: Dagstuhl Seminar Proceedings, Volume 8141, Organic Computing - Controlled Self-organization (2008)
Kirstie Bellman, Mike Hinchey, Christian Müller-Schloer, Hartmut Schmeck, and Rolf Würtz. 08141 Executive Summary – Organic Computing - Controlled Self-organization. In Organic Computing - Controlled Self-organization. Dagstuhl Seminar Proceedings, Volume 8141, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bellman_et_al:DagSemProc.08141.2, author = {Bellman, Kirstie and Hinchey, Mike and M\"{u}ller-Schloer, Christian and Schmeck, Hartmut and W\"{u}rtz, Rolf}, title = {{08141 Executive Summary – Organic Computing - Controlled Self-organization}}, booktitle = {Organic Computing - Controlled Self-organization}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8141}, editor = {Kirstie Bellman and Michael G. Hinchey and Christian M\"{u}ller-Schloer and Hartmut Schmeck and Rolf W\"{u}rtz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08141.2}, URN = {urn:nbn:de:0030-drops-15660}, doi = {10.4230/DagSemProc.08141.2}, annote = {Keywords: Organic Computing} }
Published in: OASIcs, Volume 7, 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07) (2007)
Thorsten Gunkel, Matthias Müller-Hannemann, and Mathias Schnee. 16. Improved Search for Night Train Connections. In 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07). Open Access Series in Informatics (OASIcs), Volume 7, pp. 243-258, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{gunkel_et_al:OASIcs.ATMOS.2007.1178, author = {Gunkel, Thorsten and M\"{u}ller-Hannemann, Matthias and Schnee, Mathias}, title = {{16. Improved Search for Night Train Connections}}, booktitle = {7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07)}, pages = {243--258}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-04-0}, ISSN = {2190-6807}, year = {2007}, volume = {7}, editor = {Ahuja, Ravindra K. and Liebchen, Christian and Mesa, Juan A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2007.1178}, URN = {urn:nbn:de:0030-drops-11781}, doi = {10.4230/OASIcs.ATMOS.2007.1178}, annote = {Keywords: Timetable information system, multi-criteria optimization, night trains, computational study} }
Published in: Dagstuhl Seminar Proceedings, Volume 7041, Power-aware Computing Systems (2007)
Richard Urunuela, Gilles Muller, and Julia Lawall. Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. In Power-aware Computing Systems. Dagstuhl Seminar Proceedings, Volume 7041, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{urunuela_et_al:DagSemProc.07041.12, author = {Urunuela, Richard and Muller, Gilles and Lawall, Julia}, title = {{Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications}}, booktitle = {Power-aware Computing Systems}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7041}, editor = {Luca Benini and Naehyuck Chang and Ulrich Kremer and Christian W. Probst}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07041.12}, URN = {urn:nbn:de:0030-drops-11088}, doi = {10.4230/DagSemProc.07041.12}, annote = {Keywords: Dynamic voltage scaling, multimedia applications, embedded systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 6031, Organic Computing - Controlled Emergence (2006)
Kirstie Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, and Rolf P. Würtz. 06031 Abstracts Collection – Organic Computing – Controlled Emergence. In Organic Computing - Controlled Emergence. Dagstuhl Seminar Proceedings, Volume 6031, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bellman_et_al:DagSemProc.06031.1, author = {Bellman, Kirstie and Hofmann, Peter and M\"{u}ller-Schloer, Christian and Schmeck, Hartmut and W\"{u}rtz, Rolf P.}, title = {{06031 Abstracts Collection – Organic Computing – Controlled Emergence}}, booktitle = {Organic Computing - Controlled Emergence}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6031}, editor = {Kirstie Bellman and Peter Hofmann and Christian M\"{u}ller-Schloer and Hartmut Schmeck and Rolf W\"{u}rtz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06031.1}, URN = {urn:nbn:de:0030-drops-5777}, doi = {10.4230/DagSemProc.06031.1}, annote = {Keywords: Emergence, self-organization, self-configuration, self-healing, self-protection, self-explaining, context-awareness} }
Published in: Dagstuhl Seminar Proceedings, Volume 6031, Organic Computing - Controlled Emergence (2006)
Kirstie Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, and Rolf P. Würtz. 06031 Executive Summary – Organic Computing – Controlled Emergence. In Organic Computing - Controlled Emergence. Dagstuhl Seminar Proceedings, Volume 6031, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bellman_et_al:DagSemProc.06031.2, author = {Bellman, Kirstie and Hofmann, Peter and M\"{u}ller-Schloer, Christian and Schmeck, Hartmut and W\"{u}rtz, Rolf P.}, title = {{06031 Executive Summary – Organic Computing – Controlled Emergence}}, booktitle = {Organic Computing - Controlled Emergence}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6031}, editor = {Kirstie Bellman and Peter Hofmann and Christian M\"{u}ller-Schloer and Hartmut Schmeck and Rolf W\"{u}rtz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06031.2}, URN = {urn:nbn:de:0030-drops-5788}, doi = {10.4230/DagSemProc.06031.2}, annote = {Keywords: Emergence, self-organization, self-configuration, self-healing, self-protection, self-explaining, context-awareness} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Christian Schley, Matthias Altmeyer, Rolf Müller, and Christian G. Huber. MULTIDIMENSIONAL PEPTIDE/PROTEIN ANALYSIS AND IDENTIFICATION BY SEQUENCE DATABASE SEARCH USING MASS SPECTROMETRIC DATA. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{schley_et_al:DagSemProc.05471.11, author = {Schley, Christian and Altmeyer, Matthias and M\"{u}ller, Rolf and Huber, Christian G.}, title = {{MULTIDIMENSIONAL PEPTIDE/PROTEIN ANALYSIS AND IDENTIFICATION BY SEQUENCE DATABASE SEARCH USING MASS SPECTROMETRIC DATA}}, booktitle = {Computational Proteomics}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.11}, URN = {urn:nbn:de:0030-drops-5389}, doi = {10.4230/DagSemProc.05471.11}, annote = {Keywords: Multidimensional chromatography, proteome analysis, monolithic column, tandem mass spectrometry} }
Feedback for Dagstuhl Publishing