June 2018 - computational.science

Call for Papers: ScalA@SC 2017 - Papers due August 28
by Engelmann, Christian 04 Nov '20

04 Nov '20

We apologize if you receive multiple copies of this notice. ----------------------------------------------------------------------------- ScalA’17: 8th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems held in conjunction with the SC17: The International Conference on High Performance Computing, Networking, Storage and Analysis in cooperation with ACM SIGHPC November 13, 2017, Denver, CO, USA <http://www.csm.ornl.gov/srt/conferences/Scala/2017> Novel scalable scientific algorithms are needed in order to enable key science applications to exploit the computational power of large-scale systems. This is especially true for the current tier of leading petascale machines and the road to exascale computing as HPC systems continue to scale up in compute node and processor core count. These extreme-scale systems require novel scientific algorithms to hide network and memory latency, have very high computation/communication overlap, have minimal communication, and have no synchronization points. Scientific algorithms for multi-petaflop and exa-flop systems also need to be fault tolerant and fault resilient, since the probability of faults increases with scale. Resilience at the system software and at the algorithmic level is needed as a crosscutting effort. Finally, with the advent of heterogeneous compute nodes that employ standard processors as well as GPGPUs, scientific algorithms need to match these architectures to extract the most performance. This includes different system-specific levels of parallelism as well as co-scheduling of computation. Key science applications require novel mathematical models and system software that address the scalability and resilience challenges of current- and future-generation extreme-scale HPC systems. Submission Guidelines Authors are invited to submit manuscripts in English structured as technical papers not exceeding 8 letter size (8.5in x 11in) pages including figures, tables, and references using the ACM format for conference proceedings. Submissions not conforming to these guidelines may be returned without review. Reference style files are available at <http://www.acm.org/sigs/publications/proceedings-templates>. All manuscripts will be reviewed and judged on correctness, originality, technical strength, and significance, quality of presentation, and interest and relevance to the workshop attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. At least one author of an accepted paper must register for and attend the workshop. Authors may contact the workshop program chair for more information. Papers should be submitted electronically at: <https://easychair.org/conferences/?conf=scala17>. Full papers will be published with the SC'17 workshop proceedings in the ACM Digital Library and IEEE Xplore. Selected papers will be invited for an extended version in a special issue of the Journal of Computational Science (JoCS). Important Dates - Full paper submission: August 28, 2017 - Notification of acceptance: September 11, 2017 - Final paper submission (firm): October 9, 2017 - Workshop/conference early registration: TBD - Workshop: November 13, 2017 Topics of interest include, but are not limited to: - Novel scientific algorithms that improve performance, scalability, resilience, and power efficiency - Porting scientific algorithms and applications to many-core and heterogeneous architectures - Performance and resilience limitations of scientific algorithms and applications at scale - Crosscutting approaches (system software and applications) in addressing scalability challenges - Scientific algorithms that can exploit extreme concurrency (e.g. 1 billion for exascale by 2020) - Naturally fault tolerant, self-healing, or fault oblivious scientific algorithms - Programming model and system software support for algorithm scalability and resilience Workshop Chairs - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Al Geist, Oak Ridge National Laboratory, USA - Jack Dongarra, University of Tennessee, Knoxville, USA Workshop Program Chair - Christian Engelmann, Oak Ridge National Laboratory, USA Program Committee - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Hartwig Anzt, University of Tennessee, Knoxville, USA - Rick Archibald, Oak Ridge National Laboratory, USA - Franck Cappello, Argonne National Laboratory and University of Illinois at Urbana Champaign, USA - Zizhong Chen, University of California, Riverside, USA - James Elliott, Sandia National Laboratories, USA - Nahid Emad, University of Versailles SQ, France - Christian Engelmann, Oak Ridge National Laboratory, USA - Wilfried Gansterer, University of Vienna, Austria - Michael Heroux, Sandia National Laboratories, USA - Kirk E. Jordan, IBM T.J. Watson Research, USA - Dieter Kranzlmueller, Ludwig-Maximilians-University Munich, Germany - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Piotr Luszczek, University of Tennessee, Knoxville, USA - Michael Mascagni, Florida State University, USA - Ron Perrot, University of Oxford, UK - Yves Robert, ENS Lyon, France - Stuart Slattery, Oak Ridge National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. R&D Staff Scientist Computer Science Research Group Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

3 28

CFP: Resilience@Euro-Par 2017 - Papers due May 5
by Christian Engelmann 08 May '19

08 May '19

We apologize if you receive multiple copies of this call for papers. -------------------------------------------------------------------------------- 10th Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids <http://www.csm.ornl.gov/srt/conferences/Resilience/2017> in conjunction with the 23rd International European Conference on Parallel and Distributed Computing (Euro-Par), Santiago de Compostela, Spain, August 28 - September 1, 2017 <http://europar2017.usc.es> Overview: Resilience is a critical challenge as high performance computing (HPC) systems continue to increase component counts, individual component reliability decreases (such as due to shrinking process technology and near-threshold voltage (NTV) operation), and software complexity increases. Application correctness and execution efficiency, in spite of frequent faults, errors, and failures, is essential to ensure the success of the extreme-scale HPC systems, cluster computing environments, Grid computing infrastructures, and Cloud computing services. While a fault (e.g., a bug or stuck bit) is the cause of an error, its manifestation as a state change is considered an error (e.g., a bad value or incorrect execution), and the transition to an incorrect service is observed as a failure (e.g., an application abort or system crash). A failure in a computing system is typically observed through an application abort or a full/partial service or system outage. A detectable correctable error is often transparently handled by hardware, such as a single bit flip in memory that is protected with single-error correction double-error detection (SECDED) error correcting code (ECC). A detectable uncorrectable error (DUE) typically results in a failure, such as multiple bit flips in the same addressable word that escape SECDED ECC correction, but not detection, and ultimately cause an application abort. An undetectable error (UE) may result in silent data corruption (SDC), e.g., an incorrect application output. There are many other types of hardware and software faults, errors, and failures in computing systems. Resilience for HPC systems encompasses a wide spectrum of fundamental and applied research and development, including theoretical foundations, fault detection and prediction, monitoring and control, end-to-end data integrity, enabling infrastructure, and resilient solvers and algorithm-based fault tolerance. This workshop brings together experts in the community to further research and development in HPC resilience and to facilitate exchanges across the computational paradigms of extreme-scale HPC, cluster computing, Grid computing, and Cloud computing. Submission Guidelines: Authors are invited to submit papers electronically in English in PDF format. Submitted manuscripts should be structured as technical papers and BETWEEN 10 AND 12 PAGES, including figures, tables and references, using Springer's Lecture Notes in Computer Science (LNCS) format at <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. Papers with less than 10 or more than 12 pages will not be accepted due to publisher guidelines. Submissions should include abstract, key words and the e-mail address of the corresponding author. Papers not conforming to these guidelines may be returned without review. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date or not appropriately structured may also not be considered. The proceedings will be published in Springer's LNCS as post-conference proceedings. At least one author of an accepted paper must register for and attend the workshop for inclusion in the proceedings. Authors may contact the workshop program chairs for more information. Important websites: - Resilience 2017 Website: <http://www.csm.ornl.gov/srt/conferences/Resilience/2017> - Resilience 2017 Submissions: <https://easychair.org/conferences/?conf=europar2017workshops> - Euro-Par 2017 website: <http://europar2017.usc.es> Topics of interest include, but are not limited to: - Theoretical foundations for resilience: - Metrics and measurement - Statistics and optimization - Simulation and emulation - Formal methods - Efficiency modeling and uncertainty quantification - Fault detection and prediction: - Statistical analyses - Machine learning - Anomaly detection - Data and information collection - Visualization - Monitoring and control for resilience: - Platform and application monitoring - Response and recovery - RAS theory and performability - Application and platform knobs - Tunable fidelity and quality of service - End-to-end data integrity: - Fault tolerant design - Degraded modes - Forward migration and verification - Fault injection - Soft errors - Silent data corruption - Enabling infrastructure for resilience: - RAS systems - System software and middleware - Programming models - Tools - Next-generation architectures - Resilient solvers and algorithm-based fault tolerance: - Algorithmic detection and correction of hard and soft faults - Resilient algorithms - Fault tolerant numerical methods - Robust iterative algorithms - Scalability of resilient solvers and algorithm-based fault tolerance Important Dates: - Workshop papers due: May 5, 2017 - Workshop author notification: June 16, 2017 - Workshop early registration: TBD - Workshop paper (for informal workshop proceedings): July 21, 2017 - Workshop camera-ready papers: October 3, 2017 General Co-Chairs: - Stephen L. Scott Senior Research Scientist - Systems Research Team Tennessee Tech University and Oak Ridge National Laboratory, USA scottsl(a)ornl.gov - Chokchai (Box) Leangsuksun, SWEPCO Endowed Associate Professor of Computer Science Louisiana Tech University, USA box(a)latech.edu Program Co-Chairs: - Patrick G. Bridges University of New Mexico, USA bridges(a)cs.unm.edu - Christian Engelmann Oak Ridge National Laboratory , USA engelmannc(a)ornl.gov Program Committee: - Ferrol Aderholdt, Oak Ridge National Laboratory, USA - Dorian Arnold, University of New Mexico, USA - Rizwan Ashraf, Oak Ridge National Laboratory, USA - Wesley Bland, Intel Corporation, USA - Hans-Joachim Bungartz, Technical University of Munich, Germany - Franck Cappello, Argonne National Laboratory and University of Illinois at Urbana-Champaign, USA - Marc Casas, Barcelona Supercomputer Center, Spain - Zizhong Chen, University of California at Riverside, USA - Robert Clay, Sandia National Laboratories, USA - Miguel Correia, Universidade de Lisboa, Portugal - Nathan DeBardeleben, Los Alamos National Laboratory, USA - James Elliott, Sandia National Laboratories, USA - Kurt Ferreira, Sandia National Laboratories, USA - Michael Heroux, Sandia National Laboratories, USA - Saurabh Hukerikar, Oak Ridge National Laboratory, USA - Dieter Kranzlmueller, Ludwig-Maximilians University of Munich, Germany - Sriram Krishnamoorthy, Pacific Northwest National Laboratory, USA - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Scott Levy, University of New Mexico, USA - Kathryn Mohror, Lawrence Livermore National Laboratory, USA - Christine Morin, INRIA Rennes, France - Dirk Pflueger, University of Stuttgart, Germany - Nageswara Rao, Oak Ridge National Laboratory, USA - Alexander Reinefeld, Zuse Institute Berlin, Germany - Rolf Riesen, Intel Corporation, USA - Yves Robert, ENS Lyon, France - Thomas Ropars, Universite Grenoble Alpes, France - Martin Schulz, Lawrence Livermore National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. R&D Staff Scientist Computer Science Research Group Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

