The study of hyperproperties has recently gained a great deal of attention in the formal methods, security, and cyber-physical systems communities. The goal of HYPER 2021 is to foster the exchange of ideas on the topic of hyperproperties between researchers from these diverse communities and to present and discuss recent advances in logical formalisms for specifying hyperproperties, algorithmic methodologies for the verification, synthesis, and runtime verification of hyperproperties, as well as applications related to both the fields of security and cyber-physical systems.providing fault containment and recovery as well as online system repair.
The Journal of Software Engineering for Autonomous Systems is an international, peer-reviewed journal dedicated to distributing research and industrial results in the field of autonomous systems and software engineering, as well as overview papers in this area.
Frontiers in Computer Science publishes rigorously peer-reviewed research across all areas of fundamental and applied computational sciences. Led by Professor Kaleem Siddiqi of McGill University and supported by an outstanding Editorial Board of international researchers, this multidisciplinary open-access journal is at the forefront of disseminating and communicating scientific knowledge and impactful discoveries to academics, industry and the public worldwide.
The purpose of the AAAI conference series is to promote research in artificial intelligence (AI) and foster scientific exchange between researchers, practitioners, scientists, students, and engineers in AI and its affiliated disciplines. AAAI-23 is the Thirty-Fifth AAAI Conference on Artificial Intelligence. Like previous AAAI conferences it will feature technical paper presentations, invited speakers, workshops, tutorials, poster sessions, senior member presentations, competitions, and exhibit programs, all selected according to the highest standards.
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
The purpose of the AAAI conference series is to promote research in artificial intelligence (AI) and foster scientific exchange between researchers, practitioners, scientists, students, and engineers in AI and its affiliated disciplines. AAAI-21 is the Thirty-Fifth AAAI Conference on Artificial Intelligence. Like previous AAAI conferences it will feature technical paper presentations, invited speakers, workshops, tutorials, poster sessions, senior member presentations, competitions, and exhibit programs, all selected according to the highest standards. AAAI-21 will also include additional programs for students and young researchers.
The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
In 2016, I was the organizer of a workshop on the foundations of computer science for students at the high school of Norderney. The workshop was supported by the Deutsche Telekom Foundation.
In 2015, I was a member of organizing team of the summer school.
In 2014, I was the organizer of a workshop on formal verification and synthesis for high-school students with migration background, supported by the Deutsche Telekom Foundation and the START Foundation.
In 2014, I was a member of the organizing team of Fall Academy of the Deutsche Telekom Foundation. The academy included several soft-skill seminars and interdisciplinary scientific workshops, in addition to panel discussions with speakers from politics and industry.
Freundeskreis der Fachschaft Informatik (F.I.S. e.V.). Member since 2010. Chairman from December 2012 until April 2015.