Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/se/se2012w.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.