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    = {Tue, 07 May 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}
}
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.