Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AldrichL14,
  author       = {Jonathan Aldrich and
                  Ricardo Massa Ferreira Lima},
  title        = {Brazilian Symposium on Programming Languages {(SBLP} 2010)},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {51},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.03.013},
  doi          = {10.1016/J.SCICO.2013.03.013},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AldrichL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuenteBFR14,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Francisco Frechina and
                  Daniel Romero},
  title        = {Using conditional trace slicing for improving Maude programs},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {385--415},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.018},
  doi          = {10.1016/J.SCICO.2013.09.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AlpuenteBFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CalderKSS14,
  author       = {Muffy Calder and
                  Alexandros Koliousis and
                  Michele Sevegnani and
                  Joseph S. Sventek},
  title        = {Real-time verification of wireless home networks using bigraphs with
                  sharing},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {288--310},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.08.004},
  doi          = {10.1016/J.SCICO.2013.08.004},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CalderKSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CatanoASA14,
  author       = {N{\'{e}}stor Cata{\~{n}}o and
                  Ijaz Ahmed and
                  Radu I. Siminiceanu and
                  Jonathan Aldrich},
  title        = {A case study on the lightweight verification of a multi-threaded task
                  server},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {169--187},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.01.004},
  doi          = {10.1016/J.SCICO.2013.01.004},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CatanoASA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClassenCHLS14,
  author       = {Andreas Classen and
                  Maxime Cordy and
                  Patrick Heymans and
                  Axel Legay and
                  Pierre{-}Yves Schobbens},
  title        = {Formal semantics, modular specification, and symbolic verification
                  of product-line behaviour},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {416--439},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.019},
  doi          = {10.1016/J.SCICO.2013.09.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClassenCHLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/El-FakihYS14,
  author       = {Khaled El{-}Fakih and
                  Nina Yevtushenko and
                  Adenilso Sim{\~{a}}o},
  title        = {A practical approach for testing timed deterministic finite state
                  machines with single clock},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {343--355},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.008},
  doi          = {10.1016/J.SCICO.2013.09.008},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/El-FakihYS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GerakiosPS14,
  author       = {Prodromos Gerakios and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas},
  title        = {Static safety guarantees for a low-level multithreaded language with
                  regions},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {223--263},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.06.005},
  doi          = {10.1016/J.SCICO.2013.06.005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GerakiosPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuhnM14,
  author       = {Michaela Huhn and
                  Stefan Milius},
  title        = {Observations on formal safety analysis in practice},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {150--168},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.01.001},
  doi          = {10.1016/J.SCICO.2013.01.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuhnM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KamaliLPS14,
  author       = {Maryam Kamali and
                  Linas Laibinis and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {Formal development of wireless sensor-actor networks},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {25--49},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.03.002},
  doi          = {10.1016/J.SCICO.2012.03.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KamaliLPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KetterlinC14,
  author       = {Alain Ketterlin and
                  Philippe Clauss},
  title        = {Recovering memory access patterns of executable programs},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {440--456},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.08.002},
  doi          = {10.1016/J.SCICO.2012.08.002},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KetterlinC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Konur14,
  author       = {Savas Konur},
  title        = {Specifying safety-critical systems with a decidable duration logic},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {264--287},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.012},
  doi          = {10.1016/J.SCICO.2013.07.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Konur14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LantreibecqS14,
  author       = {Etienne Lantreibecq and
                  Wendelin Serwe},
  title        = {Formal analysis of a hardware dynamic task dispatcher with {CADP}},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {130--149},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.01.003},
  doi          = {10.1016/J.SCICO.2013.01.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LantreibecqS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MirandolaPS14,
  author       = {Raffaela Mirandola and
                  Pasqualina Potena and
                  Patrizia Scandurra},
  title        = {Adaptation space exploration for service-oriented applications},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {356--384},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.017},
  doi          = {10.1016/J.SCICO.2013.09.017},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MirandolaPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoonSKA14,
  author       = {Young{-}Joo Moon and
                  Alexandra Silva and
                  Christian Krause and
                  Farhad Arbab},
  title        = {A compositional model to reason about end-to-end QoS in Stochastic
                  Reo connectors},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {3--24},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2011.11.007},
  doi          = {10.1016/J.SCICO.2011.11.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MoonSKA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MousaviS14,
  author       = {Mohammad Reza Mousavi and
                  Gwen Sala{\"{u}}n},
  title        = {Preface: Special section on foundations of coordination languages
                  and software architectures (selected papers from FOCLASA'10)},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {1--2},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.03.003},
  doi          = {10.1016/J.SCICO.2012.03.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MousaviS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicholsonEGK14,
  author       = {Jonathan Nicholson and
                  Amnon H. Eden and
                  Epameinondas Gasparis and
                  Rick Kazman},
  title        = {Automated verification of design patterns: {A} case study},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {211--222},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.05.007},
  doi          = {10.1016/J.SCICO.2013.05.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NicholsonEGK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PinhoJ14,
  author       = {Eduardo Gurgel Pinho and
                  Francisco Heron de Carvalho Junior},
  title        = {An object-oriented parallel programming language for distributed-memory
                  parallel computing platforms},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {65--90},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.03.014},
  doi          = {10.1016/J.SCICO.2013.03.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PinhoJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReinbacherBHSK14,
  author       = {Thomas Reinbacher and
                  J{\"{o}}rg Brauer and
                  Martin Horauer and
                  Andreas Steininger and
                  Stefan Kowalewski},
  title        = {Runtime verification of microcontroller binary code},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {109--129},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.10.015},
  doi          = {10.1016/J.SCICO.2012.10.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ReinbacherBHSK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RimsadPB14,
  author       = {Andrei Rimsa and
                  Marcelo d'Amorim and
                  Fernando Magno Quint{\~{a}}o Pereira and
                  Roberto da Silva Bigonha},
  title        = {Efficient static checker for tainted variable attacks},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {91--105},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.03.012},
  doi          = {10.1016/J.SCICO.2013.03.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RimsadPB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SalaunS14,
  author       = {Gwen Sala{\"{u}}n and
                  Bernhard Sch{\"{a}}tz},
  title        = {Preface: Special section on formal methods for industrial critical
                  systems (Selected papers from FMICS'11)},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {107--108},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.01.008},
  doi          = {10.1016/J.SCICO.2013.01.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SalaunS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ScholliersTM14,
  author       = {Christophe Scholliers and
                  {\'{E}}ric Tanter and
                  Wolfgang De Meuter},
  title        = {Parallel actor monitors: Disentangling task-level parallelism from
                  data partitioning in the actor model},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {52--64},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.03.011},
  doi          = {10.1016/J.SCICO.2013.03.011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ScholliersTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SijtemaBSM14,
  author       = {Marten Sijtema and
                  Axel Belinfante and
                  Mari{\"{e}}lle Stoelinga and
                  Lawrence Marinelli},
  title        = {Experiences with formal engineering: Model-based specification, implementation
                  and testing of a software bus at Neopost},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {188--209},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.04.009},
  doi          = {10.1016/J.SCICO.2013.04.009},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SijtemaBSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TanterFT14,
  author       = {{\'{E}}ric Tanter and
                  Ismael Figueroa and
                  Nicolas Tabareau},
  title        = {Execution levels for aspect-oriented programming: Design, semantics,
                  implementations and applications},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {311--342},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.002},
  doi          = {10.1016/J.SCICO.2013.09.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/TanterFT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ThomasAHB14,
  author       = {Stephen W. Thomas and
                  Bram Adams and
                  Ahmed E. Hassan and
                  Dorothea Blostein},
  title        = {Studying software evolution using topic models},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {457--479},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.08.003},
  doi          = {10.1016/J.SCICO.2012.08.003},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ThomasAHB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics