|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1191 occurrences of 716 keywords
|
|
|
Results
Found 995 publication records. Showing 995 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Quanqi Ye |
Analyzing Security Property of Android Application Implementation Using Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 214-217, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roopak Sinha |
Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 170-173, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Si-Mohamed Lamraoui, Shin Nakajima 0001, Hiroshi Hosobe |
Hardened Flow-Sensitive Trace Formula for Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 50-59, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang 0004 |
Formal Development of a Real-Time Operating System Memory Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 130-139, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiaying Li 0001 |
An Invariant Inference Framework by Active Learning and SVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 218-221, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin |
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 198-201, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juha Savolainen, Mike Mannion |
A Make/Buy/Reuse Feature Development Framework for Product Line Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 31-39, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mirela Botezatu, Hagen Völzer, Lothar Thiele |
The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 110-119, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Luigia Petre |
Comparing Routing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 206-209, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaoguang Geng, Xiaohong Li 0001, Zhiyong Feng 0002, Da-Zhi Sun |
Web Application Architecture Security Evaluation Method Based on AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 186-189, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yun Zhang 0011, David Lo 0001, Xin Xia 0001, Bowen Xu, Jianling Sun, Shanping Li |
Combining Software Metrics and Text Features for Vulnerable File Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 40-49, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![IEEE Computer Society, 978-1-4673-8581-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He 0001 |
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 160-169, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhimin Wu, Yang Liu 0003, Jun Sun 0001, Jianqi Shi, Shengchao Qin |
GPU Accelerated On-the-Fly Reachability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 100-109, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guangdong Bai, Jun Sun 0001, Jianliang Wu, Quanqi Ye, Li Li 0044, Jin Song Dong, Shanqing Guo |
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 60-69, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hendra Gunadi |
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 202-205, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Sanán, Yang Liu 0003, Yongwang Zhao, Zhenchang Xing, Mike Hinchey |
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 120-129, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Almorsy Abdelrazek, John Grundy 0001, Amani S. Ibrahim |
Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 70-79, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Smail Rahmoun, Etienne Borde, Laurent Pautet |
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 21-30, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Byungho Min, Vijay Varadharajan |
Design and Evaluation of Feature Distributed Malware Attacks against the Internet of Things (IoT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 80-89, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu |
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 150-159, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong |
Formal Analysis of a Single Sign-On Protocol Implementation for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 90-99, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aldeida Aleti, Irene Moser |
Fitness Landscape Characterisation for Constrained Software Architecture Optimisation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015, pp. 11-20, 2015, IEEE Computer Society, 978-1-4673-8581-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wei Ding, Peng Liang 0001, Antony Tang, Hans van Vliet, Mojtaba Shahin |
How Do Open Source Communities Document Software Architecture: An Exploratory Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 136-145, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bin Gu, Liang Zou |
A Refinement Calculus for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 176-185, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naiju Zeng, Wenhui Zhang |
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 198-201, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 116-125, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Paolo Nesi, Nadia Rauch |
Knowledge Base Construction Process for Smart-City Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 186-189, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher |
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 190-193, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Liangze Yin, Fei He 0001, Ming Gu 0001, Jia-Guang Sun 0001 |
Clause Replication and Reuse in Incremental Temporal Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 108-115, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry |
Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 77-80, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Peng 0001, Yi Xie, Yijun Yu, John Mylopoulos, Wenyun Zhao |
Evolving Commitments for Self-Adaptive Socio-technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 98-107, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu |
From TiMo to Event-B: Event-Driven Timed Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 1-10, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaolei Li, Hong Hu 0004, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena |
DroidVault: A Trusted Data Vault for Android Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 29-38, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Beilei Sun, Xi Li 0003, Zongwei Zhu, Xuehai Zhou |
Behavior Gaps and Relations between Operating System and Applications on Accessing DRAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 146-149, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Wu, Xiaohong Li 0001, Ruitao Feng, Guangquan Xu, Jing Hu 0007, Zhiyong Feng 0002 |
OOPN-SRAM: A Novel Method for Software Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 150-153, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changlong Li, Hang Zhuang, Kun Lu 0002, Mingming Sun, Jinhong Zhou, Dong Dai 0001, Xuehai Zhou |
An Adaptive Auto-configuration Tool for Hadoop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 69-72, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chenzhi Wu, Husheng Liao, Chenglong Yu, Hang Su |
A Trace-Based JIT Compilation Framework for XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 158-165, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![IEEE Computer Society, 978-1-4799-5482-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Jin Cui, Zhenhua Duan, Cong Tian |
Model Checking Rate-Monotonic Scheduler with TMSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 202-205, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang |
Understanding Complex Binary Loading Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 49-58, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé |
A Reference Framework for the Automated Exploration of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 81-90, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane |
A Behavior-Aware Systematic Approach for Merging Business Process Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 194-197, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qing-Feng Zhang, Shan-Shan Li, Jing Xu |
QScheduler: A Tool for Parallel Query Processing in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 73-76, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zongwei Zhu, Xi Li 0003, Hengchang Liu, Cheng Ji, Yuan Xu, Xuehai Zhou, Beilei Sun |
A Thread Behavior-Based Memory Management Framework on Multi-core Smartphone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 91-97, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah |
Exact and Efficient Temporal Steering of Software Behavioral Model Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 166-175, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gang Shen, Xiaohong Li 0001, Ruitao Feng, Guangquan Xu, Jing Hu 0007, Zhiyong Feng 0002 |
An Extended UML Method for the Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 19-28, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pavneet Singh Kochhar, Ferdian Thung, David Lo 0001 |
Automatic Fine-Grained Issue Report Reclassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 126-135, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Xia 0001, David Lo 0001, Xinyu Wang 0001, Bo Zhou 0010 |
Automatic Defect Categorization Based on Fault Triggering Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 39-48, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Byungho Min, Vijay Varadharajan |
Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 59-68, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0044, Jun Pang 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Symbolic Analysis of an Electric Vehicle Charging Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 11-18, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 206-209, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sai Sathyanarayan, Dawei Qi, Zhenkai Liang, Abhik Roychoudary |
SQLR: Grammar-Guided Validation of SQL Injection Sanitizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 154-157, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asankhaya Sharma |
A Refinement Calculus for Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 75-84, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tegawendé F. Bissyandé, Ferdian Thung, David Lo 0001, Lingxiao Jiang, Laurent Réveillère |
Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 242-245, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
CosyVerif: An Open Source Extensible Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 33-36, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhucheng Shao, Jing Liu 0012, Zuohua Ding, Mingsong Chen, Ningkang Jiang |
Spatio-temporal Properties Analysis for Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 101-110, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mussa, Ferhat Khendek |
Merging Test Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 167-170, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Graeme Smith 0001 |
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 111-120, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai, Gregory M. Kapfhammer |
History-Based Test Case Prioritization with Software Version Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 171-172, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005 |
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 260-263, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
Hybrid Relation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 2, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu |
Formal Modelling and Analysis of AODV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 93-100, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Honiden |
Goal Model Elaboration for Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 3, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sven Walther, Heike Wehrheim |
Knowledge-Based Verification of Service Compositions - An SMT Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 24-32, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marc Aiguier, Boris Golden, Daniel Krob |
An Adequate Logic for Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 65-74, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaokai Xia, Ji Wu 0003, Chao Liu 0002, Luo Xu |
A Model-Driven Approach for Evaluating System of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 56-64, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André |
Observer Patterns for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 125-134, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Joseph Kiniry, Marieke Huisman |
How Do Developers Use APIs? A Case Study in Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 212-221, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chen Su, Min Zhou 0001, Liangze Yin, Hai Wan, Ming Gu 0001 |
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 4-13, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ridha Benosman, Kamel Barkaoui, Yves Albrieux |
Exploiting Concurrency for the ESB Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 173-176, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray |
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 246-251, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Atef Shalan, Mohammad Zulkernine |
Runtime Prediction of Failure Modes from System Error Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 232-241, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Barua, Mohammad Zulkernine, Komminist Weldemariam |
Protecting Web Browser Extensions from JavaScript Injection Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 188-197, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah |
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 252-255, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xinshu Dong, Kailas Patil, Jian Mao, Zhenkai Liang |
A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 177-187, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin 0001 |
A Software Environment for Confining Malicious Android Applications via Resource Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 208-211, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Young Kang 0001, Gilles Perrouin, Pierre-Yves Schobbens |
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 135-144, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![IEEE Computer Society, 978-0-7695-5007-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Xin Xia 0001, David Lo 0001, Feng Zhu, Xinyu Wang 0001, Bo Zhou 0010 |
Software Internationalization and Localization: An Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 222-231, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet |
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 145-154, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fenglin Han, Peter Herrmann, Hien Le |
Modeling and Verifying Real-Time Properties of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 14-23, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Liangze Yin, Fei He 0001, Min Zhou 0001, Ming Gu 0001 |
Reusing Search Tree for Incremental SAT Solving of Temporal Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 85-92, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wenpin Jiao |
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 37-45, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Expressiveness of Notations for Reasoning about Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 1, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Manchun Zheng |
Automatic Analysis of TiMo Systems in PAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 121-124, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |
Automated Analysis of Reliability Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 198-207, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | M. Shaban Jokhio, Gillian Dobbie, Jing Sun 0002, Tianming Hu |
Web Services Testing via Goal and Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 159-162, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Satoh |
Resilient Architecture for Complex Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 256-259, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 155-158, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung |
Game-Based Monitors for Scenario-Based Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 264-267, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Nakajima, Takeshi Masuda, Ikuya Takahashi |
GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 163-166, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Manderscheid, Christian Prehofer |
Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 46-55, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fahad Javed, Malik Tahir Hassan, Khurum Nazir Junejo, Naveed Arshad, Asim Karim |
Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model Fidelity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 308-317, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe |
Bridging the Gap between User Requirements and Configuration Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 13-22, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Takoua Ben Rhouma, Patrick Tessier, François Terrier |
Merging UML2 Composite Structures of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 77-85, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Youngdo Cho, Hwangwook Kim, Dae-Kyoo Kim, Sooyong Park |
An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 109-118, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
Performance Analysis of Data Gathering Protocol Using PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 96-105, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 328-337, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Zuohua Ding |
Spatio-temporal UML Statechart for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 137-146, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 995 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|