Search dblp for Publications

export results for "toc:db/conf/se/se2012w.bht:"

 download as .bib file

@inproceedings{DBLP:conf/se/BeckersF12,
  author       = {Kristian Beckers and
                  Stephan Fa{\ss}bender},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Supporting the context establishment according to {ISO} 27005 using
                  patterns},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {141--146},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18381},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/BeckersF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BelikovLMT12,
  author       = {Evgenij Belikov and
                  Hans{-}Wolfgang Loidl and
                  Greg Michaelson and
                  Philip W. Trinder},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Architecture-aware cost modelling for parallel performance portability},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {105--120},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18379},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/BelikovLMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/FreyK12,
  author       = {Tim Frey and
                  Veit K{\"{o}}ppen},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Exploring software variance with hypermodelling - an exemplary approach},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {121--140},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18380},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/FreyK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HanusPR12,
  author       = {Michael Hanus and
                  Bj{\"{o}}rn Peem{\"{o}}ller and
                  Fabian Reck},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Search strategies for functional logic programming},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {61--74},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18376},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/HanusPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Heinlein12,
  author       = {Christian Heinlein},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming
                  Language},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {45--60},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18375},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/Heinlein12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MewsH12,
  author       = {Marcus Mews and
                  Steffen Helke},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Towards Static Modular Software Verification},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {147--154},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18369},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/MewsH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/OrtmeierSL12,
  author       = {Frank Ortmeier and
                  Simon Struck and
                  Michael Lipaczewski},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Using model-based analysis in certification of critical software-intensive
                  systems},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {155--162},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18370},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/OrtmeierSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RichterH12,
  author       = {Dirk Richter and
                  Roberto Hoffmann},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Fehlalarmfreie Abstraktion in {ISO-C} konformer Semantik},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {89--104},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18378},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/RichterH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Sabel12,
  author       = {David Sabel},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {An abstract machine for concurrent haskell with futures},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {29--44},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18374},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/Sabel12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/TetzlaffG12,
  author       = {Dirk Tetzlaff and
                  Sabine Glesner},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Making {MPI} Intelligent},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {75--88},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18377},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/TetzlaffG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Thielemann12,
  author       = {Henning Thielemann},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Live-Musikprogrammierung in Haskell},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {17--28},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18368},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/Thielemann12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WernerGH12,
  author       = {Patrick Werner and
                  Stefan Gerken and
                  Michaela Huhn},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {{GSN} {M} -Edit: Ein modellgetriebener Editor f{\"{u}}r modulare
                  GSN-Argumentationen},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {163--174},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18371},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/WernerGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WesselHWJ12,
  author       = {Christian Wessel and
                  Thorsten Humberg and
                  Sven Wenzel and
                  Jan J{\"{u}}rjens},
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Fr{\"{u}}hzeitige modellbasierte Risikoanalyse f{\"{u}}r
                  mobile, verteilte Anwendungen},
  booktitle    = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  pages        = {175--181},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/18372},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/WesselHWJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2012w,
  editor       = {Stefan J{\"{a}}hnichen and
                  Bernhard Rumpe and
                  Holger Schlingloff},
  title        = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs
                  Softwaretechnik, 27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
  series       = {{LNI}},
  volume       = {{P-199}},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/19969},
  isbn         = {978-3-88579-293-2},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/2012w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics