| 2010 | Workflow Construction for Service-Oriented Knowledge Discovery. | Vid Podpecan, Monika Zkov, Nada Lavrac |
| 2010 | Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns. | Alain Plantec, Frank Singhoff, Pierre Dissaux, Jrme Legrand |
| 2010 | Specification Based Conformance Testing for Email Protocols. | Nikolay V. Pakulin, Anastasia Tugaenko |
| 2010 | Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. | Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata |
| 2010 | Towards More Adaptive Voice Applications. | Jrg Ott |
| 2010 | Increasing Users' Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model. | Ingrid Nunes, Simone Diniz Junqueira Barbosa, Carlos Jos Pereira de Lucena |
| 2010 | LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling. | Alessandro Moschitti |
| 2010 | Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge. | Alessandro Moschitti |
| 2010 | Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. | Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard |
| 2010 | Partial Flow Analysis with oRange. | Marianne De Michiel, Armelle Bonenfant, Clment Ballabriga, Hugues Cass |
| 2010 | Trustable Formal Specification for Software Certification. | Dominique Mry, Neeraj Kumar Singh |
| 2010 | Analyzing Collaboration in Software Development Processes through Social Networks. | Andra Magalhes Magdaleno, Cludia Maria Lima Werner, Renata Mendes de Araujo |
| 2010 | Towards Resource-Optimal Routing Plans for Real-Time Traffic. | Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
| 2010 | Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. | Qian Li, Jianhua Zhao, Xuandong Li |
| 2010 | Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. | Bjrn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa |
| 2010 | Partially Synchronizing Periodic Flows with Offsets Improves Worst-Case End-to-End Delay Analysis of Switched Ethernet. | Xiaoting Li, Jean-Luc Scharbarg, Christian Fraboul |
| 2010 | AutoPA: Automatic Prototyping from Requirements. | Xiaoshan Li, Zhiming Liu, Martin Schf, Ling Yin |
| 2010 | Shaping Future Service Environments with the Cloud and Internet of Things: Networking Challenges and Service Evolution. | Gyu Myoung Lee, Nol Crespi |
| 2010 | Certification of Software-Driven Medical Devices. | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2010 | Analyzing End-to-End Functional Delays on an IMA Platform. | Michal Lauer, Jrme Ermont, Claire Pagetti, Frdric Boniol |
| 2010 | Error Handling: From Theory to Practice. | Ivan Lanese, Fabrizio Montesi |
| 2010 | Covering Arrays Generation Methods Survey. | Victor V. Kuliamin, Alexander Petukhov |
| 2010 | A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. | Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka |
| 2010 | Tools in Scientific Workflow Composition. | Joost N. Kok, Anna-Lena Lamprecht, Mark D. Wilkinson |
| 2010 | On the Role of Non-functional Properties in Compiler Verification. | Jens Knoop, Wolf Zimmermann |