default search action
17th ICECCS 2012: Paris, France
- Isabelle Perseil, Karin K. Breitman, Marc Pouzet:
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2156-3 - Isabelle Perseil, Marc Pouzet, Karin K. Breitman
:
Message from Program Co-chairs.
Software Requirements
- David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Reactive Programs. 3-12 - Pietro Colombo
Bridging the Gap between User Requirements and Configuration Requirements. 13-22 - Fabio Roda:
An Experimental Study on Collaborative Filtering for Requirements Engineering. 23-28 - Saurabh Tiwari
Analysis of Use Case Requirements Using SFTA and SFMEA Techniques. 29-38 - Sanaz Yeganefard, Michael J. Butler
Control Systems: Phenomena and Structuring Functional Requirement Documents. 39-48 - Miguel Angel Sánchez, Marisa López-Vallejo
Improving Hardware Reuse through XML-based Interface Encapsulation. 49-56 - Ulrich Winkler, Wasif Gilani, Alex Guitman, Alan Marshall:
Models and Methodology for Automated Business Continuity Analysis. 57-64
Software Modeling
- Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet:
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. 67-76 - Takoua Ben Rhouma, Patrick Tessier, François Terrier:
Merging UML2 Composite Structures of Software Product Lines. 77-85 - Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun:
Systematic Scenario-Based Analysis of UML Design Class Models. 86-95 - Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu:
Performance Analysis of Data Gathering Protocol Using PRISM. 96-105
Hardware
- Youngdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park:
An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems. 109-118 - Ali Naderi, Sayyed Majid Mazinani, Amin Zadeh Shirazi, Masood Setoodefar
Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor Networks. 119-124
Software Design
- Dharanipragada Janakiram, Hemang Mehta, S. J. Balaji:
Dhara: A Service Abstraction-Based OS Kernel Design Model. 127-136 - Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding:
Spatio-temporal UML Statechart for Cyber-Physical Systems. 137-146 - Raffaela Mirandola, Catia Trubiani
A Deep Investigation for QoS-based Feedback at Design Time and Runtime. 147-156 - Nelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle:
Self-Explanation in Adaptive Systems. 157-166
Formal Methods
- Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu
Formal Analysis of Pervasive Computing Systems. 169-178 - Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem:
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. 179-188 - Iulia Dragomir
A Case Study in Formal System Engineering with SysML. 189-198 - Ewen Denney, Ganesh Pai, Josef Pohl:
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. 199-208
Programming Languages and Algorithms
- Jianqi Shi, Longfei Zhu, Huixing Fang
xBIL - A Hardware Resource Oriented Binary Intermediate Language. 211-219 - Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence:
Efficient Algorithms for T-way Test Sequence Generation. 220-229 - Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. 230-239 - Yi Li
Translating PDDL into CSP# - The PAT Approach. 240-249
Concurrency and Control
- Étienne André
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. 253-262 - Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier:
A Design by Contract Approach to Verify Access Control Policies. 263-272 - Gulnara Abitova
Control System with High Robust Stability Characteristics Based on Catastrophe Function. 273-279 - Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak
A Control Theoretic Approach for Workflow Management. 280-289
Software Monitoring and Verification
- Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. 293-301 - Sayyed Majid Mazinani, Ali Naderi, Masood Setoodefar
An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor Networks. 302-307 - Fahad Javed, Malik Tahir Hassan
Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model Fidelity. 308-317 - Istvan Nagy, Loek G. Cleophas
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. 318-327 - Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. 328-337
Agents and Aspects
- Graeme Smith
Reasoning About Adaptivity of Agents and Multi-agent Systems. 341-350 - Natalia Ponomareva, Anisoara Calinescu:
Extending and Evaluating Agent-Based Models of Algorithmic Trading Strategies. 351-360 - Mohamed Almorsy, John C. Grundy
SMURF: Supporting Multi-tenancy Using Re-aspects Framework. 361-370
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 2024-12-16 22:15 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: