Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/ArthoO17,
  author       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2014)},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {89--90},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.10.002},
  doi          = {10.1016/J.SCICO.2016.10.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ArthoO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BenerecettiGGMM17,
  author       = {Massimo Benerecetti and
                  Renato De Guglielmo and
                  Ugo Gentile and
                  Stefano Marrone and
                  Nicola Mazzocca and
                  Roberto Nardone and
                  Adriano Peron and
                  Luigi Velardi and
                  Valeria Vittorini},
  title        = {Dynamic state machines for modelling railway control systems},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {116--153},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.09.002},
  doi          = {10.1016/J.SCICO.2016.09.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BenerecettiGGMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BodeiDF17,
  author       = {Chiara Bodei and
                  Viet Dung Dinh and
                  Gian{-}Luigi Ferrari},
  title        = {Checking global usage of resources handled with local policies},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {20--50},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.06.005},
  doi          = {10.1016/J.SCICO.2016.06.005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BodeiDF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BukhariLHSH17,
  author       = {Syed Ali Asadullah Bukhari and
                  Faiq Khalid Lodhi and
                  Osman Hasan and
                  Muhammad Shafique and
                  J{\"{o}}rg Henkel},
  title        = {FAMe-TM: Formal analysis methodology for task migration algorithms
                  in Many-Core systems},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {154--174},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.06.004},
  doi          = {10.1016/J.SCICO.2016.06.004},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BukhariLHSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BygdeLH17,
  author       = {Stefan Bygde and
                  Bj{\"{o}}rn Lisper and
                  Niklas Holsti},
  title        = {Improved precision in polyhedral analysis with wrapping},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {74--87},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.07.006},
  doi          = {10.1016/J.SCICO.2016.07.006},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BygdeLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CaltaisM17,
  author       = {Georgiana Caltais and
                  Bertrand Meyer},
  title        = {On the verification of {SCOOP} programs},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {194--215},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.08.005},
  doi          = {10.1016/J.SCICO.2016.08.005},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CaltaisM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CampusanoF17,
  author       = {Miguel Campusano and
                  Johan Fabry},
  title        = {Live Robot Programming: The language, its implementation, and robot
                  {API} independence},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {1--19},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.06.002},
  doi          = {10.1016/J.SCICO.2016.06.002},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CampusanoF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ErnstMSS17,
  author       = {Erik Ernst and
                  Anders M{\o}ller and
                  Mathias Schwarz and
                  Fabio Strocco},
  title        = {Message safety in Dart},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {51--73},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.06.006},
  doi          = {10.1016/J.SCICO.2016.06.006},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ErnstMSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HongHP17,
  author       = {Linh Vu Hong and
                  Anne E. Haxthausen and
                  Jan Peleska},
  title        = {Formal modelling and verification of interlocking systems featuring
                  sequential release},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {91--115},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.05.010},
  doi          = {10.1016/J.SCICO.2016.05.010},
  timestamp    = {Fri, 28 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HongHP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KelterM17,
  author       = {Timon Kelter and
                  Peter Marwedel},
  title        = {Parallelism analysis: Precise {WCET} values for complex multi-core
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {175--193},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.01.007},
  doi          = {10.1016/J.SCICO.2016.01.007},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KelterM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SeceleanuJSSSEP17,
  author       = {Cristina Seceleanu and
                  Morgan E. Johansson and
                  Jagadish Suryadevara and
                  Gaetana Sapienza and
                  Tiberiu Seceleanu and
                  Stein Erik Ellevseth and
                  Paul Pettersson},
  title        = {Analyzing a wind turbine system: From simulation to formal verification},
  journal      = {Sci. Comput. Program.},
  volume       = {133},
  pages        = {216--242},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.09.007},
  doi          = {10.1016/J.SCICO.2016.09.007},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SeceleanuJSSSEP17.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.