posted by user: NICS || 10199 views || tracked by 22 users: [display]

ISARCS 2012 : 3rd International ACM Sigsoft Symposium on Architecting Critical Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Architecting Critical Systems
 
Link: http://www.nics.uma.es/ISARCS12/
 
When Jun 26, 2012 - Jun 28, 2012
Where Bertinoro, Italy
Abstract Registration Due Feb 14, 2012
Submission Deadline Feb 21, 2012
Notification Due Apr 9, 2012
Final Version Due May 1, 2012
Categories    architecture   critical systems   security   software engineering
 

Call For Papers

CALL FOR PAPERS

3rd International Symposium on Architecting Critical Systems (ISARCS 2012)
Bertinoro, Italy, June 26-28 2012
http://www.nics.uma.es/ISARCS12

Federated with CompArch 2012

ISARCS is at the third edition and it is the perfect venue for exchanging ideas on both theory and practice for architecting critical systems. Architecting these systems has the big challenge to guarantee both the perceived and objective dependability and security even accepting service degradation. This requires trade-off among the various attributes of dependability and security that cannot be considered in isolation. We are interested in submissions from both industry and academia, including, but not limited to, the following main areas:

Architectural styles and patterns
Architectural support for evolution
Aspects-oriented development
Assurance-based development
Automotive and avionic systems
Component-based development
Critical infrastructures
E-commerce, e-business, and e-government
Embedded, mobile, and ubiquitous systems
Extensible ADLs
Fault injection
Industrial case studies, challenges, problems, and solutions
Inspection techniques
Integration of processes, tools, and analysis techniques
Integrators (wrappers) for dependability
Model checking
Model-driven development
Redundancy and diversity
Runtime checks
Self-healing
Survivability and error confinement
Testing and simulation
Theorem proving
Tolerating architectural mismatches
Type checking techniques

Paper submissions: Accepted contributions will be published in the ACM Digital Library. Papers should not exceed 10 pages, must be written in English, and prepared according to the ACM style (http://www.acm.org/sigs/publications/proceedings-templates). Papers must not have been previously published or currently submitted elsewhere for publication. If accepted, the paper must be personally presented at ISARCS 2012 by one author. Submissions will be made through the EasyChair on-line submission system (see website).

IMPORTANT DATES
Abstract submission: February 14, 2012
Paper submission: February 21, 2012
Authors notification: April 9, 2012
Camera-Ready version: May 1, 2012

PC CHAIRS
Jorge Cuellar, SIEMENS CT, Germany
Javier Lopez, University of Malaga, Spain

GENERAL CHAIRS
Vincenzo Grassi, Università di Roma Tor Vergata, Italy
Raffaela Mirandola, Politecnico di Milano, Italy

PROGRAM COMMITTEE
Rami Bahsoon (University of Birmingham, UK)
Marco Bernardo (University of Urbino, Italy)
Wing-Kwong Chan (City University of Hong Kong, Hong Kong)
Michel R.V. Chaudron (Leiden University, The Netherlands)
Erik de Vink (TUE, The Netherlands)
Anthony Hall (Praxis Critical Systems, UK)
Bernhard Hämmerli (Acris GmbH/HSLU&HIG, Switzerland)
Valérie Issarny (INRIA, UR de Rocquencourt, France)
Christian D. Jensen (TUD, Denmark)
Tim Kelly (University of York, UK)
John C. Knight(University of Virginia, US)
Yves Le Traon (University of Luxembourg, Luxembourg)
Jorge Lopez (INDRA, Spain)
Volkmar Lotz (SAP, France)
Fabio Martinelli (CNR, Italy)
Fabio Massacci (University of Trento, Italy)
Martin Naedele (ABB, Switzerland)
Sebastian Nanz (ETH Zurich, Switzerland)
Bashar Nuseibeh (Open University, UK)
Flavio Oquendo (European University of Brittany, France)
Patrizio Pelliccione (University of L’Aquila, Italy)
Sampath Prahladavaradan (India Science Lab, India)
Ernesto Pimentel (University of Malaga, Spain)
Richard V. Robinson (Boeing, US)
Erich Rome (Fraunhofer IAIS, Germany)
Bill Roscoe (Oxford University, UK)
Roshana Roshandel (Seattle University, US)
Carsten Rudolph (Fraunhofer SIT, Germany)
Bernhard Rumpe (RWTH Aachen University, Germany)
John Rushby (SRI, US)
Riccardo Scandariato (KUL, Belgium)
Bran Selic (Malina Software, Canada)
Roberto Setola (Università Campus Bio-Medico, Italy)
Danny Weyns (Linnaeus University, Sweden)
Martin Wirsing (LMU, Germany)
Stephen Wolthusen (Royal Holloway, UK)

Related Resources

BIOTC--ACM, Ei and Scopus 2021   ACM--2021 3rd Blockchain and Internet of Things Conference (BIOTC 2021)--Ei Compendex, Scopus
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
ACM--BIOTC--Ei and Scopus 2021   ACM--2021 3rd Blockchain and Internet of Things Conference (BIOTC 2021)--Ei Compendex, Scopus
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
IECC--Ei and Scopus 2021   ACM--2021 3rd International Electronics Communication Conference (IECC 2021)--Ei Compendex, Scopus
JISA-CYBER-SEC 2020   Special Issue on Trends in Cybersecurity, Journal of Information Security and Applications, Elsevier
IECC--Ei Compendex and Scopus 2021   ACM--2021 3rd International Electronics Communication Conference (IECC 2021)--Ei Compendex, Scopus
CBW 2021   2nd International Conference on Cloud, Big Data and Web Services
ASIP--Ei and Scopus 2021   ACM--2021 3rd Asia Symposium on Image Processing (ASIP 2021)--Ei Compendex, Scopus
ASIP--Ei Compendex and Scopus 2021   ACM--2021 3rd Asia Symposium on Image Processing (ASIP 2021)--Ei Compendex, Scopus