9th International Symposium on Formal Aspects of Component Software
Mountain View, USA, September 12-14, 2012
Registration is now open!
Deadline to register is Friday, Sept. 7, 2012!
Program | Scope | Topics of Interest | Invited Speakers |
Call for Papers | Program Committee Chairs | Past Editions
Scope
The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm.
FACS 2012 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Topics of Interest
The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:
- formal models for software components and their interaction
- formal aspects of services, service oriented architectures, business processes, and cloud computing
- design and verification methods for software components and services
- composition and deployment: models, calculi, languages
- formal methods and modeling languages for components and services
- model based and GUI based testing of components and services
- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
- components for real-time, safety-critical, secure, and/or embedded systems
- industrial or experience reports, and case studies
- update and reconfiguration of component and service architectures
- component systems evolution and maintenance
- autonomic components and self-managed applications
- formal and rigorous approaches to software adaptation and self-adaptive systems
Invited Speakers
Tevfik Bultan, UC Santa Barbara
Shaz Qadeer, Microsoft
Call for Papers
We solicit high-quality submissions reporting on (as related to topics mentioned above):
- A - original research contributions (18 pages max, LNCS format);
- B - applications and experiences (18 pages max, LNCS format);
- C - surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format);
- D - tool papers (6 pages max, LNCS format);
In addition, we also solicit submissions to the Doctoral Track of FACS 2012, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results.
All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers (more information for LNCS authors).
Paper submission will be done electronically via Easychair.
Important Dates
- Extended submission deadline (abstracts and papers): June 22, 2012
- Notification: July 27, 2012
- Final version due: August 13, 2012
- Symposium: September 12-14, 2012
All accepted papers will appear in the pre-proceedings of FACS 2012. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in the Springer's Lecture Notes in Computer Science series.
The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal.
Accepted papers:
- Harsh Beohar and Pieter Cuijpers. Desynchronisation of Concrete Synchronous Systems
- Hanne Riis Nielson, Flemming Nielson and Roberto Vigo. A Calculus for Quality
- Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Bjornsson and Arni Herman Reynisson. Guided Search for Deadlocks in Actor-Based Models
- Nils Jansen, Erika Abraham, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen and Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains
- Domenico Bianculli, Carlo Ghezzi and Pierluigi San Pietro. The Tale of SOLOIST: a Specification Language for Service Compositions Interactions
- Sebastian Bauer, Rolf Hennicker and Axel Legay. Component Interfaces with Contracts on Ports
- Qiusong Yang. Assumption Generation for Asynchronous Systems by Abstraction Refinement
- Chris Chilton, Bengt Jonsson and Marta Kwiatkowska. Assume-Guarantee Reasoning for Safe Component Behaviours
- Ralf Sasse, Samuel King, Jose Meseguer and Shuo Tang. IBOS: A Correct-By-Construction Modular Browser
- Frank de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen and Gianluigi Zavattaro. Proving Deadlock Freedom for Active Objects and Futures
- Pablo Castro, Nazareno Aguirre, Carlos Gustavo Lopez Pombo and Tom Maibaum. A Categorical Approach to Structuring and Promoting Z Specifications
- Kyungmin Bae, Jose Meseguer and Peter Olveczky. Formal Patterns for Multirate Distributed Real-Time Systems
- Christos Kloukinas and Mert Ozkaya. XcD - Modular, Realizable Software Architectures
- Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure
- Stijn De Gouw and Frank S. De Boer. Run-Time Verification of Black-Box Components using Behavioral Specifications: An Experience Report on Tool Development
- Amir Molzam Sharifloo and Paola Spoletini. LOVER: Light-weight Formal Verification of adaptivE systems at Run time
Program Committee Chairs
Corina Pasareanu
Senior Systems Scientist, CMUSV & NASA Ames, USA
Web: http://ti.arc.nasa.gov/profile/pcorina/Gwen Salaün
Associate Professor, Grenoble INP, INRIA (Grenoble, France)
Web: http://www.inrialpes.fr/vasy/people/Gwen.Salaun/
Publicity Chair
Javier Camara, University of Coimbra, Portugal
Program Committee
Erika Abraham, RWTH Aachen University, Germany
Farhad Arbab, Chair, CWI and Leiden University, The Netherlands
Christian Attiogbe, University of Nantes, France
Christel Baier, Technical University of Dresden, Germany
Luís Barbosa, University of Minho, Portugal
Frank de Boer, CWI, The Netherlands
Roberto Bruni, University of Pisa, Italy
Carlos Canal, University of Málaga, Spain
José Luiz Fiadeiro, University of Leicester, UK
Carlo Ghezzi, Politecnico di Milano, Italy
Rolf Hennicker, Ludwig-Maximilians-Universität Munich, Germany
Zhiming Liu, IIST UNU, Macau
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA, Centre Sophia Antipolis, France
Sun Meng, Peking University, China
John Mullins, Polytechnical School of Montreal, Canada
Peter Olveczky, University of Oslo, Norway
Corina Pasareanu, NASA Ames, USA
Frantisek Plasil, Charles University, Czech Republic
Pascal Poizat, University of Evry Val d'Essonne, France
Shaz Qadeer, Microsoft, USA
John Rushby, SRI International, USA
Gwen Salaün, Grenoble INP, INRIA, France
Bernhard Schätz, fortiss GmbH, Germany
Nishant Sinha, NEC Labs, Princeton, USA
Marjan Sirjani, Reykjavik University, Iceland
Volker Stolz, University of Oslo, Norway
Carolyn Talcott, SRI International, USA
Oksana Tkachuk, NASA Ames, USA
Sebastian Uchitel, University of Buenos Aires, Argentina
Gianluigi Zavattaro, University of Bologna, Italy
Steering Committee
Farhad Arbab, (chair,) Leiden University and CWI, The Netherlands
Luís Barbosa, University of Minho, Portugal
Carlos Canal, University of Málaga, Spain
Zhiming Liu, IIST UNU, Macau, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA, Centre Sophia Antipolis, France
Peter Ölveczky, University of Oslo, Norway
Corina Păsăreanu, NASA Ames, USA
Bernhard Schätz, fortiss GmbH, Germany
Past Editions
FACS'12 is the ninth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), Guimaraes (October 2010), and Oslo (September 2011).