default search action

combined dblp search
author search
venue search
publication search

ask others

18th ICECCS 2013: Singapore

> Home > Conferences and Workshops > ICECCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/iceccs/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/2013
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

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Jones13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Jones13
Cliff B. Jones:
Expressiveness of Notations for Reasoning about Concurrency. 1
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/He13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/He13
Jifeng He:
Hybrid Relation Calculus. 2
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Honiden13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Honiden13
Shinichi Honiden:
Goal Model Elaboration for Software Evolution. 3

System Modeling and Verification 1

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SuZYWG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SuZYWG13
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu:
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. 4-13
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/HanHL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HanHL13
Fenglin Han, Peter Herrmann, Hien Le:
Modeling and Verifying Real-Time Properties of Reactive Systems. 14-23
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WaltherW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WaltherW13
Sven Walther, Heike Wehrheim:
Knowledge-Based Verification of Service Compositions - An SMT Approach. 24-32
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AndreLPHLHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AndreLPHLHK13
É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

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Jiao13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Jiao13
Wenpin Jiao:
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. 37-45
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ManderscheidP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ManderscheidP13
Martin Manderscheid, Christian Prehofer:
Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. 46-55
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/XiaWLX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/XiaWLX13
Xiaokai Xia, Ji Wu, Chao Liu, Luo Xu:
A Model-Driven Approach for Evaluating System of Systems. 56-64

Logic and Algorithm

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AiguierGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AiguierGK13
Marc Aiguier, Boris Golden, Daniel Krob:
An Adequate Logic for Heterogeneous Systems. 65-74
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Sharma13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Sharma13
Asankhaya Sharma:
A Refinement Calculus for Promela. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/YinHZG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YinHZG13
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

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WuSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WuSZ13
Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu:
Formal Modelling and Analysis of AODV. 93-100
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ShaoLDCJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ShaoLDCJ13
Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang:
Spatio-temporal Properties Analysis for Cyber-physical Systems. 101-110
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiS13
Qin Li, Graeme Smith:
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. 111-120
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/CiobanuZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/CiobanuZ13
Gabriel Ciobanu, Manchun Zheng:
Automatic Analysis of TiMo Systems in PAT. 121-124

Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Andre13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Andre13
Étienne André:
Observer Patterns for Real-Time Systems. 125-134
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/KangPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/KangPS13
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. 135-144
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GoknilDPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GoknilDPM13
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
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FalknerCFSHPFJRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FalknerCFSHPFJRW13
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

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JokhioD0H13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JokhioD0H13
M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu:
Web Services Testing via Goal and Mutation. 159-162
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/NakajimaMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/NakajimaMT13
Hajime Nakajima, Takeshi Masuda, Ikuya Takahashi:
GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications. 163-166
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MussaK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MussaK13
Mohamed Mussa, Ferhat Khendek:
Merging Test Models. 167-170
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LinCTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LinCTK13
Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai, Gregory M. Kapfhammer:
History-Based Test Case Prioritization with Software Version Awareness. 171-172
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BenosmanBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BenosmanBA13
Ridha Benosman, Kamel Barkaoui, Yves Albrieux:
Exploiting Concurrency for the ESB Architecture. 173-176

Non-functional Property Analysis: Security and Reliability

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/DongPML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/DongPML13
Xinshu Dong, Kailas Patil, Jian Mao, Zhenkai Liang:
A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications. 177-187
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BaruaZW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BaruaZW13
Anton Barua, Mohammad Zulkernine, Komminist Weldemariam:
Protecting Web Browser Extensions from JavaScript Injection Attacks. 188-197
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BozzanoCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BozzanoCM13
Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Automated Analysis of Reliability Architectures. 198-207
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiBLY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiBLY13
Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin:
A Software Environment for Confining Malicious Android Applications via Resource Virtualization. 208-211

Software Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BlomKH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BlomKH13
Stefan Blom, Joseph Kiniry, Marieke Huisman:
How Do Developers Use APIs? A Case Study in Concurrency. 212-221
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/XiaLZWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/XiaLZWZ13
Xin Xia, David Lo, Feng Zhu, Xinyu Wang, Bo Zhou:
Software Internationalization and Localization: An Industrial Experience. 222-231
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ShalanZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ShalanZ13
Atef Shalan, Mohammad Zulkernine:
Runtime Prediction of Failure Modes from System Error Logs. 232-241
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BissyandeTLJR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BissyandeTLJR13
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

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Al-LailAFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Al-LailAFR13
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. 246-251
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LamprierBZH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LamprierBZH13
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah:
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. 252-255
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Satoh13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Satoh13
Ichiro Satoh:
Resilient Architecture for Complex Computing Systems. 256-259
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiuZQBW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiuZQBW13
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu:
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. 260-263
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZhangYLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZhangYLL13
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.