ES Evidences (Std 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 ID310214
Year2017
Author(s)Rajeev Piyare, Amy L.Murphy, Csaba Kiraly, Pietro Tosato and Davide Brunelli
TitleUltra Low Power Wake-Up Radios: A Hardware and Networking Survey
JournalIEEE COMMUNICATIONS SURVEYS AND TUTORIALS
ISSN1553-877X
VolumeN/D
InternationalNo
8654 17.188 17.43 2.446 3.3 0.02926 5.17
COMPUTER SCIENCE, INFORMATION SYSTEMS 1 146 Q1
TELECOMMUNICATIONS 1 89 Q1
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 ID306077
Year2016
Author(s)Raza, Usman; Bogliolo, Alessandro; Freschi, Valerio; Lattanzi, Emanuele; Murphy, Amy L.
TitleA two-prong approach to energy-efficient WSNs: Wake-up receivers plus dedicated, model-based sensing
JournalAD HOC NETWORKS
ISSN1570-8705
Volume45
InternationalNo
4061 3.047 3.178 0.661 4.6 0.00758 0.71
COMPUTER SCIENCE, INFORMATION SYSTEMS 33 146 Q1
TELECOMMUNICATIONS 24 89 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID306134
Year2016
Author(s)Iova, Oana; Picco, Gian Pietro; Istomin, Timofei; Kiraly, Csaba
TitleRPL, the Routing Standard for the Internet of Things ... Or Is It?
JournalIEEE COMMUNICATIONS MAGAZINE
ISSN0163-6804
Volume54
InternationalNo
11167 2.512 2.527 0.456 4.0 0.02329 0.554
ENGINEERING, ELECTRICAL & ELECTRONIC 3 260 Q1
TELECOMMUNICATIONS 2 89 Q1
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 ID280019
Year2015
Author(s)Abeni Luca; Kiraly Csaba; Li Nanfang; Bianco Andrea
TitleOn the Performance of KVM-Based Virtual Routers
JournalCOMPUTER COMMUNICATIONS
ISSN0140-3664
Volume70
InternationalNo
3307 2.099 1.732 0.179 6.3 0.00799 0.587
ENGINEERING, ELECTRICAL & ELECTRONIC 64 255 Q2
COMPUTER SCIENCE, INFORMATION SYSTEMS 28 143 Q1
TELECOMMUNICATIONS 18 82 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 ID306079
Year2015
Author(s)Raza, Usman; Camerra, Alessandro; Murphy, Amy L.; Palpanas, Themis; Picco, Gian Pietro
TitlePractical Data Prediction for Real-World Wireless Sensor Networks
JournalIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
ISSN1041-4347
Volume27
InternationalNo
6465 2.476 3.018 0.257 7.2 0.01435 1.108
ENGINEERING, ELECTRICAL & ELECTRONIC 42 255 Q1
COMPUTER SCIENCE, INFORMATION SYSTEMS 17 143 Q1
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 28 130 Q1
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 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 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 ID24509
Year2011
Author(s)Anna Förster; Amy Lynn Murphy
TitleFroms: A failure tolerant and mobility enabled multicast routing paradigm with reinforcement learning for WSNs
JournalAD HOC NETWORKS
ISSN1570-8705
Volume9
InternationalYes
1183 2.11 N/D 0.22 4.5 0.00628 N/D
COMPUTER SCIENCE, INFORMATION SYSTEMS 20 133 Q1
TELECOMMUNICATIONS 13 78 Q1
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 ID11628
Year2010
Author(s)Luca Mottola; Gian Pietro Picco; Matteo Ceriotti; Amy Lynn Murphy; Stefan Guna
TitleNot All Wireless Sensor Networks Are Created Equal: A Comparative Study On Tunnels
JournalACM TRANSACTIONS ON SENSOR NETWORKS
ISSN1550-4859
Volume7
InternationalNo
495 2.282 3.77 0.222 3.9 0.00377 1.536
COMPUTER SCIENCE, INFORMATION SYSTEMS 15 126 Q1
TELECOMMUNICATIONS 6 78 Q1
No ESF data
No ANVUR data
Journal Paper U-Gov ID18749
Year2010
Author(s)Daniele Zonta; Huayong Wu; Matteo Pozzi; Paolo Zanon; Matteo Ceriotti; Gian Pietro Picco; Amy L. Murphy; Stefan Guna; Michele Corrà
TitleWireless Sensor Networks for Permanent Health Monitoring of Historic Constructions
JournalSMART STRUCTURES AND SYSTEMS
ISSN1738-1584
Volume6
InternationalNo
235 1.316 1.292 0.281 2.7 0.00111 0.339
ENGINEERING, CIVIL 22 115 Q1
INSTRUMENTS & INSTRUMENTATION 24 61 Q2
ENGINEERING, MECHANICAL 27 122 Q1
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 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 ID5239
Year2009
Author(s)Alessandro Ferrante; Margherita Napoli; Mimmo Parente
TitleModel Checking for Graded CTL
JournalFUNDAMENTA INFORMATICAE
ISSN0169-2968
Volume96
InternationalNo
1314 0.615 0.747 0.141 6.6 0.00321 0.199
COMPUTER SCIENCE, SOFTWARE ENGINEERING 78 93 Q4
MATHEMATICS, APPLIED 146 202 Q3
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 ID309094
Year2017
Author(s)Iova, Oana; Murphy, Amy Lynn; Picco, Gian Pietro; Ghiro, Lorenzo; Molteni, Davide; Ossi, Federico; Cagnacci, Francesca
TitleLoRa from the City to the Mountains: Exploration of Hardware and Environmental Factors
ConferenceInternational Conference on Embedded Wireless Systems and Networks (EWSN) 2017
PlaceUppsala, Sweden
Book TitleProceedings of the International Conference on Embedded Wireless Systems and Networks (EWSN) 2017
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID309096
Year2017
Author(s)Rajeev Piyare; Timofei Istomin; Amy L. Murphy
TitleWaCo: A Wake-Up Radio COOJA Extension for Simulating Ultra Low Power Radios
ConferenceEWSN
PlaceUppsala, Sweden
Book TitleProceedings of the 14th International Conference on Embedded Wireless Systems and Networks
InternationalNo
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 ID306075
Year2016
Author(s)Giovanelli, Davide; Milosevic, Bojan; Kiraly, Csaba; Murphy, Amy Lynn; Farella, Elisabetta
TitleDynamic group management with Bluetooth Low Energy
Conference2016 IEEE International Smart Cities Conference (ISC2)
PlaceTrento
Book Title2016 IEEE International Smart Cities Conference (ISC2)
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 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 ID261823
Year2015
Author(s)Timofei Istomin; Csaba Kiraly; Gian Pietro Picco
TitleIs RPL Ready for Actuation? A Comparative Evaluation in a Smart City Scenario
ConferenceEuropean Conference on Wireless Sensor Networks
PlacePorto, Portugal
Book TitleEuropean Conference on Wireless Sensor Networks
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 ID279019
Year2015
Author(s)Gian Pietro Picco; Davide Molteni; Amy L. Murphy; Federico Ossi; Francesca Cagnacci; Michele Corra; Sandro Nicoloso
TitleGeo-referenced Proximity Detection of Wildlife with WildScope: Design and Characterization
ConferenceInternational Conference on Information Processing in Sensor Networks
PlaceSeattle, WA, USA
Book TitleProceedings of the 14th International Conference on Information Processing in Sensor Networks
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 ID303749
Year2015
Author(s)Kiraly, Csaba; Istomin, Timofei; Iova, Oana; Picco, Gian Pietro
TitleD-RPL: Overcoming memory limitations in RPL point-to-multipoint routing
ConferenceLocal Computer Networks (LCN)
PlaceClearwater Beach, FL
Book Title2015 IEEE 40th Conference on Local Computer Networks (LCN)
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 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 ID226616
Year2014
Author(s)A. Bogliolo;V. Freschi;E. Lattanzi;A. Murphy;U. Raza
TitleTowards a True Energetically Sustainable WSN: A Case Study with Prediction-Based Data Collection and a Wake-up Receiver
Conference9th IEEE International Symposium on Industrial Embedded Systems
PlacePisa, Italy
Book TitleProc. of 9th IEEE Int. Symp. on Industrial Embedded Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID229219
Year2014
Author(s)Dall’Ora R.; Raza U.; Brunelli D.; Picco G.P.
TitleSensEH: From Simulation to Deployment of Energy Harvesting Wireless Sensor Networks
ConferenceIEEE Conference on Local Computer Networks (LCN) 2014
PlaceEdmonton, Canada
Book TitleProceedings of IEEE Conference on Local Computer Networks (LCN)
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 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 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 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 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 ID179827
Year2013
Author(s)U. Raza;A. Murphy;G. Picco
TitleEmbracing localization inaccuracy: A case study
ConferenceIntelligent Sensors, Sensor Networks and Information Processing, 2013 IEEE Eighth International Conference on
PlaceMelbourne, Australia
Book TitleIntelligent Sensors, Sensor Networks and Information Processing, 2013 IEEE Eighth International Conference on
InternationalNo
Conf. RankB
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 ID214015
Year2013
Author(s)Ramona Marfievici; Amy L. Murphy; Gian Pietro Picco; Federico Ossi; Francesca Cagnacci
TitleHow Environmental Factors Impact Outdoor Sensor Networks: A Case Study
ConferenceHow Environmental Factors Impact Outdoor Sensor Networks: A Case Study
PlaceHangzhou, Cina
Book TitleProceedings of the IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID76201
Year2012
Author(s)U. Raza;A. Camerra;A. Murphy;T. Palpanas;G. Picco
TitleWhat Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks?
ConferenceIEEE International Conference on Pervasive Computing and Communications
PlaceLugano, Switzerland
Book TitleProc. of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2012)
InternationalNo
Conf. RankA
Conference Paper U-Gov ID76202
Year2012
Author(s)U. Raza
TitleApplication-aware Techniques for Energy Efficient Data Collection in Wireless Sensor Networks
ConferenceIEEE International Conference on Pervasive Computing and Communications (PerCom)
PlaceLugano, Switzerland
Book TitlePervasive Computing and Communications Workshops (PERCOM Workshops), 2012 IEEE International Conference on
InternationalNo
Conf. RankA
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 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 ID24549
Year2011
Author(s)Matteo Ceriotti; Michele Corrà; Leandro D’Orazio; Roberto Doriguzzi; Daniele Facchin; Stefan Gună; Gian Paolo Jesi; Renato Lo Cigno; Luca Mottola; Amy L. Murphy; Massimo Pescalli; Gian Pietro Picco; Denis Pregnolato; Carloalberto Torghele
TitleIs There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels
ConferenceIPSN 2011
PlaceChicago, IL, USA
Book TitleProceedings of the 10th Int. Conference on Information Processing in Sensor Networks
InternationalNo
Conf. RankA
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 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 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 ID80201
Year2011
Author(s)M. Chini; M. Ceriotti ; R. Marfievici ; A. L. Murphy ; G. P. Picco
TitleTRIDENT: Untethered Observation of Physical Communication Made to Share
ConferenceACM International Conference on Embedded Networked Sensor Systems
PlaceSeattle, WA, USA
Book TitleProceedings of the 9th ACM International Conference on Embedded Networked Sensor Systems (SENSYS)
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 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 ID7208
Year2010
Author(s)Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino
TitleA NuSMV Extension for Graded-CTL Model Checking
ConferenceCAV 2010-22nd International Conference on Computer Aided Verification
PlaceEdinburgh, UK
Book TitleN/D
InternationalNo
Conf. RankA
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 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 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 ID18751
Year2010
Author(s)Matteo Ceriotti; M. Chini; Amy L. Murphy; Gian Pietro Picco; Francesca Cagnacci; B. Tolhurst
TitleMotes in the Jungle: Lessons Learned from a Short-term WSN Deployment in the Ecuador Cloud Forest
ConferenceRealWSN - 4th Workshop on Real-World Wireless Sensor Networks
PlaceColombo, Sri Lanka
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID18753
Year2010
Author(s)Matteo Ceriotti; Amy L. Murphy
TitleA MAC Contest between LPL (the Champion) and Reins-MAC (the Challenger, an Anarchic TDMA Scheduler Providing QoS) Demonstration
ConferenceSENSYS - 8th ACM International Conference on Embedded Networked Sensor Systems
PlaceZurich, Switzerland
Book TitleN/D
InternationalNo
Conf. RankA
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 ID4604
Year2009
Author(s)Viktor Schuppan
TitleTowards a Notion of Unsatisfiable Cores for LTL
Conference3rd International Conference on Fundamentals of Software Engineering (FSEN`09)
PlaceKish Island, Iran
Book Title3rd International Conference on Fundamentals of Software Engineering (FSEN`09)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4621
Year2009
Author(s)Matteo Ceriotti; Luca Mottola; Amy Lynn Murphy; Gian Pietro Picco; Stefan Guna; Michele Corrà; Matteo Pozzi; Daniele Zonta; Paolo Zanon
TitleMonitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment
ConferenceInformation Processing in Sensor Networks (IPSN 2009)
PlaceSan Francisco, USA
Book TitleInformation Processing in Sensor Networks (IPSN 2009)
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4625
Year2009
Author(s)Leonardo Leiria Fernandes; Amy Lynn Murphy
TitleMVSink: Incrementally Building In-Network Aggregation Trees
Conference6th European Conference on Wireless Sensor Networks (EWSN 2009)
PlaceCork, Ireland
Book Title6th European Conference on Wireless Sensor Networks (EWSN 2009)
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4626
Year2009
Author(s)Luigi Palopoli; Roberto Passerone; Amy Lynn Murphy; Gian Pietro Picco; Alessandro Giusti
TitleSolving the Wake-Up Scattering Problem Optimally
Conference6th European Conference on Wireless Sensor Networks (EWSN 2009)
PlaceCork, Ireland
Book Title6th European Conference on Wireless Sensor Networks (EWSN 2009)
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4648
Year2009
Author(s)Anna Förster; Alexander Förster; Amy Lynn Murphy
TitleOptimal cluster sizes for wireless sensor networks: An experimental analysis
ConferenceFirst International Conference on Ad Hoc Networks (ADHOCNETS `09)
PlaceNiagara Falls, Ontario, Canada
Book TitleFirst International Conference on Ad Hoc Networks (ADHOCNETS `09)
InternationalNo
Conf. RankN/D
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 ID4902
Year2009
Author(s)Andrei Voronkov; Iman Narasamdya
TitleInter-Program Properties
ConferenceThe 16th International Static Analysis Symposium
PlaceLos Angeles, USA
Book TitleThe 16th International Static Analysis Symposium
InternationalNo
Conf. RankA
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 ID4989
Year2009
Author(s)Alessandro Ferrante; Margherita Napoli; Mimmo Parente
TitleGraded-CTL
ConferenceAnnual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2009)
PlaceUdine, Italy
Book TitleN/D
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 ID5074
Year2009
Author(s)Alessandro Ferrante; Margherita Napoli; Mimmo Parente
TitleGraded-CTL: Satisfiability and Symbolic Model Checking
Conference11th International Conference on Formal Engineering Methods
PlaceRio de Janeiro, Brasil
Book Title11th International Conference on Formal Engineering Methods
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 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 ID5260
Year2009
Author(s)Iman Narasamdya; Michael Perin
TitleCertification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences
ConferenceFundamental Approaches to Software Engineering, 12th International Conference, FASE 2009
PlaceYork, UK
Book TitleFundamental Approaches to Software Engineering, 12th International Conference, FASE 2009
InternationalNo
Conf. RankB
Conference Paper U-Gov ID5261
Year2009
Author(s)Iman Narasamdya; Michael Perin
TitleCertification of Smart-Card Applications in Common Criteria
ConferenceThe 2009 ACM Symposium on Applied Computing
PlaceHonolulu, Hawaii, USA
Book TitleThe 2009 ACM Symposium on Applied Computing
InternationalNo
Conf. RankB
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 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 ID4493
Year2008
Author(s)Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar
TitleSurvey on Directed Model Checking
ConferenceMoChArt`08
PlacePatras, Greece
Book Title5th International Workshop on Model Checking and Artificial Intelligence, Revised Selected and Invited Papers
InternationalNo
Conf. RankN/D
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 ID4614
Year2008
Author(s)Anna Förster; Amy Lynn Murphy; Jochen H Schiller; Kirsten Terfloth
TitleAn Efficient Implementation of Reinforcement Learning Based Routing on Real WSN Hardware
ConferenceIEEE International Conference on Wireless & Mobile Computing, Networking & Communication (WiMob 2008)
PlaceAvignon, France
Book TitleIEEE International Conference on Wireless & Mobile Computing, Networking & Communication (WiMob 2008)
InternationalNo
Conf. RankC
Conference Paper U-Gov ID4615
Year2008
Author(s)Davide Frey; Amy Lynn Murphy
TitleFailure-Tolerant Overlay Trees for Large-Scale Dynamic Networks
ConferenceEighth International Conference on Peer-to-Peer (PP `08)
PlaceAachen, Germany
Book TitleEighth International Conference on Peer-to-Peer (PP `08)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4616
Year2008
Author(s)Michele Lanza; Amy Lynn Murphy; Romain Robbes; Mircea Lungu; Paolo Bonzini; Marco D`Ambros; Richard Wettel
TitleA Teamwork-Based Approach to Programming Fundamentals with Scheme, Smalltalk & Java
ConferenceACM/IEEE 30th International Conference on Software Engineering, 2008. ICSE `08
PlaceLeipzig, Germany
Book TitleACM/IEEE 30th International Conference on Software Engineering, 2008. ICSE `08
InternationalNo
Conf. RankA
Conference Paper U-Gov ID4617
Year2008
Author(s)Matteo Ceriotti; Amy Lynn Murphy; Gian Pietro Picco
TitleData Sharing vs. Message Passing: Synergy or Incompatibility? An Implementation-Driven Case Study
ConferenceACM Symposium on Applied Computing (SAC 2008)
PlaceFortaleza, Ceara, Brazil
Book TitleACM Symposium on Applied Computing (SAC 2008)
InternationalNo
Conf. RankB
Conference Paper U-Gov ID4618
Year2008
Author(s)Anna Förster; Amy Lynn Murphy
TitleBalancing Energy Expenditure in WSNs through Reinforcement Learning: A Study
ConferenceWorkshop on Energy in Wireless Sensor Networks (WEWSN 2008)
PlaceSantorini Island, Greece
Book TitleWorkshop on Energy in Wireless Sensor Networks (WEWSN 2008)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID4619
Year2008
Author(s)Matteo Ceriotti; Amy Lynn Murphy
TitleIntroducing an adaptive MAC layer to support Quality of Service in WSN
ConferenceProceedings of the 5th European conference on Wireless Sensor Networks
PlaceBologna, Italy
Book TitleProceedings of the 5th European conference on Wireless Sensor Networks
InternationalNo
Conf. RankA
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 ID4668
Year2009
Author(s)Andrei Voronkov; Iman Narasamdya
TitleInter-Program Properties
Book TitleStatic Analysis
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 ID229619
Year2013
Author(s)Ramona Marfievici; Amy L Murphy; Gian Pietro Picco; Federico Ossi; Francesca Cagnacci
TitlePoster Abstract: Are those trees messing with my wireless sensor network?
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
Poster U-Gov ID197011
Year2013
Author(s)Raza U.; Murphy A.; Picco GP
TitlePoster Abstract: Pushing a Standard Wireless Sensor Network Stack for Ultra-low Data Rates
InternationalNo
Software U-Gov ID31887
Year2011
Author(s)Matteo Ceriotti; Paolo Costa; Stefan Gună; Luca Mottola; Amy L. Murphy; Gian Pietro Picco
TitleTeenyLIME
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                       |
   `-.__(___)_   +-------------------------------------------------+