The following positions are currently open.
- Scientific programmer
- PostDoc researcher in formal verification extended with optimization metaheuristics
News Release：
New method for automatic and efficient discovery of reliable gas turbine system designs
— Exploiting the logical specification in black box optimization and applying it to the design process of real commercial products — A research team consisting mainly of SATO Sota and HASUO Ichiro at the National Institute of Informatics (NII, Japan) and the Graduate University for Advanced Studies (SOKENDAI, Japan), developed a method for automatically finding gas turbine control system designs that satisfy multiple requirements, with collaboration of Mitsubishi Heavy Industries, Ltd.
Automatic control system design methods have not hitherto been able to discover controllers of comparable quality to those designed by human experts. But with the new method developed by this research team, it is now possible to find controllers with comparable quality to the results obtained manually by human experts, based on fully automatic computation. This method is generally applicable to “black box” control systems whose internal behavior cannot be described by models such as mathematical formulas. The method is expected to be useful in design processes in various fields such as autonomous driving.
This research was conducted under the ERATO MMSD Project（*1） funded by the Japan Science and Technology Agency (JST, Japan). The results of this research will be presented online on November 24, 2021 (Chinese Standard Time) at the 24th International Formal Methods Symposium (FM’21).
Distinguished paper award at SSBSE 2021
Dr. Paolo Arcaini has been awarded the Distinguished paper award at SSBSE 2021 — 13th Symposium on Search-Based Software Engineering
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating Failing Test Suites for Quantum Programs With Search
Dr. Paolo Arcaini is a Project Associate Professor at NII, and the leader of ERATO MMSD Project, Group 3.
Frenetic algorithm excels at SBST Competition!
A team consisting of Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, and Paolo Arcaini, submitted the Frenetic tool to the CPS testing competition of SBST 2021 which showed good results in terms of diversity and failure generation rate.
The competition focused on the scenario generation for testing the lane-keeping capabilities of an autonomous driving system, using the BeamNG simulator. The goal was to generate virtual roads that lead to lane-keeping failures (a.k.a. OBEs, for Out-of-Bounds-Errors) within a certain time frame. The submitted tools competed in two distinct configurations, differing in time budget, vehicle configuration, and OBE tolerance.
Frenetic is a genetic approach that leverages a curvature-based road representation, and introduces some nuances aiming at improving diversity of the generated roads.
Implementations were not ranked, but the competition report (in print) states that Frenetic is generally “very effective and triggered many failures“. In fact, Frenetic was among the two tools that “triggered at least 10x more OBEs than the other tools for both configurations”. In particular, “Frenetic exposed the most diverse set of failures on average” and found ”the highest number of OBEs for which the ego-car invades the opposite traffic lane”, which might be of particular interest for car manufacturers.* The Frenetic implementation and a description of the algorithm are available in our repository.
Best Paper Award at SSBSE 2020
Dr. Paolo Arcaini has been awarded the best paper award at SSBSE 2020 — 12th Symposium on Search-Based Software Engineering
Paolo Arcaini, Shaukat Ali, Tao Yue:
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?
Dr. Paolo Arcaini is a Project Associate Professor at NII, and the leader of ERATO MMSD Project, Group 3.
Best Paper Award (Testing AI System) at AITest 2020
Dr. Paolo Arcaini has been awarded the best paper award (Testing AI System) at AITest 2020— The 2nd IEEE International Conference on Artificial Intelligence Testing.
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Dealing with Robustness of Convolutional Neural Networks for Image Classification
Dr. Paolo Arcaini is a Project Associate Professor at NII, and the leader of ERATO MMSD Project, Group 3.
Three papers (co)-authored by ERATO MMSD researchers accepted for ETAPS 2020
Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at ETAPS 2020 – European Joint Conferences on Theory and Practice of Software.
- Juraj Kolčák, Jérémy Dubut, Ichiro Hasuo, Shin-Ya Katsumata, David Sprunger and Akihisa Yamada. Relational Differential Dynamic Logic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
- Takamasa Okudono and Andy King. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
- Satoshi Kura. Graded algebraic theories. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of four main annual conferences, ESOP, FASE, FOSSACS and TACAS, accompanied by satellite workshops and other events. ETAPS 2020 conference was planned in Dublin, Ireland, in April 2020 (postponed due to COVID-19).
Best Paper Award at ICECCS 2019
Dr. Xiaoyi Zhang, Dr. Paolo Arcaini and Dr. Fuyuki Ishikawa have been awarded the best paper award at ICECCS 2019 — the 24th International Conference on Engineering of Complex Computer Systems.
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199. [ieee]
The three authors are members of ERATO MMSD Project (Group 3, led by Fuyuki Ishikawa).
ICECCS is one of the top international conferences in the field of formal methods (CORE rank A). This is the second best paper award in a row at ICECCS from ERATO MMSD, following the last year.
Two papers co-authored by ERATO MMSD researchers accepted for ITSC 2019
Two papers authored by ERATO MMSD researchers accepted for presentation at ITSC 2019 – the 22nd International Conference on Intelligent Transportation Systems.
[doi | arxiv]
[doi | arxiv]
The ITSC Conference is a major international venue on intelligent transportation systems, including automated driving. ITSC 2019 took place in Auckland, New Zealand, in October 2019.
Two papers co-authored by ERATO MMSD researchers accepted for ICECCS 2019
Two papers authored by ERATO MMSD researchers accepted for presentation at ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems.
[doi]
[doi]
The ICECCS Conference is a premier international venue on system-level quality assurance of computer systems. ICECCS 2019 will take place in Nansha, China, in November 2019.