The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICECCS"( http://dblp.L3S.de/Venues/ICECCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iceccs

Publication years (Num. hits)
1995 (78) 1996 (82) 1997 (26) 1998-1999 (36) 2000 (28) 2001 (30) 2002 (27) 2004 (28) 2005 (78) 2006 (30) 2007 (41) 2008 (36) 2009 (50) 2010 (53) 2011 (40) 2012 (39) 2013 (40) 2014 (30) 2015 (31) 2016 (33) 2017 (24) 2018 (30)
Publication types (Num. hits)
inproceedings(867) proceedings(23)
Venues (Conferences, Journals, ...)
ICECCS(890)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1191 occurrences of 716 keywords

Results
Found 890 publication records. Showing 890 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri Semi-Supervised Approach for Recovering Traceability Links in Complex Systems. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar Extended Algebraic State-Transition Diagrams. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hui Zhao, Jianrong Hou Design Concerns for Industrial Big Data System in the Smart Factory Domain: From Product Lifecycle View. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Ichiro Hasuo, Masaki Waga Offline Timed Pattern Matching under Uncertainty. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Camille Coti, Sami Evangelista, Laure Petrucci State Compression Based on One-Sided Communications for Distributed Model Checking. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tianxin Liang, Xiaoping Yang, Liang Wang, Zhenyuan Han Kinship Determination in Mobile Social Networks. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang Facilitating the Adoption of Standards through Model-Based Representation. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chenghao Cai, Jing Sun 0002, Gillian Dobbie B-Repair: Repairing B-Models Using Machine Learning. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yibin Xu Section-Blockchain: A Storage Reduced Blockchain Protocol, the Foundation of an Autotrophic Decentralized Storage Architecture. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann Modelling and Verification of Large-Scale Sensor Network Infrastructures. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018 Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar Back Propagating B System Updates on SysML/KAOS Domain Models. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tawfeeq Alsanoosy, Maria Spichkova, James Harland Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Xi Wu 0005, Jing Liu, Yilong Yang 0001 Formal Modeling and Security Analysis for OpenFlow-Based Networks. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang SMI: Stack Management Interface. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarah Benyagoub Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mahin Abbasipour, Ferhat Khendek, Maria Toeroe A Model-Based Approach for Design Time Elasticity Rules Generation. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang 0001 Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuhang Li, Shi Ying, Xiangyang Jia, Yisen Xu, Lily Zhao, Guoli Cheng, Bingming Wang, Jifeng Xuan EH-Recommender: Recommending Exception Handling Strategies Based on Program Context. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raghda Alqurashi, Tom Altman Multi-Level Multi-Stage Agent-Based Decision Support System for Simulation of Crowd Dynamics. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry Formal Ontology Driven Model Refactoring. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler Reusing Formal Models via Lifting. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tien-Duy B. Le, Lingfeng Bao, David Lo 0001, Debin Gao, Li Li Towards Mining Comprehensive Android Sandboxes. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong Formal Analysis of a Proof-of-Stake Blockchain. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florin Craciun, Wei-Ngan Chin, Shengchao Qin Variant Region Types. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tewfik Ziadi, Lom-Messan Hillah Software Product Line Extraction from Bytecode Based Applications. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohan Baruwal Chhetri, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Michael Docking, Hien P. Luong, Isuru Rajapakse, Surya Nepal AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Qiwen Xu BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang Decomposition and Collaboration of Industrial Control System with Resource Constraints. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu Evaluating Suitability of Applying Blockchain. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xue-Yang Zhu A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong Towards Solving Decision Making Problems Using Probabilistic Model Checking. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Long H. Pham, Jun Sun 0001, Lyly Tran Thi, Jingyi Wang, Xin Peng 0001 Learning Likely Invariants to Explain Why a Program Fails. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xinxin Li, Rui Wang 0024, Yu Jiang 0001, Yong Guan, Xiaojuan Li, Xiaoyu Song Formal Modeling and Automatic Code Synthesis for Robot System. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Hoang Gia Nguyen, Laure Petrucci Efficient Parameter Synthesis Using Optimized State Exploration Strategies. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tayssir Touili, Xin Ye Reachability Analysis of Self Modifying Code. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler A Composition Mechanism for Refinement-Based Methods. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park Class Modularization Using Indirect Relationships. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yan Li, Man Zhang, Tao Yue 0002, Shaukat Ali 0001, Li Zhang 0029 Search-Based Uncertainty-Wise Requirements Prioritization. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Rosà, Walter Binder Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi Extending ERS for Modelling Dynamic Workflows in Event-B. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Ali Babar, Philippe Aniorté A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang 0001, Lui Sha Study of Software-Related Causes in the FDA Medical Device Recalls. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kei Okumura, Hiroyuki Okamura, Tadashi Dohi Software Reliability Modeling and Analysis via Kernel-Based Approach. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017 Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster Functional Requirements-Based Automated Testing for Avionics. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Martin Kodys Experimental Frailty Model towards an Adaptable Service Delivery for Aging People. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu Universal Analysis and Detection Framework for Location Aided Routing. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mojgan Kamali, Luigia Petre Modelling Link State Routing in Event-B. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha Fostering Software Architect and Programmer Collaboration. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sara J. Casare, Tewfik Ziadi, Anarosa Alves Franco Brandão, Zahia Guessoum Meduse: An Approach for Tailoring Software Development Process. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tao-Hung Chang, Davor Svetinovic Data Analysis of Digital Currency Networks: Namecoin Case Study. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche CostDL: A Cost Models Description Language for Performance Metrics in Database. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shuang Liu, Guangdong Bai, Jun Sun 0001, Jin Song Dong Towards Using Concurrent Java API Correctly. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shuang Liu, Jun Sun 0001, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang 0001 Improving Quality of Use Case Documents through Learning and User Interaction. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sidou Dong, Aihua Ren, Xin Wang Application of Organizational Process Asset Library in High Maturity Process Improvement. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong Verification of Nash-Equilibrium for Probabilistic BAR Systems. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matt Stevens, Bryan Ng, David Streader, Ian Welch Towards SDN Network Proofs - Taming a Complex System. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Flávio Oquendo Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel Guiding the Selection of Security Patterns for Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bingqing Xu, Qin Li A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akshay Kalyan, Matthew Chiam, Jing Sun 0002, Sathiamoorthy Manoharan A Collaborative Code Review Platform for GitHub. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Muhammad Ashad Kabir, Jun Han 0004, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin Engineering Socially-Aware Systems and Applications. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais Towards a User-Guided Difference-Based Detection of Atomic Changes. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hai Wang, Mounir Mokhtari (eds.) 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016 Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jüri Vain, Leonidas Tsiopoulos, Jishu Guin Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fano Ramparany, Ravi Mondi, Yves Demazeau A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wei Ji, Farn Wang, Peng Wu 0002, Yi Lv An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sreesha Damodaran, Talal Shaikh, Nicholas K. Taylor Using Mobile Phone Based Camera to Read Information from a Li-Fi Source. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elliot Varoy, John Burrows, Jing Sun 0002, Sathiamoorthy Manoharan From Code to Design: A Reverse Engineering Approach. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu 0008 Automatic Construction of Callback Model for Android Application. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Leif Keppmann, Maria Maleshkova, Andreas Harth Semantic Technologies for Realising Decentralised Applications for the Web of Things. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed Extracting Permission-Based Specifications from a Sequential Java Program. Search on Bibsonomy ICECCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mojgan Kamali, Luigia Petre Comparing Routing Protocols. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florin Craciun, Tibor Kiss, Andreea Costea Towards a Session Logic for Communication Protocols. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yun 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 ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guangdong 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 ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaoguang Geng, Xiaohong Li, Zhiyong Feng, Da-Zhi Sun Web Application Architecture Security Evaluation Method Based on AADL. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Si-Mohamed Lamraoui, Shin Nakajima 0001, Hiroshi Hosobe Hardened Flow-Sensitive Trace Formula for Fault Localization. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun 0002 Sports Strategy Analytics Using Probabilistic Reasoning. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Sanán, Liu Yang, Yongwang Zhao, Zhenchang Xing, Mike Hinchey Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhimin Wu, Yang Liu 0003, Jun Sun 0001, Jianqi Shi, Shengchao Qin GPU Accelerated On-the-Fly Reachability Checking. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mirela Botezatu, Hagen Völzer, Lothar Thiele The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kushal Ahmed, Lian Wen, Abdul Sattar 0001, Reza Farid Semantic Network Model: A Reasoning Engine for Software Requirements. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He Probabilistic Denotational Semantics for an Interrupt Modelling Language. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 890 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license