Search dblp for Publications

export results for "toc:db/journals/scp/scp94.bht:"

 download as .bib file

@article{DBLP:journals/scp/AndovaGV14,
  author       = {Suzana Andova and
                  Luuk Groenewegen and
                  Erik P. de Vink},
  title        = {Dynamic adaptation with distributed control in Paradigm},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {333--361},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.034},
  doi          = {10.1016/J.SCICO.2013.11.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AndovaGV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ArcainiG14,
  author       = {Paolo Arcaini and
                  Angelo Gargantini},
  title        = {Test generation for sequential nets of Abstract State Machines with
                  information passing},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {93--108},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.007},
  doi          = {10.1016/J.SCICO.2014.02.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ArcainiG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BanachZSW14,
  author       = {Richard Banach and
                  Huibiao Zhu and
                  Wen Su and
                  Xiaofeng Wu},
  title        = {ASM, controller synthesis, and complete refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {109--129},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.013},
  doi          = {10.1016/J.SCICO.2014.04.013},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BanachZSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BarbosaL14,
  author       = {Lu{\'{\i}}s Soares Barbosa and
                  Markus Lumpe},
  title        = {Formal Aspects of Component Software {(FACS} 2010 selected and extended
                  papers)},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {253--254},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.03.010},
  doi          = {10.1016/J.SCICO.2014.03.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BarbosaL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BookBG14,
  author       = {Matthias Book and
                  Marco Buss and
                  Volker Gruhn},
  title        = {Process-aware continuation management in web applications},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {3--17},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.015},
  doi          = {10.1016/J.SCICO.2013.07.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BookBG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BugliesiMR14,
  author       = {Michele Bugliesi and
                  Andrea Marin and
                  Sabina Rossi},
  title        = {Model checking adaptive service compositions},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {289--306},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.031},
  doi          = {10.1016/J.SCICO.2013.11.031},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BugliesiMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DeharbeFGV14,
  author       = {David D{\'{e}}harbe and
                  Pascal Fontaine and
                  Yoann Guyot and
                  Laurent Voisin},
  title        = {Integrating {SMT} solvers in Rodin},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {130--143},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.012},
  doi          = {10.1016/J.SCICO.2014.04.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DeharbeFGV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FraikinFS14,
  author       = {Beno{\^{\i}}t Fraikin and
                  Marc Frappier and
                  Richard St{-}Denis},
  title        = {Supervisory control theory with Alloy},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {217--237},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.016},
  doi          = {10.1016/J.SCICO.2014.04.016},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/FraikinFS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GervasiBC14,
  author       = {Vincenzo Gervasi and
                  Egon B{\"{o}}rger and
                  Antonio Cisternino},
  title        = {Modeling web applications infrastructure with ASMs},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {69--92},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.025},
  doi          = {10.1016/J.SCICO.2014.02.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GervasiBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HallerstedeH14,
  author       = {Stefan Hallerstede and
                  Thai Son Hoang},
  title        = {Refinement of decomposed models by interface instantiation},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {144--163},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.05.005},
  doi          = {10.1016/J.SCICO.2014.05.005},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HallerstedeH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HeinrichLGGSS14,
  author       = {Matthias Heinrich and
                  Franz Lehmann and
                  Franz Josef Gr{\"{u}}neberger and
                  Martin Gaedke and
                  Thomas Springer and
                  Alexander Schill},
  title        = {Enriching single-user web applications non-invasively with shared
                  editing support},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {53--66},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.017},
  doi          = {10.1016/J.SCICO.2013.07.017},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HeinrichLGGSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HogenboomVFVK14,
  author       = {Frederik Hogenboom and
                  Damir Vandic and
                  Flavius Frasincar and
                  Arnout Verheij and
                  Allard Kleijn},
  title        = {A query language and ranking algorithm for news items in the Hermes
                  news processing framework},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {32--52},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.018},
  doi          = {10.1016/J.SCICO.2013.07.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HogenboomVFVK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/IorioRZ14,
  author       = {Angelo Di Iorio and
                  Davide Rossi and
                  Stefano Zacchiroli},
  title        = {Web Technologies: Selected {\&} extended papers from {WT} {ACM}
                  {SAC} 2012},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {1--2},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.03.001},
  doi          = {10.1016/J.SCICO.2014.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/IorioRZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JonesLS14,
  author       = {Cliff B. Jones and
                  Matthew J. Lovert and
                  L. Jason Steggles},
  title        = {Revising basic theorem proving algorithms to cope with the logic of
                  partial functions},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {238--252},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.007},
  doi          = {10.1016/J.SCICO.2013.09.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JonesLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LibermanL14,
  author       = {Sonya Liberman and
                  Ronny Lempel},
  title        = {Approximately optimal facet value selection},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {18--31},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.019},
  doi          = {10.1016/J.SCICO.2013.07.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LibermanL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MilicevicJ14,
  author       = {Aleksandar Milicevic and
                  Daniel Jackson},
  title        = {Preventing arithmetic overflows in Alloy},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {203--216},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.05.009},
  doi          = {10.1016/J.SCICO.2014.05.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MilicevicJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NobakhtBBGJ14,
  author       = {Behrooz Nobakht and
                  Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Stijn de Gouw and
                  Mohammad Mahdi Jaghoori},
  title        = {Monitoring method call sequences using annotations},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {362--378},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.030},
  doi          = {10.1016/J.SCICO.2013.11.030},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NobakhtBBGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RiccobeneR14,
  author       = {Elvinia Riccobene and
                  Steve Reeves},
  title        = {Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected {\&}
                  extended papers from {ABZ} 2012},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {67--68},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.06.002},
  doi          = {10.1016/J.SCICO.2014.06.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RiccobeneR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SuAZ14,
  author       = {Wen Su and
                  Jean{-}Raymond Abrial and
                  Huibiao Zhu},
  title        = {Formalizing hybrid systems with Event-B and the Rodin Platform},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {164--202},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.015},
  doi          = {10.1016/J.SCICO.2014.04.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SuAZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/TamuraCCD14,
  author       = {Gabriel Tamura and
                  Rubby Casallas and
                  Anthony Cleve and
                  Laurence Duchien},
  title        = {QoS contract preservation through dynamic reconfiguration: {A} formal
                  semantics approach},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {307--332},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.12.003},
  doi          = {10.1016/J.SCICO.2013.12.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/TamuraCCD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhaoB014,
  author       = {Liang Zhao and
                  Roberto Bruni and
                  Zhiming Liu},
  title        = {A sound and complete theory of graph transformations for service programming
                  with sessions and pipelines},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {255--288},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.029},
  doi          = {10.1016/J.SCICO.2013.11.029},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZhaoB014.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.