default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 113
Volumes 113, Part 1, December 2015
- Slimane Hammoudi:
Preface for special issue on Model Driven Development: Extended versions of selected papers from MODELSWARD 2014. 1-2 - Amanuel Alemayehu Koshima
, Vincent Englebert:
Collaborative editing of EMF/Ecore meta-models and models: Conflict detection, reconciliation, and merging in DiCoMEF. 3-28 - Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma:
Signature required: Making Simulink data flow and interfaces explicit. 29-50 - Felix Schwägerl, Sabrina Uhrig, Bernhard Westfechtel:
A graph-based algorithm for three-way merging of ordered collections in EMF models. 51-81
Volumes 113, Part 2, December 2015
- Cyrille Artho, Peter Csaba Ölveczky:
Preface. 83-84 - Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani:
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. 85-118 - Colin Pilbrow, Robi Malik:
An algorithm for compositional nonblocking verification using special events. 119-148 - Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formal verification of function blocks applied to IEC 61131-3. 149-190 - David J. Pearce, Lindsay Groves:
Designing a verifying compiler: Lessons learned from developing Whiley. 191-220
Volumes 113, Part 3, December 2015
- José Luiz Fiadeiro, Zhiming Liu:
Formal Aspects of Component Software (FACS 2013). 221-222 - Gregor Gößler, Daniel Le Métayer:
A general framework for blaming in component-based systems. 223-235 - Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. 236-260 - Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic deployment of component-based applications. 261-284 - Yi Li, Meng Sun:
Modeling and verification of component connectors in Coq. 285-301
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.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
