Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Mirko Sessa"'
Autor:
Giuseppe Scaglione, Alessandro Cimatti, Mirko Sessa, Roberto Cavada, Giuseppe Cadavero, Sergio Mover
Publikováno v:
FMCAD
Università degli di Trento-IRIS
Università degli di Trento-IRIS
Relay Interlocking Systems (RIS) are analog electromechanical networks traditionally applied in the safety-critical domain of railway signaling. RIS consist of networks of interconnected components such as power supplies, contacts, resistances, and e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::520d5099e130246ed1bde839437df04a
https://doi.org/10.23919/fmcad.2018.8603007
https://doi.org/10.23919/fmcad.2018.8603007
Publikováno v:
FM 2016: Formal Methods ISBN: 9783319489889
FM
FM
In this paper, we propose a novel symbolic approach to automatically synthesize a Hybrid Automaton (HA) from a switched electrical network. The input network consists of a set of physical components interconnected according to some reconfigurable net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f09c78d1e4265719b435a1238a8dd61e
https://doi.org/10.1007/978-3-319-48989-6_11
https://doi.org/10.1007/978-3-319-48989-6_11
Publikováno v:
ACM Transactions on Computational Logic; Sep2018, Vol. 19 Issue 3, p1-52, 52p
October 30 – November 2, 2018 in Austin, Texas, USA
Table of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p. 2) -- Ded
Table of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p. 2) -- Ded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::862dcb428ac3d9001729751e67d713a9
Autor:
Antonio Cerone, Marco Roveri
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk