Search

This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user experience and design, chatbots for collaboration, chatbots for customer service, and chatbots in education.

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug and profile OpenSHMEM programs, experience porting applications to the OpenSHMEM programming model, and changes to the OpenSHMEM specification to address the needs of programming exascale systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011, held in Fort Collins, CO, USA, in September 2011. The 19 revised full papers presented and 19 poster papers were carefully reviewed and selected from 52 submissions. The scope of the workshop spans the theoretical and practical aspects of parallel and high-performance computing, and targets parallel platforms including concurrent, multithreaded, multicore, accelerator, multiprocessor, and cluster systems.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development.

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems. This state-of-the-art survey is rounded off by five additional lectures addressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS. They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and what steps are necessary to do so.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.

Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take-up of agent-technology, however, is the lack of adequate software engineering support. The Agent-Oriented Software Engineering Workshop, AOSE, focuses on the synergies and cross fertilization between software engineering and agent research.This volume presents both thoroughly revised selected papers from the AOSE 2010 workshop held at AAMAS 2010 in Toronto, Canada in May 2010 as well as invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering and agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with conventional engineering approaches on the one hand, and to the integration of agent-oriented software engineering and methodologies with conventional engineering processes on the other hand.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009. The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 2005, 2006 and 2007, held in Paris, Brussels and Maastricht. The goal of the ALAMAS symposia, and this associated book, is to increase awareness and interest in adaptation and learning for single agents and mul- agent systems, and encourage collaboration between machine learning experts, softwareengineeringexperts,mathematicians,biologistsandphysicists,andgive a representative overviewof current state of a?airs in this area. It is an inclusive forum where researchers can present recent work and discuss their newest ideas for a?rst time with their peers. Thesymposiaseriesfocusesonallaspectsofadaptiveandlearningagentsand multi-agent systems, with a particular emphasis on how to modify established learning techniques and/or create new learning paradigms to address the many challenges presented by complex real-world problems. These symposia were a great success and provided a forum for the pres- tation of new ideas and results bearing on the conception of adaptation and learning for single agents and multi-agent systems. Over these three editions we received 51 submissions, of which 17 were carefully selected, including one invited paper of this year's invited speaker Simon Parsons. This is a very c- petitive acceptance rate of approximately 31%, which, together with two review cycles, has led to a high-quality LNAI volume. We hope that our readers will be inspired by the papers included in this volume.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop.

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.

This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2010, held in Houston, TX, USA, in October 2010. The 18 revised full papers presented were carefully reviewed and selected from 47 submissions. The scope of the workshop spans foundational results and practical experience, and targets all classes of parallel platforms including concurrent, multithreaded, multicore, accelerated, multiprocessor, and cluster systems

OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoaddress the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007. The symposium began with a keynote on “Composition by Anonymous Parties” by Farhad Arbab (CWI and Leiden University). The main program consisted of six technical sessions related to speci?c aspects of component-based software development. In response to the call for papers, we received 59 submissions from over 20 countries and 6 continents. Each paper was reviewed by at least three Program Committeemembers.TheentirereviewingprocesswassupportedbyMicrosoft's Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers.

The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support coordinated development of diverse aspects of a system. In this book, a number of articles describe the vision and the way globalized DSMLs currently assist integrated DSML support teams working on systems that span many domains and concerns to determine how their work on a particular aspect influences work on other aspects. Globalized DSMLs offer support for communicating relevant information, and for coordinating development activities and associated technologies within and across teams, in addition to providing support for imposing control over development artifacts produced by multiple teams. DSMLs can be used to support socio-technical coordination by providing the means for stakeholders to bridge the gap between how they perceive a problem and its solution, and the programming technologies used to implement a solution. They also support coordination of work across multiple teams. DSMLs developed in an independent manner to meet the specific needs of domain experts have an associated framework that regulates interactions needed to support collaboration and work coordination across different system domains. The articles in the book describe how multiple heterogeneous modeling languages (or DSMLs) can be related to determine how different aspects of a system influence each other. The book includes a research roadmap that broadens the current DSML research focus beyond the development of independent DSMLs to one that provides support for globalized DSMLs.

Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of building them from scratch. In recent years, this idea has largely been adopted by - dustry. In the shape of service-oriented architecture, software composition has becomeanin?uentialdesignparadigm,especiallyforthe (re-)organizationofthe IT infrastructure of organizations.On the technical level, the standardization of Web services and other composition technologies has further matured. Current research in software composition aims at (further) developing c- position models and techniques. The aspect-oriented programming and design paradigm, for instance, has gained interest in the research community as a c- position (support) model. Other current research questions concern the sp- i?cation of component contracts, in particular making explicit its observable behavior, and methods of correct components composition. The International Symposium on Software Composition provides a premier forum for discussing these kinds of research questions and presenting original research results. This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Vienna, Austria, March, 25-26 2006. The symposium started with a keynote on “Semantically Enabled Service-Oriented Architectures” given by Dieter Fensel, DirectoroftheDigitalResearchInstitute.Themainprogramconsistedofpres- tations of research papers on software compositions. These proceedings contain the revised versions of the papers presented at SC 2006.

