Effective word-level interpolation for software verification
2011-01-01 Griggio, Alberto
Broadening the Scope of SMT-COMP: the Application Track
2012-01-01 Bruttomesso, Roberto; Griggio, Alberto
Deciding Floating-Point Logic with Systematic Abstraction
2012-01-01 Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening
Software Model Checking via IC3
2012-01-01 Cimatti, Alessandro; Griggio, Alberto
Parameter Synthesis with IC3
2013-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
All Together Now: Collective Intelligence for Computer-Supported Collective Action
2015-01-01 Valetto, Giuseppe; Bucchiarone, Antonio; Geihs, Kurt; Buscher, Monika; Petersen, Katrina; Nowak, Andrej; Rychwalska, Agnieszka; Pitt, Jeremy; Shalhoub, Joseph; Rossi, Francesca; Silingardi, Paolo; Bernardeschi, Paola
Preparation and characterization of ZnO particles embedded iorganic-inorganic planar waveguide by sol-gel route
2008-01-01 Chiappini, A.; Armellini, C.; Chiasera, A.; Ferrari, M.; Guider, R.; Jestin, Y.; Minati, L.; Moser, E.; Nunzi Conti, G.; Pelli, S.; Retoux, R.; Righini, G. C.; Speranza, G.
Glass-based erbium activated micro-nano photonic structures
2009-01-01 Alombert-Goget, G.; Armellini, C.; Berneschi, S.; Bhaktha, S. N. B.; Boulard, B.; Chiappini, A.; Chiasera, A.; Duverger-Arfuso, C.; Feron, P.; Ferrari, M.; Jestin, Y.; Minati, L.; Lucien Monteil, A.; Moser, E.; Nunzi Conti, G.; Pelli, S.; Prudenzano, F.; Righini, G. C.; Speranza, G.
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
2013-01-01 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
2013-01-01 Brain, Martin; D’Silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
Efficient Anytime Techniques for Model-Based Safety Analysis
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Á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
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Electronic confinement of silver nanoclusters in Er3+-activated silicate and phosphate glasses
2009-01-01 Minati, L.; Speranza, G.; Chiappini, A.; Chiasera, A.; Ferrari, M.; Berneschi, S.; Pelli, S.; Righini, G. C.
Symbolic execution with existential second-order constraints
2018-01-01 Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik
Diversity: A poor man's solution to drone takeover
2017-01-01 Davanian, A.; Massacci, F.; Allodi, L.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Convegni (Proceedings)20267
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263334
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2258
- Institute of Electrical and Elect...959
- Springer898
- ACM387
- IEEE Computer Society314
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS168
- Association for Computing Machinery163
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15202
- ita3561
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15010
- reserved3240
- open1521
- partially open488
- mixed8
- embargoed2