[Om-announce] Book Announcement: Design and Safety Assessment of Critical Systems

2011-01-24 Thread Marco Bozzano
*** Apologies for multiple copies *** We are glad to announce the publication of the following book: Design and Safety Assessment of Critical Systems by Marco Bozzano and Adolfo Villafiorita CRC Press (Taylor and Francis Group), November 2010. An introduction to the area of design

[Om-announce] xSAP 1.0.0 has been released

2015-04-21 Thread Marco Bozzano
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.0.0 xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems, based on symbolic model checking techniques. xSAP provides the following main

[Om-announce] xSAP 1.1.0 has been released

2016-04-04 Thread Marco Bozzano
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.1.0 This is a major release, containing new features, and a few bug fixes. The documentation has been updated to cover the new features.

[Om-announce] xSAP 1.2.0 has been released

2016-09-22 Thread Marco Bozzano
== Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano

[Om-announce] 1st CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2016-12-01 Thread Marco Bozzano
September. Committees General Chairs Marco Bozzano (FBK, IT) Yiannis Papadopoulos (University of Hull, GB) PC-Chairs Marco Bozzano (FBK, IT) Antoine Rauzy (Norwegian University of Science and Technology, NO) Tools & Tutorials Chairs Leila Kloul (Universite de Versailles, FR) Christel Se

[Om-announce] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2017-06-15 Thread Marco Bozzano
entional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation. COMMITTEES General Chairs Marco Bozzano (FBK, IT) Yiannis Papadopoulos (University of Hull, GB) PC-Chairs