:facetid:toc:\"db/journals/scp/scp80.bht\"OK:facetid:toc:db/journals/scp/scp80.bhtJonathan AldrichRicardo Massa Ferreira LimaBrazilian Symposium on Programming Languages (SBLP 2010).Sci. Comput. Program.80512014Journal Articlesopenjournals/scp/AldrichL1410.1016/J.SCICO.2013.03.013https://doi.org/10.1016/j.scico.2013.03.013https://dblp.org/rec/journals/scp/AldrichL14URL#3758113María AlpuenteDemis BallisFrancisco FrechinaDaniel Romero 0001Using conditional trace slicing for improving Maude programs.Sci. Comput. Program.80385-4152014Journal Articlesopenjournals/scp/AlpuenteBFR1410.1016/J.SCICO.2013.09.018https://doi.org/10.1016/j.scico.2013.09.018https://dblp.org/rec/journals/scp/AlpuenteBFR14URL#3758117Muffy CalderAlexandros KoliousisMichele SevegnaniJoseph S. SventekReal-time verification of wireless home networks using bigraphs with sharing.Sci. Comput. Program.80288-3102014Journal Articlesopenjournals/scp/CalderKSS1410.1016/J.SCICO.2013.08.004https://doi.org/10.1016/j.scico.2013.08.004https://dblp.org/rec/journals/scp/CalderKSS14URL#3758157Néstor CatañoIjaz AhmedRadu I. SiminiceanuJonathan AldrichA case study on the lightweight verification of a multi-threaded task server.Sci. Comput. Program.80169-1872014Journal Articlesopenjournals/scp/CatanoASA1410.1016/J.SCICO.2013.01.004https://doi.org/10.1016/j.scico.2013.01.004https://dblp.org/rec/journals/scp/CatanoASA14URL#3758160Andreas ClassenMaxime CordyPatrick HeymansAxel LegayPierre-Yves SchobbensFormal semantics, modular specification, and symbolic verification of product-line behaviour.Sci. Comput. Program.80416-4392014Journal Articlesopenjournals/scp/ClassenCHLS1410.1016/J.SCICO.2013.09.019https://doi.org/10.1016/j.scico.2013.09.019https://dblp.org/rec/journals/scp/ClassenCHLS14URL#3758164Khaled El-FakihNina Yevtushenko 0001Adenilso SimãoA practical approach for testing timed deterministic finite state machines with single clock.Sci. Comput. Program.80343-3552014Journal Articlesopenjournals/scp/El-FakihYS1410.1016/J.SCICO.2013.09.008https://doi.org/10.1016/j.scico.2013.09.008https://dblp.org/rec/journals/scp/El-FakihYS14URL#3758180Prodromos GerakiosNikolaos PapaspyrouKonstantinos SagonasStatic safety guarantees for a low-level multithreaded language with regions.Sci. Comput. Program.80223-2632014Journal Articlesopenjournals/scp/GerakiosPS1410.1016/J.SCICO.2013.06.005https://doi.org/10.1016/j.scico.2013.06.005https://dblp.org/rec/journals/scp/GerakiosPS14URL#3758194Michaela HuhnStefan MiliusObservations on formal safety analysis in practice.Sci. Comput. Program.80150-1682014Journal Articlesopenjournals/scp/HuhnM1410.1016/J.SCICO.2013.01.001https://doi.org/10.1016/j.scico.2013.01.001https://dblp.org/rec/journals/scp/HuhnM14URL#3758221Maryam KamaliLinas LaibinisLuigia PetreKaisa SereFormal development of wireless sensor-actor networks.Sci. Comput. Program.8025-492014Journal Articlesopenjournals/scp/KamaliLPS1410.1016/J.SCICO.2012.03.002https://doi.org/10.1016/j.scico.2012.03.002https://dblp.org/rec/journals/scp/KamaliLPS14URL#3758235Alain KetterlinPhilippe ClaussRecovering memory access patterns of executable programs.Sci. Comput. Program.80440-4562014Journal Articlesopenjournals/scp/KetterlinC1410.1016/J.SCICO.2012.08.002https://doi.org/10.1016/j.scico.2012.08.002https://dblp.org/rec/journals/scp/KetterlinC14URL#3758238Savas KonurSpecifying safety-critical systems with a decidable duration logic.Sci. Comput. Program.80264-2872014Journal Articlesopenjournals/scp/Konur1410.1016/J.SCICO.2013.07.012https://doi.org/10.1016/j.scico.2013.07.012https://dblp.org/rec/journals/scp/Konur14URL#3758241Etienne LantreibecqWendelin SerweFormal analysis of a hardware dynamic task dispatcher with CADP.Sci. Comput. Program.80130-1492014Journal Articlesopenjournals/scp/LantreibecqS1410.1016/J.SCICO.2013.01.003https://doi.org/10.1016/j.scico.2013.01.003https://dblp.org/rec/journals/scp/LantreibecqS14URL#3758250Raffaela MirandolaPasqualina PotenaPatrizia ScandurraAdaptation space exploration for service-oriented applications.Sci. Comput. Program.80356-3842014Journal Articlesopenjournals/scp/MirandolaPS1410.1016/J.SCICO.2013.09.017https://doi.org/10.1016/j.scico.2013.09.017https://dblp.org/rec/journals/scp/MirandolaPS14URL#3758270Young-Joo Moon 0001Alexandra Silva 0001Christian Krause 0001Farhad ArbabA compositional model to reason about end-to-end QoS in Stochastic Reo connectors.Sci. Comput. Program.803-242014Journal Articlesopenjournals/scp/MoonSKA1410.1016/J.SCICO.2011.11.007https://doi.org/10.1016/j.scico.2011.11.007https://dblp.org/rec/journals/scp/MoonSKA14URL#3758276Mohammad Reza Mousavi 0001Gwen SalaünPreface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10).Sci. Comput. Program.801-22014Journal Articlesopenjournals/scp/MousaviS1410.1016/J.SCICO.2012.03.003https://doi.org/10.1016/j.scico.2012.03.003https://dblp.org/rec/journals/scp/MousaviS14URL#3758280Jonathan NicholsonAmnon H. EdenEpameinondas GasparisRick KazmanAutomated verification of design patterns: A case study.Sci. Comput. Program.80211-2222014Journal Articlesopenjournals/scp/NicholsonEGK1410.1016/J.SCICO.2013.05.007https://doi.org/10.1016/j.scico.2013.05.007https://dblp.org/rec/journals/scp/NicholsonEGK14URL#3758282Eduardo Gurgel PinhoFrancisco Heron de Carvalho JuniorAn object-oriented parallel programming language for distributed-memory parallel computing platforms.Sci. Comput. Program.8065-902014Journal Articlesopenjournals/scp/PinhoJ1410.1016/J.SCICO.2013.03.014https://doi.org/10.1016/j.scico.2013.03.014https://dblp.org/rec/journals/scp/PinhoJ14URL#3758290Thomas ReinbacherJörg BrauerMartin HorauerAndreas SteiningerStefan KowalewskiRuntime verification of microcontroller binary code.Sci. Comput. Program.80109-1292014Journal Articlesopenjournals/scp/ReinbacherBHSK1410.1016/J.SCICO.2012.10.015https://doi.org/10.1016/j.scico.2012.10.015https://dblp.org/rec/journals/scp/ReinbacherBHSK14URL#3758297Andrei RimsaMarcelo d'AmorimFernando Magno Quintão PereiraRoberto da Silva BigonhaEfficient static checker for tainted variable attacks.Sci. Comput. Program.8091-1052014Journal Articlesopenjournals/scp/RimsadPB1410.1016/J.SCICO.2013.03.012https://doi.org/10.1016/j.scico.2013.03.012https://dblp.org/rec/journals/scp/RimsadPB14URL#3758302Gwen SalaünBernhard SchätzPreface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11).Sci. Comput. Program.80107-1082014Journal Articlesopenjournals/scp/SalaunS1410.1016/J.SCICO.2013.01.008https://doi.org/10.1016/j.scico.2013.01.008https://dblp.org/rec/journals/scp/SalaunS14URL#3758309Christophe ScholliersÉric TanterWolfgang De MeuterParallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model.Sci. Comput. Program.8052-642014Journal Articlesopenjournals/scp/ScholliersTM1410.1016/J.SCICO.2013.03.011https://doi.org/10.1016/j.scico.2013.03.011https://dblp.org/rec/journals/scp/ScholliersTM14URL#3758315Marten SijtemaAxel BelinfanteMariëlle StoelingaLawrence MarinelliExperiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost.Sci. Comput. Program.80188-2092014Journal Articlesopenjournals/scp/SijtemaBSM1410.1016/J.SCICO.2013.04.009https://doi.org/10.1016/j.scico.2013.04.009https://dblp.org/rec/journals/scp/SijtemaBSM14URL#3758319Éric TanterIsmael FigueroaNicolas TabareauExecution levels for aspect-oriented programming: Design, semantics, implementations and applications.Sci. Comput. Program.80311-3422014Journal Articlesopenjournals/scp/TanterFT1410.1016/J.SCICO.2013.09.002https://doi.org/10.1016/j.scico.2013.09.002https://dblp.org/rec/journals/scp/TanterFT14URL#3758332Stephen W. ThomasBram AdamsAhmed E. HassanDorothea BlosteinStudying software evolution using topic models.Sci. Comput. Program.80457-4792014Journal Articlesopenjournals/scp/ThomasAHB1410.1016/J.SCICO.2012.08.003https://doi.org/10.1016/j.scico.2012.08.003https://dblp.org/rec/journals/scp/ThomasAHB14URL#3758335