Formal analysis of hardware requirements
2006-01-01 Sentovich, Ellen; Pill, I.; Semprini, S.; Cavada, R.; Roveri, M.; Bloem, R.; Cimatti, A.
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, M.; Cimatti, A.; Lisagor, O.; Mattarei, C.; Mover, S.; Roveri, M.; Tonetta, S.
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Krishnamani, Kalyanasundaram; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
Verification and performance evaluation of AADL models
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Bounded Verification of Past LTL
2004-01-01 Cimatti, A.; Roveri, M.; Sheridan, D.
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
2012-01-01 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
MBP: a Model Based Planner
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Morphology and composition of Cu2S ultra-thin films deposited by E-ALD
2017-01-01 Russo, F.; Giaccherini, A.; Salvietti, E.; Berretti, E.; Passaponti, M.; Lavacchi, A.; Montegrossi, G.; Piciollo, E.; Di Benedetto, F.; Innocenti, M.
Experimental proof for the cloaking of flexural vibrations in a structured plate
2017-01-01 Misseroni, Diego
A 15 mu K noise temperature SQUID amplifier for ultracryogenic gravitational wave detectors
2002-01-01 Vitale, S; Prodi, Ga; Mezzena, R; Vinante, A; Cerdonio, M; Bonaldi, M; Falferi, P
Building Chatbots from Forum Data: Model Selection Using Question Answering Metrics
2017-01-01 Boyanov, Martin; Koychev, Ivan; Nakov, Preslav; Moschitti, Alessandro; Da San Martino, Giovanni
Commercial Applications through Community Question Answering Technology
2017-01-01 Uva, Antonio; Storch, Valerio; Carrino, Casimiro; Di Iorio, Ugo; Moschitti, Alessandro
SemEval-2017 Task 3: Community Question Answering
2017-01-01 Nakov, Preslav; Hoogeveen, Doris; M`arquez, Llu'Is; Moschitti, Alessandro; Mubarak, Hamdy; Baldwin, Timothy; Verspoor, Karin
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)20240
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa42
- 2020 - 20263316
- 2010 - 20197193
- 2000 - 20096477
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2265
- Institute of Electrical and Elect...951
- Springer898
- ACM389
- IEEE Computer Society312
- Springer Verlag294
- SPIE181
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery161
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 SCIENCE679
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...172
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...93
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...55
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...30
- 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...6
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications148
- Computer Science Applications1707...143
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence52
- Modeling and Simulation49
Lingua
- eng15177
- ita3560
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14990
- reserved3238
- open1518
- partially open486
- mixed8
- embargoed2