Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AlmeidaBFPV14,
  author       = {Jos{\'{e}} Bacelar Almeida and
                  Manuel Barbosa and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Jorge Sousa Pinto and
                  B{\'{a}}rbara Vieira},
  title        = {CAOVerif: An open-source deductive verification platform for cryptographic
                  software implementations},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {216--233},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.09.019},
  doi          = {10.1016/J.SCICO.2012.09.019},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AlmeidaBFPV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BaeMO14,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal patterns for multirate distributed real-time systems},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {3--44},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.010},
  doi          = {10.1016/J.SCICO.2013.09.010},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BaeMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BarbosaS14,
  author       = {Lu{\'{\i}}s Soares Barbosa and
                  Siraj Ahmed Shaikh},
  title        = {Selected contributions from the Open Source Software Certification
                  (OpenCert) workshops},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {139--140},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.007},
  doi          = {10.1016/J.SCICO.2014.04.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BarbosaS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BauerHL14,
  author       = {Sebastian S. Bauer and
                  Rolf Hennicker and
                  Axel Legay},
  title        = {A meta-theory for component interfaces with contracts on ports},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {70--89},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.013},
  doi          = {10.1016/J.SCICO.2013.09.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BauerHL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BeoharC14,
  author       = {Harsh Beohar and
                  Pieter J. L. Cuijpers},
  title        = {Avoiding diamonds in desynchronisation},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {45--69},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.12.002},
  doi          = {10.1016/J.SCICO.2013.12.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BeoharC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BreuerP14,
  author       = {Peter T. Breuer and
                  Simon Pickin},
  title        = {Open source verification in an anonymous volunteer network},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {161--187},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.08.010},
  doi          = {10.1016/J.SCICO.2013.08.010},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BreuerP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ChiltonJK14,
  author       = {Chris Chilton and
                  Bengt Jonsson and
                  Marta Z. Kwiatkowska},
  title        = {Compositional assume-guarantee reasoning for input/output component
                  theories},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {115--137},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.12.010},
  doi          = {10.1016/J.SCICO.2013.12.010},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChiltonJK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FeuserP14,
  author       = {Johannes Feuser and
                  Jan Peleska},
  title        = {Dependability in open proof software with hardware virtualization
                  - The railway control systems perspective},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {188--215},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.08.007},
  doi          = {10.1016/J.SCICO.2013.08.007},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/FeuserP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JansenWAZKBS14,
  author       = {Nils Jansen and
                  Ralf Wimmer and
                  Erika {\'{A}}brah{\'{a}}m and
                  Barna Zajzon and
                  Joost{-}Pieter Katoen and
                  Bernd Becker and
                  Johann Schuster},
  title        = {Symbolic counterexample generation for large discrete-time Markov
                  chains},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {90--114},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.001},
  doi          = {10.1016/J.SCICO.2014.02.001},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/JansenWAZKBS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/OlesenHLP14,
  author       = {Mads Chr. Olesen and
                  Ren{\'{e}} Rydhof Hansen and
                  Julia L. Lawall and
                  Nicolas Palix},
  title        = {Coccinelle: Tool support for automated {CERT} {C} Secure Coding Standard
                  certification},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {141--160},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.10.011},
  doi          = {10.1016/J.SCICO.2012.10.011},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/OlesenHLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PasareanuS14,
  author       = {Corina S. Pasareanu and
                  Gwen Sala{\"{u}}n},
  title        = {Special Issue on Formal Aspects of Component Software (Selected Papers
                  from FACS'12)},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {1--2},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.01.015},
  doi          = {10.1016/J.SCICO.2014.01.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PasareanuS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RubanovS14,
  author       = {Vladimir V. Rubanov and
                  Denis V. Silakov},
  title        = {Ensuring portability of Linux applications through standardization
                  and knowledge base driven analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {234--248},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.01.009},
  doi          = {10.1016/J.SCICO.2014.01.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RubanovS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SoweCS14,
  author       = {Sulayman K. Sowe and
                  Antonio Cerone and
                  Dimitrios Settas},
  title        = {An empirical study of {FOSS} developers patterns of contribution:
                  Challenges for data linkage and analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {249--265},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.033},
  doi          = {10.1016/J.SCICO.2013.11.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SoweCS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.