Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ase/ase11.bht:"
@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} }
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.