Codesign of Dependable Systems: A Component-Based Modeling Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Formalization and validation of a subset of the European Train Control System
2010-01-01 Chiappini, Angelo; Cimatti, Alessandro; Macchi, Luca; Rebollo, Oscar; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Vittorini, Berardino
Requirements-Driven Verification of Web Services
2004-01-01 Pistore, Marco; Roveri, Marco; Busetta, Paolo
Verifying SystemC: a Software Model Checking Approach
2010-01-01 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Semi-Formal Functional Verification by EFSM traversing via NuSMV
2010-01-01 Di Guglielmo, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Roveri, Marco; Soffia, Stefano
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead
2011-01-01 Steel, Robin; Hoffman, Alexander; Cimatti, Alessandro; Roveri, Marco; Kapellos, Konstantinos; Donati, Alessandro; Policella, Nicola
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Model-Based Codesign of Critical Embedded Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
On Board Model Checking for Space Applications
2008-01-01 Cimatti, Alessandro; Guiotto, Andrea; Roveri, Marco
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements
2004-01-01 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco; Wimmer, Ralf
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Structure-Aware Computation of Predicate Abstraction
2009-01-01 Cimatti, Alessandro; Juhani Dubrovin, Jori; Antero Junttila, Tommi; Roveri, Marco
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Sequential Extended Regular Expressions to NFA with Symbolic Labels
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Symbolic Implementation of Alternating Automata
2006-01-01 Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
Formal Verification of Requirements using Spin: A Case Study on Web Services
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
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)20362
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263416
- 2010 - 20197209
- 2000 - 20096481
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2244
- Institute of Electrical and Elect...983
- Springer897
- ACM381
- IEEE Computer Society320
- Springer Verlag296
- SPIE186
- Association for Computing Machinery173
- CEUR-WS169
- Association for Computational Lin...168
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 SCIENCE693
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...184
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS OF THE IEEE CONFERENC...57
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
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 L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...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
- eng15283
- ita3576
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14944
- reserved3311
- open1586
- partially open514
- mixed7
- embargoed2