| 2011 | 24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge. Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira |
| 2011 | A Concept for Secure Production Programming of Embedded Industrial Field Devices. Jimmy Kjellsson, Martin Törngren |
| 2011 | A DSML for Coordinating User-Centric Communication Services. Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France |
| 2011 | A Formal Semantics of PLC Programs in Coq. Sidi Ould Biha |
| 2011 | A Framework for Access Control with Inference Constraints. Vasilios Katos, Dimitris Vrakas, Panagiotis Katsaros |
| 2011 | A Framework for Multi-layered Requirements Documentation and Analysis. Michel dos Santos Soares, Jos L. M. Vrancken |
| 2011 | A Hypervisor for Injecting Scenario-Based Attack Effects. Yoshihiro Oyama, Youhei Hoshi |
| 2011 | A Management Tool for the Replication of Operating Systems in Wireless Communication Networks. Luis G. Crepaldi, Adriano R. Digiere, Roberta Spolon Ulson, Marcos Antonio Cavenaghi, Renata Spolon Lobato |
| 2011 | A Norm-Based Approach towards Requirements Patterns. Shokoofeh Ketabchi, Navid Karimi Sani, Kecheng Liu |
| 2011 | A Semantic Similarity Measure between Web Services Based on Google Distance. Huirong Yang, Pengbin Fu, Baocai Yin, Mengduo Ma, Yanyan Tang |
| 2011 | A Semi-automated Decision Support Tool for Requirements Trade-Off Analysis. Golnaz Elahi, Eric S. K. Yu |
| 2011 | A Staged Model for Web Service Reliability. Chunli Xie, Bixin Li, Xifeng Wang |
| 2011 | A Statistical Approach for Estimating CPU Consumption in Shared Java Middleware Server. Wei Wang, Xiang Huang, Yunkui Song, Wenbo Zhang, Jun Wei, Hua Zhong, Tao Huang |
| 2011 | A Technique of Profiling Selective Paths. Lulu Wang, Bixin Li |
| 2011 | AGORAS: Exploring Creative Learning on Tangible User Interfaces. Alejandro Catalá, Javier Jaén Martínez, Adria A. Martinez-Villaronga, José A. Mocholí |
| 2011 | Adaptive Bandwidth-Based Thread Group Scheduler for Compositional Real-Time Middleware Architectures. Jagun Kwon, Stephen Hailes |
| 2011 | An AADL-Based Modeling Method for ARINC653-Based Avionics Software. Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao |
| 2011 | An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. Sujeong Woo, Jinho On, Moonkun Lee |
| 2011 | An Adaptive Performance Modeling Approach to Performance Profiling of Multi-service Web Applications. Xiang Huang, Wei Wang, Wenbo Zhang, Jun Wei, Tao Huang |
| 2011 | An Analysis of Failure-Based Test Profiles for Random Testing. Robert G. Merkel, Fei-Ching Kuo, Tsong Yueh Chen |
| 2011 | An Approach to Model-Based Development of Context-Aware Adaptive Systems. Mahmoud Hussein, Jun Han, Alan W. Colman |
| 2011 | An Effective Approach for Automatic Generation of Class Integration Test Order. Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li |
| 2011 | An Intelligent Broker Approach to Semantics-Based Service Composition. Yufeng Zhang, Hong Zhu |
| 2011 | An XML C Source Code Interchange Format for CASE Tools. Noritoshi Atsumi, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa |
| 2011 | Analysis of Concept Similarity Methods Applied to an LSH Function. Luciano Bernardes de Paula, Rodolfo da Silva Villaça, Maurício F. Magalhães |
| 2011 | Ant Colony Optimization for Deadlock Detection in Concurrent Systems. Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
| 2011 | Application of Semantic Web Services for Mobile Telemedicine Service Discovery. Tara Raafat, Franjo Cecelja |
| 2011 | Assessing Web Site Usability in Retail Electronic Commerce. Charles E. Downing, Chang Liu |
| 2011 | Automating the Development of Device-Aware Web Services: A Model-Driven Approach. Achilleas Achilleos, Nearchos Paspallis, George A. Papadopoulos |
| 2011 | Bench4Q: A QoS-Oriented E-Commerce Benchmark. Wenbo Zhang, Sa Wang, Wei Wang, Hua Zhong |
| 2011 | CALIGRAPHI - Creation of Adaptive Dialogues Using a Graphical Interface. Gregor Bertrand, Florian Nothdurft, Frank Honold, Felix Schüssel |
| 2011 | Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective. Bo Wei, Zhi Jin |
| 2011 | Cloudifying User-Created Content for Existing Applications in Mobile Devices. Subhamoy Ghosh, Juha Savolainen, Mikko Raatikainen, Tomi Männistö |
| 2011 | Code-Change Impact Analysis Using Counterfactuals. Manuel Peralta, Supratik Mukhopadhyay |
| 2011 | Combining Dynamic Program Viewing and Testing in Early Computing Courses. James H. Cross II, T. Dean Hendrix, Larry A. Barowski |
| 2011 | Confidentiality Preserving Security Properties for Cyber-Physical Systems. Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin |
| 2011 | Conformance Checking with Constraint Logic Programming: The Case of Feature Models. Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed |
| 2011 | Design and Evaluation of Social Interfaces for Cultural Exhibitions of Chinese Shadow Puppetry. Tin-Kai Chen, Hsiao-Ping Fang, Yingchun Tian, Hsiao-Lin Fang, Yan-Jie Li, Shih-Hsuan Tseng, Su-En Miao |
| 2011 | Detecting and Resolving Inconsistencies in Ontologies Using Contradiction Derivations. Sajjad Hussain, Jos De Roo, Ali Daniyal, Syed Sibte Raza Abidi |
| 2011 | Development of CAN-1394 Automotive Gateway System Using Designed Modular Software Stack. Pyungsun Park, Jaeil Jung, Byounghweh Huh |
| 2011 | Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling. Nophadol Jekjantuk, Jeff Z. Pan, Yuzhong Qu |
| 2011 | Distributed Java-Based Content Protection. Smitha Sundareswaran, Anna Cinzia Squicciarini, Ranjani Sundareswaran |
| 2011 | Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability. Fevzi Belli, Nevin Güler, Michael Linschulte |
| 2011 | Dynamic Request Management Algorithms for Web-Based Services in Cloud Computing. Riccardo Lancellotti, Mauro Andreolini, Claudia Canali, Michele Colajanni |
| 2011 | Dynamic Software Visualization with BusyBorg - A Proof of Concept. Henning Femmer, Nora Broy, Marin Zec, Asa MacWilliams, Roland Eckl |
| 2011 | Eliciting Considerable Requirements with Word and Customer Graphs. Daichi Kimura, Tomohisa Gotoh, Ken'ichi Ikeda |
| 2011 | Embracing Uncertainty: The New Machine Learning. Chris Bishop |
| 2011 | Energy-Efficient Position Tracking in Proactive Location-Based Services for Smartphone Environments. Ulrich Bareth, Axel Küpper |
| 2011 | Enhancing Performance of NoC-Based Architectures Using Heuristic Virtual-Channel Sharing Approach. Khalid Latif, Amir-Mohammad Rahmani, Kameswar Rao Vaddina, Tiberiu Seceleanu, Pasi Liljeberg, Hannu Tenhunen |
| 2011 | Evaluating an Interactive-Predictive Paradigm on Handwriting Transcription: A Case Study and Lessons Learned. Luis A. Leiva, Verónica Romero, Alejandro H. Toselli, Enrique Vidal |
| 2011 | Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. Fevzi Belli, Mutlu Beyazit |
| 2011 | Fine-Grained Configuration Management for Collaborative Ontology Development. Tao Yang, Yijian Wu, Xin Peng, Wenyun Zhao |
| 2011 | Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. Paul Pettersson |
| 2011 | Formal Methods in the Era of Service-Oriented Design. Tiziana Margaria |
| 2011 | From Embedded Systems to Cyber-Physical Systems: Research Challenges and Application Areas. Reinhold Achatz |
| 2011 | From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. Bernhard Schätz |
| 2011 | Getting Secure Software Assurance Knowledge into Conventional Practice: Three Educational Initiatives. Nancy R. Mead, Linda M. Laird, Daniel Shoemaker |
| 2011 | Impact of Aspect-Oriented Programming on Software Performance: A Case Study of Leader/Followers and Half-Sync/Half-Async Architectures. Wen-Lin Liu, Chung-Horng Lung, Samuel Ajila |
| 2011 | Interactive Real-Time Embedded Systems Education Infused with Applied Internet Telephony. Kyle Persohn, Dennis Brylow |
| 2011 | JSBiRTH: Dynamic JavaScript Birthmark Based on the Run-Time Heap. Patrick P. F. Chan, Lucas Chi Kwong Hui, Siu-Ming Yiu |
| 2011 | Joint COMPSAC/SAINT 2011 Panel: International Perspectiveson Computed World: Software Beyond the Digital Society. Stephen S. Yau |
| 2011 | L1 - An Intermediate Language for Mixed-Protocol Secure Computation. Axel Schröpfer, Florian Kerschbaum, Günter Müller |
| 2011 | Managing Web Content Using Linked Data Principles - Combining Semantic Structure with Dynamic Content Syndication. Norman Heino, Sebastian Tramp, Sören Auer |
| 2011 | MasterBlaster: Identifying Influential Players in Botnet Transactions. Napoleon Paxton, Gail-Joon Ahn, Mohamed Shehab |
| 2011 | Meta Reconfiguration of Adaptive Middleware Using Semantic Web and Context Information. Daniel Corrêa Lobato |
| 2011 | Model Checking Aspectual Pervasive Software Services. Dhaminda B. Abeywickrama, Sita Ramakrishnan |
| 2011 | Multi-node Network Based Control and Data Acquisition System for a VHF Radar Depth Sounder. Chris Prokopiak, Carl Leuschen, Fernando Rodriguez-Morales, John R. Ledford, William A. Blake, Anthony Hoch, Hilary Barbour |
| 2011 | Observable Context-Based User Intention Specification in Context-Aware Environments. Haihua Xie |
| 2011 | On Extracting Perception-Based Features for Effective Similar Shader Retreival. Min-Hee Jang, Si-Yong Lee, Sang-Wook Kim, Myung-Cheol Roh, Jae-Ho Lee, Seung-Woo Nam |
| 2011 | On-line Cache Strategy Reconfiguration for Elastic Caching Platform: A Machine Learning Approach. Xiulei Qin, Wenbo Zhang, Wei Wang, Jun Wei, Hua Zhong, Tao Huang |
| 2011 | Onion: A Graphical Language for Process Algebra. Jinho On |
| 2011 | Ontology-Based Reliability Evaluation for Web Service. Xifeng Wang, Bixin Li, Li Liao, Chunli Xie |
| 2011 | P3D - Privacy-Preserving Path Discovery in Decentralized Online Social Networks. Mingqiang Xue, Barbara Carminati, Elena Ferrari |
| 2011 | PAIM: Peer-Based Automobile Identity Management in Vehicular Ad-Hoc Network. Anna Cinzia Squicciarini, Dan Lin, Alessandro Mancarella |
| 2011 | Palimpsests of Time and Place. Jerry Fishenden, Andrew Hugill |
| 2011 | Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. Cristina Cerschi Seceleanu |
| 2011 | Panel III "Smart Technology" - Applications and Infrastructure. Sahra Sedigh |
| 2011 | Performance Improvement for Collection Operations Using Join Query Optimization. Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert |
| 2011 | Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang |
| 2011 | Privacy in the Cloud. Kenji Takahashi |
| 2011 | Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011 |
| 2011 | Provenance Based Retrieval: File Retrieval System Using History of Moving and Editing in User Experience. Keiko Yamamoto, Taku Kuriyama, Haruki Shigemori, Itaru Kuramoto, Yoshihiro Tsujino, Mitsuru Minakuchi |
| 2011 | Quality Model Driven Dynamic Analysis. P. V. R. Murthy, Saravana Kumar V., Tushar Sharma, Kiron Rao |
| 2011 | Quality Validation through Pattern Detection - A Semantic Web Perspective. David Walsh, Philipp Schügerl, Juergen Rilling, Philippe Charland |
| 2011 | Quantifying Usability and Security in Authentication. Martin Mihajlov, Borka Jerman-Blazic, Saso Josimovski |
| 2011 | Reach Availability Modeling of Replicated Services. Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu |
| 2011 | Reasoning about Global Clones: Scalable Semantic Clone Detection. Philipp Schügerl, Juergen Rilling, Philippe Charland |
| 2011 | Reliability and Accuracy of the Estimation Process - Wideband Delphi vs. Wisdom of Crowds. Marek Grzegorz Stochel |
| 2011 | Requirements Recovery by Matching Domain Ontology and Program Ontology. Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu |
| 2011 | SPEM Extension with Software Process Architectural Concepts. Fadila Aoussat, Mourad Oussalah, Mohamed Ahmed-Nacer |
| 2011 | Security Monitoring of Components Using Aspects and Contracts in Wrappers. Xiaofeng Yang, Mohammad Zulkernine |
| 2011 | Security Requirements Engineering in the Wild: A Survey of Common Practices. Golnaz Elahi, Eric S. K. Yu, Tong Li, Lin Liu |
| 2011 | Selection and Ordering of Points-of-Interest in Large-Scale Indoor Navigation Systems. Martin Werner |
| 2011 | Semantic-Based Test Oracles. Xiaoying Bai, Kejia Hou, Hao Lu, Yao Zhang, Linping Hu, Hong Ye |
| 2011 | Semantics Based Cohesion and Coupling Metrics for Evaluating Understandability of State Diagrams. Jung Ho Bae, Yeon Ji Jeong, Heung Seok Chae, Carl K. Chang |
| 2011 | Semi-automation of Configuration Files Generation for Heterogeneous Multi-tile Systems. Alexandre Chagoya-Garzon, Nicolas Poste, Frédéric Rousseau |
| 2011 | Similarity Based Distributed Context Reasoning with Layer Context Modeling. Chun Kyung Lee, Thi Hien Pham, Hee-Seong Kim, Hee Yong Youn |
| 2011 | SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing. J. Jenny Li, John Douglas Palframan, Jim Landwehr |
| 2011 | Software Infrastructure for Delivering and Supporting Distributed Applications Enhanced with Awareness. Montserrat Sendín, Juan Miguel López |
| 2011 | Software Reliability Prediction for Open Source Software Adoption Systems Based on Early Lifecycle Measurements. Wangbong Lee, Joonkyung Lee, Jongmoon Baik |
| 2011 | Software-Based Analysis of the Effects of Electrostatic Discharge on Embedded Systems. Pratik Maheshwari, Tianqi Li, Jong-Sung Lee, Byong-Su Seol, Sahra Sedigh, David Pommerenke |
| 2011 | Spoken Dialogue System for Learning Braille. Masahiro Araki, Kana Shibahara, Yuko Mizukami |
| 2011 | Spoken Interaction within the Computed World: Evaluation of a Multitasking Adaptive Spoken Dialogue System. Tobias Heinroth, Dan Denich |
| 2011 | Supporting Dynamic Service Updates in Pervasive Applications. Jun-Qing Chen, Linpeng Huang |
| 2011 | Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems. Dominik Sojer |
| 2011 | Testing Tasks Management in Testing Cloud Environment. Lian Yu, Xiaohu Li, Zhongjie Li |
| 2011 | The Emerging Web of Social Machines. Silvio R. L. Meira, Vanilson Arruda Burégio, Leandro Marques Nascimento, Elaine G. M. de Figueiredo, Misael Neto, Bruno P. Encarnação, Vinicius Cardoso Garcia |
| 2011 | Towards Model-Based Policy Design Methods for More Effective Spectrum Allocation. John Meier |
| 2011 | Towards More Effective Spectrum Use Based on Memory Allocation Models. John Meier, Christopher D. Gill, Roger D. Chamberlain |
| 2011 | Towards Training Set Reduction for Bug Triage. Weiqin Zou, Yan Hu, Jifeng Xuan, He Jiang |
| 2011 | Towards a Unified Goal-Oriented Language. Pedro Patrício, Vasco Amaral, João Araújo, Rui Monteiro |
| 2011 | Usage-Based Online Testing for Proactive Adaptation of Service-Based Applications. Osama Sammodi, Andreas Metzger, Xavier Franch, Marc Oriol, Jordi Marco, Klaus Pohl |