-
Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System,17th International Conference on Computer Safety, Reliability and Security [SAFECOMP ‘98],Springer,vol. 1516,1998, pp. 284-295
-
Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,in «FORMAL ASPECTS OF COMPUTING»,Springer,1998, pp. 361-380
-
Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,HMM Adaptation for Hands-Free Connected Digit Recognition,1998, pp. 473-476
-
Omologo, Maurizio; Svaizer, Piergiorgio; Matassoni, Marco,Environmental Conditions and Acoustic Transduction in Hands-Free Recognition,in «SPEECH COMMUNICATION»,Elsevier,vol. 25,1998, pp. 75-95
-
Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,Experiments of HMM Adaptation for Hands-free Connected Digit Recognition,Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing [ICASSP98],IEEE,vol. 1,1998, pp. 473-476
-
Omologo, Maurizio; Svaizer, Piergiorgio; De Mori, Renato,Acoustic Transduction,Spoken Dialogues with Computers,Academic Press,1998, pp. 23-67
-
Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Paolo Traverso,4th European Conference on Planning [ECP`97],Springer,vol. 1348,1997, pp. 130-142
-
Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo,Formal Validation of an Interlocking System for Large Railway Stations: A Case Study,1997
-
Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu,A Provably Correct Embedded Verifier for the Certification of Safety Critical Software,Computer Aided Verification - 9th International Conference (CAV 1997),Springer,vol. 1254,1997, pp. 202-213
-
Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo,A Model Based Decision Procedure for Common Sense Temporal Reasoning,1997
-
Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo,Third International SPIN Workshop [SPIN97],1997
-
Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo,Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO,World Congress on Railway Research [WCRR`97],1997, pp. 467-473
-
Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo,Certification of Translators via Off-line and On-line Proof Logging and Checking,1997
-
Omologo, Maurizio; Svaizer, Piergiorgio,Use of the CrossPower-Spectrum Phase in Acoustic Event Location,in «IEEE TRANSACTIONS ON SPEECH AND AUDIO PROCESSING»,vol. 5,1997, pp. 288-292
-
Svaizer, Piergiorgio; Omologo, Maurizio; Matassoni, Marco,Acoustic Source Location in a Three-Dimensional Space using Crosspower Spectrum Phase,IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),1997, pp. 231-234
-
Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,Microphone Array based Speech Recognition with Different Talker-Array Positions,IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),1997, pp. 227-230
-
Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,Hands-Free Speech Recognition in a Noisy and Reverberant Environment,Tutorial and Research Workshop on Robust speech recognition for unknown communication channels,1997, pp. 195-198
-
Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,Use of Different Microphone Array Configurations for Hands-Free Speech Recognition in Noisy and Reverberant Environment,European Conference on Speech Communication and Technology (EUROSPEECH `97),ISCA,1997, pp. 347-350
-
Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array,IEEE Workshop on Automatic Speech Recognition and Understanding 1997,IEEE,1997, pp. 490-497
-
Cimatti, Alessandro; Traverso, Paolo,Computational Reflection via Mechanized Logical Deduction,in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS»,Wiley,vol. 11,n. 5,1996, pp. 279-293