Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/ArthoO15a,
  author       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {83--84},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.001},
  doi          = {10.1016/J.SCICO.2015.10.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ArthoO15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BenderLLPKOMBP15,
  author       = {Marc Bender and
                  Karen Laurin and
                  Mark Lawford and
                  Vera Pantelic and
                  Alexandre Korobkine and
                  Jeff Ong and
                  Bennett Mackenzie and
                  Monika Bialy and
                  Steven M. Postma},
  title        = {Signature required: Making Simulink data flow and interfaces explicit},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {29--50},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.005},
  doi          = {10.1016/J.SCICO.2015.07.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BenderLLPKOMBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BoudjadarDKLMNS15,
  author       = {Abdeldjalil Boudjadar and
                  Alexandre David and
                  Jin Hyun Kim and
                  Kim G. Larsen and
                  Marius Mikucionis and
                  Ulrik Nyman and
                  Arne Skou},
  title        = {A reconfigurable framework for compositional schedulability and power
                  analysis of hierarchical scheduling systems with frequency scaling},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {236--260},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.003},
  doi          = {10.1016/J.SCICO.2015.10.003},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Fiadeiro015,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Zhiming Liu},
  title        = {Formal Aspects of Component Software {(FACS} 2013)},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {221--222},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.11.001},
  doi          = {10.1016/J.SCICO.2015.11.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Fiadeiro015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GosslerM15,
  author       = {Gregor G{\"{o}}{\ss}ler and
                  Daniel Le M{\'{e}}tayer},
  title        = {A general framework for blaming in component-based systems},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {223--235},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.06.010},
  doi          = {10.1016/J.SCICO.2015.06.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GosslerM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Hammoudi15,
  author       = {Slimane Hammoudi},
  title        = {Preface for special issue on Model Driven Development: Extended versions
                  of selected papers from {MODELSWARD} 2014},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.007},
  doi          = {10.1016/J.SCICO.2015.10.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hammoudi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KoshimaE15,
  author       = {Amanuel Alemayehu Koshima and
                  Vincent Englebert},
  title        = {Collaborative editing of EMF/Ecore meta-models and models: Conflict
                  detection, reconciliation, and merging in DiCoMEF},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {3--28},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.004},
  doi          = {10.1016/J.SCICO.2015.07.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KoshimaE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LascuMZ15,
  author       = {Tudor A. Lascu and
                  Jacopo Mauro and
                  Gianluigi Zavattaro},
  title        = {Automatic deployment of component-based applications},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {261--284},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.006},
  doi          = {10.1016/J.SCICO.2015.07.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LascuMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LiS15,
  author       = {Yi Li and
                  Meng Sun},
  title        = {Modeling and verification of component connectors in Coq},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {285--301},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.016},
  doi          = {10.1016/J.SCICO.2015.10.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LiS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PangWLW15,
  author       = {Linna Pang and
                  Chen{-}Wei Wang and
                  Mark Lawford and
                  Alan Wassyng},
  title        = {Formal verification of function blocks applied to {IEC} 61131-3},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {149--190},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.005},
  doi          = {10.1016/J.SCICO.2015.10.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PangWLW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PearceG15,
  author       = {David J. Pearce and
                  Lindsay Groves},
  title        = {Designing a verifying compiler: Lessons learned from developing Whiley},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {191--220},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.09.006},
  doi          = {10.1016/J.SCICO.2015.09.006},
  timestamp    = {Wed, 26 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PearceG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PilbrowM15,
  author       = {Colin Pilbrow and
                  Robi Malik},
  title        = {An algorithm for compositional nonblocking verification using special
                  events},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {119--148},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.010},
  doi          = {10.1016/J.SCICO.2015.05.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PilbrowM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Sabahi-KavianiK15,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Ramtin Khosravi and
                  Peter Csaba {\"{O}}lveczky and
                  Ehsan Khamespanah and
                  Marjan Sirjani},
  title        = {Formal semantics and efficient analysis of Timed Rebeca in Real-Time
                  Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {85--118},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.003},
  doi          = {10.1016/J.SCICO.2015.07.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Sabahi-KavianiK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SchwagerlUW15,
  author       = {Felix Schw{\"{a}}gerl and
                  Sabrina Uhrig and
                  Bernhard Westfechtel},
  title        = {A graph-based algorithm for three-way merging of ordered collections
                  in {EMF} models},
  journal      = {Sci. Comput. Program.},
  volume       = {113},
  pages        = {51--81},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.02.008},
  doi          = {10.1016/J.SCICO.2015.02.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SchwagerlUW15.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.