Search dblp for Publications

export results for "toc:db/journals/ase/ase18.bht:"

 download as .bib file

@article{DBLP:journals/ase/DeshmukhES11,
  author       = {Jyotirmoy V. Deshmukh and
                  E. Allen Emerson and
                  Sriram Sankaranarayanan},
  title        = {Symbolic modular deadlock analysis},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {325--362},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0085-0},
  doi          = {10.1007/S10515-011-0085-0},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/DeshmukhES11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/DhunganaGR11,
  author       = {Deepak Dhungana and
                  Paul Gr{\"{u}}nbacher and
                  Rick Rabiser},
  title        = {The {DOPLER} meta-tool for decision-oriented variability modeling:
                  a multiple case study},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {77--114},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0076-6},
  doi          = {10.1007/S10515-010-0076-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/DhunganaGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Hall11,
  author       = {Robert J. Hall},
  title        = {Editorial: {ASE} 2010 Conference trip report},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {1--3},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0078-4},
  doi          = {10.1007/S10515-010-0078-4},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/Hall11a,
  author       = {Robert J. Hall},
  title        = {Editorial: Controlling change},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {2},
  pages        = {115--116},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0081-4},
  doi          = {10.1007/S10515-011-0081-4},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/HanWM11,
  author       = {Sangmok Han and
                  David R. Wallace and
                  Robert C. Miller},
  title        = {Code completion of multiple keywords from abbreviated input},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {363--398},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0083-2},
  doi          = {10.1007/S10515-011-0083-2},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/HanWM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/HeimdahlT11,
  author       = {Mats Per Erik Heimdahl and
                  Gabriele Taentzer},
  title        = {Guest editorial: special issue on selected topics in automated software
                  engineering - Specification mining and defect detection},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {225--226},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0087-y},
  doi          = {10.1007/S10515-011-0087-Y},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/HeimdahlT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/KessentiniSB11,
  author       = {Marouane Kessentini and
                  Houari A. Sahraoui and
                  Mounir Boukadoum},
  title        = {Example-based model-transformation testing},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {2},
  pages        = {199--224},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0079-3},
  doi          = {10.1007/S10515-010-0079-3},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/KessentiniSB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/KloukinasY11,
  author       = {Christos Kloukinas and
                  Sergio Yovine},
  title        = {A model-based approach for multiple QoS in~scheduling: from models
                  to implementation},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {5--38},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0074-8},
  doi          = {10.1007/S10515-010-0074-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/KloukinasY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/LiuBL11,
  author       = {Jing Liu and
                  Samik Basu and
                  Robyn R. Lutz},
  title        = {Compositional model checking of software product lines using variation
                  point obligations},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {39--76},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0075-7},
  doi          = {10.1007/S10515-010-0075-7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/LiuBL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/MahbubSZ11,
  author       = {Khaled Mahbub and
                  George Spanoudakis and
                  Andrea Zisman},
  title        = {A monitoring approach for runtime service discovery},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {2},
  pages        = {117--161},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-010-0077-5},
  doi          = {10.1007/S10515-010-0077-5},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MahbubSZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/RosenmullerSAS11,
  author       = {Marko Rosenm{\"{u}}ller and
                  Norbert Siegmund and
                  Sven Apel and
                  Gunter Saake},
  title        = {Flexible feature binding in software product lines},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {2},
  pages        = {163--197},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0080-5},
  doi          = {10.1007/S10515-011-0080-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/RosenmullerSAS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/ThummalapentaX11,
  author       = {Suresh Thummalapenta and
                  Tao Xie},
  title        = {Alattin: mining alternative patterns for defect detection},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {293--323},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0086-z},
  doi          = {10.1007/S10515-011-0086-Z},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/ThummalapentaX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/WasylkowskiZ11,
  author       = {Andrzej Wasylkowski and
                  Andreas Zeller},
  title        = {Mining temporal specifications from object usage},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {263--292},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0084-1},
  doi          = {10.1007/S10515-011-0084-1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/WasylkowskiZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/ZhongZXM11,
  author       = {Hao Zhong and
                  Lu Zhang and
                  Tao Xie and
                  Hong Mei},
  title        = {Inferring specifications for resources from natural language {API}
                  documentation},
  journal      = {Autom. Softw. Eng.},
  volume       = {18},
  number       = {3-4},
  pages        = {227--261},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10515-011-0082-3},
  doi          = {10.1007/S10515-011-0082-3},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ZhongZXM11.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.