Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Petra Kaufmann
@article{DBLP:journals/sosym/GabmeyerKSGK19,
author = {Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl and
Martin Gogolla and
Gerti Kappel},
title = {A feature-based classification of formal verification techniques for
software models},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {473--498},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0591-z},
doi = {10.1007/S10270-017-0591-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GabmeyerKSGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/BakerKPEKLT19,
author = {Dixie B. Baker and
Bartha M. Knoppers and
Mark Phillips and
David van Enckevort and
Petra Kaufmann and
Hanns Lochm{\"{u}}ller and
Domenica Taruscio},
title = {Privacy-Preserving Linkage of Genomic and Clinical Data Sets},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {4},
pages = {1342--1348},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2855125},
doi = {10.1109/TCBB.2018.2855125},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/BakerKPEKLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KaufmannKPSW15,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
title = {Intra- and interdiagram consistency checking of behavioral multiview
models},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {72--88},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.003},
doi = {10.1016/J.CL.2015.08.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KaufmannKPSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/KaufmannKPSW14,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {A SAT-Based Debugging Tool for State Machines and Sequence Diagrams},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {21--40},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_2},
doi = {10.1007/978-3-319-11245-9\_2},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/KaufmannKPSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BillGKS14,
author = {Robert Bill and
Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {Model Checking of CTL-Extended {OCL} Specifications},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {221--240},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_13},
doi = {10.1007/978-3-319-11245-9\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/BillGKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GabmeyerBKS14,
author = {Sebastian Gabmeyer and
Robert Bill and
Petra Kaufmann and
Martina Seidl},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {MocOCL: {A} Model Checker for CTL-Extended {OCL} Specifications},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {10--15},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/GabmeyerBKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LangerWBHSWK13,
author = {Philip Langer and
Manuel Wimmer and
Petra Brosch and
Markus Herrmannsd{\"{o}}rfer and
Martina Seidl and
Konrad Wieland and
Gerti Kappel},
title = {A posteriori operation detection in evolving software models},
journal = {J. Syst. Softw.},
volume = {86},
number = {2},
pages = {551--566},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2012.09.037},
doi = {10.1016/J.JSS.2012.09.037},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LangerWBHSWK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BroschSW13,
author = {Petra Brosch and
Martina Seidl and
Magdalena Widl},
title = {Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along
with State Machine Diagrams},
journal = {Softwaretechnik-Trends},
volume = {33},
number = {2},
year = {2013},
url = {http://pi.informatik.uni-siegen.de/stt/33\_2/09\_Konferenzberichte/Brosch.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/BroschSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BillGKS13,
author = {Robert Bill and
Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl},
editor = {Jordi Cabot and
Martin Gogolla and
Istv{\'{a}}n R{\'{a}}th and
Edward D. Willink},
title = {{OCL} meets {CTL:} Towards CTL-Extended {OCL} Model Checking},
booktitle = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
16th International {ACM/IEEE} Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1092},
pages = {13--22},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1092/bill.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BillGKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KaufmannKPSW13,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating
State Machines},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {31--40},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/06-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KaufmannKPSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ScholzKS13,
author = {Marion Scholz and
Petra Kaufmann and
Martina Seidl},
editor = {Timothy C. Lethbridge and
Perdita Stevens},
title = {Making {UML} "hip": {A} First Experience Report on Using
Modern Teaching Tools for Object-Oriented Modelling},
booktitle = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE}
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1134},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1134/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ScholzKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BroschSWK12,
author = {Petra Brosch and
Martina Seidl and
Manuel Wimmer and
Gerti Kappel},
title = {Conflict Visualization for Evolving {UML} Models},
journal = {J. Object Technol.},
volume = {11},
number = {3},
pages = {2: 1--30},
year = {2012},
url = {https://doi.org/10.5381/jot.2012.11.3.a2},
doi = {10.5381/JOT.2012.11.3.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BroschSWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BroschGKS12,
author = {Petra Brosch and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl},
title = {On formalizing {EMF} modeling operations with graph transformations},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {4},
pages = {1--8},
year = {2012},
url = {https://doi.org/10.1145/2237796.2237810},
doi = {10.1145/2237796.2237810},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BroschGKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BroschLSWK12,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Manuel Wimmer and
Gerti Kappel},
title = {Generic vs. Language-Specific Model Versioning - Adaptability to the
Rescue},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {4},
year = {2012},
url = {http://pi.informatik.uni-siegen.de/stt/32\_4/08\_Sonderteil\_Positionspapiere/cvsm2012\_brosch.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/BroschLSWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BroschKLSWW12,
author = {Petra Brosch and
Gerti Kappel and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {An Introduction to Model Versioning},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {336--398},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_10},
doi = {10.1007/978-3-642-30982-3\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BroschKLSWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WidlBBEHKST12,
author = {Magdalena Widl and
Armin Biere and
Petra Brosch and
Uwe Egly and
Marijn Heule and
Gerti Kappel and
Martina Seidl and
Hans Tompits},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Guided Merging of Sequence Diagrams},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {164--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_10},
doi = {10.1007/978-3-642-36089-3\_10},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/WidlBBEHKST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Towards Scenario-Based Testing of {UML} Diagrams},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {149--155},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_12},
doi = {10.1007/978-3-642-30473-6\_12},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BroschEGKSTWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschEGKSTWW11,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {J{\"{o}}rg Kienzle},
title = {Towards Semantics-Aware Merge Support in Optimistic Model Versioning},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {246--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_24},
doi = {10.1007/978-3-642-29645-1\_24},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/BroschEGKSTWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BroschR10,
author = {Petra Brosch and
Andrea Randak},
title = {Position Paper: m2n - {A} Tool for Translating Models to Natural Language
Descriptions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {34},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.34.593},
doi = {10.14279/TUJ.ECEASST.34.593},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BroschR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/criwg/BroschLSWWK10,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel},
editor = {Gwendolyn L. Kolfschoten and
Thomas Herrmann and
Stephan G. Lukosch},
title = {Concurrent Modeling in Early Phases of the Software Development Life
Cycle},
booktitle = {Collaboration and Technology - 16th International Conference, {CRIWG}
2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6257},
pages = {129--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15714-1\_11},
doi = {10.1007/978-3-642-15714-1\_11},
timestamp = {Sun, 02 Jun 2019 21:20:35 +0200},
biburl = {https://dblp.org/rec/conf/criwg/BroschLSWWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BroschLSWW10,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos},
title = {Colex: a web-based collaborative conflict lexicon},
booktitle = {Proceedings of the 1st International Workshop on Model Comparison
in Practice, {IWMCP} '10, Malaga, Spain, July 1, 2010},
pages = {42--49},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1826147.1826156},
doi = {10.1145/1826147.1826156},
timestamp = {Fri, 17 Dec 2021 15:16:31 +0100},
biburl = {https://dblp.org/rec/conf/icmt/BroschLSWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/BroschKSWWKL10,
author = {Petra Brosch and
Gerti Kappel and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Horst Kargl and
Philip Langer},
editor = {Gregor Engels and
Dimitris Karagiannis and
Heinrich C. Mayr},
title = {Adaptable Model Versioning in Action},
booktitle = {Modellierung 2010, 24.-26. M{\"{a}}rz 2010, Klagenfurt, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-161}},
pages = {221--236},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19700},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/BroschKSWWKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschKLSWWK10,
author = {Petra Brosch and
Horst Kargl and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Conflicts as First-Class Entities: {A} {UML} Profile for Model Versioning},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {184--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_18},
doi = {10.1007/978-3-642-21210-9\_18},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/BroschKLSWWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSK10,
author = {Petra Brosch and
Martina Seidl and
Gerti Kappel},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A recommender for conflict resolution support in optimistic model
versioning},
booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {43--50},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542.1869549},
doi = {10.1145/1869542.1869549},
timestamp = {Fri, 11 Feb 2022 14:04:22 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSW10,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Guiding modelers through conflict resolution: a recommender for model
versioning},
booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {241--242},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542.1869594},
doi = {10.1145/1869542.1869594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecscw/BroschSWW09,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Ina Wagner and
Hilda Tellioglu and
Ellen Balka and
Carla Simone and
Luigina Ciolfi},
title = {We can work it out: Collaborative Conflict Resolution in Model Versioning},
booktitle = {Proceedings of the Eleventh European Conference on Computer Supported
Cooperative Work, {ECSCW} 2009, 7-11 September 2009, Vienna, Austria},
pages = {207--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-854-4\_12},
doi = {10.1007/978-1-84882-854-4\_12},
timestamp = {Wed, 26 Jun 2019 12:55:10 +0200},
biburl = {https://dblp.org/rec/conf/ecscw/BroschSWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BroschLSW09,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Manuel Wimmer},
title = {Towards end-user adaptable model versioning: The By-Example Operation
Recorder},
booktitle = {Proceedings of the 2009 {ICSE} Workshop on Comparison and Versioning
of Software Models, {CVSM} '09, Vancouver, BC, Canada, May 2009},
pages = {55--60},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CVSM.2009.5071723},
doi = {10.1109/CVSM.2009.5071723},
timestamp = {Thu, 27 Jan 2022 13:57:43 +0100},
biburl = {https://dblp.org/rec/conf/icse/BroschLSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Broschy09,
author = {Petra Brosch},
title = {Improving conflict resolution in model versioning systems},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {355--358},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071020},
doi = {10.1109/ICSE-COMPANION.2009.5071020},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Broschy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschLSWWKRS09,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel and
Werner Retschitzegger and
Wieland Schwinger},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {An Example Is Worth a Thousand Words: Composite Operation Modeling
By-Example},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {271--285},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_20},
doi = {10.1007/978-3-642-04425-0\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/BroschLSWWKRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSWWL09,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Philip Langer},
editor = {Shail Arora and
Gary T. Leavens},
title = {By-example adaptation of the generic model versioning system {AMOR:}
how to include language-specific features for improving the check-in
process},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {739--740},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1639991},
doi = {10.1145/1639950.1639991},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSWWL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSWWL09a,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Philip Langer},
editor = {Shail Arora and
Gary T. Leavens},
title = {The operation recorder: specifying model refactorings by-example},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {791--792},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640017},
doi = {10.1145/1639950.1640017},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSWWL09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/WimmerSBKK09,
author = {Manuel Wimmer and
Martina Seidl and
Petra Brosch and
Horst Kargl and
Gerti Kappel},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {On Realizing a Framework for Self-tuning Mappings},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_1},
doi = {10.1007/978-3-642-02571-6\_1},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/WimmerSBKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/PfoserBBUTT08,
author = {Dieter Pfoser and
Sotiris Brakatsoulas and
Petra Brosch and
Martina Umlauft and
Nectaria Tryfona and
Giorgos Tsironis},
editor = {Walid G. Aref and
Mohamed F. Mokbel and
Markus Schneider},
title = {Dynamic travel time provision for road networks},
booktitle = {16th {ACM} {SIGSPATIAL} International Symposium on Advances in Geographic
Information Systems, {ACM-GIS} 2008, November 5-7, 2008, Irvine, California,
USA, Proceedings},
pages = {68},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1463434.1463513},
doi = {10.1145/1463434.1463513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gis/PfoserBBUTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/Brosch08,
author = {Petra Brosch},
title = {A Service Oriented Approach to Traffic Dependent Navigation Systems},
booktitle = {2008 {IEEE} Congress on Services, Part I, {SERVICES} {I} 2008, Honolulu,
Hawaii, USA, July 6-11, 2008},
pages = {269--272},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SERVICES-1.2008.88},
doi = {10.1109/SERVICES-1.2008.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/Brosch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
