BibTeX records: Alexander Harhurin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Alexander Harhurin

download as .bib file

@phdthesis{DBLP:phd/de/Harhurin2010,
  author       = {Alexander Harhurin},
  title        = {Von separaten Interaktionsmustern zu konsistenten Spezifikationen
                  reaktiver Systeme},
  school       = {Technical University Munich},
  year         = {2010},
  url          = {http://mediatum2.ub.tum.de/node?id=976230},
  urn          = {urn:nbn:de:bvb:91-diss-20101004-976230-1-3},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Harhurin2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/se/ThyssenRSHFT10,
  author       = {Judith Thyssen and
                  Daniel Ratiu and
                  Wolfgang Schwitzer and
                  Alexander Harhurin and
                  Martin Feilkas and
                  Eike Thaden},
  editor       = {Gregor Engels and
                  Markus Luckey and
                  Alexander Pretschner and
                  Ralf H. Reussner},
  title        = {A System for Seamless Abstraction Layers for Model-based Development
                  of Embedded Software},
  booktitle    = {Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium),
                  Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn},
  series       = {{LNI}},
  volume       = {{P-160}},
  pages        = {137--148},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/20146},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/ThyssenRSHFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cbse/BotaschanjanH09,
  author       = {Jewgenij Botaschanjan and
                  Alexander Harhurin},
  editor       = {Grace A. Lewis and
                  Iman Poernomo and
                  Christine Hofmeister},
  title        = {Integrating Functional and Architectural Views of Reactive Systems},
  booktitle    = {Component-Based Software Engineering, 12th International Symposium,
                  {CBSE} 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5582},
  pages        = {156--172},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02414-6\_10},
  doi          = {10.1007/978-3-642-02414-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cbse/BotaschanjanH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BotaschanjanH09,
  author       = {Jewgenij Botaschanjan and
                  Alexander Harhurin},
  editor       = {Dang Van Hung and
                  Padmanabhan Krishnan},
  title        = {Property-Driven Scenario Integration},
  booktitle    = {Seventh {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages        = {147--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SEFM.2009.10},
  doi          = {10.1109/SEFM.2009.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BotaschanjanH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BotaschanjanBGHKKPS08,
  author       = {Jewgenij Botaschanjan and
                  Manfred Broy and
                  Alexander Gruler and
                  Alexander Harhurin and
                  Steffen Knapp and
                  Leonid Kof and
                  Wolfgang J. Paul and
                  Maria Spichkova},
  title        = {On the correctness of upper layers of automotive systems},
  journal      = {Formal Aspects Comput.},
  volume       = {20},
  number       = {6},
  pages        = {637--662},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00165-008-0097-0},
  doi          = {10.1007/S00165-008-0097-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BotaschanjanBGHKKPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/HarhurinH08,
  author       = {Alexander Harhurin and
                  Judith Hartmann},
  editor       = {Jorge Cu{\'{e}}llar and
                  T. S. E. Maibaum and
                  Kaisa Sere},
  title        = {Towards Consistent Specifications of Product Families},
  booktitle    = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
                  Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5014},
  pages        = {390--405},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68237-0\_27},
  doi          = {10.1007/978-3-540-68237-0\_27},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HarhurinH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/HarhurinH08,
  author       = {Alexander Harhurin and
                  Judith Hartmann},
  title        = {Service-Oriented Commonality Analysis Across Existing Systems},
  booktitle    = {Software Product Lines, 12th International Conference, {SPLC} 2008,
                  Limerick, Ireland, September 8-12, 2008, Proceedings},
  pages        = {255--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SPLC.2008.19},
  doi          = {10.1109/SPLC.2008.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/HarhurinH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecbs/GrulerHH07,
  author       = {Alexander Gruler and
                  Alexander Harhurin and
                  Judith Hartmann},
  title        = {Modeling the Functionality of Multi-Functional Software Systems},
  booktitle    = {14th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
                  Arizona, {USA}},
  pages        = {349--358},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECBS.2007.54},
  doi          = {10.1109/ECBS.2007.54},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GrulerHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/GrulerHH07,
  author       = {Alexander Gruler and
                  Alexander Harhurin and
                  Judith Hartmann},
  title        = {Development and Configuration of Service-based Product Lines},
  booktitle    = {Software Product Lines, 11th International Conference, {SPLC} 2007,
                  Kyoto, Japan, September 10-14, 2007, Proceedings},
  pages        = {107--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SPLINE.2007.13},
  doi          = {10.1109/SPLINE.2007.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/GrulerHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BotaschanjanGHKST06,
  author       = {Jewgenij Botaschanjan and
                  Alexander Gruler and
                  Alexander Harhurin and
                  Leonid Kof and
                  Maria Spichkova and
                  David Trachtenherz},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {Towards Modularized Verification of Distributed Time-Triggered Systems},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_12},
  doi          = {10.1007/11813040\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/BotaschanjanGHKST06.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.