CfP ISARCS 2013
3 views
Skip to first unread message
Davide Falessi
Dec 17, 2012, 2:57:14 PM12/17/12
to software-arch...@googlegroups.com
--------------------------------------------------------------------------------------
CALL FOR PAPERS
4TH ACM SIGSOFT International Symposium on Architecting Critical Systems (ISARCS 2013)
Vancouver, Canada, June 17-21, 2013
http://isarcs.comparch2013.org/
(part of the CompArch federated conference series)
Supported by ACM SIGSOFT (http://www.sigsoft.org/)
--------------------------------------------------------------------------------------
ISARCS is the premier symposium in the area of architectural design for dependable, safe and secure systems. It provides an exclusive forum for exchanging views on the theory and practice for architecting critical systems. A critical system is characterized by the perceived severity of consequences that system failures may cause. In that respect, in addition to appropriate development methods, techniques and tools, a critical system also requires the provision of assurances that it is able to fulfill its specified service.
As software systems continue to pervade every facet of our daily lives, our dependence on their safety, security, availability, and reliability grows. It has become increasingly clear that the architecture of a critical software system plays a crucial role in fulfilling its dependability requirements. This has called for effective methods, techniques, and tools that take architectural concerns into consideration during the design, construction, testing, maintenance, and upgrade of such systems.
ISARCS welcomes submissions from both industry and academia, including, but not limited to, the following topics:
- Architectural knowledge and patterns for critical systems
- Tools for construction, design, and testing of critical systems
- Architectural description languages, models, and notations
- Design techniques for software safety and security
- Testing and analysis of critical systems
- Self-healing and self-protecting critical systems
- Evolution and maintenance of critical systems
- Fault tolerant software design
- Industrial reports, case studies, and application domains
- Formal methods, model checking, and theorem proving for critical software design
- Emerging techniques for the construction of critical systems (MDE, AOP, etc.)
--------------------------------------------------------------------------------------
SUBMISSIONS
We solicit two types of submissions:
- Regular papers should describe original and significant results of theoretical, empirical, conceptual, or experimental research. In addition to research papers, ISARCS welcomes papers showcasing applications or industrial case studies. Papers are expected to provide detailed description of case studies and rigorous evaluation of the research. Regular papers are limited to 10 pages.
- Short papers should describe novel ideas or innovative proposals that have not been fully evaluated, but have shown promise. The aim of these papers is to stimulate discussion related to experiences and ideas, rather than to present mature results. Position papers are limited to 6 pages.
All accepted contributions will be published in the ACM digital library. Submissions should comply with the standard ACM format for conference proceedings: www.acm.org/sigs/pubs/proceed/template.html
Submissions can be made via Easychair: https://www.easychair.org/conferences/?conf=isarcs2013
All contributions will be reviewed rigorously by three members of the international Program Committee, with an emphasis on originality, usefulness, practicality and overall quality. Papers must not have been previously published or currently considered for publication elsewhere. The accepted paper must be personally presented at the ISARCS 2013 conference by one of the authors in order for it to appear in the proceedings.
The best contributions of the conference will receive the ACM SIGSOFT Distinguished Paper Award, given by the ACM Special Interest Group on Software Engineering.
--------------------------------------------------------------------------------------
IMPORTANT DATES
- Deadline for Abstracts: February 06, 2013
- Deadline for Paper Submission: February 13, 2013
- Notification to Authors: March 25, 2013
--------------------------------------------------------------------------------------
GENERAL CHAIR
Philippe Kruchten, University of British Columbia, Canada
PROGRAM CHAIR
Sam Malek, George Mason University, USA
Finances
Ali Mesbah, University of British Columbia, Canada
Publicity
Davide Falessi, Fraunhofer Center, USA
Publications
Ipek Ozkaya, Software Engineering Institute, USA
Webmasters
Rich Hilliard, IEEE, USA
Naeem Esfahani, George Mason University, USA
PROGRAM COMMITTEE
Muhammad Ali Babar, IT University of Copenhagen, Denmark
Paris Avgeriou, University of Groningen, Netherlands
Rami Bahsoon, University of Birmingham, UK
Steffen Becker, University of Paderborn, Germany
Yuanfang Cai, Drexel University, USA
Jane Cleland-Huang, DePaul University, USA
Vittorio Cortellessa, University of L'Aquila, Italy
Ivica Crnkovic, Mälardalen University, Sweden
Alexander Egyed, Johannes Kepler University, Austria
David Garlan, Carnegie Mellon University, USA
Valerie Issarny, INRIA, France
John Knight, University of Virginia, USA
Patricia Lago, VU University Amsterdam, Netherlands
Yves Le Traon, University of Luxembourg, Luxembourg
Grace Lewis, CMU Software Engineering Institute, USA
Javier Lopez, University of Malaga, Spain
Nenad Medvidovic, University of Southern California, USA
Raffaela Mirandola, Politecnico di Milano, Italy
Martin Naedele, ABB Corporate Research, Switzerland
Flavio Oquendo, IRISA - European University of Brittany – UBS, France
Patrizio Pelliccione, University of L'Aquila, Italy
Roshanak Roshandel, Seattle University, USA
Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium
Danny Weyns, Linnaeus University, Sweden
Dianxiang Xu, Dakota State University, USA
Uwe Zdun, University of Vienna, Austria
Liming Zhu, National ICT Australia, Australia
CALL FOR PAPERS
4TH ACM SIGSOFT International Symposium on Architecting Critical Systems (ISARCS 2013)
Vancouver, Canada, June 17-21, 2013
http://isarcs.comparch2013.org/
(part of the CompArch federated conference series)
Supported by ACM SIGSOFT (http://www.sigsoft.org/)
--------------------------------------------------------------------------------------
ISARCS is the premier symposium in the area of architectural design for dependable, safe and secure systems. It provides an exclusive forum for exchanging views on the theory and practice for architecting critical systems. A critical system is characterized by the perceived severity of consequences that system failures may cause. In that respect, in addition to appropriate development methods, techniques and tools, a critical system also requires the provision of assurances that it is able to fulfill its specified service.
As software systems continue to pervade every facet of our daily lives, our dependence on their safety, security, availability, and reliability grows. It has become increasingly clear that the architecture of a critical software system plays a crucial role in fulfilling its dependability requirements. This has called for effective methods, techniques, and tools that take architectural concerns into consideration during the design, construction, testing, maintenance, and upgrade of such systems.
ISARCS welcomes submissions from both industry and academia, including, but not limited to, the following topics:
- Architectural knowledge and patterns for critical systems
- Tools for construction, design, and testing of critical systems
- Architectural description languages, models, and notations
- Design techniques for software safety and security
- Testing and analysis of critical systems
- Self-healing and self-protecting critical systems
- Evolution and maintenance of critical systems
- Fault tolerant software design
- Industrial reports, case studies, and application domains
- Formal methods, model checking, and theorem proving for critical software design
- Emerging techniques for the construction of critical systems (MDE, AOP, etc.)
--------------------------------------------------------------------------------------
SUBMISSIONS
We solicit two types of submissions:
- Regular papers should describe original and significant results of theoretical, empirical, conceptual, or experimental research. In addition to research papers, ISARCS welcomes papers showcasing applications or industrial case studies. Papers are expected to provide detailed description of case studies and rigorous evaluation of the research. Regular papers are limited to 10 pages.
- Short papers should describe novel ideas or innovative proposals that have not been fully evaluated, but have shown promise. The aim of these papers is to stimulate discussion related to experiences and ideas, rather than to present mature results. Position papers are limited to 6 pages.
All accepted contributions will be published in the ACM digital library. Submissions should comply with the standard ACM format for conference proceedings: www.acm.org/sigs/pubs/proceed/template.html
Submissions can be made via Easychair: https://www.easychair.org/conferences/?conf=isarcs2013
All contributions will be reviewed rigorously by three members of the international Program Committee, with an emphasis on originality, usefulness, practicality and overall quality. Papers must not have been previously published or currently considered for publication elsewhere. The accepted paper must be personally presented at the ISARCS 2013 conference by one of the authors in order for it to appear in the proceedings.
The best contributions of the conference will receive the ACM SIGSOFT Distinguished Paper Award, given by the ACM Special Interest Group on Software Engineering.
--------------------------------------------------------------------------------------
IMPORTANT DATES
- Deadline for Abstracts: February 06, 2013
- Deadline for Paper Submission: February 13, 2013
- Notification to Authors: March 25, 2013
--------------------------------------------------------------------------------------
GENERAL CHAIR
Philippe Kruchten, University of British Columbia, Canada
PROGRAM CHAIR
Sam Malek, George Mason University, USA
Finances
Ali Mesbah, University of British Columbia, Canada
Publicity
Davide Falessi, Fraunhofer Center, USA
Publications
Ipek Ozkaya, Software Engineering Institute, USA
Webmasters
Rich Hilliard, IEEE, USA
Naeem Esfahani, George Mason University, USA
PROGRAM COMMITTEE
Muhammad Ali Babar, IT University of Copenhagen, Denmark
Paris Avgeriou, University of Groningen, Netherlands
Rami Bahsoon, University of Birmingham, UK
Steffen Becker, University of Paderborn, Germany
Yuanfang Cai, Drexel University, USA
Jane Cleland-Huang, DePaul University, USA
Vittorio Cortellessa, University of L'Aquila, Italy
Ivica Crnkovic, Mälardalen University, Sweden
Alexander Egyed, Johannes Kepler University, Austria
David Garlan, Carnegie Mellon University, USA
Valerie Issarny, INRIA, France
John Knight, University of Virginia, USA
Patricia Lago, VU University Amsterdam, Netherlands
Yves Le Traon, University of Luxembourg, Luxembourg
Grace Lewis, CMU Software Engineering Institute, USA
Javier Lopez, University of Malaga, Spain
Nenad Medvidovic, University of Southern California, USA
Raffaela Mirandola, Politecnico di Milano, Italy
Martin Naedele, ABB Corporate Research, Switzerland
Flavio Oquendo, IRISA - European University of Brittany – UBS, France
Patrizio Pelliccione, University of L'Aquila, Italy
Roshanak Roshandel, Seattle University, USA
Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium
Danny Weyns, Linnaeus University, Sweden
Dianxiang Xu, Dakota State University, USA
Uwe Zdun, University of Vienna, Austria
Liming Zhu, National ICT Australia, Australia
Reply all
Reply to author
Forward
0 new messages