DOMENICI, ANDREA Statistiche
DOMENICI, ANDREA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
A general model for an Abstract Prolog Machine
1988-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A logic theory pattern for linearized control systems
2021-01-01 Domenici, A.; Bernardeschi, C.
A Model for the Storage Resource Manager
2007-01-01 Domenici, Andrea; Donno, Flavia
A performance study on the synchronisation of heterogeneous grid databases using CONStanza
2010-01-01 Pucciani, Gianni; Domenici, Andrea; Donno, Flavia; Stockinger, Heinz
A Prolog environment within the Unix operating system
1987-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment
1989-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment
1989-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A prototyping process for medical devices and systems
2021-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
2018-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
A Synthetic trace generator for multiprocessor performance evaluation
1989-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A Tool for Signal Probability Analysis of FPGA-Based Systems
2011-01-01 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs
2012-01-01 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Luca, Sterpone
An abstract Prolog machine
1989-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
An abstract Prolog machine Vol. 11, No. 2, pp. 31-37
1989-01-01 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems
2012-01-01 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Domenici, Andrea
Application of Model Checking to Fault Tolerance Analysis
2019-01-01 Bernardeschi, C.; Domenici, A.
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs
2014-01-01 Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Sterpone, Luca
Block-Based Models and Theorem Proving in Model-Based Development
2020-01-01 Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors
2020-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Saponara, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A general model for an Abstract Prolog Machine | 1-gen-1988 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| A logic theory pattern for linearized control systems | 1-gen-2021 | Domenici, A.; Bernardeschi, C. | |
| A Model for the Storage Resource Manager | 1-gen-2007 | Domenici, Andrea; Donno, Flavia | |
| A performance study on the synchronisation of heterogeneous grid databases using CONStanza | 1-gen-2010 | Pucciani, Gianni; Domenici, Andrea; Donno, Flavia; Stockinger, Heinz | |
| A Prolog environment within the Unix operating system | 1-gen-1987 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| A protocol for resource locking and deadlock detection in a multi-user environment | 1-gen-1989 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| A protocol for resource locking and deadlock detection in a multi-user environment | 1-gen-1989 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| A prototyping process for medical devices and systems | 1-gen-2021 | Bernardeschi, C.; Domenici, A.; Palmieri, M. | |
| A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems | 1-gen-2018 | Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo | |
| A Synthetic trace generator for multiprocessor performance evaluation | 1-gen-1989 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| A Tool for Signal Probability Analysis of FPGA-Based Systems | 1-gen-2011 | Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Masci, PAOLO MANUEL | |
| Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs | 1-gen-2012 | Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Luca, Sterpone | |
| An abstract Prolog machine | 1-gen-1989 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| An abstract Prolog machine Vol. 11, No. 2, pp. 31-37 | 1-gen-1989 | Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO | |
| Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems | 1-gen-2012 | Bernardeschi, Cinzia; Cassano, LUCA MARIA; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Domenici, Andrea | |
| Application of Model Checking to Fault Tolerance Analysis | 1-gen-2019 | Bernardeschi, C.; Domenici, A. | |
| ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs | 1-gen-2014 | Bernardeschi, Cinzia; Cassano, LUCA MARIA; Domenici, Andrea; Sterpone, Luca | |
| Block-Based Models and Theorem Proving in Model-Based Development | 1-gen-2020 | Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M. | |
| Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications | 1-gen-2021 | Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio | |
| Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors | 1-gen-2020 | Bernardeschi, C.; Dini, P.; Domenici, A.; Saponara, S. |