-
Bittner B.; Bozzano M. ; Cimatti A.; De Ferluc R.; Gario M.; Guiotto A.; Yushtein Y.,
FAME: A Model-Based Environment for FDIR Design in Aerospace,
Proceedings of the International Symposium on Model Based Safety and Assessment,
Springer International Publishing,
vol.8822,
2014
, pp. 1-
2
, (International Symposium on Model Based Safety and Assessment,
Munich, Germany,
October 27-29, 2014)
-
Timofei Istomin, Ramona Marfeivici, Amy L. Murphy, Gian Pietro Picco,
TRIDENT: In-field Connectivity Assessment for Wireless Sensor Networks,
Proceedings of the 6th Extreme Conference on Communication and Computing (ExtremeCom),
2014
, (6th Extreme Conference on Communication and Computing (ExtremeCom),
galapagos islands, ecuador,
11-16 august 2014)
-
R. Banach; M. Bozzano,
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits,
in «FORMAL ASPECTS OF COMPUTING»,
vol. 25,
n. 4,
2013
, pp. 573 -
607
-
R. Banach; M. Bozzano,
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits,
in «FORMAL ASPECTS OF COMPUTING»,
vol. 25,
n. 4,
2013
, pp. 609 -
657
-
Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
Loop Summarization using State and Transition Invariants,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 42,
n. 3,
2013
, pp. 221 -
261
-
Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
SMT-based scenario verification for hybrid systems,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 42,
n. 1,
2013
, pp. 46 -
66
-
Alessandro Cimatti;Iman Narasamdya;Marco Roveri,
Software Model Checking SystemC,
in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
vol. 32,
2013
, pp. 774 -
787
-
Martin Brain;Vijay D’Silva;Alberto Griggio;Leopold Haller;Daniel Kroening,
Deciding floating-point logic with abstract conflict driven clause learning,
in «FORMAL METHODS IN SYSTEM DESIGN»,
2013
-
Marco Bozzano; Adolfo Villafiorita,
in Encyclopedia of Software Engineering,
New York,
CRC Press, Taylor & Francis Group,
2013
-
Marco Bozzano; Alessandro Cimatti; Cristian Mattarei,
Automated Analysis of Reliability Architectures,
18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013,
IEEE Computer Society,
2013
, pp. 198-
207
, (International Conference on Engineering of Complex Computer Systems,
Singapore,
07/17/2013 07/19/2013)