The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several standardisation consortia in order to provide new languages, tools, methods, and frameworks so as to establish the necessary standards for a wide use of MAS technology. The papers of this volume focus on the development of programming languages and tools that can effectively support MAS programming and the implementation of key notions in MAS in a unified framework to bridge the gap from analysis and design to effective implementation that way. This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented together with 2 invited articles are organized in topical sections on multi-agent techniques and issues, multi-agent programming, and multi-agent platforms and organisation.

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e?ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri?cation and analysis of agent systems,aswellastheimplementationofsocialstructureinagent-basedsystems (e. g.,roleswithin organizations,coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After?ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai'i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS.

The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000. Previous workshops in the series have been held in Scotland (1 and 2), Australia (3), the USA (4), Italy (5), France (6), and the USA (7 and 8). In keeping with those workshops, POS 9 was short but intensive, fitting 28 papers and panel sessions, a boat 1 excursion, and some memorable meals into two and a half days. The participants'concentration was no doubt helped by the Northern European weather that prevailed for most of the workshop. Continuing a trend experienced over the previous few workshops, POS 9 had difficulty attracting a high number of papers. Of course it is hard to tell whether this is a problem with the field of persistent systems itself, or merely a consequence of the increasing number of workshops, conferences, and journals competing for submissions. In his Epilogue to the proceedings, Ron Morrison makes some interesting suggestions for possible improvements to future POS workshops. Out of a total of 26 submitted papers, 19 were accepted for presentation at the 2 workshop. Breaking down by region, 6 1/2 came from the USA, 1 from Africa, 3 1/2 from Australia, and 8 from Europe. In a new development for POS, an equal number of papers came from England and from Scotland.

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation.

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: – Design, speci?cation, code generation and testing based on formal methods – Veri?cation and validation of complex, distributed, real-time systems and embedded systems – Veri?cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g., scalability and usability issues) – Tools for the development of formal design descriptions – Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi?cation of new research - rections – Impact of the adoption of formal methods on the development process and associated costs – Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri?cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries.

This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains extended abstracts of submissions that were accepted as posters. The workshop was held at the IBM T. J. Watson Research Center in Yorktown Heights, New York. As in previous years, the workshop focused on issues in optimizing compilers, languages, and software environments for high performance computing. This continues a trend in which languages, compilers, and software environments for high performance computing, and not strictly parallel computing, has been the organizing topic. As in past years, participants came from Asia, North America, and Europe. This workshop re?ected the work of many people. In particular, the members of the steering committee, David Padua, Alex Nicolau, Utpal Banerjee, and David Gelernter, have been instrumental in maintaining the focus and quality of the workshop since it was?rst held in 1988 in Urbana-Champaign. The assistance of the other members of the program committee – Larry Carter, Sid Chatterjee, Jeanne Ferrante, Jans Prins, Bill Pugh, and Chau-wen Tseng – was crucial. The infrastructure at the IBM T. J. Watson Research Center provided trouble-free logistical support. The IBM T. J. Watson Research Center also provided?nancial support by underwriting much of the expense of the workshop. Appreciation must also be extended to Marc Snir and Pratap Pattnaik of the IBM T. J. Watson Research Center for their support.

For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent Systems, ProMAS 2006, held in Hakodate, Japan, May 2006. Coverage includes uncertainty of agents; lightweight devices for business and e-commerce applications; component-based agents for MAS simulation; creation, execution, mobility and communication of agents; as well as multi-agent platforms and organization.

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems, ANIREM 2005, and the International Workshop on Organizations in Multi-Agent Systems, OOOP 2005, held in Utrecht, The Netherlands, July 2005. This is the first volume in a new series on issues in Coordination, Organizations, Institutions and Norms (COIN) in multi-agent systems. Topics include modeling, analyzing and programming organizations and more.

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction.

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a wide spectrum of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. ​

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models. The volume reflects the five sessions of the conference. The first two sessions are closely aligned with the conference theme with a session on the Internet of Things and a session on Technology-specific Aspects. The other three sessions cover aspects regarding modeling languages and model-driven development in general and were organized in the sessions Languages, Configurations and Features, and Patterns and Compilation.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.