2 10

IEEE HPCS Workshop on High Performance Computing Systems for Bioinformatics and Life Sciences (BILIS 2017) - Ext Deadline
by Mario Cannataro 03 Oct '18

03 Oct '18

I apologize for any cross-posting of this announcement. ======================================================================================== Int. Workshop on High Performance Computing Systems for Bioinformatics and Life Sciences (BILIS 2017) http://hpcs2017.cisedu.info/conference/workshops---hpcs2017/workshop17-bilis July 17 – July 21, 2017 Genoa, Italy held in conjunction with International Conference on High Performance Computing & Simulation (HPCS 2017) http://hpcs17.cisedu.info/ ======================================================================================== * * * CALL FOR PAPERS * * * EXTENDED Submission Deadline: April 15, 2017 Submissions could be for full papers, short papers, poster papers, or posters ======================================================================================== IMPORTANT DATES Paper Submissions: --------------------------------- April 15, 2017 - Extended Acceptance Notification: --------------------------- April 28, 2017 Camera Ready Papers and Registration Due by: ------- May 11, 2017 Conference Dates: --------------------------------- July 17 – 21, 2017 ======================================================================================== SCOPE AND OBJECTIVES Incorporating new advancements of Information Technology (IT) in general and High Performance Computing (HPC) in particular in the domain of Life Sciences and Biomedical Research continues to receive tremendous attention of researchers, biomedical institutions and the rest of the biomedical community. Although medical instruments have benefited a great deal from the technological advances of the couple of decades, the impact of integrating IT advancements in addressing critical problems in biomedical research remains limited and the process of penetrating IT tools in the medical profession continues to be a very challenging problem. For example, the use of electronic medical records and Hospital Information Systems in improving health care remains fragmented. Similarly, the use of advanced computational tools seamlessly in the biomedical research cycle continues to be minimal. Due to the computational intensive problems in life sciences, the marriage between the Bioinformatics domain and high performance computing is critical to the advancement of Biosciences. In addition, the problems in this domain tend to be highly parallelizable and deal with large datasets, hence using HPC is a natural fit. The Bioinformatics domain is rich in applications that require extracting useful information from very large and continuously growing sequence of databases. Most methods used for analyzing DNA/Protein sequences are known to be computationally intensive, providing motivation for the use of powerful computational systems with high throughput characteristics. Moreover, high-throughput wet lab platforms such as next generation sequencing, microarray and mass spectrometry, are producing a huge amount of experimental "omics" data. The increasing availability of omics data poses new challenges to bioinformatics applications that need to face in a semi-automatic way an overwhelming availability of raw data. Main challenges regard: 1) the efficient storage, retrieval and integration of experimental data; 2) their efficient and high-throughput preprocessing and analysis; 3) the building of reproducible "in silico" experiments; 4) the integration of analysis results with pre-existing knowledge usually stored into ontologies. As the storage, preprocessing and analysis of raw experimental data is becoming the main bottleneck of the analysis pipeline, parallel computing is playing an important role in all steps of the life sciences research pipeline, from raw data management and processing, to data integration and analysis, and to data exploration and visualization. Moreover, Cloud Computing is becoming the key technology to hide the complexity of computing infrastructures, to reduce the cost of the data analysis task, and especially to change the overall business model of biomedical research and health provision. Considering the complex analysis pipeline of the biomedical research, the bottleneck is more and more moving toward the storage, integration, and analysis of experimental data, as well as their correlation and integration with publicly available data banks In such a scenario, large-scale distributed databases and parallel bioinformatics tools are key tools for organizing and exploring biological and biomedical data with the aim to discover new knowledge in biology and medicine. In the current Information age, further progress of Medical Sciences requires successful integration with Computational and Information Sciences. The workshop attempts to attract innovative ways of how such integration can be achieved via Bioinformatics and Biomedical Informatics research, particularly in taking advantage of the new advancements in HPC systems. The focus of data analysis and data mining tools in biomedical research highlights the current state of research in the key biomedical research areas such as bioinformatics, medical informatics and biomedical imaging. Addressing performance concerns in managing and accessing medical data, while facilitating the ability to integrate and correlate different biomedical databases remains an outstanding problem in biomedical research. The amount of available biomedical data continues to grow in an exponential rate; however, the impact of utilizing such resources remains minimal. The development of innovative tools in HPC environments to integrate, analyze and mine such data sources is a key step towards achieving large impact levels. The workshop focuses on topics related to the utilization of HPC systems and new models of parallel computing and cloud computing in problems related to Biomedical Informatics and Life Sciences, along with the use of data integration and data mining tools to support biomedical research and Health Care. The BILIS Workshop topics include (but are not limited to) the following: HPC for the Analysis of Biological Data Bioinformatics Tools for Health Care Parallel Algorithms for Bioinformatics Applications Ontologies in Biology and Medicine Integration and Analysis of Molecular and Clinical Data Parallel Bioinformatics Algorithms Algorithms and Tools for Biomedical Imaging and Medical Signal Processing Energy Aware Scheduling Techniques for Large Scale Biomedical Applications HPC for analyzing Biological Networks Next Generation Sequencing and Advanced Tools for DNA Assembly HPC for Gene, Protein/RNA Analysis and Structure Prediction Identification of Biomarkers Biomedical Visualization Tools Efficient Clustering and Classification Algorithms Correlation Networks in Biomedical Research Data Mining Techniques in Biomedical Applications Heterogeneous Data Integration HPC systems for Ontology and Database Integration Pattern Recognition and Search Tools in Biological and Clinical Databases Ubiquitous Medical Knowledge Discovery and Exchange HPC for Monitoring and Treatment Facilities Drug Design and Modeling Computer Assisted Surgery and Medical Procedures Remote Patient Monitoring, Homecare Applications Mobile and Wireless Healthcare and Biomedical Applications Cloud Computing for Bioinformatics, Medicine, and Health Systems INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to HPC for Bioinformatics, Healthcare and Life Sciences. Submitted papers must not have been published or simultaneously submitted elsewhere. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2017.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the workshop organizers via email as attachments to Hesham Ali: hali(a)unomaha.edu, Mario Cannataro: cannataro(a)unicz.it. Acknowledgement will be sent within 48 hours of submission. Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2017 conference to present the paper at the workshop. PROCEEDINGS Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2017 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. SPECIAL ISSUE Plans are underway to have the best papers, in extended version, selected for possible publication in a journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the workshop, please contact the workshop organizers. IMPORTANT DATES Paper Submissions: ------------------------------------ April 15, 2017 - Extended Acceptance Notification: ------------------------------ April 28, 2017 Camera Ready Papers and Registration Due by: ---------- May 11, 2017 Conference Dates: ------------------------------------ July 17 – 21, 2017 WORKSHOP ORGANIZERS Prof. Hesham H. Ali Department of Computer Science College of Information Science and Technology University of Nebraska at Omaha Omaha, NE 68182 USA Email: hesham(a)unomaha.edu Prof. Mario Cannataro Department of Medical and Surgical Sciences University "Magna Græcia" of Catanzaro Viale Europa (Località Germaneto) 88100 Catanzaro, Italy Email: cannataro(a)unicz.it

1 7

SBAC-PAD 2018 Conference (Lyon) : Call for Posters - Deadline : July 20
by Laurent Lefevre 26 Jun '18

26 Jun '18

SBAC-PAD 2018 - Call for Posters 30th International Symposium on Computer Architecture and High Performance Computing September 24-27, 2018 École Normale Supérieure, Lyon, France https://graal.ens-lyon.fr/sbac-pad/index.php/call-for-posters SBAC-PAD is an international symposium, started in 1987, which has continuously presented an overview of new developments, applications, and trends in parallel and distributed computing technologies. SBAC-PAD is open for faculty members, researchers, specialists and graduate students around the world. In this edition, the symposium will be held at the École Normale Supérieure of Lyon, in France. Known as the Gastronomy Capital, Lyon is the 2nd largest economic and industrial region in France, and has become one of the favorite destinations for tourism in Europe. We encourage submissions to the SBAC-PAD 2018 poster session. Posters will be presented during the symposium. Please submit a PDF document that includes only an one-page draft of the poster to be presented. We ask only for poster drafts to ensure their quality and to provide feedback to poster presenters. Important Dates: - Poster submission deadline: July 20, 2018 - Acceptance notification: August 1, 2018 Topics of interest include (but are not limited to): - Application-specific systems - Architecture and programming support for emerging domains (Big Data, Deep Learning, Machine learning, Cognitive Systems) - Benchmarking, performance measurements, and analysis - Cloud, cluster, and edge/fog computing systems - Embedded and pervasive systems - GPUs, FPGAs and accelerator architectures - Languages, compilers, and tools for parallel and distributed programming - Modeling and simulation methodology - Operating systems and virtualization - Parallel and distributed systems, algorithms, and applications - Power and energy-efficient systems - Processor, cache, memory, storage, and network architecture - Real-world applications and case studies - Reconfigurable, resilient and fault-tolerant systems Submission Instructions: Submit your poster draft in PDF format via the submission system (https://easychair.org/conferences/?conf=sbacpad-posters2018) The poster draft should include all information (title, authors' names and affiliations). Those whose posters are accepted for presentation will be asked to prepare a A0 full size color poster. The symposium will provide boards for authors to display their posters. Poster chairs : * Laurent Lefèvre, Inria, ENS Lyon, University of Lyon, France * Marcos Dias de Assuncao, Inria, ENS Lyon, University of Lyon, France * Srikumar Venugopal, IBM Research, Ireland * Alfredo Goldman, Sao Paulo University, Brazil -- --- Dr Laurent LEFEVRE, Permanent Inria Researcher Inria AVALON - LIP (UMR CNRS, Inria, ENS, UCB) Bureau 317, Ecole Normale Superieure de Lyon 46, allee d'Italie - 69364 LYON Cedex 07 - FRANCE Tel: +33 (0) 4 26 23 38 85 Fax: +33 (0) 4 7272 8080 laurent.lefevre(a)ens-lyon.fr http://perso.ens-lyon.fr/laurent.lefevre ---

