Paper published in a book (Scientific congresses, symposiums and conference proceedings)
SMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo et al.
2014In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
Peer reviewed
 

Files


Full Text
fase2014.pdf
Author preprint (375.26 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Bersani, Marcello Maria
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ghezzi, Carlo
Krstić, Srđan
San Pietro, Pierluigi
External co-authors :
yes
Language :
English
Title :
SMT-based Checking of SOLOIST over Sparse Traces
Publication date :
2014
Event name :
17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
Event date :
5-13 April 2014
Audience :
International
Main work title :
Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
Publisher :
Springer
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 20 December 2013

Statistics


Number of views
195 (11 by Unilu)
Number of downloads
2 (2 by Unilu)

Scopus citations®
 
11
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu