Software Engineering

This bookconstitutes the proceedings of the 19th International Conference on FundamentalApproaches to Software Engineering, FASE 2016, which took place in Eindhoven,The Netherlands, in April 2016, held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2016.

This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016.

This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.

This bookconstitutes the proceedings of the 42nd International Conference on CurrentTrends in Theory and Practice of Computer Science, SOFSEM 2016, held inHarrachov, Czech Republic, in January 2016.

This book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015.

This book constitutes the proceedings of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India, in November 2015.

This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nimes, France, in May 2015.

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.

This book constitutes the proceedings of the 29th International Symposium on Distributed Computing, DISC 2015, held in Tokyo, Japan, in October 2015.

This book provides a snapshot of the current state-of-the-art in the fields of mobile and wireless technology, security and applications.

This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2015, held in Wuhan, China, in October 2015.

This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St.

This book constitutes the refereed proceedings of the 17th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2015, held in Saint Malo, France, in September 2015.

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St.

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.

This volume constitutes the proceedings of the 7th IFIP WG 8.

This book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014.

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015.

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Snezkou, Czech Republic, during January 24-29, 2015.

This book constitutes the proceedings of the 13th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2014, held in Ho Chi Minh City, Vietnam, in November 2014.

This book constitutes the refereed proceedings of the First International Workshop on Process-Aware Systems, PAS 2014, held in Shanghai, China, in October 2014.

This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014.

This book includes the thoroughly refereed post-conference proceedings of the 17th Annual RoboCup International Symposium, held in Eindhoven, The Netherlands, in June 2013.

This book contains the thoroughly refereed and revised best papers from the 9th International Conference on Web Information Systems and Technologies, WEBIST 2013, held in Aachen, Germany, in May 2013, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and co-organized by the RWTH Aachen University.

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014.

This book constitutes the refereed proceedings of the 26th IFIP WG 6.

This book constitutes the proceedings of the 14th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2014, held in Berlin, Germany, in June 2014.

This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013.

This book contains the refereed proceedings of the 15th International Conference on Business Process Modeling, Development and Support (BPMDS 2014) and the 19th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2014), held together with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014) in Thessaloniki, Greece, in June 2014.

This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014.

This book constitutes the proceedings of the 34th IFIP WG 6.

This book constitutes the proceedings of the first Asia Pacific Requirements Engineering Symposium, APRES 2014, held in Auckland, New Zealand, in April 2014.

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

This book constitutes the refereed proceedings of the 5th IFIP WG 13.

This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014.

This book constitutes the refereed proceedings of the Second Conference on 2025 International Conference on Blockchain and Web3.

This book constitutes the refereed proceedings of the Second Conference on 2025 International Conference on Blockchain and Web3.

This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013.

This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chisinau, Republic of Moldova, in August 2013.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2013, held in Palma de Mallorca, Spain, in May 2013.

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013.

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

This book constitutes the refereed proceedings of the 9th International Workshop on Security and Trust Management, STM 2013, held in Egham, UK, in September 2013 - in conjunction with the 18th European Symposium Research in Computer Security (ESORICS 2013).