|
|
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roopak Sinha |
Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Si-Mohamed Lamraoui, Shin Nakajima 0001, Hiroshi Hosobe |
Hardened Flow-Sensitive Trace Formula for Fault Localization. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiaying Li 0001 |
An Invariant Inference Framework by Active Learning and SVMs. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juha Savolainen, Mike Mannion |
A Make/Buy/Reuse Feature Development Framework for Product Line Evolution. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mojgan Kamali, Luigia Petre |
Comparing Routing Protocols. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 |
ICECCS |
2015 |
DBLP BibTeX RDF |
|
1 | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He 0001 |
Probabilistic Denotational Semantics for an Interrupt Modelling Language. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hendra Gunadi |
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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). |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Byungho Min, Vijay Varadharajan |
Design and Evaluation of Feature Distributed Malware Attacks against the Internet of Things (IoT). |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aldeida Aleti, Irene Moser |
Fitness Landscape Characterisation for Constrained Software Architecture Optimisation Problems. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bin Gu, Liang Zou |
A Refinement Calculus for Hybrid Systems. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naiju Zeng, Wenhui Zhang |
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Paolo Nesi, Nadia Rauch |
Knowledge Base Construction Process for Smart-City Services. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu |
From TiMo to Event-B: Event-Driven Timed Mobility. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chenzhi Wu, Husheng Liao, Chenglong Yu, Hang Su |
A Trace-Based JIT Compilation Framework for XQuery. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014 |
ICECCS |
2014 |
DBLP BibTeX RDF |
|
1 | Jin Cui, Zhenhua Duan, Cong Tian |
Model Checking Rate-Monotonic Scheduler with TMSVL. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang |
Understanding Complex Binary Loading Behaviors. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé |
A Reference Framework for the Automated Exploration of Web Applications. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qing-Feng Zhang, Shan-Shan Li, Jing Xu |
QScheduler: A Tool for Parallel Query Processing in Database Systems. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pavneet Singh Kochhar, Ferdian Thung, David Lo 0001 |
Automatic Fine-Grained Issue Report Reclassification. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Byungho Min, Vijay Varadharajan |
Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures. |
ICECCS |
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. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sai Sathyanarayan, Dawei Qi, Zhenkai Liang, Abhik Roychoudary |
SQLR: Grammar-Guided Validation of SQL Injection Sanitizers. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asankhaya Sharma |
A Refinement Calculus for Promela. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mussa, Ferhat Khendek |
Merging Test Models. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Graeme Smith 0001 |
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
Hybrid Relation Calculus. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu |
Formal Modelling and Analysis of AODV. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Honiden |
Goal Model Elaboration for Software Evolution. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sven Walther, Heike Wehrheim |
Knowledge-Based Verification of Service Compositions - An SMT Approach. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marc Aiguier, Boris Golden, Daniel Krob |
An Adequate Logic for Heterogeneous Systems. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André |
Observer Patterns for Real-Time Systems. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Joseph Kiniry, Marieke Huisman |
How Do Developers Use APIs? A Case Study in Concurrency. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ridha Benosman, Kamel Barkaoui, Yves Albrieux |
Exploiting Concurrency for the ESB Architecture. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Atef Shalan, Mohammad Zulkernine |
Runtime Prediction of Failure Modes from System Error Logs. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Barua, Mohammad Zulkernine, Komminist Weldemariam |
Protecting Web Browser Extensions from JavaScript Injection Attacks. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 |
ICECCS |
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. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fenglin Han, Peter Herrmann, Hien Le |
Modeling and Verifying Real-Time Properties of Reactive Systems. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wenpin Jiao |
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Expressiveness of Notations for Reasoning about Concurrency. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Manchun Zheng |
Automatic Analysis of TiMo Systems in PAT. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |
Automated Analysis of Reliability Architectures. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | M. Shaban Jokhio, Gillian Dobbie, Jing Sun 0002, Tianming Hu |
Web Services Testing via Goal and Mutation. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Satoh |
Resilient Architecture for Complex Computing Systems. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung |
Game-Based Monitors for Scenario-Based Specification. |
ICECCS |
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. |
ICECCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Manderscheid, Christian Prehofer |
Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. |
ICECCS |
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. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe |
Bridging the Gap between User Requirements and Configuration Requirements. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Takoua Ben Rhouma, Patrick Tessier, François Terrier |
Merging UML2 Composite Structures of Software Product Lines. |
ICECCS |
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. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
Performance Analysis of Data Gathering Protocol Using PRISM. |
ICECCS |
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. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Zuohua Ding |
Spatio-temporal UML Statechart for Cyber-Physical Systems. |
ICECCS |
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][ >>] |
|