( en | de | ru )

 

Disambiguation of "Yuen, Shoji"

Author of the publication

copydeleteadd this publication to your clipboard
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.

, , , , and . J. Inf. Process., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marvin Yuen

Jenny Yuen

Rafael Shoji

Tak-Hong Yuen

Shoji Wada

 

Other publications of authors with the same name

Extending Process Languages with Time., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 524-538. Springer, (1997)Concurrency and Reversibility., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)Session-ocaml: A Session-Based Library with Polarities and Lenses., , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 99-118. Springer, (2017)Nested Timed Automata with Frozen Clocks., , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 189-205. Springer, (2015)A Reversible Runtime Environment for Parallel Programs., and . RC, volume 12227 of Lecture Notes in Computer Science, page 272-279. Springer, (2020)Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation., and . J. Log. Algebraic Methods Program., (2004)Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT., , , , and . J. Inf. Process., (2020)Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT., , , , and . FTSCS, volume 694 of Communications in Computer and Information Science, page 39-54. (2016)Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features., , and . ICWI, page 1253-1254. IADIS, (2003)