Crossmark

SMT-Based Model Checking of Industrial Simulink Models

Crossref DOI link: https://doi.org/10.1007/978-3-031-17244-1_10

Published Online: 2022-10-10

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ishii, Daisuke

Tomita, Takashi

Aoki, Toshiaki

Ngo, The Quyen

Do, Thi Bich Ngoc

Takai, Hideaki
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01
More Information

Chapter History

First Online: 10 October 2022

Conference Information

Conference Acronym: ICFEM

Conference Name: International Conference on Formal Engineering Methods

Conference City: Madrid

Conference Country: Spain

Conference Year: 2022

Conference Start Date: 24 October 2022

Conference End Date: 27 October 2022

Conference Number: 23

Conference ID: icfem2022

Conference URL: http://maude.ucm.es/ICFEM22/index.html

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 61

Number of Full Papers Accepted: 23

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 38% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 3

External Reviewers Involved: Yes

Additional Info on Review Process: 3 invited papers (two papers and one abstract)