Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/Balasubramanian15,
  author       = {Daniel Balasubramanian and
                  Abhishek Dubey and
                  William Otte and
                  Tihamer Levendovszky and
                  Aniruddha S. Gokhale and
                  Pranav Srinivas Kumar and
                  William Emfinger and
                  Gabor Karsai},
  title        = {{DREMS} {ML:} {A} wide spectrum architecture design language for distributed
                  computing platforms},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {3--29},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.002},
  doi          = {10.1016/J.SCICO.2015.04.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Balasubramanian15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BesnardBGGMTY15,
  author       = {Lo{\"{\i}}c Besnard and
                  Adnan Bouakaz and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Yue Ma and
                  Jean{-}Pierre Talpin and
                  Huafeng Yu},
  title        = {Timed behavioural modelling and affine scheduling of embedded software
                  architectures in the {AADL} using Polychrony},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {54--77},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.05.014},
  doi          = {10.1016/J.SCICO.2014.05.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BesnardBGGMTY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BodeveixFGSY15,
  author       = {Jean{-}Paul Bodeveix and
                  Mamoun Filali and
                  Manuel Garnacho and
                  R{\'{e}}gis Spadotti and
                  Zhibin Yang},
  title        = {Towards a verified transformation from {AADL} to the formal component-based
                  language {FIACRE}},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {30--53},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.03.003},
  doi          = {10.1016/J.SCICO.2015.03.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BodeveixFGSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HuguesS15,
  author       = {J{\'{e}}r{\^{o}}me Hugues and
                  Oleg Sokolsky},
  title        = {Preface to the special issue: Architecture-Driven Semantic Analysis
                  of Embedded Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.002},
  doi          = {10.1016/J.SCICO.2015.05.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuguesS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MalletS15,
  author       = {Fr{\'{e}}d{\'{e}}ric Mallet and
                  Robert de Simone},
  title        = {Correctness issues on {MARTE/CCSL} constraints},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {78--92},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.03.001},
  doi          = {10.1016/J.SCICO.2015.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MalletS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}