1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2012
Default Cover Image

Engineering of Complex Computer Systems, IEEE International Conference on

July 18 2012 to July 20 2012

Paris, France France

ISBN: 978-1-4673-2156-3

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-viii
Message from General ChairFreely available from IEEE.pp. ix-ix
Message from Program Co-chairsFreely available from IEEE.pp. x-x
Organizing CommitteeFreely available from IEEE.pp. xi-xi
Program CommitteeFreely available from IEEE.pp. xii-xiv
ReviewersFreely available from IEEE.pp. xv-xvii
Non-intrusive Repair of Reactive ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by David Harel, Guy Katz, Assaf Marron, Gera Weiss
Bridging the Gap between User Requirements and Configuration RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe
An Experimental Study on Collaborative Filtering for Requirements EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 23-28
by Fabio Roda
Analysis of Use Case Requirements Using SFTA and SFMEA TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 29-38
by Saurabh Tiwari, Santosh Singh Rathore, Sudhanshu Gupta, Vaibhav Gogate, Atul Gupta
Control Systems: Phenomena and Structuring Functional Requirement DocumentsFull-text access may be available. Sign in or learn about subscription options.pp. 39-48
by Sanaz Yeganefard, Michael Butler
Improving Hardware Reuse through XML-based Interface EncapsulationFull-text access may be available. Sign in or learn about subscription options.pp. 49-56
by Miguel A. S'nchez, Marisa Lopez-Vallejo, Carlos A. Iglesias, Carlos A. Lopez-Barrio
Models and Methodology for Automated Business Continuity AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 57-64
by Ulrich Winkler, Wasif Gilani, Alex Guitman, Alan Marshall
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 67-76
by Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet
Merging UML2 Composite Structures of Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 77-85
by Takoua Ben Rhouma, Patrick Tessier, Francois Terrier
Systematic Scenario-Based Analysis of UML Design Class ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 86-95
by Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun
Performance Analysis of Data Gathering Protocol Using PRISMFull-text access may be available. Sign in or learn about subscription options.pp. 96-105
by Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu
An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 109-118
by Youngdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park
Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 119-124
by Ali Naderi, Sayyed Majid Mazinani, Amin Zadeh Shirazi, Masood Setoodefar, Mahya Faghihnia
Dhara: A Service Abstraction-Based OS Kernel Design ModelFull-text access may be available. Sign in or learn about subscription options.pp. 127-136
by Dharanipragada Janakiram, Hemang Mehta, S.J. Balaji
Spatio-temporal UML Statechart for Cyber-Physical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 137-146
by Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
A Deep Investigation for QoS-based Feedback at Design Time and RuntimeFull-text access may be available. Sign in or learn about subscription options.pp. 147-156
by Raffaela Mirandola, Catia Trubiani
Self-Explanation in Adaptive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Nelly Bencomo, Kris Welsh, Pete Sawyer, Jon Whittle
Formal Analysis of Pervasive Computing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 169-178
by Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural StylesFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem
A Case Study in Formal System Engineering with SysMLFull-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Iulia Dragomir, Iulian Ober, David Lesens
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formalFull-text access may be available. Sign in or learn about subscription options.pp. 199-208
by Ewen Denney, Ganesh Pai, Josef Pohl
xBIL -- A Hardware Resource Oriented Binary Intermediate LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 211-219
by Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
Efficient Algorithms for T-way Test Sequence GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 220-229
by Linbin Yu, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, James Lawrence
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2Full-text access may be available. Sign in or learn about subscription options.pp. 230-239
by Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander
Translating PDDL into CSP# - The PAT ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 240-249
by Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
Parameter Synthesis for Hierarchical Concurrent Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 253-262
by Étienne André, Yang Liu, Jun Sun, Jin-Song Dong
A Design by Contract Approach to Verify Access Control PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 263-272
by Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
Control System with High Robust Stability Characteristics Based on Catastrophe FunctionFull-text access may be available. Sign in or learn about subscription options.pp. 273-279
by Gulnara Abitova, Vladimir Nikulin, Victor Skormin, Mamirbek Beisenbi, Aliya Ainagulova
A Control Theoretic Approach for Workflow ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 280-289
by Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating SystemFull-text access may be available. Sign in or learn about subscription options.pp. 293-301
by Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 302-307
by Sayyed Majid Mazinani, Ali Naderi, Masood Setoodefar, Amin Zadeh Shirazi
Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model FidelityFull-text access may be available. Sign in or learn about subscription options.pp. 308-317
by Fahad Javed, Malik Tahir Hassan, Khurum Nazir Junejo, Naveed Arshad, Asim Karim
VPDSL: A DSL for Software in the Loop Simulations Covering Material FlowFull-text access may be available. Sign in or learn about subscription options.pp. 318-327
by Istvan Nagy, Loek Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORTFull-text access may be available. Sign in or learn about subscription options.pp. 328-337
by Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Reasoning About Adaptivity of Agents and Multi-agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 341-350
by Graeme Smith, J.W. Sanders, Kirsten Winter
Extending and Evaluating Agent-Based Models of Algorithmic Trading StrategiesFull-text access may be available. Sign in or learn about subscription options.pp. 351-360
by Natalia Ponomareva, Anisoara Calinescu
SMURF: Supporting Multi-tenancy Using Re-aspects FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 361-370
by Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Author indexFreely available from IEEE.pp. 371-372
[Publisher's information]Freely available from IEEE.pp. 374-374
Showing 49 out of 49