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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.