1 0

Extended deadline - 5th Int. Workshop on Information Fusion for Smart Mobility Solutions
by Stephane Galland 22 Jun '18

22 Jun '18

CALL FOR PAPERS Fifth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS18) 5-8 November, 2018, Leuven, Belgium. In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2018. http://www.multiagent.fr/Conferences:IFSMS18 <p>The 5th International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS'18) provides an international forum on the latest technologies and research in the field of smart mobility solutions. We are living in a world where cars will soon all be very well-equipped with sensors such as GPS sensors, laser radars, infrared parking sensors, rear dead angle cameras, etc. Besides that, the infrastructure itself is likely to soon exploit technologies currently widely used, like smartphones, navigators and digital radio broadcast. Finally, there have been huge advances on traffic simulation, optimization, intensive computational techniques, distributed computing, data networks, wireless connectivity, and many others. If we combine all of this, there is the richest variety ever of information sources available for smart mobility solutions. The technology is out there, and now it is needed to take firm steps towards wisely combining the sources of information into smart applic ations that make roads safer and ensure a smooth mobility of individuals.</p> <p>IFSMS 2018 will be held in Leuven, Belgium (5-8 September 2018) in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2018) http://cs-conferences.acadiau.ca/euspn-18/ ----- Scope ----- The aim of the proposed workshop is to enhance profitable discussions on what techniques, software, methodologies, transportation and traffic models, and in general, data fusion techniques are being explored for its use for traffic simulation and mobility management and other intelligent transportation system applications for smart mobility. Topics of interest include (but are not limited to): - Agent-based modeling and simulation; - Data fusion and Smart Transportation; - Models of autonomous cars or flying vehicles/drones for smart transportation; - Social and emergent behavior in multi-agent systems applied to traffic and transport; - Implementation Issues (algorithmic issues, real-world computational demands, real-time constraints in the context of fusion systems for transportation infrastructures); - Environmental aware smart data fusion applications; - Advanced architectures for traffic simulation using data mining as real-world input; - Calibration and validation of agent-based models for traffic and transportation; - Role of multi-agent methodologies for complex systems; - Multi-modal routing of agents in a dynamic traffic environment. --------------- Important Dates --------------- - Submission deadline: June 30th, 2018 (extended) - Notification: August 8th, 2018 - Final date for camera-ready copy: September 8th, 2018 - Workshop: November 5th, 2018 - November 8th, 2018 --------------- Workshop Chairs --------------- - Ansar-Ul-Haque YASAR (Hasselt University, Belgium) - Stephane GALLAND (Universite Bourgogne Franche-Comté, France)

1 0

[CFP][Deadline approaching]: 14th International Workshop on Security and Trust Management (STM 2018)
by Nicholas Kolokotronis 22 Jun '18

22 Jun '18

