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