Automated Reasoning for Security, Software Integration and Reliability  

Workshop in conjunction with SSIRI 2011

The 5th IEEE International Conference on Secure Software Integration
and Reliability Improvement

(27- 29 June 2011 Jeju Island, Korea)






Goals and Description

As contemporary software becomes more and more complex it requires more sophisticated but efficient methods of its engineering. One of the obvious challenges on this way is the automation of relevant techniques. Automated reasoning research, on the other hand, needs a constant flow of fresh ideas and practical requirements. This workshop is aimed to provide a forum to discuss recent work, current trends and new ideas in the area of automated reasoning for software integration, security and reliability.  It aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners. A workshop is considered to be the first of the series of the satellite event to SSIRI, with every workshop tackling a particular flavour. This year workshop’s flavour is integration of formal verification methods with software systems development.   

2011 Workshop Flavour

Automated Reasoning systems should become integral parts of a working software. However, we lack research in the methodologies of engineering of automated reasoning systems as software systems and their integration into system development. This year workshop aims to facilitate discussions and research in this highly important area - integration of formal verification methods with software systems development. We expect the contributions from various parties – researchers from automated reasoning community, practitioners, methodologists, etc.



Topics of interest 

The workshop scope covers the full breadth and diversity of automated reasoning applications to the main areas of SSIRI topics exemplified but not restricted in the list below:

·  integration of formal verification methods with software systems development.   

·  Integration methodology, integration architectures

·  application of deductive and non-deductive reasoning, including abduction, induction, non-monotonic reasoning, and analogical reasoning to specifying, deriving, transforming and verifying computer systems and requirements;

·  automated system configuration and reconfiguration;

·  formal modelling of security protocols and reasoning about them;

·  logic engineering for automated reasoning: proof search techniques, invariant extractions, logic programming, functional programming; equational reasoning; deductive databases; unification and constraint solving;

·  automata-based approaches

·  automated reasoning in testing and testing in automated reasoning

·  automated test case generation



Format and Proceedings

A one-day workshop held immediately before or during the main conference. Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For the latter publication one of the authors will be required to register and to present the accepted submission. During the workshop, each paper will have a slot of 30 minutes, with 20-25 minutes presentation.