Dear colleagues, please accept our apologies for cross-postings. ----------------------------------------------------------------------------------------------------- C a l l F o r P a p e r s 14th International Workshop on Security and Trust Management (STM 2018) Barcelona, Spain, September 6-7, 2018 www.nics.uma.es/pub/stm18 co-located with the 23rd European Symposium On Research in Computer Security (ESORICS 2018) Full-text paper submission due: June 29, 2018 ----------------------------------------------------------------------------------------------------- CONFERENCE OUTLINE: =================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2018 is the fourteenth workshop in this series and will be held in Barcelona, Spain, in conjunction with the 23rd European Symposium On Research in Computer Security (ESORICS 2018). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Topics of interest include, but are not limited to: - Access control - Anonymity - Applied cryptography - Authentication - Complex systems security - Data and application security - Data protection - Data/system integrity - Digital rights management - Economics of security and privacy - Formal methods for security and trust - Identity management - Legal and ethical issues - Mobile security - Networked systems security - Operating systems security - Privacy - Security and trust metrics - Security and trust policies - Security and trust management architectures - Security and trust for big data - Security and trust in cloud environments - Security and trust in content delivery networks - Security and trust in crowdsourcing - Security and trust in grid computing - Security and trust in the Internet of Things - Security and trust in pervasive computing - Security and trust in services - Security and trust in social networks - Social implications of security and trust - Trust assessment and negotiation - Trust in mobile code - Trust models - Trust management policies - Trust and reputation systems - Trusted platforms - Trustworthy systems and user devices PAPER SUBMISSION: ================= All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. All submissions must be written in English, and only PDF files will be accepted (a Latex source file will be required for the final version of accepted papers). The final version of an accepted paper must be in the format required for publication in the LNCS series. Submissions not meeting these guidelines risk rejection without consideration of their merits. Submissions are to be made to the submission web site at: https://easychair.org/conferences/?conf=stm2018. Papers must be received by the deadline of June 29, 2018 (11:59 p.m. American Samoa time). Authors of accepted papers must guarantee that their papers will be presented at the workshop. As in previous years, the proceedings are planned to be published by Springer in the Lecture Notes in Computer Science (LNCS) series. A paper submitted to STM 2018 cannot be under review for any other conference or journal during the time it is being considered for STM 2018. Furthermore, after you submit to STM 2018, you must await our response before submitting elsewhere. If you submit your paper to another conference or journal either before/after submission of the paper to STM 2018, we will reject your paper without review and will also notify the other conference/journal. This restriction applies to identical as well as to substantially similar papers. IMPORTANT DATES: ================ Paper submission due: June 29, 2018 Notification to authors: July 30, 2018 Camera-ready due: August 6, 2018 Program Chairs: =============== - Sokratis Katsikas, Open University of Cyprus and Norwegian University of Science and Technology - NTNU - Cristina Alcaraz, University of Malaga, Spain Program Committee: ================== - Ken Barker, University of Calgary, Canada - Jorge Cuellar, Siemens AG, Germany - Sabrina De Capitani di Vimercati, University of Milano, Italy - Josep Domingo-Ferrer, Universitat Roviro i Virgili, Spain - Carmen Fernández-Gago, University of Malaga, Spain - Sara Foresti, Universita degli Studi di Milano, Italy - Joaquin Garcia-Alfaro, Telecom SudParis, France - Vasileios Gkioulos, Norwegian University of Science and Technology, Norway - Ehud Gudes, Ben-Gurion University, Israel - Nicholas Kolokotronis, University of the Peloponnese, Greece - Giovanni Livraga, University of Milano, Italy - Fabio Martinelli, IIT-CNR, Italy - Sjouke Mauw, University of Luxembourg, Luxembourg - Chris Mitchell, Royal Holloway, University of London, UK - Charles Morisset, Newcastle University, UK - Günther Pernul, Universität Regensburg, Germany - Marinella Petrocchi, IIT-CNR, Italy - Silvio Ranise, FBK, Italy - Pierangela Samarati, University of Milano, Italy - Ralf Sasse, ETH Zurich, Switzerland - Daniele Sgandurra, Royal Holloway, University of London, UK - Georgios Spathoulas, University of Thessaly, Greece Publicity Chair: ================ - Nicholas Kolokotronis, University of the Peloponnese, Greece

1 0

[ICTH-2018] Extended deadline - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018)
by Wim Ectors 22 Jun '18

22 Jun '18

Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: June 30, 2018 (Extended) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-comm…) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chairs Wael M. El-Medany, University of Bahrain, Bahrain Naba Haque, KellyOCG, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee Â http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair Â Elhadi Shakshuki, Acadia University, CanadaÂ Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada

1 0

Call for Poster Contributions: CoSaS 2018
by Bartuschat, Dominik 19 Jun '18

19 Jun '18

