@inproceedings{a87,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {A {P}rolog environment within the {U}nix operating system},
booktitle = {Proceedings of the IASTED International Conference on
EXPERT SYSTEMS, {\em Geneva}},
pages = {60--64},
publisher = {Acta Press},
year = 1987
}
@inproceedings{a88,
author = {A. Domenici and B. Lazzerini},
title = {Unificazione in {P}rolog: costi e valutazioni},
booktitle = {Proceedings of the Congresso Annuale AICA '88,
{\em Cagliari}},
pages = {11--20},
publisher = {},
year = 1988
}
@inproceedings{a88a,
author = {A. Domenici and B. Lazzerini},
title = {Variables' lifetime, mode declarations and clause indexing in {P}rolog implementations},
booktitle = {Proceedings of the Third International Symposium on
Computer and Information Sciences 1988, \c{C}e\c{s}me},
pages = {213--224},
publisher = {},
year = 1988
}
@inproceedings{a88b,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {A general model for an {A}bstract {P}rolog {M}achine},
booktitle = {Proceedings of the ISMM International Conference
MINI AND MICROCOMPUTERS, {\em Miami Beach}},
pages = {351--354},
publisher = {Acta Press},
year = 1988
}
@article{a89,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {An abstract {Prolog} machine},
journal = {The International Journal of Mini and Microcomputers},
year = {1989},
keywords = {},
number = {1},
note = {},
pages = {31--37},
volume = {11}
}
@article{a89X,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {An abstract {Prolog} machine},
journal = {The International Journal of Mini and Microcomputers},
issn = {0702-0481},
keywords = {},
volume = {11},
number = {2},
pages = {31--37},
note = {},
year = {1989}
}
@inproceedings{a89a,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {A protocol for resource locking and deadlock detection in a
multi-user environment},
booktitle = {Proceedings of the Fifteenth symposium on microprocessing
and microprogramming EUROMICRO 89, {\em Cologne}},
pages = {431--438},
publisher = {North-Holland},
year = 1989
}
@article{a89a1,
author = {Andrea Domenici and Beatrice Lazzerini and Cosimo Antonio Prete},
title = {A protocol for resource locking and deadlock detection in a
multi-user environment},
journal = {Microprocessing and Microprogramming},
volume = {27},
number = {1-5},
pages = {431 - 437},
note = {Fifteenth EUROMICRO Symposium on Microprocessing and
Microprogramming},
issn = {0165-6074},
doi = {DOI: 10.1016/0165-6074(89)90087-2},
url = {http://www.sciencedirect.com/science/article/B75C7-4998VNF-110/2/9cec03c6a7b5902c4aeafc481d6a5db9},
year = {1989}
}
@article{Domenici1989431,
title = {A protocol for resource locking and deadlock detection in a
multi-user environment},
journal = {Microprocessing and Microprogramming},
volume = {27},
number = {1-5},
pages = {431 - 437},
year = {1989},
note = {Fifteenth EUROMICRO Symposium on Microprocessing and
Microprogramming},
issn = {0165-6074},
doi = {DOI: 10.1016/0165-6074(89)90087-2},
url = {http://www.sciencedirect.com/science/article/B75C7-4998VNF-110/2/9cec03c6a7b5902c4aeafc481d6a5db9},
author = {Andrea Domenici and Beatrice Lazzerini and Cosimo Antonio Prete}
}
@inproceedings{a89b,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Debugging logic programs at the implementation level},
booktitle = {Proceedings of the Third International Symposium on
Multimicroprocessor Systems MMPS 89, {\em Stralsund}},
pages = {275--283},
publisher = {},
year = 1989
}
@inproceedings{a89c,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {A Synthetic trace generator for multiprocessor performance
evaluation},
booktitle = {Proceedings of the Third International Symposium on
Multimicroprocessor Systems MMPS 89, {\em Stralsund}},
pages = {242--253},
publisher = {},
year = 1989
}
@inproceedings{a89d,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {{Compiling Prolog with a C compiler}},
booktitle = {Proceedings of the Fourth International Symposium on
Computer and Information Sciences 1989, {\em \c{C}e\c{s}me}},
pages = {771--781},
publisher = {},
year = 1989
}
@inproceedings{a90,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Strumenti per lo studio di reti di {Petri} basati sulla
programmazione logica},
booktitle = {Quinto Convegno sulla Programmazione Logica GULP-90},
pages = {143--152},
publisher = {},
year = 1990
}
@article{a90a,
author = {A. Domenici and B. Lazzerini and C.A. Prete},
title = {Introduction to {Prolog} computation model and its
implementation},
journal = {Information and Software Technology},
keywords = {},
number = {6},
note = {},
pages = {423--431},
volume = {32},
year = {1990}
}
@article{a90ax,
author = {A Domenici and B Lazzerini and CA Prete},
title = {Introduction to Prolog computation model and its implementation},
journal = {Information and Software Technology},
volume = {32},
number = {6},
pages = {423 - 431},
note = {},
issn = {0950-5849},
doi = {DOI: 10.1016/0950-5849(90)90129-F},
url = {http://www.sciencedirect.com/science/article/B6V0B-48TDC9H-99/2/d982af4ec5136da828030e987dc81629},
keywords = {Prolog},
keywords = {logic programming},
keywords = {model},
keywords = {algorithm},
year = {1990}
}
@article{Domenici1990423,
author = {A Domenici and B Lazzerini and CA Prete},
title = {Introduction to Prolog computation model and its implementation},
journal = {Information and Software Technology},
volume = {32},
number = {6},
pages = {423 - 431},
note = {},
issn = {0950-5849},
doi = {DOI: 10.1016/0950-5849(90)90129-F},
url = {http://www.sciencedirect.com/science/article/B6V0B-48TDC9H-99/2/d982af4ec5136da828030e987dc81629},
keywords = {Prolog},
keywords = {logic programming},
keywords = {model},
keywords = {algorithm},
year = {1990}
}
@inproceedings{a90b,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Petri nets in logic},
booktitle = {Proceedings of the Sixteenth symposium on microprocessing
and microprogramming EUROMICRO 90, Amsterdam},
pages = {193--198},
publisher = {North-Holland},
year = 1990
}
@article{a90b1,
author = {Andrea Domenici},
title = {Petri nets in logic},
journal = {Microprocessing and Microprogramming},
volume = {30},
number = {1-5},
pages = {193 - 198},
note = {Proceedings Euromicro 90: Hardware and Software in System
Engineering},
issn = {0165-6074},
doi = {DOI: 10.1016/0165-6074(90)90239-6},
url = {http://www.sciencedirect.com/science/article/B75C7-4998V1K-MX/2/737be2fd8d86892d3cbcfb494f52a132},
year = {1990}
}
@article{Domenici1990193,
author = {Andrea Domenici},
title = {Petri nets in logic},
journal = {Microprocessing and Microprogramming},
volume = {30},
number = {1-5},
pages = {193 - 198},
note = {Proceedings Euromicro 90: Hardware and Software in System
Engineering},
issn = {0165-6074},
doi = {DOI: 10.1016/0165-6074(90)90239-6},
url = {http://www.sciencedirect.com/science/article/B75C7-4998V1K-MX/2/737be2fd8d86892d3cbcfb494f52a132},
year = {1990}
}
@book{a90d,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Note per il seminario {L}a {M}acchina {A}stratta di {W}arren},
publisher = {ETS Editrice, Pisa},
note = {monografia},
year = 1990
}
@techreport{a91,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Implementing Labelled Commits},
type = {Unpublished manuscript},
institution = {Department of Computer Science, University of Bristol},
year = 1991
}
@techreport{a91a,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {The {G}ondor preprocessor},
type = {Unpublished manuscript},
institution = {Department of Computer Science, University of Bristol},
year = 1991
}
@phdthesis{tesid,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Un'implementazione parallela del linguaggio {G}\"odel},
school = {Dip. di Ingegneria dell'Informazione: Elettronica,
Informatica, Telecomunicazioni, U. di Pisa},
year = 1992
}
@techreport{a92,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {The {G}ondor preprocessor},
type = {},
institution = {Scuola Superiore S.~Anna, Pisa},
number = {ARTS Lab 92-09},
year = 1992
}
@incollection{a93,
author = {A. Domenici and C. A. Prete},
title = {Macchina {A}stratta di {W}arren e compilatore
{P}rolog},
booktitle = {Prolog: {L}inguaggio, {A}pplicazioni ed
{I}mplementazioni},
editor = {G. Levi and F. Patricelli},
publisher = {SSGRR, L'Aquila},
pages = {435--466},
year = 1993
}
@inproceedings{a93a,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Gondor: {G}\"odel on {A}ndorra},
booktitle = {Ottavo Convegno sulla Programmazione Logica GULP-93},
pages = {585--599},
editor = {D. Sacc\`a},
publisher = {},
year = 1993
}
@book{a93b,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Note sul sistema operativo {Unix}},
publisher = {Servizio Editoriale Universitario di Pisa},
year = 1993
}
@techreport{a95,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Guidelines for a distributed implementation of
{G\"odel}},
institution = {Scuola Superiore S.~Anna, Pisa},
number = {ARTS Lab 95-02},
year = 1995
}
@book{a95a,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Note sul linguaggio {C++}},
publisher = {Servizio Editoriale Universitario di Pisa},
year = 1995
}
@book{a96,
author = {A. Domenici and G. Frosini},
title = {Introduzione alla programmazione ed elementi di
strutture dati con il linguaggio {C++}},
publisher = {Franco Angeli},
year = 1996
}
@inproceedings{a98,
author = {M. Di Natale and A. Domenici},
title = {The {DASE} Tool: An Environment for the Development of Real-Time
Applications},
booktitle = {Distributed and Parallel Embedded Systems (DIPES'98)},
pages = {169--179},
editor = {F. Z. Rammig},
publisher = {Kluwer},
year = 1998
}
@inproceedings{a98x,
author = {Di Natale, Marco and Domenici, A.},
title = {The {DASE} tool: an environment for the development of real-time
applications},
booktitle = {DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international
workshop on Distributed and parallel embedded systems},
isbn = {0-7923-8614-0},
pages = {169--179},
location = {Scholo\ss Eringerfeld, Germany},
publisher = {Kluwer Academic Publishers},
address = {Norwell, MA, USA},
year = {1999}
}
@inproceedings{328708,
author = {Di Natale, Marco and Domenici, A.},
title = {The DASE tool: an environment for the development of real-time
applications},
booktitle = {DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international
workshop on Distributed and parallel embedded systems},
isbn = {0-7923-8614-0},
pages = {169--179},
location = {Scholo\ss Eringerfeld, Germany},
publisher = {Kluwer Academic Publishers},
address = {Norwell, MA, USA},
year = {1999}
}
@proceedings{DBLP:conf/ifip10-3/1998dipes,
editor = {Franz J. Rammig},
title = {Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5
International Workshop on Distributed and Parallel Embedded
Systems
(DIPES '98), October 5-6. 1998, Schlo{\ss} Eringerfeld,
Germany},
booktitle = {DIPES},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {155},
year = {1999},
isbn = {0-7923-8614-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{a99,
author = {M. Di Natale and A. Domenici and P. Ancilotti},
title = {The {DASE} Design Environment for Distributed Real-Time
Analysis},
booktitle = {IIIS SCI-ISAS Conference},
pages = {},
editor = {},
publisher = {Orlando (USA), August 3-5},
year = 1999
}
@inproceedings{a99a,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Object-Oriented Thinking for the Internet},
booktitle = {Festival Informati\v ckih Dostignu\' ca (INFOFEST-99)},
note = {(Invited tutorial,
\texttt{www.ing.unipi.it/\symbol{126}d8651/infofest99/})},
publisher = {Budva (FRY), Sept. 25 -- Oct. 2},
year = 1999
}
@inproceedings{a00,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Internet and Object-Oriented Design Methods},
booktitle = {Advances in Infrastructure for E-Business on the Internet
(YUINFO-2000)},
note = {(Invited talk,
\texttt{www.ing.unipi.it/\symbol{126}d8651/yuinfo2000/yuinfo2000dld.html})},
publisher = {Kopaonik (FRY), March 27 -- 31},
year = 2000
}
@inproceedings{a00a,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Tutorial on Internet and Object-Oriented Design Methods},
booktitle = {Advances in Infrastructure for E-Business on the Internet
(YUINFO-2000)},
note = {(Invited tutorial,
\texttt{www.ing.unipi.it/\symbol{126}d8651/yuinfo2000/yuinfo2000dld.html})},
publisher = {Kopaonik (FRY), March 27 -- 31},
year = 2000
}
@inproceedings{a00b,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Object-oriented techniques for distributed computation},
booktitle = {International Conference on Advances in Infrastructure for
Electronic Business, Science, and Education on the Internet (SSGRR 2000)},
note = {(Invited paper)},
publisher = {SSGRR, l'Aquila},
year = 2000
}
@inproceedings{a01,
author = {C. Grandi et al.},
title = {{CMS} {Grid} Activities in Europe},
booktitle = {Computing in High Energy Physics (CHEP 2001)},
note = {(CMS Collaboration)},
publisher = {Science Press},
year = 2001
}
@inproceedings{a01x,
author = {Grandi, C. and others},
title = {{CMS} {Grid} Activities in Europe},
booktitle = {Computing in High Energy Physics (CHEP 2001)},
note = {(CMS Collaboration)},
publisher = {Science Press},
year = 2001
}
@inproceedings{a01a,
author = {K. Holtman et al.},
title = {{CMS} Requirements for the Grid},
booktitle = {Computing in High Energy Physics (CHEP 2001)},
note = {(CMS Collaboration)},
publisher = {Science Press},
year = 2001
}
@inproceedings{a01y,
author = {Holtman, K. and others},
title = {{CMS} Requirements for the Grid},
booktitle = {Computing in High Energy Physics (CHEP 2001)},
note = {(CMS Collaboration)},
publisher = {Science Press},
year = 2001
}
@techreport{a01b,
author = {H. Stockinger et al.},
title = {{GDMP} User Guide},
institution = {GDMP},
number = {},
year = 2001
}
@techreport{a01c,
author = {H. Stockinger et al.},
title = {User Guide for {GDMP} 2.0alpha},
institution = {GDMP},
number = {},
year = 2001
}
@techreport{a01d,
cauthor = {A. Domenici},
author = {Domenici, Andrea},
title = {Notes on the usage of an experimental {Replica Catalog}
for the {CERN DataGrid Testbed}},
institution = {DataGrid WP2},
number = {},
year = 2001
}
@unpublished{a02,
author = {Domenici, Andrea},
title = {Note sulla {Common Object Request Broker Architecture
(CORBA)}},
year = 2002
}
@techreport{a02a,
author = {A. Domenici and F. Donno and L. Salconi},
title = {{EDG-RC-GUI Installation and User Guide}},
institution = {DataGrid WP2},
number = {},
year = 2002
}
@techreport{a02b,
author = {J. Casey and A. Domenici and L. Salconi},
title = {{EDG-RLS-GUI Installation and User Guide}},
institution = {DataGrid WP2},
number = {},
year = 2002
}
@inproceedings{a03,
author = {A. Domenici},
title = {{Grid Architectures and the European DataGrid}},
booktitle = {Int'l Conference on Advances in the Internet, Processing,
Systems, and Interdisciplinary Research (IPSI-2003)},
note = {},
publisher = {Sveti Stefan, Montenegro (SCG), Oct.~4 -- 11},
year = 2003
}
@inproceedings{a03a,
author = {A. Domenici and F. Donno and K. Paschen and G. Pucciani and
H. Stockinger and K. Stockinger},
title = {Replica Consistency in a {Data Grid}},
booktitle = {IX International Workshop on Advanced Computing and Analysis
Techniques in Physics Research (ACAT03)},
note = {},
publisher = {Tsukuba, Japan, Dec.~1 -- 5},
year = 2003
}
@article{a03b,
author = {S. Mazzini and M. D'Alessandro and M. Di Natale and A. Domenici
and G. Lipari and T. Vardanega},
title = {{HRT-UML}: Taking {HRT-HOOD} onto {UML}},
journal = {Lecture Notes in Computer Science},
note = {Reliable Software Technologies Ada-Europe},
volume = {2655},
number = {},
pages = {405--416},
year = 2003
}
@inproceedings{a03b1,
author = {Mazzini, Silvia and D'Alessandro, Massimo and Di Natale, Marco
and Domenici, Andrea and Lipari, Giuseppe and Vardanega, Tullio},
title = {{HRT-UML: taking HRT-HOOD onto UML}},
booktitle = {Ada-Europe'03: Proceedings of the 8th Ada-Europe
international conference on Reliable software technologies},
isbn = {3-540-40376-0},
pages = {405--416},
location = {Toulouse, France},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
year = {2003}
}
@inproceedings{1757110,
author = {Mazzini, Silvia and D'Alessandro, Massimo and Di Natale, Marco
and Domenici, Andrea and Lipari, Giuseppe and Vardanega, Tullio},
title = {HRT-UML: taking HRT-HOOD onto UML},
booktitle = {Ada-Europe'03: Proceedings of the 8th Ada-Europe
international conference on Reliable software technologies},
isbn = {3-540-40376-0},
pages = {405--416},
location = {Toulouse, France},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
year = {2003}
}
@inproceedings{a03c,
author = {D. Bosio et al.},
title = {Next-Generation {EU} {DataGrid} Data Management Services},
booktitle = {Computing in High Energy Physics (CHEP 2003)},
address = {La Jolla, USA},
publisher = {},
year = 2003
}
@inproceedings{a03x,
author = {Bosio, Diana and others},
title = {Next-Generation {EU} {DataGrid} Data Management Services},
booktitle = {Computing in High Energy Physics (CHEP 2003)},
address = {La Jolla, USA},
publisher = {},
year = 2003
}
@article{a04,
author = {A. Domenici and F. Donno and G. Pucciani and
H. Stockinger and K. Stockinger},
title = {Replica Consistency in a {Data Grid}},
journal = {Nuclear Instruments and Methods in Physics Research},
volume = {534},
number = {1--2},
pages = {24--28},
year = 2004
}
@article{a04x,
author = {Domenici, Andrea and Donno, Flavia and Pucciani, Gianni and
Stockinger, Heinz and Stockinger, Kurt},
title = {(Replica consistency in a Data Grid}
}
@article{Domenici200424,
author = {Andrea Domenici and Flavia Donno and Gianni Pucciani and Heinz
Stockinger and Kurt Stockinger},
title = {Replica consistency in a Data Grid},
journal = {Nuclear Instruments and Methods in Physics Research Section A:
Accelerators, Spectrometers, Detectors and Associated Equipment},
volume = {534},
number = {1-2},
pages = {24 - 28},
note = {Proceedings of the IXth International Workshop on Advanced Computing
and Analysis Techniques in Physics Research},
issn = {0168-9002},
doi = {DOI: 10.1016/j.nima.2004.07.052},
url = {http://www.sciencedirect.com/science/article/B6TJM-4D07THF-9/2/8daa41300359176050f10545098c0b33},
keywords = {Grid computing},
keywords = {Simulation},
keywords = {Replication},
keywords = {Data consistency},
year = {2004}
}
@inproceedings{a05,
author = {A. Domenici},
title = {Experiences in {Grid} architectures},
booktitle = {Parallel and Distributed Computing and Networks (PDCN 2005)},
address = {Innsbruck, Austria},
publisher = {Acta Press},
year = 2005
}
@inproceedings{a05x,
author = {Andrea Domenici},
title = {Experiences in Grid Architectures},
booktitle = {Parallel and Distributed Computing and Networks},
pages = {264-269},
crossref = {DBLP:conf/pdcn/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
year = {2005}
}
@inproceedings{a05y,
author = {Andrea Domenici},
title = {Experiences in Grid Architectures},
booktitle = {Parallel and Distributed Computing and Networks (PDCN 2005)},
address = {Innsbruck, Austria},
publisher = {Acta Press},
pages = {264-269},
year = {2005}
}
@proceedings{DBLP:conf/pdcn/2005,
editor = {Thomas Fahringer and
M. H. Hamza},
title = {Proceedings of the IASTED International Conference on Parallel
and Distributed Computing and Networks, part of the 23rd
Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
booktitle = {Parallel and Distributed Computing and Networks},
publisher = {IASTED/ACTA Press},
year = {2005},
isbn = {0-88986-470-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{a05a,
author = {C. Bernardeschi and G. Dini and A. Domenici},
title = {{FACT}: a tool for code generation from communicating automata},
booktitle = {IASTED International Conference on Software Engineering
(SE--2005)},
address = {Innsbruck, Austria},
publisher = {Acta Press},
year = 2005
}
@inproceedings{a05ax,
author = {Cinzia Bernardeschi and Gianluca Dini and Andrea Domenici},
title = {{FACT: A Tool for Code Generation from Communicating Automata}},
booktitle = {IASTED Conf. on Software Engineering},
pages = {313-318},
crossref = {DBLP:conf/iastedSE/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
year = {2005}
}
@inproceedings{a05ay,
author = {Bernardeschi, Cinzia and Dini, Gianluca and Domenici, Andrea},
title = {{FACT: A Tool for Code Generation from Communicating Automata}},
editor = {Peter Kokol},
booktitle = {IASTED International Conference on Software Engineering,
part of the 23rd Multi-Conference on Applied Informatics,
Innsbruck, Austria, February 15-17, 2005},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-466-7},
pages = {313-318},
year = {2005}
}
@inproceedings{DBLP:conf/iastedSE/BernardeschiDD05,
author = {Cinzia Bernardeschi and
Gianluca Dini and
Andrea Domenici},
title = {FACT: A Tool for Code Generation from Communicating Automata},
booktitle = {IASTED Conf. on Software Engineering},
pages = {313-318},
crossref = {DBLP:conf/iastedSE/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
year = {2005}
}
@proceedings{DBLP:conf/iastedSE/2005,
editor = {Peter Kokol},
title = {IASTED International Conference on Software Engineering,
part of the 23rd Multi-Conference on Applied Informatics,
Innsbruck, Austria, February 15-17, 2005},
booktitle = {IASTED Conf. on Software Engineering},
publisher = {IASTED/ACTA Press},
year = {2005},
isbn = {0-88986-466-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{a05b,
author = {D. Cameron and J. Casey and L. Guy and P. Kunszt and S.
Lemaitre and G. McCance and H. Stockinger and K. Stockinger and G.
Andronico and W. Bell and I. Ben-Akiva and D. Bosio and R. Chytracek and
A. Domenici and F. Donno and W. Hoscheck and L. Lucio and P. Millar and
L. Salconi and B. Segal and M. Silander},
title = {{Replica Management in the European {DataGrid} Project}},
journal = {Journal of Grid Computing},
volume = {2},
number = {1},
pages = {341--351},
doi = {10.1007/s10723-004-5745-x},
year = 2004
}
@inproceedings{a06,
author = {A. Domenici and F. Donno and G. Pucciani and H. Stockinger},
title = {Relaxed Data Consistency with {CONS}tanza},
booktitle = {Sixth IEEE Symposium on Cluster Computing and the Grid
(CCGrid06)},
address = {Singapore},
year = 2006
}
@inproceedings{a06x,
author = {Domenici, Andrea and Donno, Flavia and Pucciani, Gianni and
Stockinger, Heinz},
title = {{Relaxed Data Consistency with CONStanza}},
booktitle = {CCGRID '06: Proceedings of the Sixth IEEE International
Symposium on Cluster Computing and the Grid},
isbn = {0-7695-2585-7},
pages = {425--429},
doi = {http://dx.doi.org/10.1109/CCGRID.2006.84},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
year = {2006}
}
@inproceedings{a06y,
author = {Duellmann, Dirk and others},
title = {{LCG 3D Project Status and Production Plans}},
booktitle = {Computing in High Energy and Nuclear Physics 2006 (CHEP06)},
address = {Mumbai, India},
pages = {},
year = 2006
}
@inproceedings{1135050,
author = {Domenici, Andrea and Donno, Flavia and Pucciani, Gianni and
Stockinger, Heinz},
title = {Relaxed Data Consistency with CONStanza},
booktitle = {CCGRID '06: Proceedings of the Sixth IEEE International
Symposium on Cluster Computing and the Grid},
isbn = {0-7695-2585-7},
pages = {425--429},
doi = {http://dx.doi.org/10.1109/CCGRID.2006.84},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
year = {2006}
}
@inproceedings{a07,
author = {A. Domenici and F. Donno},
title = {A model for the {Storage Resource Manager}},
booktitle = {Grid Computing: International Symposium on Grid Computing (ISGC
2007)},
editor = {Lin, Simon C. and Yen, Eric},
publisher = {Springer US},
address = {Boston, MA},
pages = {99--105},
isbn = {978-0-387-78417-5},
doi = {10.1007/978-0-387-78417-5_9},
year = 2007
}
@article{a08,
author = {A. Domenici and F. Donno},
title = {Static and Dynamic Data Models for the
{Storage Resource Manager} v2.2},
journal = {Journal of Grid Computing},
publisher = {Springer Netherlands},
volume = {7},
number = {1},
month = {March},
doi = {10.1007/s10723-008-9110-3},
pages = {115--133},
year = 2008
}
@incollection{a08a,
author = {Domenici, Andrea and Donno, Flavia and Pucciani, Gianni and
Stockinger, Heinz},
title = {Consistency of replicated datasets in Grid computing},
booktitle = {Handbook of Research on Grid Technologies and Utility
Computing: Concepts for Managing Large-Scale Applications},
editor = {Emmanuel Udoh and Frank Zhigang Wang},
publisher = {IGI Global},
doi = {DOI: 10.4018/978-1-60566-184-1},
pages = {49--58},
year = 2008
}
@inproceedings{a09a,
author = {Cinzia Bernardeschi and Andrea Domenici},
title = {{Extended matchmaking with availability metrics in the WLCG/EGEE
production Grid}},
booktitle = {Parallel and Distributed Computing and Networks (PDCN 2009)},
address = {Innsbruck, Austria},
pages = {83-90},
month = feb # { 17--18,},
publisher = {Acta Press},
year = 2009
}
@inproceedings{a09b,
author = {Flavia Donno and Andrea Domenici},
title = {{Experiences in testing a Grid service in a production
environment}},
booktitle = {12th European Workshop on Dependable Computing (EWDC 2009)},
address = {Toulouse, France},
month = may # { 14--15,},
publisher = {LAAS-CNRS},
year = 2009
}
@article{a09c,
author = {Donno, Flavia and Domenici, Andrea},
title = {Experiences in testing a Grid service in a production
environment},
keywords = {[INFO:INFO_SE] Computer Science/Software Engineering,
Grid, testing, Storage Resource Manager},
abstract = {This paper reports on the problems and solutions related
to the testing of several implementations for conformance
to a standard storage management interface adopted in the
Worldwide LHC Computing Grid},
location = {http://www.scientificcommons.org/45664680},
publisher = {HAL - CCSD},
url = {HAL:http://hal.archives-ouvertes.fr/hal-00381702/en/},
institution = {INRIA a CCSD electronic archive server based on P.A.O.L
[http://hal.inria.fr/oai/oai.php] (France)},
year = {2009}
}
@article{a10,
author = {Gianni Pucciani and Andrea Domenici and Flavia Donno and Heinz
Stockinger},
title = {A performance study on the synchronisation of heterogeneous grid
databases using CONStanza},
journal = {Future Generation Computer Systems},
volume = {2010},
number = {26},
pages = {820--834},
note = {},
issn = {0167-739X},
doi = {DOI: 10.1016/j.future.2010.03.001},
url = {http://www.sciencedirect.com/science/article/B6V06-4YKGHYG-1/2/9cb1d9cac5476b900cfecc6f0cb60992},
keywords = {Replica consistency},
keywords = {Data synchronisation},
keywords = {Grid data management},
keywords = {Data replication},
year = {2010}
}
@article{a10x,
author = {Gianni Pucciani and Andrea Domenici and Flavia Donno and Heinz
Stockinger},
title = {{A performance study on the synchronisation of heterogeneous grid
databases using CONStanza}},
journal = {Future Generation Computer Systems},
volume = {2010},
number = {26},
pages = {820--834},
note = {},
issn = {0167-739X},
doi = {DOI: 10.1016/j.future.2010.03.001},
url = {http://www.sciencedirect.com/science/article/B6V06-4YKGHYG-1/2/9cb1d9cac5476b900cfecc6f0cb60992},
keywords = {Replica consistency},
keywords = {Data synchronisation},
keywords = {Grid data management},
keywords = {Data replication},
year = {2010}
}
@article{Pucciani2010820,
author = {Gianni Pucciani and Andrea Domenici and Flavia Donno and Heinz
Stockinger},
title = {A performance study on the synchronisation of heterogeneous Grid
databases using CONStanza},
journal = {Future Generation Computer Systems},
volume = {26},
number = {6},
pages = {820 - 834},
note = {},
issn = {0167-739X},
doi = {DOI: 10.1016/j.future.2010.03.001},
url = {http://www.sciencedirect.com/science/article/B6V06-4YKGHYG-1/2/9cb1d9cac5476b900cfecc6f0cb60992},
keywords = {Replica consistency},
keywords = {Data synchronisation},
keywords = {Grid data management},
keywords = {Data replication},
year = {2010}
}
@article{a10a,
author = {F. Calzolari and S. Arezzini and A. Ciampa and E. Mazzoni and
A. Domenici and G. Vaglini},
title = {High availability using virtualization},
journal = {Journal of Physics: Conference Series},
publisher = {},
volume = {219},
number = {},
month = {},
pages = {},
url = {http://iopscience.iop.org/1742-6596/219/5/052017},
year = 2010
}
@inproceedings{a10c,
author = {Cinzia Bernardeschi and Luca Cassano and Andrea Domenici and
Paolo Masci},
title = {Debugging {PVS} Specifications of Control Logics via Event-driven
Simulation},
booktitle = {Computation Tools 2010},
address = {Lisbon, Portugal},
month = {November 21--26},
publisher = {IARIA},
isbn = {978-1-61208-001-7},
year = 2010
}
@article{a11,
author = {Cinzia Bernardeschi and Luca Cassano and Andrea Domenici and
Paolo Masci},
title = {{Simulation and Test-Case Generation for PVS Specifications of
Control Logics}},
journal = {International Journal on Advances in Software},
publisher = {},
volume = {4},
number = {3 \& 4},
month = {},
pages = {327--341},
publisher = {IARIA},
issn = {1942-2628},
year = 2011
}
@inproceedings{a11a,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea
and Masci, Paolo},
title = {{A Tool for Signal Probability Analysis of FPGA-Based Systems}},
booktitle = {Proceedings of the 2nd International Conference on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
(COMPUTATION TOOLS 2011)},
pages = {13--18},
year = 2011
}
@inproceedings{a11b,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea},
booktitle = {International Conference on Field Programmable Logic and
Applications (FPL2011)},
title = {{Failure Probability and Fault Observability of SRAM-FPGA Systems}},
month = {sep},
pages = {385--388},
keywords = {},
doi = {10.1109/FPL.2011.75},
publisher = {IEEE},
issn = {},
year = {2011}
}
@inproceedings{a11c,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea},
title = {Failure probability of {SRAM-FPGA} systems with {Stochastic
Activity Networks}},
booktitle = {IEEE 14th International Symposium on Design and Diagnostics of
Electronic Circuits Systems (DDECS 2011)},
month = {apr},
pages = {293--296},
keywords = {Circuit faults;Field programmable gate arrays;Integrated circuit
modeling;Logic gates;Solid modeling;Storage area networks;Table lookup;SRAM
chips;combinational circuits;cyclic redundancy check codes;failure
analysis;field programmable gate arrays;SAN;SEU;SRAM-FPGA system;
combinatorial
circuit;cyclic redundancy check code;failure probability;simulation-based
fault injection technique;single event upset;stochastic activity
network;Failure Probability;SRAM-FPGA;Simulation;Single Event Upset;},
doi = {10.1109/DDECS.2011.5783098},
publisher = {IEEE},
issn = {},
year = 2011
}
@inproceedings{a11d,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea
and Gennaro, Giancarlo and Pasquariello, Mario},
title = {{Simulated Injection of Radiation-Induced Logic Faults in
FPGAs}},
booktitle = {Proceedings of the 3rd International Conference on
Advances in System Testing and Validation Lifecycle (VALID 2011)},
pages = {84--89},
publisher = {IARIA},
year = 2011
}
@inproceedings{a12XXX,
author = {Bernardeschi, Cinzia and Cassano, Luca and Cimino, Mario
Giovanni Cosimo Antonio and Domenici, Andrea},
title = {{Application of a Genetic Algorithm for Testing SEUs in
SRAM-FPGA Systems}},
booktitle = {6th HiPEAC Workshop on Reconfigurable Computing (WRC 2012)},
pages = {},
publisher = {},
year = 2012
}
@inproceedings{a12YYY,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea},
title = {{SEU-X: A SEu un-eXcitability prover for SRAM-FPGAs}},
booktitle = {2012 IEEE 18th International On-Line Testing Symposium (IOLTS)},
pages = {25--30},
keywords = {Circuit faults;Field programmable gate arrays;Integrated circuit
modeling;Multiplexing;Safety;Table lookup;Testing;SRAM chips;automatic test
pattern generation;field programmable gate arrays;integrated circuit
reliability;integrated circuit testing;logic testing;radiation hardening
(electronics);ISCAS benchmarks;ITC benchmarks;SAL model checker;SAL
specification language;SEU unexcitability prover;SEU-X;SRAM-FPGA
systems;configuration memory;fault model;in-service testing;logic
resources;netlist modelling;single event upset fault;stuck-at fault model;
test pattern generation;Model-Checking;SAL;SRAM-FPGA;Single Event
Upset;Untestability Proof;},
doi = {10.1109/IOLTS.2012.6313836},
issn = {},
month = {jun},
year = {2012}
}
@inproceedings{a12ZZZ,
author={Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea and
Sterpone, Luca},
title={Accurate Simulation of {SEUs} in the Configuration Memory of
{SRAM-based} {FPGAs}},
booktitle={The 25th IEEE International Symposium on Defect and Fault
Tolerance in VLSI and Nanotechnology Systems (DFT2012)},
pages={115--120},
doi={10.1109/DFT.2012.6378210},
year={2012}
}
@inproceedings{a13,
author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea and
Sterpone, Luca},
title = {Unexcitability analysis of SEus affecting the routing structure of
SRAM-based FPGAs},
booktitle = {Proceedings of the 23rd ACM International Conference on Great
Lakes Symposium on VLSI},
series = {GLSVLSI '13},
location = {Paris, France},
pages = {7--12},
numpages = {6},
publisher = {ACM},
address = {New York, NY, USA},
isbn = {978-1-4503-2032-0},
doi = {10.1145/2483028.2483050},
acmid = {2483050},
url = {http://doi.acm.org/10.1145/2483028.2483050},
keywords = {model checking, sal, single event upset, sram-based fpga,
untestability analysis},
year = {2013},
}
@inproceedings{a13a,
author={Bernardeschi, C. and Cassano, L. and Domenici, A.},
title={Formal approaches to SEU testing in FPGAs},
booktitle={Adaptive Hardware and Systems (AHS), 2013 NASA/ESA
Conference on},
pages={209-216},
keywords={SRAM chips;automatic test pattern generation;fault diagnosis;field
programmable gate arrays;logic testing;memory architecture;reconfigurable
architectures;FPGA-based systems;SEU testing;SRAM-based devices;
configuration
memory;formal approaches;reconfigurable systems;test pattern
generation;testability analysis;Circuit faults;Field programmable gate
arrays;Hardware;Logic gates;NASA;Routing;Table lookup},
doi={10.1109/AHS.2013.6604248},
year={2013},
}
@inproceedings{a13b,
author = {Baronti, Federico and Bernardeschi, Cinzia and Cassano, Luca
and Domenici, Andrea and Roncella, Roberto and Saletti Roberto},
title = {{Mitigation of Single Event Upsets in the Control Logic of a
Charge Equalizer for Li-ion Batteries}},
booktitle = {IECON 2013 - 39th Annual Conference of the IEEE Industrial
Electronics Society},
publisher = {IEEE},
pages = {6756--6761},
keywords = {Battery Management System, Charge equalization,
CPLD, Failure Probability, Fault Tolerance, Single Event Upset,
Safety Critical Systems, Simulation},
doi = {http://dx.doi.org/10.1109/IECON.2013.6700251},
isbn = {978-1-4799-0223-1},
year = {2013},
}
@article{a13c,
author = {Cinzia Bernardeschi and Luca Cassano and Mario G.C.A. Cimino
and Andrea Domenici},
title = {{GABES: a Genetic Algorithm Based Environment for SEU Testing
in SRAM-FPGAs}},
journal = {Journal of Systems Architecture},
volume = {59},
number = {10, Part D},
pages = {1383--1254},
issn = {1383-7621},
doi = {http://dx.doi.org/10.1016/j.sysarc.2013.10.006},
url = {http://www.sciencedirect.com/science/article/pii/S1383762113001975},
keywords = {Genetic Algorithm},
keywords = {Test Pattern Generation},
keywords = {SEUs},
keywords = {SRAM-FPGAs},
year = 2013,
}
@article{a14,
author = {Federico Baronti and Cinzia Bernardeschi and Luca Cassano and
Andrea Domenici and Roberto Roncella and Roberto Saletti},
title = {{Design and Safety Verification of a Distributed Charge Equalizer
for Modular Li-ion Batteries}},
journal = {IEEE Transactions on Industrial Informatics},
volume = {10}
number = {2},
month = {May},
pages = {1003--1011},
issn = {1551-3203},
doi = {http://dx.doi.org/10.1109/TII.2014.2299236},
keywords = {Batteries},
keywords = {DC-DC power converters},
keywords = {Energy loss},
keywords = {Equalizers},
keywords = {Equalizers;Informatics;Matrix converters;Safety},
keywords = {Informatics},
keywords = {Matrix converters},
keywords = {Safety},
year = 2014,
}
@article{a14a,
author={Bernardeschi, C. and Cassano, L. and Domenici, A and Sterpone, L.},
title={ASSESS: A Simulator of Soft Errors in the Configuration Memory of
SRAM-Based FPGAs},
journal={Computer-Aided Design of Integrated Circuits and Systems, IEEE
Transactions on},
month={Sept},
volume={33},
number={9},
pages={1342--1355},
keywords={SRAM chips;fault simulation;field programmable gate
arrays;integrated circuit reliability;microprocessor chips;radiation
hardening (electronics);ASSESS simulations;SRAM-based FPGAs;
configuration memory;error propagation;fault activation;fault
injection;fault models;fault simulators;miniMIPS microprocessor;soft
error simulator;Bismuth;Circuit faults;Field programmable gate arrays;
Integrated circuit modeling;Logic gates;Routing;Storage area networks;
Computer-aided design;SRAM FPGA;reliability and testing;simulation;
single event upset},
doi={10.1109/TCAD.2014.2329419},
ISSN={0278-0070},
year={2014},
}
@inproceedings{a14b,
author = {Bernardeschi, Cinzia and Domenici, Andrea and Masci, Paolo},
title = {Integrated Simulation of Implantable Cardiac Pacemaker Software
and Heart Models},
booktitle = {CARDIOTECHNIX 2014, 2d International Congress on
Cardiovascular Technology},
publisher = {SCITEPRESS},
pages = {55--59},
keywords = {Public health informatics, Software analysis, Formal
verification technologies},
doi = {},
isbn = {978-989-758-055-0},
year = {2014},
}
@article{a15,
author={Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea},
title={{SRAM}-based {FPGA} Systems for Safety-Critical Applications:
A Survey on Design Standards and Proposed Methodologies},
journal={Journal of computer science and technology},
month={mar},
volume={30},
number={2},
pages={373--390},
keywords={design verification; electronic design; safety-critical system;
SRAM-based FPGA},
doi={10.1007/s11390-015-1530-5},
url={http://dx.doi.org/10.1007/s11390-015-1530-5},
publisher={Springer US},
ISSN={1000-9000},
year={2015},
}
@article{a15ay,
author = {Bernardeschi, Cinzia and Domenici, Andrea and Masci, Paolo},
title = {Towards a Formalization of System Requirements for an Integrated
Clinical Environment},
journal={EAI Endorsed Transactions on Self-Adaptive Systems},
journal_a={SAS},
volume={16},
number={6},
publisher={ACM},
keywords={integrated clinical environment pvs formalization},
doi={10.4108/eai.14-10-2015.2261701},
month={12},
year = {2015},
}
@article{a16,
author = "Cinzia Bernardeschi and Andrea Domenici",
title = "Verifying safety properties of a nonlinear control by interactive
theorem proving with the Prototype Verification System ",
journal = "Information Processing Letters ",
volume = "116",
number = "6",
pages = "409--415",
issn = "0020-0190",
doi = "http://dx.doi.org/10.1016/j.ipl.2016.02.001",
url = "http://www.sciencedirect.com/science/article/pii/S0020019016300072",
keywords = "Formal Methods",
keywords = "Theorem Proving",
keywords = "Verification",
keywords = "Nonlinear Control",
keywords = "Prototype Verification System ",
abstract = "Interactive, or computer-assisted, theorem proving is the
verification of statements in a formal system, where the proof is developed by
a logician who chooses the appropriate inference steps, in turn executed by an
automatic theorem prover. In this paper, interactive theorem proving is used
to verify safety properties of a nonlinear (hybrid) control system. ",
year = "2016",
}
@article{a16a,
author = "Cinzia Bernardeschi and Luca Cassano and Andrea Domenici
and Luca Sterpone",
title = "UA2TPG: An untestability analyzer and test pattern generator for
\{SEUs\} in the configuration memory of SRAM-based \{FPGAs\} ",
journal = "Integration, the \{VLSI\} Journal",
volume = "55",
number = "",
pages = "85--97",
note = "",
issn = "0167-9260",
doi = "http://dx.doi.org/10.1016/j.vlsi.2016.03.004",
url = "http://www.sciencedirect.com/science/article/pii/S0167926016300037",
keywords = "Single Event Upset",
keywords = "SRAM-based FPGA",
keywords = "Untestability analysis",
keywords = "Model checking",
abstract = {This paper presents UA$^2$TPG, a static analysis tool for the
untestability proof and automatic test pattern generation for SEUs in the
configuration memory of SRAM-based FPGA systems. The tool is based on the
model-checking verification technique. An accurate fault model for both logic
components and routing structures is adopted. Experimental results show
that many circuits have a significant number of untestable faults, and their
detection enables more efficient test pattern generation and on-line testing.
The tool is mainly intended to support on-line testing of critical components
in FPGA fault-tolerant systems.},
year = "2016",
}
@inproceedings{a16b,
author={Cinzia Bernardeschi and Andrea Domenici and Paolo Masci},
title={Modeling Communication Network Requirements for an Integrated
Clinical Environment in the {Prototype Verification System}},
booktitle={2016 IEEE Symposium on Computers and Communication (ISCC)},
location = {Messina, Italy},
publisher={IEEE},
proceedings_a={ICTS4eHealth},
pages={135--140},
keywords={integrated clinical environment pvs formalization},
doi={10.1109/ISCC.2016.7543728},
month={June},
year={2016},
}
@article{a16c,
author={D. Cozzi and S. Korf and L. Cassano and J. Hagemeyer and
A. Domenici and C. Bernardeschi and M. Porrmann and L. Sterpone},
title={OLT(RE)$^2$: an On-Line on-demand Testing approach for
permanent Radiation Effects in REconfigurable systems},
journal={IEEE Transactions on Emerging Topics in Computing},
volume={PP},
number={99},
pages={1-1},
keywords={Circuit faults;Field programmable gate arrays;Hardware;Performance
evaluation;Radiation effects;Space vehicles;Testing;Aerospace;On-Demand
Test;On-Line Test;Permanent Faults;Radiation Effects;Reconfigurable
Systems;SRAM-based FPGAs},
doi={10.1109/TETC.2016.2586195},
ISSN={2168-6750},
month={},
year={2016},
}
@inbook{a16e,
author = {Avvenuti, Marco and Bernardeschi, Cinzia and
Cimino, Mario G. C. A. and Cola, Guglielmo and Domenici, Andrea and
Vaglini, Gigliola},
title = {Detecting elderly behavior shift via smart devices and stigmergic
receptive fields},
booktitle={Wireless Mobile Communication and Healthcare --
6th International Conference, MobiHealth 2016},
proceedings_a={MOBIHEALTH 2016},
pages = {398--405},
editor={Perego, Paolo and Andreoni, Giuseppe and Rizzo, Giovanna},
address={Cham},
publisher={Springer International Publishing},
isbn={978-3-319-58877-3},
doi={10.1007/978-3-319-58877-3_50},
month={11},
year = {2017},
}
@inbook{a16f,
author = {Bernardeschi, Cinzia and
Cimino, Mario G. C. A. and Domenici, Andrea and
Vaglini, Gigliola},
title = {Using smartwatch sensors to support the acquisition of sleep
quality data for supervised machine learning},
bookTitle={Wireless Mobile Communication and Healthcare: 6th International
Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings},
pages = {251--259},
editor={Perego, Paolo and Andreoni, Giuseppe and Rizzo, Giovanna},
address={Cham},
proceedings_a={MOBIHEALTH 2016},
publisher={Springer International Publishing},
isbn={978-3-319-58877-3},
doi={10.1007/978-3-319-58877-3_33},
month={11},
year = {2017},
}
@inproceedings{a17,
author={Gioacchino Mauro and Harold Thimbleby and Andrea Domenici
and Cinzia Bernardeschi},
title={{Extending a user interface prototyping tool with automatic
MISRA~C code generation}},
booktitle = {{\rm Proceedings of the Third Workshop on}
Formal Integrated Development Environment,
{\rm Limassol, Cyprus, November 8, 2016}},
editor = {Dubois, Catherine and Masci, Paolo and M\'ery, Dominique},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {240},
publisher = {Open Publishing Association},
pages = {53--66},
doi = {10.4204/EPTCS.240.4},
year={2017},
}
@inproceedings{a18,
author = {Domenici, Andrea and Fagiolini, Adriano and Palmieri, Maurizio},
title = {Integrated Simulation and Formal Verification of a Simple
Autonomous Vehicle},
booktitle = {Software Engineering and Formal Methods},
editor = {Cerone, Antonio and Roveri, Marco},
series = {Lecture Notes in Computer Science},
volume = {10729},
publisher = {Springer International Publishing},
address = {Cham},
pages = {300--314},
doi = {10.1007/978-3-319-74781-1\_21},
isbn = {978-3-319-74781-1},
year={2018},
}
@inproceedings{mcp18,
author = {Palmieri, Maurizio and Bernardeschi, Cinzia and Masci, Paolo},
title = {{Co-simulation of semi-autonomous systems: the Line Follower Robot
case study}},
booktitle = {Software Engineering and Formal Methods},
editor = {Cerone, Antonio and Roveri, Marco},
series = {Lecture Notes in Computer Science},
volume = {10729},
publisher = {Springer International Publishing},
address = {Cham},
pages = {423--437},
doi = {10.1007/978-3-319-74781-1\_29},
isbn = {978-3-319-74781-1},
year={2018},
}
@article{a18a,
author = {Cinzia Bernardeschi and Andrea Domenici and Paolo Masci},
title = {A PVS-Simulink Integrated Environment for Model-Based Analysis of
Cyber-Physical Systems},
journal = {IEEE Transactions on Software Engineering},
volume = {44},
number = {6},
pages = {512--533},
keywords = {Real-time and embedded systems, Modeling techniques,
Specification, Formal methods},
doi = {10.1109/TSE.2017.2694423},
ISSN = {0098-5589},
month = {},
year = {2018},
}
@inproceedings{a18b,
author = {Bernardeschi, Cinzia and Domenici, Andrea and Palmieri, Maurizio},
title = {Towards Stochastic FMI Co-simulations: Implementation of an FMU
for a Stochastic Activity Networks Simulator},
booktitle = {Software Technologies: Applications and Foundations},
editor = {Mazzara, M. and Ober, I. and Sala{\"u}n, G.},
series = {Lecture Notes in Computer Science},
volume = {11176},
publisher = {Springer},
address = {Cham},
pages = {34--44},
doi = {10.1007/978-3-030-04771-9\_3},
isbn = {978-3-030-04770-2},
year={2018},
}
@inproceedings{a18c,
author={Palmieri, M. and Bernardeschi, C. and Domenici, A. and
Fagiolini, A.},
title={{Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web}},
booktitle = {Software Technologies: Applications and Foundations (STAF
2018)},
editor = {Mazzara, M. and Ober, I. and Sala{\"u}n, G.},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages={52--57},
publisher = {Springer},
address = {Cham},
doi={10.1007/978-3-030-04771-9_5},
isbn = {978-3-030-04770-2},
issn = {0302-9743},
year = {2018},
}
@inproceedings{a19,
author={Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
title={Modeling and Simulation of Attacks on Cyber-physical Systems},
booktitle = {Proceedings of the 5th International Conference on
Information Systems Security and Privacy, (ICISSP)},
pages={700--708},
address = {Cham},
doi={10.5220/0007705307000708},
year = {2019},
}
@incollection{a19a,
author = {Bernardeschi, C. and Domenici, A. and Masci, P.},
title = {Logic-Based Formalization of System Requirements for Integrated
Clinical Environments},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
editor = {Li{\`o}, P. and Zuliani, P.},
series = {Computational Biology},
volume = {30},
pages = {215--242},
publisher = {Springer, Cham},
doi = {10.1007/978-3-030-17297-8\_8},
isbn = {978-3-030-17296-1},
year = 2019
}
@article{a19b,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Sergio Saponara},
title = {Formal Verification in the Loop to Enhance Verification of
Safety-Critical Cyber-physical Systems},
journal = {Electronic Communications of the EASST},
volume ={ Volume 77: Interactive Workshop on the Industrial Application of
Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)},
pages = {},
doi = {10.14279/tuj.eceasst.77.1106},
year = {2019},
}
@article{a19c,
author={Bernardeschi, C. and Domenici, A.},
title={Application of Model Checking to Fault Tolerance Analysis},
journal={Lecture Notes in Computer Science},
volume={11865 LNCS},
pages={531--547},
doi={10.1007/978-3-030-30985-5_31},
publisher={Springer Verlag},
issn={03029743},
year={2019},
}
@article{a20,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
title = {Formalization and co-simulation of attacks on cyber-physical
systems},
journal = {Journal of Computer Virology and Hacking Techniques},
volume = {16},
pages = {63--77},
doi = {10.1007/s11416-019-00344-9},
wos = {WOS:000519347500004},
year = {2020},
}
@article{a20a,
author = {Cinzia Bernardeschi and
Pierpaolo Dini and
Andrea Domenici and
Maurizio Palmieri and
Sergio Saponara},
title = {Formal Verification and Co-Simulation in the Design of a
Synchronous Motor Control Algorithm},
journal = {Energies},
volume = {13},
number = {16},
pages = {4057},
doi = {10.3390/en13164057},
year = {2020},
}
@inproceedings{a20b,
scopus = {2-s2.0-85093860659},
author={C. {Bernardeschi} and A. {Domenici} and F. {Mercaldo}
and A. {Santone}},
title={Identify Potential Attacks from Simulated Log Analysis},
booktitle={2020 International Joint Conference on Neural Networks (IJCNN)},
pages={1--6},
doi={10.1109/IJCNN48605.2020.9206825},
year={2020},
}
@inbook{a20c,
scopus = {2-s2.0-85099293028},
author = {Bernardeschi, Cinzia and Domenici, Andrea and Palmieri, Maurizio and
Fagiolini, Adriano},
title = {Co-Simulation of Bio-Inspired Multi-Agent Algorithms},
booktitle = {Proceedings of the 2020 Summer Simulation Conference},
publisher = {Society for Computer Simulation International},
address = {San Diego, CA, USA},
articleno = {20},
isbn = {9781713814290},
pages = {1--12},
numpages = {12},
year = {2020},
}
@inproceedings{a20d,
scopus = {2-s2.0-85091580946},
author={C. {Bernardeschi} and Dini, P. and A. {Domenici} and Saponara, S.},
title={Co-simulation and Verification of a Non-linear Control System for
Cogging Torque Reduction in Brushless Motors},
booktitle={Software Engineering and Formal Methods SEFM 2019},
editor = {Camara J. and Steffen M.},
pages={1--6},
series = {Lecture Notes in Computer Science},
vol = 12226,
publisher = {Springer, Cham},
doi={10.1007/978-3-030-57506-9\_1},
year={2020},
}
@inproceedings{a20e,
author={C. {Bernardeschi} and A. {Domenici} and A. {Fagiolini}
and M. {Palmieri}},
title={Block-Based Models and Theorem Proving in Model-Based Development},
booktitle={Second Interactive Workshop on the Industrial Application of
Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)},
address = {Virtual event, 25 April, 2020}
pages={1--8},
doi={tuj.eceasst.79.1116},
year={2020},
}
@inproceedings{a21,
scopus = {},
Cdir = {},
author={C. {Bernardeschi} and A. {Domenici} and Palmieri, M.
and Saponara, S. and Sassolas, T. and Wicaksana, A.
and Zaourar, L.},
title={Cross-level Co-simulation and Verification of an Automatic
Transmission Control on Embedded Processor},
booktitle={Software Engineering and Formal Methods. SEFM 2020 Collocated
Workshops. SEFM 2020},
editor = {Cleophas L. and Massink M.},
series = {Lecture Notes in Computer Science},
vol = 12524,
publisher = {Springer, Cham},
doi={10.1007/978-3-030-67220-1\_20},
year={2021},
}
@inproceedings{a21a,
author={A. {Domenici} and C. {Bernardeschi}},
title={A logic theory pattern for linearized control systems},
booktitle={6th Workshop on Formal Integrated Development Environment (F-IDE
2021) -- Affiliated to NASA Formal Methods 2021},
address = {Virtual event, 24-25 May, 2021}
Ceditor = {Camara J. and Steffen M.},
pages={},
publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS},
note = {in press},
year={2021},
}
@inproceedings{a21a,
author={A. {Domenici} and C. {Bernardeschi} and M. Palmieri},
title={A Prototyping Process for Medical Devices and
Systems}
booktitle={STAF 2021 Workshop Proceedings: International Workshop on
(Meta)Modelling for Healthcare Systems},
editor = {Ludovico Iovino and Lars Michael Kristensen},
publisher = {CEUR Workshop Proceedings},
volume = {Vol-2999},
issn = {1613-0073},
url = {https://ceur-ws.org/Vol-2999/},
year={2021},
}
This file was generated by bibtex2html 1.95.