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