Dear colleagues, The HPC symposium “Computational Science at Scale” CoSaS 2018 will take place in Erlangen, Germany from Wednesday, September 5 until Friday, September 7, 2018. This symposium is organized within the scope of the DFG priority programme "Software for ExaScale Computing" (SPPEXA) that addresses fundamental research on the various aspects of HPC software. The main objectives of the symposium are to review the state of art in large-scale numerical simulation with applications in science and engineering and to be a forum for the exchange of results and ideas in HPC. Specific topics of interest include, but are not limited to: Large-scale parallel applications Scalable parallel algorithms Parallel computer architectures Performance analysis, tuning, and debugging Fault tolerance The program will consist of high-level invited talks, a public evening lecture, and a poster session. This session will include a Poster Blitz (i.e. a brief presentation to promote your poster) and a Best Poster Award. Abstracts (of up to 150 words) for the posters from the HPC community are welcome and should be submitted before Friday, July 6, 2018 via https://www.cosas2018.fau.de . Important dates: July 6, 2018 poster abstract submission July 23, 2018 acceptance notification August 6, 2018 registration deadline Invited speakers (preliminary): Horst Simon - Lawrence Berkeley National Laboratory, USA Martin Berzins - University of Utah, USA Edmond Chow - Georgia Institute of Technology, Atlanta, USA Thierry Poinsot, CERFACS, Toulouse, France Program chairmen: Ulrich Ruede - University of Erlangen-Nuernberg, Germany Gerhard Wellein - University of Erlangen-Nuernberg, Germany Harald Koestler - University of Erlangen-Nuernberg, Germany Program committee: Achim Basermann - German Aerospace Center (DLR), Cologne, Germany Peter Bastian - University of Heidelberg, Germany Matthias Bolten - University of Wuppertal, Germany Hans-Joachim Bungartz, Technical University of Munich, Germany Christian Engwer - University of Muenster, Germany Dominik Goedekke - University of Stuttgart, Germany Georg Hager - University of Erlangen-Nuernberg, Germany Guido Kanschat - University of Heidelberg, Germany Axel Klawonn, University of Cologne, Germany Rolf Krause - Institute of Computational Science, Lugano, Switzerland Olaf Schenk - Institute of Computational Science, Lugano, Switzerland Stefan Turek - TU Dortmund University, Germany Gerhard Wellein - University of Erlangen-Nuernberg, Germany Gabriel Wittum - Goethe University Frankfurt, Germany Felix Wolf - TU Darmstadt, Germany Organizing committee: Dominik Bartuschat - University of Erlangen-Nuernberg, Germany Benjamin Uekermann - Technical University of Munich, Germany Alexandra Lukas-Rother - University of Erlangen-Nuernberg, Germany Iris Weiß - University of Erlangen-Nuernberg, Germany Julia Deserno - University of Erlangen-Nuernberg, Germany Frank Deserno - University of Erlangen-Nuernberg, Germany For further information, registration, and poster submission, please see our symposium website https://www.cosas2018.fau.de In case of any further questions, please do not hesitate to email us at conference-cosas2018-orga(a)fau.de We are looking forward to welcoming you at CoSaS 2018. With best regards, Dominik Bartuschat on behalf of the organizing committee

1 0

CFP: IEEE ISPA2017 (Parallel and Distributed Processing with Applications), Dec. 2018, Melbourne, Australia
by Jesson Butt 16 Jun '18

16 Jun '18

Call for papers: The 16th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2018), 11-13 Dec. 2018, Melbourne, Australia. Website: http://www.swinflow.org/confs/2018/ispa/ Key dates: Submission Deadline: August 31, 2018 (11:59pm UTC/GMT, firm) Notification: September 30, 2018 Final Manuscript Due: October 15, 2018 Submission site: http://www.swinflow.org/confs/2018/ispa/submission.htm Publication: Proceedings will be published by IEEE CS Press. Special issues: Distinguished papers will be selected for special issues in Information Sciences, Future Generation Computer Systems, Journal of Parallel and Distributed Computing, Concurrency and Computation: Practice and Experience =========== Introduction The IEEE ISPA 2018 (16th IEEE International Symposium on Parallel and Distributed Processing with Applications) is a forum for presenting leading work on parallel and distributed computing and networking, including architecture, compilers, runtime systems, applications, reliability, security, parallel programming models and much more. During the symposium, scientists and engineers in both academia and industry are invited to present their work on concurrent and parallel systems (multicore, multithreaded, heterogeneous, clustered systems, distributed systems, grids, clouds, and large scale machines). The 16th IEEE ISPA follows the tradition of previous successful IEEE ISPA conferences in the years from 2003 to 2017 in Asia, Europe, Australia and North America. It will feature sessions of regular presentations, workshops, tutorials and keynote speeches. IEEE ISPA 2018 is sponsored by the IEEE Technical Committee on Scalable Computing (TCSC) and the IEEE Computer Society. IEEE ISPA is particularly interested in research addressing heterogeneous computing with the use of accelerators, mobile computing, approximate computing, tools and methodologies to improve the quality of parallel programming and applying generic computing approaches to networks, in particular Software Defined networking and its applications. Scope and Topics *(1) Systems and Architectures Track* - Cloud computing and data center technology - Migration of computations - Multi-clouds environments, cloud federation, interoperability - Energy management and Green Computing - Wireless and mobile networks - Internet-Of-Things (IoT) - Social Networks, crowdsourcing, and P2P systems *(2) Technologies and Tools Track* - Building block processors: FPGA, multicore, GPU, NoC, SoC - Parallel and distributed algorithms - Tools/environments for parallel/distributed software development - Novel parallel programming paradigms - Programming models for cloud services and applications - Code generation and optimization - Compilers for parallel computers - Middleware and tools - Scheduling and resource management - Performance simulations, measurement, and evaluations - Reliability, fault tolerance, dependability, and security *(3) Applications Track* - High-performance scientific and engineering computing - Grid and cluster computing - Pervasive and ubiquitous computing - Databases, data mining, and data management - Big data and business analytics - Scientific cloud systems and services - Internet computing and web services - Application scenarios of IoT and ubiquitous computing - Experience with computational, workflow and data-intensive applications - Software Defined Networks and its applications Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2018/ispa/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be selected for special issues in Information Sciences, Future Generation Computer Systems, Journal of Parallel and Distributed Computing, Concurrency and Computation: Practice and Experience. Honorary Chairs Wanlei Zhou, Deakin University, Australia Albert Zomaya, The University of Sydney, Australia General Chairs Geoffrey Fox, Indiana University, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence Yang, St. Francis Xavier University, Canada Program Chairs Mianxiong Dong, Muroran Institute of Technology, Japan Rajiv Ranjan, Newcastle University, UK Massimo Cafaro, University of Salento, Lecce, Italy Workshop Chairs Young Choon Lee, Macquarie University, Australia Wei Zheng, Xiamen University, China

1 0

Postdoc Position: Trustable Robotics and Autonomous Systems
by Huascar Espinoza 14 Jun '18

14 Jun '18

Trustable Robotics and Autonomous Systems http://www-instn.cea.fr/en/education-and-training/research-training/post-do… CONTEXT ------- The LSEA (Embedded and Autonomous Systems Design Laboratory) is working on methods, design principles and tools for the engineering of efficient and trustworthy software for embedded and autonomous systems. The laboratory has a recognized expertise in the field of model-based design of safety-critical systems, and has initiated an upstream work for the mastery of advanced technologies of safe self-adaptation and integration of trustworthy autonomy in critical systems. The lab plays an important role in standardization groups like AUTOSAR in the automotive domain as well as in the OMG (Object Management Group) standardization body responsible for the UML, SysML and MARTE standards, and contributes to the Eclipse open source model-based development platform Papyrus (www.eclipse.org/papyrus) Lab members are strongly involved in various industrial projects as well as collaborative French and European research projects for the development of model-based approaches for the design of autonomous real-time systems for robotics, automotive, railway, aerospace and smart energy systems. WORK DESCRIPTION ---------------- The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, OROCOS for real-time control, OpenCV for computer vision, or Gazebo for simulation. These RAS platforms embrace communities of hundreds of stakeholders, which need to be preserved and strengthened. However, these communities are still rather fragmented, by representing specific technologies. To strengthen these platforms, to enable interconnections between them, and also between new ones e.g. Artificial Intelligence (AI)-based technologies, CEA envisions a model-driven approach built on top of the current code-centric platforms. To do so, the H2020 RobMoSys project (www.robmosys.eu) coordinated by CEA, is establishing the first EU Digital Industrial Platform for Model-Driven Development of Robotics Systems. To address the robotics domain according to the RobMoSys methodology and structures, a set of CEA tools are being collected under the Papyrus4Robotics [1] [2] [3] umbrella. This project is strategic for the LSEA laboratory and the DILS department. The goal of this post-doc is to investigate and develop modular/compositional and predictable software architectures and interoperable design tools based on model-based (instead of code-centric) approaches. The work must be performed in the context of the RobMoSys project and other initiatives on assurance of robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide a unified model-based design, simulation, safety assessment and formal validation and verification environment. PROFILE ------- You did a PhD in the area of Software-intensive Systems Engineering not longer than two years ago. You have knowledge and expertise in developing tools for engineering embedded systems in any safety-critical industrial sector (e.g., energy, transport, health, or manufacturing). You are familiar with design methods, tools and middleware for the modelling, deployment, simulation of robotics software systems. You are aware of open software initiatives and you actively ensure that you remain aware of the latest developments in state-of-the art software technology. You are familiar with technology areas such as: • (Mandatory) Programming skills in languages such as Java, C and C++ • (Mandatory) Software modelling and transformation techniques: metamodeling, UML • (Highly Desirable) Knowledge of state-of-the-art software development environments and tools, in particular Eclipse: EMF, GMF • (Highly Desirable) ROS, Gazebo and related robotics technologies • (Desirable) knowledge on Artificial Intelligence: Machine/Deep Learning The age limit is 30 years old for post-doc offers. APPLICATION DOCUMENTS --------------------- Send the following documents to huascar.espinoza(a)cea.fr • Detailed CV • Motivation letter • Recommendation letters CONTACT PERSON -------------- Huascar ESPINOZA ORTIZ CEA LIST - PC 174 91191 Gif-sur-Yvette France Email: huascar.espinoza(a)cea.fr START DATE AND DURATION ----------------------- Start as soon as possible. Post-Doc positions last one year and can be renewed once only (for 1 year). [1] Kchir, S., Dhouib, S., Tatibouet, J., Gradoussoff, B., & Simoes, M. D. S. (2016, September). RobotML for industrial robots: Design and simulation of manipulation scenarios. In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on (pp. 1-8). IEEE. [2] Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014 [3] Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, "Safe adaptation of vehicle software systems”, Microprocessors and Microsystems - Embedded Hardware Design 52: 272-286 (2017).

1 0