Japanese language skills are desired… See the Japanese version.
Author: Ichiro Hasuo
Masaki Waga awarded Oded Maler Award for the best paper at FORMATS 2019
Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – for the following contribution of his.
Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [Springer | arxiv]
Mr. Masaki Waga is a PhD student at SOKENDAI/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3).
ERATO MMSD Symposium on Automated Driving Safety Successfully Concluded
Our project symposium on 21 May, 2019 had 88 participants. Thank you all for active participation!
We have made some videos and slides public.
Two papers authored by ERATO MMSD researchers accepted for CAV 2019
Two papers authored by ERATO MMSD researchers accepted for presentation at CAV 2019 – 31st International Conference on Computer-Aided Verification.
- Masaki Waga, Étienne André and Ichiro Hasuo. Symbolic Monitoring against Specifications Parametric in Time and Data
- Zhenya Zhang, Ichiro Hasuo and Paolo Arcaini. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification
The CAV Conference is a top international venue on computer-aided formal analysis methods for hardware and software systems. CAV 2019 will take place in New York City, US, in July 2019.
Jérémy Dubut awarded Best Theory Paper Award at ETAPS 2019
Dr. Jérémy Dubut has been awarded Best Theory Paper Award at ETAPS 2019 – European Joint Conferences on Theory and Practice of Software – for the following contribution of his.
Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).
Dr. Jérémy Dubut is a project researcher at ERATO MMSD (Group 0).
Six papers (co)-authored by ERATO MMSD researchers accepted for LICS 2019
Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at LICS 2019 – Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science.
- David Sprunger and Shin-Ya Katsumata. Differentiable Causal Computations via Delayed Trace
- Yuichi Komorida, Shin-Ya Katsumata, Nick Hu, Bartek Klin
and Ichiro Hasuo. Codensity Games for Bisimilarity - Bartek Klin and Clovis Eberhart. History-dependent nominal mu-calculus
- Ugo Dal Lago and Naohiko Hoshino. The Geometry of Bayesian Programming
- Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
- Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Probabilistic Relational Reasoning via Metrics
The LICS Symposium is a top international venue on theoretical topics in computer science
Six papers (co)-authored by ERATO MMSD researchers accepted for ETAPS 2019
Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at ETAPS 2019 – European Joint Conferences on Theory and Practice of Software.
- Taro Sekiyama, Atsushi Igarashi. Handling polymorphic algebraic effects. 27th European Symposium on Programming (ESOP 2019)
- Satoshi Kura, Natsuki Urabe, Ichiro Hasuo. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
- Étienne André, Vincent Bloemen, Laure Petrucci, Jaco Van de Pol. Minimal-Time Synthesis for Parametric Timed Automata . 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
- Christian Sternagel, Akihisa Yamada. Reachability Analysis for Termination and Confluence of Rewriting. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
- Thorsten Wissmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo. Path category for free: Open morphisms from coalgebras with non-deterministic branching. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)
- Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)
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 five main annual conferences, ESOP, FASE, FOSSACS, POST and TACAS, accompanied by satellite workshops and other events. ETAPS 2019 conference will take place in Prague, Czech Republic, in April 2019.
ERATO MMSD Symposium on Automated Driving Safety
Tuesday 21 May, 2019
Target audience:
Researchers, developers and practitioners in the automotive and related sectors
Speakers:
Krzysztof Czarnecki (U. Waterloo, in English);
Ichiro Hasuo, Fuyuki Ishikawa (NII, in Japanese).
Best Paper Award at ICECCS 2018
Our paper “Offline timed pattern matching under uncertainty” (Étienne André, Ichiro Hasuo & Masaki Waga) received the best paper award at ICECCS 2018
Coverage at the CNRS website