| 2011 | Panel III "Smart Technology" - Applications and Infrastructure. | Sahra Sedigh |
| 2011 | Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. | Cristina Cerschi Seceleanu |
| 2011 | Reasoning about Global Clones: Scalable Semantic Clone Detection. | Philipp Schgerl, Juergen Rilling, Philippe Charland |
| 2011 | L1 - An Intermediate Language for Mixed-Protocol Secure Computation. | Axel Schrpfer, Florian Kerschbaum, Gnter Mller |
| 2011 | Augmenting Cloud Requirements Engineering with Meta-Services. | Rainer Schmidt |
| 2011 | From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages. | Bernhard Schtz |
| 2011 | 24/7 Real-Time Data Warehousing: A Tool for Continuous Actionable Knowledge. | Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira |
| 2011 | Usage-Based Online Testing for Proactive Adaptation of Service-Based Applications. | Osama Sammodi, Andreas Metzger, Xavier Franch, Marc Oriol, Jordi Marco, Klaus Pohl |
| 2011 | Towards a Generic Cloud-Based Virtual Research Environment. | Bastian Roth, Robin Hecht, Bernhard Volz, Stefan Jablonski |
| 2011 | Application of Semantic Web Services for Mobile Telemedicine Service Discovery. | Tara Raafat, Franjo Cecelja |
| 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 | 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 | Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. | Paul Pettersson |
| 2011 | IMS Threat and Attack Surface Analysis Using Common Vulnerability Scoring System. | Sami Petjsoja, Heikki Kortti, Ari Takanen, Juha-Matti Tiril |
| 2011 | Interactive Real-Time Embedded Systems Education Infused with Applied Internet Telephony. | Kyle Persohn, Dennis Brylow |
| 2011 | Code-Change Impact Analysis Using Counterfactuals. | Manuel Peralta, Supratik Mukhopadhyay |
| 2011 | MasterBlaster: Identifying Influential Players in Botnet Transactions. | Napoleon Paxton, Gail-Joon Ahn, Mohamed Shehab |
| 2011 | Analysis of Concept Similarity Methods Applied to an LSH Function. | Luciano Bernardes de Paula, Rodolfo da Silva Villaa, Maurcio F. Magalhes |
| 2011 | Towards a Unified Goal-Oriented Language. | Pedro Patrcio, Vasco Amaral, Joo Arajo, Rui Monteiro |
| 2011 | Development of CAN-1394 Automotive Gateway System Using Designed Modular Software Stack. | Pyungsun Park, Jaeil Jung, Byounghweh Huh |
| 2011 | Model-Based Scheduling Analysis for Software Projects. | Frank Padberg, David Weiss |
| 2011 | A Hypervisor for Injecting Scenario-Based Attack Effects. | Yoshihiro Oyama, Youhei Hoshi |
| 2011 | Onion: A Graphical Language for Process Algebra. | Jinho On |
| 2011 | Towards Rapid Creation of Test Adaptation in On-line Model-Based Testing. | Kim Nylund, Erik stman, Dragos Truscan, Risto Teittinen |
| 2011 | Performance Improvement for Collection Operations Using Join Query Optimization. | Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert |