Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ase/ApvrilleSSL04,
  author       = {Ludovic Apvrille and
                  Pierre de Saqui{-}Sannes and
                  Patrick S{\'{e}}nac and
                  Christophe Lohr},
  title        = {Verifying Service Continuity in a Dynamic Reconfiguration Procedure:
                  Application to a Satellite System},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {167--191},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000017742.47984.6c},
  doi          = {10.1023/B:AUSE.0000017742.47984.6C},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/ApvrilleSSL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BastenBG04,
  author       = {Twan Basten and
                  Dragan Bosnacki and
                  Marc Geilen},
  title        = {Cluster-Based Partial-Order Reduction},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {4},
  pages        = {365--402},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000038937.18006.3d},
  doi          = {10.1023/B:AUSE.0000038937.18006.3D},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/BastenBG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BettiniNL04,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Formulae Meet Programs Over the Net: {A} Framework for Correct Network
                  Aware Programming},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {245--288},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028536.34044.47},
  doi          = {10.1023/B:AUSE.0000028536.34044.47},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/BettiniNL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BharadwajH04,
  author       = {Ramesh Bharadwaj and
                  Robert J. Hall},
  title        = {Introduction},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {99},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000017855.90553.d8},
  doi          = {10.1023/B:AUSE.0000017855.90553.D8},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/BharadwajH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Bundy04,
  author       = {Alan Bundy},
  title        = {Desert Island Column},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {91--92},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000008679.68826.7e},
  doi          = {10.1023/B:AUSE.0000008679.68826.7E},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Bundy04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ChevalierV04,
  author       = {Yannick Chevalier and
                  Laurent Vigneron},
  title        = {Strategy for Verifying Security Protocols with Unbounded Message Size},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {141--166},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000017741.10347.9b},
  doi          = {10.1023/B:AUSE.0000017741.10347.9B},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ChevalierV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/FranceschetMR04,
  author       = {Massimo Franceschet and
                  Angelo Montanari and
                  Maarten de Rijke},
  title        = {Model Checking for Combined Logics with an Application to Mobile Systems},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {289--321},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028537.84347.9c},
  doi          = {10.1023/B:AUSE.0000028537.84347.9C},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/FranceschetMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GhezziI04,
  author       = {Carlo Ghezzi and
                  Paola Inverardi},
  title        = {Introduction to Special Issue on Distributed and Mobile Software Engineering},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {203--205},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028563.49367.43},
  doi          = {10.1023/B:AUSE.0000028563.49367.43},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/GhezziI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GoedickeF04,
  author       = {Michael Goedicke and
                  Martin S. Feather},
  title        = {Guest Editors' Introduction},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {4},
  pages        = {335},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000039045.26563.61},
  doi          = {10.1023/B:AUSE.0000039045.26563.61},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/GoedickeF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HarmanHMZBDDO04,
  author       = {Mark Harman and
                  Lin Hu and
                  Malcolm Munro and
                  Xingyuan Zhang and
                  David W. Binkley and
                  Sebastian Danicic and
                  Mohammed Daoudi and
                  Lahcen Ouarbya},
  title        = {Syntax-Directed Amorphous Slicing},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {27--61},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000008667.37988.11},
  doi          = {10.1023/B:AUSE.0000008667.37988.11},
  timestamp    = {Fri, 11 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/HarmanHMZBDDO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/KhurshidM04,
  author       = {Sarfraz Khurshid and
                  Darko Marinov},
  title        = {TestEra: Specification-Based Testing of Java Programs Using {SAT}},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {4},
  pages        = {403--434},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000038938.10589.b9},
  doi          = {10.1023/B:AUSE.0000038938.10589.B9},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/KhurshidM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiRG04,
  author       = {Hon Fung Li and
                  Juergen Rilling and
                  Dhrubajyoti Goswami},
  title        = {Granularity-Driven Dynamic Predicate Slicing Algorithms for Message
                  Passing Systems},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {63--89},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000008668.12782.6c},
  doi          = {10.1023/B:AUSE.0000008668.12782.6C},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LiRG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LuciaCM04,
  author       = {Andrea De Lucia and
                  James R. Cordy and
                  John Mylopoulos},
  title        = {Introduction},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {5--6},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000008695.71960.a3},
  doi          = {10.1023/B:AUSE.0000008695.71960.A3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LuciaCM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MascoloPR04,
  author       = {Cecilia Mascolo and
                  Gian Pietro Picco and
                  Gruia{-}Catalin Roman},
  title        = {{CODEWEAVE:} Exploring Fine-Grained Mobility of Code},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {207--243},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028535.07877.da},
  doi          = {10.1023/B:AUSE.0000028535.07877.DA},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MascoloPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MatthewsFGKF04,
  author       = {Jacob Matthews and
                  Robert Bruce Findler and
                  Paul T. Graunke and
                  Shriram Krishnamurthi and
                  Matthias Felleisen},
  title        = {Automatically Restructuring Programs for the Web},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {4},
  pages        = {337--364},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000038936.09009.69},
  doi          = {10.1023/B:AUSE.0000038936.09009.69},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/MatthewsFGKF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MilanovaRR04,
  author       = {Ana L. Milanova and
                  Atanas Rountev and
                  Barbara G. Ryder},
  title        = {Precise Call Graphs for {C} Programs with Function Pointers},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {7--26},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000008666.56394.a1},
  doi          = {10.1023/B:AUSE.0000008666.56394.A1},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/MilanovaRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/RoychoudhuryR04,
  author       = {Abhik Roychoudhury and
                  I. V. Ramakrishnan},
  title        = {Inductively Verifying Invariant Properties of Parameterized Systems},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {101--139},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000017740.35552.88},
  doi          = {10.1023/B:AUSE.0000017740.35552.88},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/RoychoudhuryR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Weiss04,
  author       = {David M. Weiss},
  title        = {Desert Island Column: Saving Software Engineering},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {323--326},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028538.16147.65},
  doi          = {10.1023/B:AUSE.0000028538.16147.65},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Weiss04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Wile04,
  author       = {David S. Wile},
  title        = {Desert Island Reading Assignment},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {193--196},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000017743.91321.ff},
  doi          = {10.1023/B:AUSE.0000017743.91321.FF},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Wile04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics