ES Evidences (Dwr Model)[built on 2017-12-16]

Journal Paper U-Gov ID309979
Year2017
Author(s)Fakhry, Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio
TitleAudio Source Separation in Reverberant Environments Using β -Divergence-Based Nonnegative Factorization
JournalIEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING
ISSN1558-7916
Volume25
InternationalNo
3264 1.877 2.201 N/D 5.4 0.01103 0.874
ACOUSTICS 9 32 Q2
ENGINEERING, ELECTRICAL & ELECTRONIC 78 257 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID302716
Year2016
Author(s)Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
TitleDynamic controllability via Timed Game Automata
JournalACTA INFORMATICA
ISSN0001-5903
VolumeN/D
InternationalNo
783 1.0 0.765 0.333 10.0 0.00037 0.265
COMPUTER SCIENCE, INFORMATION SYSTEMS 117 146 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID307976
Year2016
Author(s)Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
TitleInfinite-state invariant checking with IC3 and predicate abstraction
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN0925-9856
VolumeN/D
InternationalNo
638 1.0 1.715 0.0 8.8 0.00123 0.693
COMPUTER SCIENCE, THEORY & METHODS 71 104 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID240824
Year2015
Author(s)A. Cimatti; S. Tonetta
TitleContracts-refinement proof system for component-based embedded systems
JournalSCIENCE OF COMPUTER PROGRAMMING
ISSN0167-6423
VolumeN/D
InternationalNo
1071 0.828 0.831 0.257 7.3 0.00226 0.289
COMPUTER SCIENCE, SOFTWARE ENGINEERING 62 106 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID244820
Year2015
Author(s)Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta
TitleSafety Assessment of AltaRica Models via Symbolic Model Checking
JournalSCIENCE OF COMPUTER PROGRAMMING
ISSN0167-6423
Volume98
InternationalNo
1071 0.828 0.831 0.257 7.3 0.00226 0.289
COMPUTER SCIENCE, SOFTWARE ENGINEERING 62 106 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID272220
Year2015
Author(s)Alessandro Cimatti;Andrea Micheli;Marco Roveri
TitleAn SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
JournalARTIFICIAL INTELLIGENCE
ISSN0004-3702
Volume224
InternationalNo
6641 3.333 3.817 0.773 10.0 0.00902 1.761
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 16 130 Q1
No ESF data
No ANVUR data
Journal Paper U-Gov ID300821
Year2015
Author(s)Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano
TitleFormal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
JournalLOGICAL METHODS IN COMPUTER SCIENCE
ISSN1860-5974
Volume11
InternationalNo
419 0.569 0.71 0.098 4.4 0.00317 0.547
COMPUTER SCIENCE, THEORY & METHODS 89 105 Q4
LOGIC 11 22 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID300867
Year2015
Author(s)Griggio, Alberto; Roveri, Marco
TitleComparing Different Variants of the IC3 Algorithm for Hardware Model Checking
JournalIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN0278-0070
VolumeN/D
InternationalNo
3261 1.181 1.265 0.247 8.2 0.00622 0.486
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS 66 104 Q3
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 20 51 Q2
ENGINEERING, ELECTRICAL & ELECTRONIC 136 255 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID303417
Year2015
Author(s)Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
TitleHRELTL: A temporal logic for hybrid systems
JournalINFORMATION AND COMPUTATION
ISSN0890-5401
Volume245
InternationalNo
4026 0.873 0.918 0.273 10.0 0.00288 0.539
COMPUTER SCIENCE, THEORY & METHODS 60 105 Q3
MATHEMATICS, APPLIED 111 254 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID212415
Year2014
Author(s)A. Cimatti;S. Mover;S. Tonetta
TitleQuantifier-free encoding of invariants for hybrid systems
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN0925-9856
Volume45
InternationalNo
357 0.875 1.218 0.043 8.4 0.0016 0.846
COMPUTER SCIENCE, THEORY & METHODS 55 102 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID235619
Year2014
Author(s)Alessandro Cimatti; Andrea Micheli; Marco Roveri
TitleSolving strong controllability of temporal problems with uncertainty using SMT
JournalCONSTRAINTS
ISSN1383-7133
VolumeN/D
InternationalNo
291 1.257 1.452 0.333 6.2 0.00082 0.558
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 66 123 Q3
COMPUTER SCIENCE, THEORY & METHODS 33 102 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID238621
Year2014
Author(s)Bozzano M.; Cimatti A.; Katoen J.-P.; Katsaros P.; Mokos K.; Nguyen V.Y.; Noll T.; Postma B.; Roveri M.
TitleSpacecraft Early Design Validation using Formal Methods
JournalRELIABILITY ENGINEERING & SYSTEM SAFETY
ISSN0951-8320
Volume132
InternationalYes
6527 2.41 2.693 0.559 7.6 0.01131 0.826
OPERATIONS RESEARCH & MANAGEMENT SCIENCE 9 81 Q1
ENGINEERING, INDUSTRIAL 4 43 Q1
No ESF data
No ANVUR data
Journal Paper U-Gov ID43181
Year2013
Author(s)R. Banach; M. Bozzano
TitleThe Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits
JournalFORMAL ASPECTS OF COMPUTING
ISSN0934-5043
Volume25
InternationalYes
279 0.609 0.74 0.086 7.9 0.00144 0.574
COMPUTER SCIENCE, SOFTWARE ENGINEERING 80 105 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID43182
Year2013
Author(s)R. Banach; M. Bozzano
TitleThe Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits
JournalFORMAL ASPECTS OF COMPUTING
ISSN0934-5043
Volume25
InternationalNo
279 0.609 0.74 0.086 7.9 0.00144 0.574
COMPUTER SCIENCE, SOFTWARE ENGINEERING 80 105 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID103816
Year2013
Author(s)Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger
TitleLoop Summarization using State and Transition Invariants
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN1572-8102
Volume42
InternationalYes
273 0.404 0.942 0.1 9.0 0.00102 0.591
COMPUTER SCIENCE, THEORY & METHODS 88 102 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID104601
Year2013
Author(s)Alessandro Cimatti; Sergio Mover; Stefano Tonetta
TitleSMT-based scenario verification for hybrid systems
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN1572-8102
Volume42
InternationalNo
273 0.404 0.942 0.1 9.0 0.00102 0.591
COMPUTER SCIENCE, THEORY & METHODS 88 102 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID123401
Year2013
Author(s)A. Brutti; M. Omologo; P. Svaizer
TitleAn environment aware ML estimation of acoustic radiation pattern with distributed microphone pairs
JournalSIGNAL PROCESSING
ISSN0165-1684
Volume93
InternationalNo
6344 2.238 2.115 0.395 6.3 0.01592 0.682
ENGINEERING, ELECTRICAL & ELECTRONIC 51 247 Q1
No ESF data
No ANVUR data
Journal Paper U-Gov ID165810
Year2013
Author(s)Alessandro Cimatti;Iman Narasamdya;Marco Roveri
TitleSoftware Model Checking SystemC
JournalIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN0278-0070
Volume32
InternationalNo
3477 1.203 1.44 0.26 7.7 0.00764 0.521
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS 64 102 Q3
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 19 50 Q2
ENGINEERING, ELECTRICAL & ELECTRONIC 129 247 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID241419
Year2013
Author(s)Martin Brain;Vijay D’Silva;Alberto Griggio;Leopold Haller;Daniel Kroening
TitleDeciding floating-point logic with abstract conflict driven clause learning
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN0925-9856
VolumeN/D
InternationalNo
273 0.404 0.942 0.1 9.0 0.00102 0.591
COMPUTER SCIENCE, THEORY & METHODS 88 102 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID24809
Year2012
Author(s)Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleValidation of Requirements for Hybrid Systems: a Formal Approach
JournalACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
ISSN1049-331X
Volume21
InternationalNo
567 1.548 2.063 0.333 9.4 0.00121 0.876
COMPUTER SCIENCE, SOFTWARE ENGINEERING 22 105 Q1
No ESF data
No ANVUR data
Journal Paper U-Gov ID40209
Year2012
Author(s)N. Sharygina; S. Tonetta; A. Tsitovich
TitleAn abstraction refinement approach combining precise and approximated techniques
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume14
InternationalYes
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID103612
Year2012
Author(s)Alberto Griggio
TitleA Practical Approach to Satisability Modulo Linear Integer Arithmetic
JournalJOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
ISSN1574-0617
Volume8
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID103614
Year2012
Author(s)Alberto Griggio; Thi Thieu Hoa Le; Roberto Sebastiani
TitleEfficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
JournalLOGICAL METHODS IN COMPUTER SCIENCE
ISSN1860-5974
Volume8
InternationalNo
161 0.44 0.508 0.074 4.3 0.00198 0.471
COMPUTER SCIENCE, THEORY & METHODS 81 100 Q4
LOGIC 11 19 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID103615
Year2012
Author(s)Alessandro Cimatti; Iman Narasamdya; Marco Roveri
TitleSoftware Model Checking with Explicit Scheduler and Symbolic Threads
JournalLOGICAL METHODS IN COMPUTER SCIENCE
ISSN1860-5974
Volume8
InternationalNo
161 0.44 0.508 0.074 4.3 0.00198 0.471
COMPUTER SCIENCE, THEORY & METHODS 81 100 Q4
LOGIC 11 19 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID4714
Year2011
Author(s)Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri
TitleFormalizing requirements with object models and temporal constraints
JournalSOFTWARE AND SYSTEMS MODELING
ISSN1619-1366
Volume10
InternationalNo
208 1.061 N/D 0.077 5.1 0.0008 N/D
COMPUTER SCIENCE, SOFTWARE ENGINEERING 37 103 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID12018
Year2011
Author(s)F. Nesta; P. Svaizer; M. Omologo
TitleConvolutive BSS of short mixtures by ICA recursively regularized across frequencies
JournalIEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING
ISSN1558-7916
Volume19
InternationalNo
1779 1.498 1.962 0.305 4.1 0.01048 0.657
ACOUSTICS 11 30 Q2
ENGINEERING, ELECTRICAL & ELECTRONIC 80 244 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID22869
Year2011
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
TitleSafety, Dependability and Performance Analysis of Extended AADL Models
JournalCOMPUTER JOURNAL
ISSN1460-2067
Volume54
InternationalYes
2000 0.785 0.943 0.149 10.0 0.00293 0.475
COMPUTER SCIENCE, SOFTWARE ENGINEERING 69 105 Q3
COMPUTER SCIENCE, INFORMATION SYSTEMS 85 135 Q3
COMPUTER SCIENCE, THEORY & METHODS 56 100 Q3
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 30 50 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID24789
Year2011
Author(s)Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleComputing Small Unsatisfiable Cores in Satisfiability Modulo Theories
JournalTHE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
ISSN1076-9757
Volume40
InternationalNo
1554 1.143 1.744 0.21 9.3 0.00534 1.182
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 59 111 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID31609
Year2011
Author(s)Roberto Sebastiani; Stefano Tonetta; Moshe Vardi
TitleSymbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume13
InternationalYes
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID8408
Year2010
Author(s)A. Brutti; L. Cristoforetti; W. Kellermann; L. Marquardt; M. Omologo
TitleWOZ acoustic data collection for interactive TV
JournalLANGUAGE RESOURCES AND EVALUATION
ISSN1574-020X
Volume44
InternationalNo
77 0.615 0.683 0.2 N/D 0.00066 0.338
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS 82 97 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID23669
Year2010
Author(s)Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleEfficient generation of craig interpolants in satisfiability modulo theories
JournalACM TRANSACTIONS ON COMPUTATIONAL LOGIC
ISSN1529-3785
Volume12
InternationalNo
350 1.391 N/D 0.111 5.0 0.00229 N/D
COMPUTER SCIENCE, THEORY & METHODS 33 97 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID23829
Year2010
Author(s)A. Brutti; M. Omologo; P. Svaizer
TitleMultiple Source Localization Based on Acoustic Map De-Emphasis
JournalEURASIP JOURNAL ON AUDIO, SPEECH, AND MUSIC PROCESSING
ISSN1687-4714
Volume2010
InternationalNo
44 0.341 0.583 0.067 N/D 0.0003 0.213
ACOUSTICS 26 30 Q4
ENGINEERING, ELECTRICAL & ELECTRONIC 206 247 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID4620
Year2009
Author(s)Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani
TitleDelayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version
JournalANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
ISSN1012-2443
Volume55
InternationalNo
734 0.893 1.097 0.133 8.4 0.00186 0.456
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 77 102 Q4
MATHEMATICS, APPLIED 92 202 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID4606
Year2008
Author(s)Alessandro Cimatti; Marco Roveri; Stefano Tonetta
TitleSymbolic Compilation of PSL
JournalIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN0278-0070
Volume27
InternationalNo
4370 1.466 1.867 0.176 7.6 0.00944 0.472
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS 30 94 Q2
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 19 45 Q2
ENGINEERING, ELECTRICAL & ELECTRONIC 76 229 Q2
No ESF data
No ANVUR data
Conference Paper U-Gov ID103608
Yearinpress
Author(s)Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening
TitleDeciding Floating-Point Logic with Systematic Abstraction
ConferenceFormal Methods in Computer-Aided Design, FMCAD 2012
PlaceCambridge, UK
Book TitleN/D
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID309831
Year2017
Author(s)Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
TitleInvariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017
PlaceUppsala, Sweden
Book TitleTools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID310212
Year2017
Author(s)Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
TitleSatisfiability Modulo Transcendental Functions via Incremental Linearization
Conference26th International Conference on Automated Deduction
PlaceGothenburg, Sweden
Book TitleAutomated Deduction – CADE 26
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID310620
Year2017
Author(s)Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
TitleValidating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
ConferenceThirty-First AAAI Conference on Artificial Intelligence
PlaceSan Francisco, California, USA.
Book TitleProceedings of the Thirty-First AAAI Conference on Artificial Intelligence
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID312239
Year2017
Author(s)Alban, Grastien; Scala, Enrico
TitleIntelligent Belief State Sampling for Conformant Planning
ConferenceN/D
PlaceN/D
Book TitleProceedings of the Twenty-Sixth International Joint Conference onArtificial Intelligence, IJCAI 2017, Melbourne, Australia, August19-25, 2017
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID312241
Year2017
Author(s)Scala, Enrico; Patrik, Haslum; Daniele, Magazzeni; Sylvie, Thiebaux
TitleLandmarks for numeric planning problems
ConferenceN/D
PlaceN/D
Book TitleProceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID301966
Year2016
Author(s)Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
TitleThe xSAP Safety Analysis Platform
ConferenceTools and Algorithms for the Construction and Analysis of Systems
PlaceEindhoven, The Netherlands
Book TitleTools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303814
Year2016
Author(s)Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri
TitleAutomated Verification and Tightening of Failure Propagation Models
Conference30th AAAI Conference on Artificial Intelligence (AAAI 2016)
PlacePhoenix, Arizona, Stati Uniti
Book TitleProceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303817
Year2016
Author(s)Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
TitleAutomated Synthesis of Timed Failure Propagation Graphs
Conference25th International Joint Conference on Artificial Intelligence
PlaceNew York City, NY, Stati Uniti
Book TitleProceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306061
Year2016
Author(s)Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
TitleSC^2: Satisfiability Checking Meets Symbolic Computation
Conference9th Conference on Intelligent Computer Mathematics CICM 2016
PlaceBialystok, Poland
Book TitleIntelligent Computer Mathematics - 9th International Conference, CICM 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306063
Year2016
Author(s)Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
TitleInfinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
Conference28th International Conference on Computer Aided Verification, CAV 2016
PlaceToronto, Canada
Book TitleComputer Aided Verification - 28th International Conference, CAV 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306065
Year2016
Author(s)Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
TitleVerilog2SMV: A Tool for Word-level Verification
Conference2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)
PlaceDresden, Germany
Book TitleDesign, Automation & Test in Europe Conference & Exhibition (DATE), 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306067
Year2016
Author(s)Alessandro Cimatti; Andrea Micheli; Marco Roveri
TitleDynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
ConferenceThirtieth AAAI}Conference on Artificial Intelligence
PlacePhoenix, Arizona, USA
Book TitleProceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306069
Year2016
Author(s)Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
TitleModel Checking at Scale: Automated Air Traffic Control Design Space Exploration
Conference28th International Conference on Computer Aided Verification (CAV)
PlaceToronto, Canada
Book TitleComputer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306073
Year2016
Author(s)Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano
TitleA Lazy Approach to Temporal Epistemic Logic Model Checking
Conference2016 International Conference on Autonomous Agents & Multiagent Systems
PlaceSingapore
Book TitleProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306095
Year2016
Author(s)Christophe Limbrée; Quentin Cappart; Charles Pecheur; Tonetta, Stefano
TitleVerification of Railway Interlocking - Compositional Approach with OCRA
ConferenceFirst International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
PlaceParis, France
Book TitleReliability, Safety, and Security of Railway Systems. Modelling, Analysis,Verification, and Certification - First International Conference,RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306097
Year2016
Author(s)Victor Bos; Harold Bruintjes; Tonetta, Stefano
TitleCatalogue of System and Software Properties
Conference35th International Conference on Computer Safety, Reliability, and Security
PlaceTrondheim, Norway
Book TitleComputer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306099
Year2016
Author(s)Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano
TitleTightening a Contract Refinement
Conference14th International Conference on Software Engineering and Formal Methods
PlaceVienna, Austria
Book TitleSoftware Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306194
Year2016
Author(s)Cimatti, A.; Mover, S.; Sessa, M.
TitleFrom Electrical Switched Networks to Hybrid Automata
ConferenceFM 2016: 21st International Symposium on Formal Methods
PlaceLimassol, Cyprus
Book TitleProceedings of the 21st International Symposium on Formal Methods, FM 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307031
Year2016
Author(s)Fakhry, M.; Svaizer, P.; Omologo, M.
TitleEstimation of the spatial information in Gaussian model based audio source separation using weighted spectral bases
Conference24th European Signal Processing Conference (EUSIPCO 2016)
PlaceBudapest, Hungary
Book TitleProceedings of EUSIPCO 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307084
Year2016
Author(s)Ravanelli, Mirco; Svaizer, Piergiorgio; Omologo, Maurizio
TitleRealistic Multi-Microphone Data Simulation for Distant Speech Recognition
ConferenceInterspeech 2016
PlaceSan Francisco
Book TitleProceeding of Interspeech 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID308294
Year2016
Author(s)Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
TitleModel-Based Design of an Energy-System Embedded Controller Using Taste
ConferenceFM 2016: Formal Methods 21st International Symposium
PlaceLimassol, Cyprus
Book TitleProceedings of FM 2016: Formal Methods 21st International Symposium
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID264220
Year2015
Author(s)Cimatti A.; Micheli A.; Roveri M
TitleStrong Temporal Planning with Uncontrollable Durations: a State-Space Approach
ConferenceAAAI 2015
PlaceAustin, Texas, USA
Book TitleProceedings of the 29th AAAI Conference on Artificial Intelligence
InternationalNo
Conf. RankA
Conference Paper U-Gov ID264221
Year2015
Author(s)Bozzano M.; Cimatti A.; Gario M.; Micheli A.
TitleSMT-based Validation of Timed Failure Propagation Graphs
ConferenceAAAI 2015
PlaceAustin, Texas, USA
Book TitleProceedings of the 29th AAAI Conference on Artificial Intelligence
InternationalNo
Conf. RankA
Conference Paper U-Gov ID270620
Year2015
Author(s)Cimatti A.; Griggio A.; Mover S.; Tonetta S.
TitleHYCOMP - an SMT-based model checker for hybrid systems
Conference21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
PlaceLondon, UK
Book TitleTools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID272019
Year2015
Author(s)Fakhry M.; Svaizer P.; Omologo M.
TitleAudio source separation usinga redundant library of source spectral bases for nonnegative tensor factorization
ConferenceN/D
PlaceN/D
Book TitleProceedings of ICASSP 2015
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID272020
Year2015
Author(s)Zwyssig E.; Ravanelli M.; Svaizer P.; Omologo M.
TitleA multi-channel corpus for distant-speech interaction in presence of known interferences
ConferenceN/D
PlaceN/D
Book TitleProceedings of ICASSP 2015
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID300927
Year2015
Author(s)Ravanelli, Mirco; Cristoforetti, Luca; Gretter, Roberto; Pellin, Marco; Sosi, Alessandro; Omologo, Maurizio
TitleThe DIRHA-English corpus and related tasks for distant-speech recognition in domestic environments
ConferenceASRU 2015
PlaceScottsdale, AZ
Book TitleProceedings of 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID302713
Year2015
Author(s)Micheli, Andrea; Do, Minh; Smith, David;
TitleCompiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
ConferenceInternational Joint Conference on Artificial Intelligence
PlaceBuenos Aires, Argentina
Book TitleProceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303413
Year2015
Author(s)Gario, Marco ; Micheli, Andrea
TitlePySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
ConferenceInternational Workshop on Satisfiability Modulo Theories (SMT)
PlaceSan Francisco, CA
Book TitleProceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303420
Year2015
Author(s)Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
TitleEfficient Anytime Techniques for Model-Based Safety Analysis
Conference27th International Conference on Computer Aided Verification, CAV 2015
PlaceSan Francisco, CA
Book TitleComputer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303423
Year2015
Author(s)Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne
TitleComparing Different Functional Allocations in Automated Air Traffic Control Design
ConferenceFMCAD '15 Formal Methods in Computer-Aided Design
PlaceAustin, TX, USA
Book TitleProceedings of Formal Methods in Computer-Aided Design, FMCAD 2015
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303429
Year2015
Author(s)Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
TitleFormal Verification of Infinite-State BIP Models
ConferenceAutomated Technology for Verification and Analysis 13th International Symposium, ATVA 2015
PlaceShanghai, China
Book TitleProceedings of ATVA
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306088
Year2015
Author(s)Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.
TitleFormal Design and Safety Analysis of AIR6110 Wheel Brake System
Conference27th International Conference on Computer Aided Verification (CAV)
PlaceSan Francisco, CA, USA
Book TitleComputer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306090
Year2015
Author(s)Arts, Thomas; Tonetta, Stefano
TitleSafely Using the AUTOSAR End-to-End Protection Library
Conference34th International Conference on Computer Safety, Reliability, and Security
PlaceDelft, The Netherlands
Book TitleComputer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID306092
Year2015
Author(s)Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano
TitleCombining MILS with Contract-Based Design for Safety and Security Requirements
Conference2nd International workshop on the Integration of Safety and Security Engineering
PlaceDelft, The Netherlands
Book TitleComputer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307390
Year2015
Author(s)Jalalvand, Shahab; Falavigna, Giuseppe Daniele; Matassoni, Marco ; Svaizer, Piergiorgio ; Omologo, Maurizio
TitleBoosted acoustic model learning and hypotheses rescoring on the CHiME-3 task
ConferenceIEEE Workshop on Automatic Speech Recognition and Understanding
PlaceScottsdale (Arizona), US
Book TitleProceedings of 2015 IEEE Workshop on Automatic Speech Recognition and Understanding
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID211015
Year2014
Author(s)Bozzano M.; Cimatti A.; Gario M.; Tonetta S.
TitleFormal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
ConferenceTools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014
PlaceGrenoble, Francia
Book TitleTACAS 2014, LNCS 8413,
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID212417
Year2014
Author(s)A. Cimatti;A. Griggio;S. Mover;S. Tonetta
TitleIC3 Modulo Theories via Implicit Predicate Abstraction
ConferenceTools and Algorithms for the Construction and Analysis of Systems (TACAS)
PlaceGrenoble
Book TitleTACAS
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID232619
Year2014
Author(s)Robin Steel;Alexander Hoffmann;Marc Niezette;Alessandro Cimatti;Marco Roveri;Konstantinos Kapellos;Alessandro Donati;Nicola Policella
TitleInnovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure
ConferenceN/D
PlaceN/D
Book Title13th International Conference on Space Operations 2014
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID240820
Year2014
Author(s)A. Cimatti;A. Griggio;S. Mover;S. Tonetta
TitleVerifying LTL Properties of Hybrid Systems with K-Liveness
ConferenceComputer-Aided Verification
PlaceN/D
Book TitleCAV
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID240821
Year2014
Author(s)R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta
TitleThe nuXmv Symbolic Model Checker
ConferenceComputer Aided Verification
PlaceVienna
Book TitleCAV
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID240822
Year2014
Author(s)Thomas Arts; Michele Dorigatti; Stefano Tonetta
TitleMaking Implicit Safety Requirements Explicit. An AUTOSAR Safety Case
Conference33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014)
PlaceFlorence, Italy
Book TitleComputer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID240823
Year2014
Author(s)M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta
TitleFormal Safety Assessment via Contract-Based Design.
ConferenceAutomated Technology for Verification and Analysis
PlaceSydney
Book TitleATVA14
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID241233
Year2014
Author(s)Cristoforetti L.; Ravanelli M.; Omologo M.; Sosi A.; Abad A.; Hagmueller M.; Maragos P.
TitleThe DIRHA simulated corpus
ConferenceN/D
PlaceN/D
Book Title9th International Conference on Language Resources and Evaluation (LREC 2014)
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID241619
Year2014
Author(s)Alessio Brutti;Mirco Ravanelli;Piergiorgio Svaizer;Maurizio Omologo
TitleA speech event detection and localization task for multiroom environments
Conference4th Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA)
PlaceNancy
Book Title2014 4th Joint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID241821
Year2014
Author(s)Sosi A.; Ravanelli M.; Matassoni M.; Cristoforetti L.; Omologo M.; Ramella S.
TitleInterazione vocale a distanza in ambiente domestico
ConferenceAISV 2014
PlaceTorino
Book TitleAspetti prosodici e testuali del raccontare: dalla letteratura orale al parlato dei media
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID244819
Year2014
Author(s)Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.
TitleTowards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions
ConferenceN/D
PlaceN/D
Book TitleProceedings of the 14th Conference on Formal Methods in Computer-Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID244821
Year2014
Author(s)Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.
TitleUsing Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
ConferenceTwenty-Eighth AAAI Conference on Artificial Intelligence
PlaceQuebec City, Quebec, Canada
Book TitleProceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence
InternationalYes
Conf. RankA
Conference Paper U-Gov ID244822
Year2014
Author(s)Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.
TitleSound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
Conference21st International Symposium on Temporal Representation and Reasoning
PlaceVerona, Italia
Book TitleProceedings of the 21st International Symposium on Temporal Representation and Reasoning
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID244823
Year2014
Author(s)Guiotto A.; De Ferluc R.; Bozzano M.; Cimatti A.; Gario M.; Yushtein Y.
TitleFAME Process: A Dedicated Development and V&V Process for FDIR
ConferenceDASIA 2014
PlaceWarsaw, Poland
Book TitleESA SP-725
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID244824
Year2014
Author(s)Bittner B.; Bozzano M.; Cimatti A.; De Ferluc R. ; Gario M.; Guiotto A. ; Yushtein Y.
TitleAn Integrated Process for FDIR Design in Aerospace
ConferenceInternational Symposium on Model Based Safety and Assessment
PlaceMunich, Germany
Book TitleLNCS 8822
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID244825
Year2014
Author(s)Bittner B.; Bozzano M. ; Cimatti A.; De Ferluc R.; Gario M.; Guiotto A.; Yushtein Y.
TitleFAME: A Model-Based Environment for FDIR Design in Aerospace
ConferenceInternational Symposium on Model Based Safety and Assessment
PlaceMunich, Germany
Book TitleProceedings of the International Symposium on Model Based Safety and Assessment
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID250421
Year2014
Author(s)M. Matassoni; A. Brutti; P. Svaizer
TitleAcoustic modeling based on Early-to-Late Reverberation Ratio for robust ASR
ConferenceInternational Workshop on Acoustic Signal Enhancement (IWAENC 2014)
PlaceAntibes
Book TitleInternational Workshop on Acoustic Signal Enhancement
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307068
Year2014
Author(s)Fakhry, M.; Svaizer, P.; Omologo, M.
TitleReverberant audio source separation using partially pre-trained non-negative matrix factorization
Conference14th International Workshop on Acoustic Signal Enhancement (IWAENC 2014)
PlaceAntibes - Juan les Pins, France
Book TitleProceedings of IWAENC 2014
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID162601
Year2013
Author(s)Marco Bozzano; Alessandro Cimatti; Cristian Mattarei
TitleAutomated Analysis of Reliability Architectures
ConferenceInternational Conference on Engineering of Complex Computer Systems
PlaceSingapore
Book Title18th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2013, Singapore, July 17-19, 2013
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID169410
Year2013
Author(s)Alessandro Cimatti; Andrea Micheli; Marco Roveri
TitleTimelines with Temporal Uncertainty
ConferenceTwenty-Seventh AAAI Conference on Artificial Intelligence
PlaceBellevue, Washington, USA
Book TitleAAAI
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179011
Year2013
Author(s)Brutti A.; Cristoforetti L.; Matassoni M.; Svaizer P.; Omologo M.
TitleControllare la casa con la voce: il progetto DIRHA
ConferenceAISV 2013
PlaceVenezia
Book TitleAISV 2013
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID179210
Year2013
Author(s)Martin Brain;Vijay D’Silva;Leopold Haller;Alberto Griggio;Daniel Kroening
TitleAn Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
ConferenceN/D
PlaceN/D
Book TitleLecture Notes in Computer ScienceVerification, Model Checking, and Abstract Interpretation
InternationalYes
Conf. RankB
Conference Paper U-Gov ID179211
Year2013
Author(s)Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani
TitleThe MathSAT5 SMT Solver
ConferenceN/D
PlaceN/D
Book TitleLecture Notes in Computer ScienceTools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179212
Year2013
Author(s)Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani
TitleA Modular Approach to MaxSAT Modulo Theories
ConferenceN/D
PlaceN/D
Book TitleLecture Notes in Computer ScienceTheory and Applications of Satisfiability Testing – SAT 2013
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179213
Year2013
Author(s)Martin Brain;Vijay D’Silva;Alberto Griggio;Leopold Haller;Daniel Kroening
TitleInterpolation-Based Verification of Floating-Point Programs with Abstract CDCL
ConferenceN/D
PlaceN/D
Book TitleLecture Notes in Computer ScienceStatic Analysis
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179222
Year2013
Author(s)Bozzano M.; Cimatti A.; Gario M.; Tonetta S.
TitleA Formal Framework for the Specification, Verification and Synthesis of Diagnosers
ConferenceWorkshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence
PlaceBellevue, Washington, USA
Book TitleAAAI Workshops
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179223
Year2013
Author(s)Bozzano M.; Cimatti A.; Gario M.; Tonetta S.
TitleFormal Specification and Synthesis of FDI through an Example
ConferenceThe 24th International Workshop on Principles of Diagnosis
PlaceJerusalem, Israel
Book TitleProceedings of the 24th International Workshop on Principles of Diagnosis
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID179411
Year2013
Author(s)Sosi A.; Brugnara F.; Cristoforetti L.; Matassoni M.; Ravanelli M.; Omologo M.
TitleEmbedding speech recognition to control lights
ConferenceINTERSPEECH 2013
PlaceLione
Book TitleINTERSPEECH 2013
InternationalNo
Conf. RankA
Conference Paper U-Gov ID179610
Year2013
Author(s)Mover S.; Cimatti A.; Tiwari A.; Tonetta S.
TitleTime-aware Relational Abstractions for Hybrid Systems
ConferenceInternational Conference on Embedded Software
PlaceMontreal, Canada
Book TitleProceedings of the 13th International Conference on Embedded Software
InternationalNo
Conf. RankC
Conference Paper U-Gov ID179815
Year2013
Author(s)Cimatti A.; Griggio A.; Mover S.; Tonetta S.
TitleParameter Synthesis with IC3
ConferenceFormal Methods in Compuiter-Aided Desisgn 2013
PlacePortland, OR, USA
Book TitleFormal Methods in Computer-Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID184210
Year2013
Author(s)Marco Bozzano; Alessandro Cimatti; Cristian Mattarei
TitleEfficient Analysis of Reliability Architectures via Predicate Abstraction
ConferenceNinth Haifa Verification Conference
PlaceHaiva, Israel
Book TitleHardware and Software: Verification and Testing - 9th International Haifa Verification Conference
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID212416
Year2013
Author(s)Cimatti A.; Dorigatti M.; Tonetta S.
TitleOCRA: A tool for checking the refinement of temporal contracts
ConferenceN/D
PlaceN/D
Book TitleASE 2013
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID99002
Year2012
Author(s)A. Brutti; M. Omologo; P. Svaizer
TitleMaximum a posteriori trajectory estimation for acoustic tracking
ConferenceInternational Workshop on Acoustic Signal Enhancement
PlaceAachen, Germany
Book TitleProceedings of IWAENC 2012
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID100003
Year2012
Author(s)Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive
TitleSymbolic Synthesis of Observability Requirements for Diagnosability
ConferenceAAAI 2012: Twenty-Sixth AAAI Conference on Artificial Intelligence
PlaceToronto, Canada
Book TitleProceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
InternationalNo
Conf. RankA
Conference Paper U-Gov ID103604
Year2012
Author(s)Alessandro Cimatti; Alberto Griggio
TitleSoftware Model Checking via IC3
ConferenceComputer Aided Verification - 24th International Conference, CAV 2012
PlaceBerkeley, CA, USA
Book TitleProceedings of Computer Aided Verification - 24th International Conference, CAV 2012
InternationalNo
Conf. RankA
Conference Paper U-Gov ID103606
Year2012
Author(s)Alessandro Cimatti; Raffaele Corvino; Armando Lazzaro; Iman Narasamdya; Tiziana Rizzo; Marco Roveri; Angela Sanseviero; Andrei Tchaltsev
TitleFormal Verification and Validation of ERTMS Industrial Railway Train Spacing System
ConferenceComputer Aided Verification - 24th International Conference, CAV 2012
PlaceBerkeley, CA, USA
Book TitleCAV
InternationalNo
Conf. RankA
Conference Paper U-Gov ID103607
Year2012
Author(s)Raian Ali; Alberto Griggio; Anders Franzen; Fabiano Dalpiaz; Paolo Giorgini
TitleOptimizing Monitoring Requirements in Self-adaptive Systems
ConferenceEnterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium
PlaceGdask, Poland
Book TitleProceedings of Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium
InternationalNo
Conf. RankC
Conference Paper U-Gov ID103609
Year2012
Author(s)Roberto Bruttomesso; Alberto Griggio
TitleBroadening the Scope of SMT-COMP: the Application Track
Conference1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems
PlaceManchester, UK
Book TitleProceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID103613
Year2012
Author(s)Alessandro Cimatti; Iman Narasamdya; Marco Roveri
TitleVerification of Parametric System Designs
ConferenceFormal Methods in Computer Aided Design (FMCAD) 2012
PlaceCambridge, UK
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID103802
Year2012
Author(s)P. Svaizer; A. Brutti; M. Omologo
TitleEnvironment-aware estimation of the orientation of acoustic sources using a line array
Conference20th European Signal Processing Conference (EUSIPCO)
PlaceBucharest - Romania
Book TitleProceedings of EUSIPCO 2012
InternationalNo
Conf. RankB
Conference Paper U-Gov ID103805
Year2012
Author(s)M. Ravanelli; A. Sosi; P. Svaizer; M.Omologo
TitleImpulse response estimation for robust speech recognition in a reverberant environment
Conference20th European Signal Processing Conference
PlaceBucharest - Romania
Book TitleProceedings of EUSIPCO 2012
InternationalNo
Conf. RankB
Conference Paper U-Gov ID104401
Year2012
Author(s)Alessandro Cimatti; Andrea Micheli; Marco Roveri
TitleSolving Temporal Problems using SMT: Weak Controllability
ConferenceAAAI 2012
PlaceToronto, Canada
Book TitleProceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
InternationalNo
Conf. RankA
Conference Paper U-Gov ID104406
Year2012
Author(s)Alessandro Cimatti; Andrea Micheli; Marco Roveri
TitleSolving Temporal Problems using SMT: Strong Controllability
ConferenceCP 2012
PlaceQuebec City, Canada
Book TitleProceedings of the 18th International Conference on Principles and Practice of Constraint Programming
InternationalNo
Conf. RankA
Conference Paper U-Gov ID105001
Year2012
Author(s)Alessandro Cimatti; Sergio Mover; Stefano Tonetta
TitleSMT-Based Verification of Hybrid Systems
ConferenceTwenty-Sixth AAAI Conference on Artificial Intelligence
PlaceToronto, Ontario, Canada
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID105010
Year2012
Author(s)A. Cimatti; S. Tonetta
TitleA Property-Based Proof System for Contract-Based Design
Conference38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012
PlaceCesme, Turkey
Book TitleN/D
InternationalNo
Conf. RankC
Conference Paper U-Gov ID105011
Year2012
Author(s)A. Cimatti; S. Mover; S. Tonetta
TitleQuantifier-free encoding of hybrid systems with non-linear dynamics
ConferenceInternational Conference on Formal Methods in Computer-Aided Design, FMCAD12
PlaceCambridge, UK
Book TitleProceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID157001
Year2012
Author(s)Elena Alaña; Héctor Naranjo; Yuri Yushtein; Marco Bozzano; Alessandro Cimatti; Marco Gario; Régis de Ferluc; Gérard Garcia
TitleAutomated generation of FDIR for the compass integrated toolset (AUTOGEF)
ConferenceDASIA 2012
PlaceDubrovnik, Croatia
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID269219
Year2012
Author(s)Robin Steel; Alexander Hoffman; Mark Niézette; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella
TitleInnovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground
Conference12th International Conference on Space Operations, SpaceOps, At Stockholm, Sweden
PlaceN/D
Book TitleSpaceOps 2012 Conference
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID23649
Year2011
Author(s)Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta
TitleFrom Sequential Extended Regular Expressions to NFA with Symbolic Labels
ConferenceCIAA 2010
PlaceWinnipeg, Canada
Book TitleProceedings of 15th Int. Conference on Implementation and Application of Automata
InternationalNo
Conf. RankB
Conference Paper U-Gov ID24829
Year2011
Author(s)Alberto Griggio; Thi Thieu Hoa Le; Roberto Sebastiani
TitleEfficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
ConferenceTACAS 2011
PlaceSaarbrücken, Germany
Book TitleProceedings 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankA
Conference Paper U-Gov ID24909
Year2011
Author(s)Alessandro Cimatti; Iman Narasamdya; Marco Roveri
TitleBoosting Lazy Abstraction for SystemC with Partial Order Reduction
ConferenceTACAS 2011
PlaceSaarbrücken, Germany
Book TitleProceedings of 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankA
Conference Paper U-Gov ID31415
Year2011
Author(s)P. Svaizer; A. Brutti; M. Omologo
TitleUse of reflected wavefronts for acoustic source localization with a line array
ConferenceHands-free Speech Communication and Microphone Arrays
PlaceEdinburgh, Scotland
Book TitleProceedings of HSCMA 2011
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID31639
Year2011
Author(s)Alessandro Cimatti; Sergio Mover; Stefano Tonetta
TitleEfficient Scenario VeriFIcation for Hybrid Automata
ConferenceAccepted at CAV 2011 - 23rd International Conference onComputer Aided Verification
PlaceCliff Lodge, Snowbird, Utah
Book TitleEfficient Scenario VeriFIcation for Hybrid Automata
InternationalNo
Conf. RankA
Conference Paper U-Gov ID31640
Year2011
Author(s)Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri
TitleKratos - A Software Model Checker for SystemC
ConferenceAccepted at CAV 2011 - 23rd International Conference onComputer Aided Verification
PlaceCliff Lodge, Snowbird, Utah
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID31781
Year2011
Author(s)Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
TitleA Comprehensive Approach to On-Board Autonomy Verification and Validation
ConferenceIJCAI 2011
PlaceBarcelona, Catalonia (Spain)
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID31820
Year2011
Author(s)Rosella Gennari; Anna Roubickova; Marco Roveri
TitleA Critical Overview and Open Questions for Temporal Planning with Uncertainty
Conference3rd ICAPS Workshop on Verification and Validation of Planning and Scheduling Systems - VVPS 2011
PlaceFreiburg, Germany
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID31959
Year2011
Author(s)Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
TitleAn Analytic Evaluation of SystemC Encodings in Promela
Conference18th Int. Workshop on Model Checking of Software - SPIN
PlaceCliff Lodge, Snowbird, Utah
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID34201
Year2011
Author(s)Francesco Nesta; Alessio Brutti; Luca Cristoforetti
TitleReal-time prototype for multiple source tracking through Generalized State Coherence Transform and Particle Filtering
ConferenceHands-free Speech Communication and Microphone Arrays.
PlaceEdinburgh (Scotland, UK)
Book TitleJoint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID34203
Year2011
Author(s)A. Brutti; M. Omologo; P. Svaizer
TitleInference of acoustic source directivity using environment awareness
Conference19th European Signal Processing Conference, EUSIPCO 2011
PlaceBarcelona, Spain
Book TitleProceedings of EUSIPCO 2011
InternationalNo
Conf. RankB
Conference Paper U-Gov ID39991
Year2011
Author(s)A. Cimatti; S. Mover; S. Tonetta
TitleProving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
ConferenceFormal Methods in Computer Aided Design (FMCAD)
PlaceAustin, Texas, USA
Book TitleFMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID43180
Year2011
Author(s)M. Bozzano; A. Cimatti; O. Lisagor; C. Mattarei; S. Mover; M. Roveri; S. Tonetta
TitleModel Checking and Safety Assessment of Altarica models
ConferenceAVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems
PlaceNewcastle, UK
Book TitleProceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID48783
Year2011
Author(s)P. Annibale; F. Antonacci; P. Bestagini; A. Brutti; A.Canclini; L. Cristoforetti; E.A.P. Habets; J. Filos; W. Kellermann; K. Kowalczyk; A. Lombard; E. Mabande; D. Markovic; P.A. Naylor; M. Omologo; R. Rabenstein; A. Sarti; P. Svaizer; M.R.P. Thomas
TitleThe SCENIC Project: Space-Time Audio Processing for Environment-Aware Acoustic Sensing and Rendering
Conference131st Convention of the Audio Engineering Society (AES)
PlaceNew York, NY, USA
Book TitleProceedings of the 131st Convention of the Audio Engineering Society (AES)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID103602
Year2011
Author(s)Alberto Griggio; Quoc-Sang Phan; Roberto Sebastiani; Silvia Tomasi
TitleStochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
ConferenceFrontiers of Combining Systems, 8th International Symposium, FroCoS 2011
PlaceSaarbrucken, Germany
Book TitleProceedings of Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID103603
Year2011
Author(s)Alberto Griggio
TitleEffective word-level interpolation for software verification
ConferenceInternational Conference on Formal Methods in Computer-Aided Design, FMCAD '11
PlaceAustin, TX, USA
Book TitleProceedings of International Conference on Formal Methods in Computer-Aided Design, FMCAD '11
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID104411
Year2011
Author(s)Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleOthelloPlay: a plug-in based tool for requirement formalization and validation
ConferenceTOPI 2011
PlaceHonolulu, Hawaii, USA
Book TitleProceedings of the 1st Workshop on Developing Tools as Plug-ins
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID105009
Year2011
Author(s)Alessandro Cimatti; Sergio Mover; Stefano Tonetta
TitleHyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
Conference37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
PlaceOulu, Finland
Book TitleN/D
InternationalNo
Conf. RankC
Conference Paper U-Gov ID179824
Year2011
Author(s)Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive
TitleSymbolic Synthesis of Observability Requirements for Diagnosability
ConferenceASTRA 2011
PlaceNoordwijk, The Netherlands
Book TitleProceedings of 11th Symposium on Advanced Space Technologies in Robotics and Automation
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID269220
Year2011
Author(s)Robin Steel; Alexander Hoffman; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella
TitleInnovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead
ConferenceInternational Workshop on Planning and Scheduling for Space, IWPSS 2011
PlaceFreiburg, Germany
Book TitleInternational Workshop on Planning and Scheduling for Space, IWPSS 2011
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID270623
Year2011
Author(s)Annibale P.; Antonacci F.; Bestagini P.; Brutti A.; Canclini A.; Cristoforetti L.; Habets E.; Kellermann W.; Kowalczyk K.; Lombard A.; Mabande E.; Markovic D.; Naylor P.; Omologo M.; Rabenstein R.; Sarti A.; Svaizer P.; Thomas M.
TitleThe SCENIC Project: Environment-aware Sound Sensing and Rendering
ConferenceN/D
PlaceN/D
Book TitleProceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID5314
Year2010
Author(s)Alessandro Cimatti; Anders Franzen; Alberto Griggio; Kalyanasundaram Krishnamani; Marco Roveri
TitleTighter Integration of BDD and SMT for Predicate Abstraction
ConferenceDATE 2010
PlaceDresden, Germany
Book TitleProceedings of the Design, Automation & Test in Europe
InternationalNo
Conf. RankB
Conference Paper U-Gov ID6628
Year2010
Author(s)Alessandro Cimatti; Anders Franzén; Alberto Griggio; Roberto Sebastiani; Cristian Stenico
TitleSatisfiability Modulo the Theory of Costs: Foundations and Applications
ConferenceTACAS 2010
PlacePaphos, Cyprus
Book TitleProceedings of 16th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankA
Conference Paper U-Gov ID7048
Year2010
Author(s)Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleFormalization and Validation of Safety-Critical Requirements
ConferenceFMA'09 - 16th Int. Symposium on Formal Methods FM'09
PlaceEindhoven, The Netherlands
Book TitleProceedings of the Workshop on Formal Methods for Aerospace
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID7228
Year2010
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer
TitleA Model Checker for AADL
ConferenceCAV 2010
PlaceEdinburgh, UK
Book TitleProceedings of 22nd International Conference on Computer Aided Verification
InternationalNo
Conf. RankA
Conference Paper U-Gov ID7229
Year2010
Author(s)Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Koenighofer; Marco Roveri; Viktor Schuppan; Richard Seeber
TitleRATSY - A new Requirements Analysis Tool with Synthesis
ConferenceCAV 2010
PlaceEdinburgh, UK
Book TitleProceedings of 22nd Int. Conference on Computer Aided Verification
InternationalNo
Conf. RankA
Conference Paper U-Gov ID7248
Year2010
Author(s)Lei Bu; Alessandro Cimatti; Xuandong Li; Sergio Mover; Stefano Tonetta
TitleModel Checking of Hybrid Systems using Shallow Synchronization
ConferenceFORTE 2010
PlaceAmsterdam, The Netherlands
Book TitleProceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10
InternationalNo
Conf. RankA
Conference Paper U-Gov ID7268
Year2010
Author(s)Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Marco Roveri; Stefano Soffia
TitleSemi-Formal Functional Verification by EFSM traversing via NuSMV
ConferenceHLDVT 2010
PlaceAnaheim, CA
Book TitleProceedings of the High Level Design Validation and Test Workshop
InternationalNo
Conf. RankC
Conference Paper U-Gov ID8401
Year2010
Author(s)T. Sowa; F. Arisio; L. Cristoforetti
TitleDICIT: Evaluation of a Distant-talking Speech Interface for Television
Conference7th International Conference on Language Resources and Evaluation (LREC 2010).
PlaceMalta
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID9328
Year2010
Author(s)Angelo Chiappini; Alessandro Cimatti; Luca Macchi; Oscar Rebollo; Marco Roveri; Angelo Susi; Stefano Tonetta; Berardino Vittorini
TitleFormalization and validation of a subset of the European Train Control System
ConferenceICSE (2)
PlaceCape Town, South Africa
Book TitleProceedings of 32nd Int. Conference on Software Engineering
InternationalNo
Conf. RankA
Conference Paper U-Gov ID11668
Year2010
Author(s)Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri
TitleVerifying SystemC: a Software Model Checking Approach
ConferenceFMCAD 2010
PlaceLugano, Switzerland
Book TitleProceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID16249
Year2010
Author(s)P. Svaizer; A. Brutti; M. Omologo
TitleAnalysis of reflected wavefronts by means of a line microphone array
ConferenceInternational Workshop on Acoustic Echo and Noise Control (IWAENC)
PlaceTel Aviv, Israel
Book TitleProceedings of IWAENC 2010
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID18709
Year2010
Author(s)Anders Franzen; Alessandro Cimatti; Alexander Nadel; Roberto Sebastiani; Jonathan Shalev
TitleApplying SMT in Symbolic Execution of Microcode
ConferenceFMCAD 2010
PlaceLugano, Switzerland
Book TitleProceedings of 10th Int. Conference on Formal Methods in Computer-Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID22849
Year2010
Author(s)Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive
TitleFormal Verification and Validation of AADL Model
ConferenceERTS² 2010 - Embedded Real Time Software and Systems
PlaceToulouse, France
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID22889
Year2010
Author(s)Oleg Lisagor; Marco Bozzano; Matthias Bretschneider; Tim Kelly
TitleIncremental Safety Assessment: Enabling the Comparison of Safety Analysis Results
ConferenceISSC10 - 28th International System Safety Conference
PlaceMinneapolis, Minnesota
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID33387
Year2010
Author(s)Thi Thieu Hoa Le; Luigi Palopoli; Roberto Passerone; Yusi Ramadian; Alessandro Cimatti
TitleParametric Analysis of Distributed Firm Real-Time Systems: A Case Study
ConferenceETFA10
PlaceBilbao, Spain
Book TitleProceedings of the 15th Int. Conference on Emerging Technologies and Factory Automation
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4599
Year2009
Author(s)Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleInterpolant Generation for UTVPI
ConferenceCADE-22
PlaceMcGill University, Montreal, Canada
Book TitleProceedings of the 22nd Int. Conference on Automated Deduction
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4601
Year2009
Author(s)Alessandro Cimatti; Marco Roveri; Stefano Tonetta
TitleRequirements Validation for Hybrid Systems
ConferenceCAV 2009
PlaceGrenoble, France
Book TitleProceedings 21st Int. Conference on Computer Aided Verification
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4602
Year2009
Author(s)Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich
TitleThe synergy of precise and fast abstractions for program verification
ConferenceACM SAC 2009
PlaceHonolulu, Hawaii, USA
Book TitleProceedings of the 24th Annual ACM Symposium on Applied Computing
InternationalNo
Conf. RankB
Conference Paper U-Gov ID4901
Year2009
Author(s)Stefano Tonetta
TitleAbstract Model Checking without Computing the Abstraction
ConferenceFM2009
PlaceEindhoven, the Netherlands
Book TitleProceedings of the 16th Int. Symposium on Formal Methods
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4980
Year2009
Author(s)Alessandro Cimatti; Jori Juhani Dubrovin; Tommi Antero Junttila; Marco Roveri
TitleStructure-Aware Computation of Predicate Abstraction
ConferenceFMCAD 2009
PlaceAUSTIN, TX, USA
Book TitleProceedings of the Formal Methods in Computer Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4986
Year2009
Author(s)Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani
TitleSoftware Model Checking via Large-Block Encoding
ConferenceFMCAD`2009
PlaceAUSTIN, TX, USA
Book TitleProceedings of the 9th Conference on Formal Methods in Computer Aided Design
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID5003
Year2009
Author(s)Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleSupporting Requirements Validation: The EuRailCheck Tool
ConferenceASE 2009
PlaceAuckland, New Zealand
Book TitleProceedings of 24th Int. Conference Automated Software Engineering
InternationalNo
Conf. RankA
Conference Paper U-Gov ID5004
Year2009
Author(s)Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger
TitleLoopfrog: A Static Analyzer for ANSI-C Programs
ConferenceASE '09
PlaceAuckland, New Zealand
Book TitleProceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
InternationalNo
Conf. RankA
Conference Paper U-Gov ID5021
Year2009
Author(s)Alessio Brutti; Maurizio Omologo; Piergiorgio Svaizer
TitleA Sequential Monte Carlo Approach for Tracking of Overlapping Acoustic Sources
ConferenceEUSIPCO 2009 17th European Signal Processing Conference
PlaceGlasgow, UK
Book TitleEUSIPCO 2009 17th European Signal Processing Conference
InternationalNo
Conf. RankB
Conference Paper U-Gov ID5189
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
TitleA Comprehensive Approach to On-Board Autonomy Verification and Validation
ConferenceVV&PS 2009 - ICAPS
PlaceThessaloniki, Greece
Book TitleWorkshop on Verification and Validation of Planning and Scheduling Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID5217
Year2009
Author(s)Christian Zieger; Alessio Brutti; Piergiorgio Svaizer
TitleAcoustic Based Surveillance System For Intrusion Detection
Conference6th IEEE International Conference on Advanced Video and Signal Based Surveillance
PlaceGenova, Italy
Book TitleN/D
InternationalNo
Conf. RankB
Conference Paper U-Gov ID5219
Year2009
Author(s)Lutz Marquardt; Piergiorgio Svaizer; Edwin Mabande; Alessio Brutti; Christian Zieger; Maurizio Omologo; Walter Kellermann
TitleA natural acoustic front-end for Interactive TV in the EU-Project DICIT
ConferencePacific Rim Conference on Communications, Computers and Signal Processing 2009
PlaceVictoria, B.C., Canada
Book TitlePacific Rim Conference on Communications, Computers and Signal Processing 2009
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID5230
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
TitleThe COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
ConferenceSAFECOMP 2009
PlaceHamburg, Germany
Book TitleProceedings of 28th Int. International Conference on Computer Safety, Reliability and Security
InternationalNo
Conf. RankB
Conference Paper U-Gov ID5234
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll
TitleVerification and performance evaluation of AADL models
ConferenceESEC/FSE 2009
PlaceAmsterdam, The Netherlands
Book TitleProceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
InternationalNo
Conf. RankA
Conference Paper U-Gov ID5243
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
TitleModel-Based Codesign of Critical Embedded Systems
ConferenceACESMB09
PlaceDenver, Colorado, USA
Book TitleProceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID8694
Year2009
Author(s)Francesco Nesta; Piergiorgio Svaizer; Maurizio Omologo
TitleRobust two-channel TDOA estimation for multiple speaker localization by using recursive ICA and a state coherence transform
Conference2009 IEEE International Conference on Acoustics, Speech and Signal Processing
PlaceTaipei, Taiwan
Book TitleProceedings of 2009 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2009)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID8695
Year2009
Author(s)Francesco Nesta; Piergiorgio Svaizer; Maurizio Omologo
TitleCumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization
Conference8th International Conference on Independent Component Analysis and Signal Separation (ICA 2009)
PlaceParaty, Brazil
Book TitleLecture Notes In Computer Science; Proceedings of the 8th International Conference on Independent Component Analysis and Signal Separation
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID22969
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll
TitleCodesign of Dependable Systems: A Component-Based Modeling Language
ConferenceMEMOCODE'09
PlaceCambridge, Massachusetts, USA
Book TitleProceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID3734
Year2008
Author(s)Alessio Brutti; Maurizio Omologo; Piergiorgio Svaizer
TitleComparison between different sound source localization techniques based on a real data collection
ConferenceHands-Free Speech Communication and Microphone Arrays 2008
PlaceTrento, Italy
Book TitleHands-Free Speech Communication and Microphone Arrays 2008
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID3863
Year2008
Author(s)A. Brutti; L. Cristoforetti; W. Kellermann; L. Marquardt; M. Omologo
TitleWOZ Acoustic Data Collection For Interactive TV
Conference6th International Conference on Language Resources and Evaluation (LREC 2008)
PlaceN/D
Book Title6th International Conference on Language Resources and Evaluation (LREC 2008)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID3866
Year2008
Author(s)Alessio Brutti; Maurizio Omologo; Piergiorgio Svaizer
TitleLocalization of Multiple Speakers based on a Two Step Acoustic Map Analysis
ConferenceIEEE International Conference on Acoustics, Speech, and Signal Processing
PlaceLas Vegas - Nevada, USA
Book TitleIEEE International Conference on Acoustics, Speech, and Signal Processing
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4309
Year2008
Author(s)Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani
TitleThe MathSAT 4SMT Solver
ConferenceCAV 2008
PlacePrinceton, NJ, USA
Book TitleProceedings of the 20th Int. Conference on Computer Aided Verification
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4310
Year2008
Author(s)Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleEfficient Interpolant Generation in Satisfiability Modulo Theories
ConferenceTACAS 2008-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008
PlaceBudapest, Hungary
Book TitleProceedings of the 14th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4311
Year2008
Author(s)Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev
TitleDiagnostic Information for Realizability
ConferenceVMCAI 2008
PlaceSan Francisco, USA
Book TitleProceedings of 9th Int. Conference Verification, Model Checking, and Abstract Interpretation
InternationalNo
Conf. RankB
Conference Paper U-Gov ID4550
Year2008
Author(s)Alessandro Cimatti
TitleBeyond Boolean SAT: Satisfiability Modulo Theories
ConferenceWODES 2008
PlaceGoteborg, Sweden
Book TitleProceedings of the 9th Int. Workshop on Discrete Event Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4605
Year2008
Author(s)Alessandro Cimatti; Luigi Palopoli; Yusi Ramadian
TitleSymbolic Computation of Schedulability Regions using parametric timed automata
ConferenceRTSS '08
PlaceBarcelona, Spain
Book TitleProceeding of the 29th IEEE Real-Time Systems Symposium
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4607
Year2008
Author(s)Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger
TitleLoop Summarization Using Abstract Transformers
ConferenceATVA 2008
PlaceSeoul, Korea
Book TitleProceedings of the 6th Int. Symposium on Automated Technology for Verification and Analysis
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4608
Year2008
Author(s)Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleObject Models with Temporal Constraints
ConferenceSEFM 2008
PlaceCape Town
Book TitleProceedings 6th Int. Conference on Software Engineering and Formal Methods
InternationalNo
Conf. RankB
Conference Paper U-Gov ID4610
Year2008
Author(s)Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta
TitleFrom Informal Requirements to Property-Driven Formal Validation
ConferenceFMICS 2008
PlaceL’Aquila, Italy
Book TitleProceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems
InternationalNo
Conf. RankC
Conference Paper U-Gov ID4612
Year2008
Author(s)Marco Bozzano; Alessandro Cimatti; Andrea Guiotto; Andrea Martelli; Marco Roveri; Andrei Tchaltsev; Yuri Yushtein
TitleOn-Board Autonomy via Symbolic Model Based Reasoning
ConferenceASTRA 2008
PlaceNoordwijk, The Netherlands
Book TitleProceedings of 10th Workshop on Advanced Space Technologies for Robotics and Automation
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4613
Year2008
Author(s)Alessandro Cimatti; Andrea Guiotto; Marco Roveri
TitleOn Board Model Checking for Space Applications
ConferenceADCSS
PlaceNoordwijk, The Netherlands
Book TitleProceedings of ESA Workshop on Avionics Data, Control and Software Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID5355
Year2008
Author(s)Francesco Nesta; Maurizio Omologo; Piergiorgio Svaizer
TitleA BSS method for short utterances by a recursive solution to the permutation problem
ConferenceSENSOR ARRAY AND MULTICHANNEL SIGNAL PROCESSING WORKSHOP, SAM 2008 IEEE
PlaceDARMSTADT, GERMANY
Book TitleSENSOR ARRAY AND MULTICHANNEL SIGNAL PROCESSING WORKSHOP, SAM 2008 IEEE
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID8645
Year2008
Author(s)Francesco Nesta; Maurizio Omologo; Piergiorgio Svaizer
TitleA novel robust solution to the permutation problem based on a joint multiple TDOA estimation
ConferenceInternational Workshop on Acoustic Echo and Noise Control (IWAENC)
PlaceSeattle, WA, USA
Book TitleProceedings of the 11th International Workshop on Acoustic Echo and Noise Control
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID8649
Year2008
Author(s)Francesco Nesta; Maurizio Omologo; Piergiorgio Svaizer
TitleMultiple TDOA estimation by using a state coherence transform for solving the permutation problem in frequency-domain BSS
ConferenceIEEE Workshop on Machine Learning for Signal Processing, 2008 (MLSP 2008)
PlaceCancun, Mexico
Book TitleProceedings of the 2008 International Workshop on Machine Learning for Signal Processing (MLSP 2008)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID8653
Year2008
Author(s)Francesco Nesta; Piergiorgio Svaizer; Maurizio Omologo
TitleSeparating short signals in highly reverberant environment by a recursive frequency-domain BSS
ConferenceJoint Workshop on Hands-free Speech Communication and Microphone Arrays (HSCMA 2008)
PlaceTrento, Italy
Book TitleProceedings of the Joint Workshop on Hands-free Speech Communication and Microphone Arrays , HSCMA 2008
InternationalNo
Conf. RankN/D
Book U-Gov ID18569
Year2010
Author(s)Marco Bozzano; Adolfo Villafiorita
TitleDesign and Safety Assessment of Critical Systems
PublisherAuerbach Publications (Taylor & Francis Group)
InternationalNo
Book Chapter U-Gov ID270619
Year2014
Author(s)Laura Baracchi;Alessandro Cimatti;Gerald Garcia;Silvia Mazzini;Stefano Puri;Stefano Tonetta
TitleRequirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
Book TitleHandbook of Research on Embedded Systems Design
InternationalNo
Book Chapter U-Gov ID24669
Year2010
Author(s)Alessandro Cimatti
TitleSMT-Based Software Model Checking
Book TitleSPIN
InternationalNo
Book Chapter U-Gov ID8811
Year2009
Author(s)Marco Pistore; Pietro Braghieri; Piergiorgio Bertoli; Antonio Biscaglia; Annapaola Marconi; Stefano Pintarelli; Michele Trainotti
TitleASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain
Book TitleAt Your Service: Service-Oriented Computing from an EU Perspective
InternationalNo
Book Chapter U-Gov ID4114
Year2008
Author(s)Alessandro Cimatti; Marco Pistore; Paolo Traverso
TitleAutomated Planning
Book TitleHandbook of Knowledge Representation
InternationalNo
Editorship U-Gov ID105201
Year2012
Author(s)Jörg Brauer; Marco Roveri; Hendrik Tews
Title6th International Workshop on Systems Software Verification, SSV 2011
JournalN/D
BookN/D
Volume24
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik
InternationalNo
Editorship U-Gov ID177410
Year2012
Author(s)Alessandro Cimatti; Roberto Sebastiani
TitleTheory and Applications of Satisfiability Testing – SAT 2012
JournalLECTURE NOTES IN ARTIFICIAL INTELLIGENCE
BookN/D
Volume7317
PublisherSpringer
InternationalNo
Editorship U-Gov ID19009
Year2010
Author(s)Stefan Kowalewski; Marco Roveri
TitleFormal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
JournalN/D
BookFMICS
Volume6371
PublisherSpringer
InternationalNo
Editorship U-Gov ID8772
Year2008
Author(s)Alessandro Cimatti; Robert B. Jones
TitleFormal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008
JournalN/D
BookN/D
VolumeN/D
PublisherIEEE
InternationalNo
Abstract In Proceedings U-Gov ID177411
Year2012
Author(s)A. Cimatti
TitleApplication of SMT solvers to hybrid system verification
InternationalNo
Book Preface/Afterword U-Gov ID105202
Year2012
Author(s)María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri
TitlePreface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
InternationalNo
Encyclopedia Entry U-Gov ID99803
Year2013
Author(s)Marco Bozzano; Adolfo Villafiorita
TitleSafety Critical Systems
InternationalNo
Software U-Gov ID31882
Year2010
Author(s)Marco Roveri; Alessandro Cimatti; Iman Narasamdya; Andrea Micheli; Daniele Campana; Alberto Griggio; Andrei Tchaltsev
TitleKRATOS
InternationalNo
Software U-Gov ID31886
Year2010
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer; Roberto Cavada
TitleCOMPASS Tool
InternationalNo
Software U-Gov ID31880
Year2009
Author(s)Marco Roveri; Alessandro Cimatti; Viktor Schuppan; Andrei Tchaltsev; Roberto Cavada
TitleNuGAT
InternationalNo
Software U-Gov ID31884
Year2008
Author(s)Alessandro Cimatti; Marco Bozzano; Adolfo Villafiorita
TitleFSAP
InternationalNo
Other U-Gov ID4633
Year2009
Author(s)Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleSoftware Model Checking via Large-Block Encoding
InternationalNo
Other U-Gov ID4753
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
TitleCodesign of Dependable Systems: A Component-Based Language
InternationalNo
Other U-Gov ID4755
Year2009
Author(s)Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
TitleThe COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
InternationalNo
Other U-Gov ID5232
Year2009
Author(s)Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani
TitleEfficient Generation of Craig Interpolants in Satisfiability Modulo Theories
InternationalNo
Other U-Gov ID5233
Year2009
Author(s)Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani
TitleSoftware Model Checking via Large-Block Encoding
InternationalNo

           (\-.  +-------------------------------------------------+
           / _`> |         RAT - Research Assessment Tool          |
   _)     / _)=  | (C) 2011--2014 - FBK _ Fondazione Bruno Kessler |
  (      / _/    |                      v2.2                       |
   `-.__(___)_   +-------------------------------------------------+