default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ICECCS 2013: Singapore
- 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5007-7
Keynotes
- Cliff B. Jones
:
Expressiveness of Notations for Reasoning about Concurrency. 1 - Jifeng He:
Hybrid Relation Calculus. 2 - Shinichi Honiden:
Goal Model Elaboration for Software Evolution. 3
System Modeling and Verification 1
- Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu:
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. 4-13 - Fenglin Han, Peter Herrmann, Hien Le:
Modeling and Verifying Real-Time Properties of Reactive Systems. 14-23 - Sven Walther, Heike Wehrheim:
Knowledge-Based Verification of Service Compositions - An SMT Approach. 24-32 - Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon:
CosyVerif: An Open Source Extensible Verification Environment. 33-36
System Evaluation
- Wenpin Jiao:
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. 37-45 - Martin Manderscheid, Christian Prehofer:
Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. 46-55 - Xiaokai Xia, Ji Wu, Chao Liu, Luo Xu:
A Model-Driven Approach for Evaluating System of Systems. 56-64
Logic and Algorithm
- Marc Aiguier, Boris Golden, Daniel Krob:
An Adequate Logic for Heterogeneous Systems. 65-74 - Asankhaya Sharma:
A Refinement Calculus for Promela. 75-84 - Liangze Yin, Fei He, Min Zhou, Ming Gu:
Reusing Search Tree for Incremental SAT Solving of Temporal Induction. 85-92
System Modeling and Verification 2
- Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu:
Formal Modelling and Analysis of AODV. 93-100 - Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang:
Spatio-temporal Properties Analysis for Cyber-physical Systems. 101-110 - Qin Li, Graeme Smith:
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. 111-120 - Gabriel Ciobanu, Manchun Zheng:
Automatic Analysis of TiMo Systems in PAT. 121-124
Real-Time Systems
- Étienne André:
Observer Patterns for Real-Time Systems. 125-134 - Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. 135-144 - Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet:
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. 145-154 - Katrina Falkner, Vanea Chiprianov, Nickolas J. G. Falkner, Claudia Szabo, James Hill, Gavin Puddy, Daniel Fraser, Adrian Johnston, Marianne Rieckmann, Andrew Wallis:
Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems. 155-158
Short Papers Session 1
- M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu:
Web Services Testing via Goal and Mutation. 159-162 - Hajime Nakajima, Takeshi Masuda, Ikuya Takahashi:
GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications. 163-166 - Mohamed Mussa, Ferhat Khendek:
Merging Test Models. 167-170 - Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai, Gregory M. Kapfhammer:
History-Based Test Case Prioritization with Software Version Awareness. 171-172 - Ridha Benosman, Kamel Barkaoui, Yves Albrieux:
Exploiting Concurrency for the ESB Architecture. 173-176
Non-functional Property Analysis: Security and Reliability
- Xinshu Dong, Kailas Patil, Jian Mao, Zhenkai Liang:
A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications. 177-187 - Anton Barua, Mohammad Zulkernine, Komminist Weldemariam:
Protecting Web Browser Extensions from JavaScript Injection Attacks. 188-197 - Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Automated Analysis of Reliability Architectures. 198-207 - Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin:
A Software Environment for Confining Malicious Android Applications via Resource Virtualization. 208-211
Software Engineering
- Stefan Blom, Joseph Kiniry, Marieke Huisman:
How Do Developers Use APIs? A Case Study in Concurrency. 212-221 - Xin Xia, David Lo, Feng Zhu, Xinyu Wang, Bo Zhou:
Software Internationalization and Localization: An Industrial Experience. 222-231 - Atef Shalan, Mohammad Zulkernine:
Runtime Prediction of Failure Modes from System Error Logs. 232-241 - Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang, Laurent Réveillère:
Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts. 242-245
Short Papers Session 2
- Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. 246-251 - Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah:
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. 252-255 - Ichiro Satoh:
Resilient Architecture for Complex Computing Systems. 256-259 - Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu:
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. 260-263 - Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung:
Game-Based Monitors for Scenario-Based Specification. 264-267
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 2026-05-18 00:07 CEST 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:
