Andrea Domenici, Cinzia Bernardeschi, Maurizio Palmieri.
A Prototyping Process for Medical Devices and Systems
,
International Workshop on (Meta)Modelling for Healthcare Systems
Co-located with STAF 2021
[ bib |
http
]
Andrea Domenici, Cinzia Bernardeschi.
A logic theory pattern for linearized control systems
,
6th Workshop on Formal Integrated Development Environment (F-IDE 2021)
[ bib |
]
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara,
Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar.
Cross-level Co-simulation and Verification of an Automatic
Transmission Control on Embedded Processor
,
Software Engineering and Formal Methods (SEFM) 2020
[ bib |
DOI ]
]
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri.
Block-Based Models and Theorem Proving in Model-Based Development
,
Second Interactive Workshop on the Industrial Application of
Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
[ bib |
DOI ]
]
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Sergio Saponara.
Co-simulation and Verification of a Non-linear Control System for
Cogging Torque Reduction in Brushless Motors
,
Software Engineering and Formal Methods SEFM 2019
[ bib |
DOI ]
]
Cinzia Bernardeschi, Andrea Domenici, F. Mercaldo, A. Santone.
Identify Potential Attacks from Simulated Log Analysis
,
International Joint Conference on Neural Networks (IJCNN), 2020
[ bib |
DOI ]
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri,
Sergio Saponara.
Formal Verification and Co-Simulation in the Design of a
Synchronous Motor Control Algorithm
,
Energies,
vol. 13, no. 16, pp. 4057, 2020.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri.
Formalization and co-simulation of attacks on cyber-physical systems
,
Journal of Computer Virology and Hacking Techniques,
vol. 16, pp. 63-77, 2020.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici.
Application of Model Checking to Fault Tolerance Analysis
,
In
From Software Engineering to Formal Methods and Tools, and Back,
Springer, LNCS 11865.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara.
Formal Verification in the Loop to Enhance Verification of
Safety-Critical Cyber-physical Systems
,
In
European Joint Conferences on Theory and Practice of Software
(ETAPS 2019),
Prague, Czech Republic, April 6-11, 2019.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci.
Logic-Based Formalization of System Requirements for Integrated Clinical
Environments
,
In
Automated Reasoning for Systems Biology and Medicine. Computational
Biology, vol 30. Springer, Cham,
2019.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri.
Modeling and Simulation of Attacks on Cyber-physical Systems
,
In
Proceedings of the 5th International Conference on Information Systems
Security and Privacy, (ICISSP).
[ bib |
DOI ]
Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini.
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
,
In
Software Technologies: Applications and Foundations (STAF 2018),
LNCS 11176, Toulouse, France, June 26, 2018.
[ bib |
DOI ]
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri.
Towards Stochastic FMI Co-simulations: Implementation of an FMU
for a Stochastic Activity Networks Simulator
,
In
2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems,
A satellite event of SEFM2018, Toulouse, France, June 26, 2018.
[ bib |
DOI |
preprint |
slides ]
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci.
A PVS-Simulink Integrated Environment for Model-Based Analysis of
Cyber-Physical Systems
,
IEEE Transactions on Software Engineering,
vol. 44, n. 6, pp. 512-533, 2018.
[ bib |
DOI |
draft ]
Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri.
Integrated simulation and formal verification of a simple autonomous
vehicle
,
In
1st Workshop on Formal Co-Simulation of Cyber-Physical Systems,
A satellite event of SEFM2017, Trento, Italy, September 5, 2017.
[ bib |
DOI |
preprint |
slides ]
Cinzia Bernardeschi, Mario G. C. A. Cimino, Andrea Domenici, Gigliola Vaglini.
Using smartwatch sensors to support the acquisition of sleep quality data for
supervised machine learning
,
In
6th EAI International Conference on Wireless Mobile Communication and
Healthcare (MOBIHEALTH 2016)
,
Milano, Italy, November 14-16, 2016.
[ bib |
DOI |
draft ]
Marco Avvenuti, Cinzia Bernardeschi, Mario G. C. A. Cimino, Guglielmo Cola,
Andrea Domenici, Gigliola Vaglini.
Detecting elderly behavior shift via smart devices and stigmergic receptive
fields
,
In
6th EAI International Conference on Wireless Mobile Communication and
Healthcare (MOBIHEALTH 2016)
,
Milano, Italy, November 14-16, 2016.
[ bib |
DOI |
draft ]
Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi.
Extending a user interface prototyping tool with automatic MISRA C code
generation
,
In
3rd Workshop on Formal Integrated Development Environment
(F-IDE 2016),
Limassol, Cyprus, November 8, 2016.
[ bib |
DOI |
http
|
slides ]
Dario Cozzi, Sebastian Korf, Luca Cassano, Jens Hagemeyer, Andrea Domenici,
Cinzia Bernardeschi, Mario Porrmann, Luca Sterpone
OLT(RE)2: an On-Line on-demand Testing approach for permanent
Radiation Effects in REconfigurable systems
,
IEEE Transactions on Emerging Topics in Computing,
vol. PP, 2016.
[ bib |
DOI |
http ]
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci.
Modeling Communication Network Requirements for an Integrated Clinical
Environment in the Prototype Verification System
,
In
4th ICTS4eHealth Workshop, 2016 IEEE Symposium on Computers and
Communication (ISCC),
Messina, Italy, June 27 - 30, 2016.
[ bib |
DOI |
preprint
]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone.
UA2TPG: An Untestability Analyzer and Test Pattern Generator for
SEUs in the Configuration Memory of SRAM-based FPGAs
,
Integration, the VLSI Journal,
vol. 55, pp. 85--97, 2016.
[ bib |
DOI |
http ]
Cinzia Bernardeschi, Andrea Domenici.
Verifying safety properties of a nonlinear control by interactive theorem
proving with the Prototype Verification System
,
Information Processing Letters
vol. 116, no. 6, pp. 409--415, 2016.
[ bib |
DOI |
http |
preprint ]
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci.
Towards a Formalization of System Requirements for an Integrated
Clinical Environment
EAI Endorsed Transactions on Self-Adaptive Systems
vol. 16, no. 6, Dec. 2015.
[ bib |
DOI |
http ]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici.
SRAM-based FPGA Systems for Safety-Critical Applications:
A Survey on Design Standards and Proposed Methodologies.
Journal of computer science and technology
vol. 30, no. 2, pp. 373-390, March 2015.
[ bib |
DOI |
draft ]
Cinzia Bernardeschi, Andrea Domenici, and Paolo Masci.
Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart
Models.
In
2d International Congress on Cardiovascular Technology
(CARDIOTECHNIX 2014), Rome, Italy, 2014.
[ bib |
slides |
http |
CARDIOTECHNIX 2014 web
site ]
Cinzia Bernardeschi, Luca Cassano,
Andrea Domenici, Luca Sterpone.
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based
FPGAs.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Systems, vol. 33, no. 9, pp. 1342-1355, Sept. 2014.
[ bib |
DOI |
draft ]
Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto
Roncella, and Roberto Saletti.
Design and Safety Verification of a Distributed Charge Equalizer for Modular
Li-ion Batteries.
IEEE Transactions on Industrial Informatics, vol. 10, no. 2, pp.
1003-1011, May 2014.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, Mario G. C. A. Cimino, and Andrea Domenici.
GABES: a Genetic Algorithm Based Environment for SEU Testing in SRAM-FPGAs,
Journal of Systems Architecture, vol. 59, pages 1383-1254, 2013.
[ bib |
DOI |
draft ]
Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto
Roncella, and Roberto Saletti.
Mitigation of Single Event Upsets in the Control Logic of a Charge Equalizer
for Li-ion Batteries.
In 39th Annual Conference of the IEEE Industrial Electronics Society
(IECON 2013), Vienna, Austria, 2013.
[ bib |
DOI |
slides ]
Cinzia Bernardeschi, Luca Cassano, and Andrea Domenici.
Formal approaches to SEU testing in FPGAs.
In 2013 NASA/ESA Conference on Adaptive Hardware and Systems
(AHS-2013), Torino, Italy, 2013.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Luca Sterpone.
Unexcitability analysis of SEus affecting the routing structure of
SRAM-based FPGAs.
In Proceedings of the 23rd ACM International Conference on Great
Lakes Symposium on VLSI (GLSVLSI'13), pages 7-12, ACM,
2013.
[ bib |
DOI |
preprint ]
Cinzia Bernardeschi, Luca Cassano, Mario Giovanni Cosimo Antonio Cimino,
and Andrea Domenici.
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA
Systems.
In 6th HiPEAC Workshop on Reconfigurable Computing (WRC 2012),
2012.
[ bib ]
Cinzia Bernardeschi, Luca Cassano, and Andrea Domenici.
SEU-X: A SEu un-eXcitability prover for SRAM-FPGAs.
In 2012 IEEE 18th International On-Line Testing Symposium
(IOLTS), pages 25-30, jun 2012.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Luca Sterpone.
Accurate Simulation of SEUs in the Configuration Memory of
SRAM-based FPGAs.
In Proceedings of the 25th IEEE International Symposium on Defect and
Fault Tolerance in VLSI and Nanotechnology Systems (DFT2012),
pages 115-120, IEEE, 2014.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci.
Simulation and Test-Case Generation for PVS Specifications of
Control Logics.
International Journal on Advances in Software, 4(3 &
4):327-341, 2011.
[ bib |
http]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci.
A Tool for Signal Probability Analysis of FPGA-Based Systems.
In Proceedings of the 2nd International Conference on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
(COMPUTATION TOOLS 2011), pages 13-18, 2011.
[ bib |
http]
Cinzia Bernardeschi, Luca Cassano, and Andrea Domenici.
Failure Probability and Fault Observability of SRAM-FPGA Systems.
In International Conference on Field Programmable Logic and
Applications (FPL2011), pages 385-388. IEEE, sep 2011.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, and Andrea Domenici.
Failure probability of SRAM-FPGA systems with Stochastic Activity
Networks.
In IEEE 14th International Symposium on Design and Diagnostics
of Electronic Circuits Systems (DDECS 2011), pages 293-296. IEEE, apr 2011.
[ bib |
DOI ]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Giancarlo Gennaro, and
Mario Pasquariello.
Simulated Injection of Radiation-Induced Logic Faults in FPGAs.
In Proceedings of the 3rd International Conference on Advances
in System Testing and Validation Lifecycle (VALID 2011), pages 84-89.
IARIA, 2011.
[ bib |
http]
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci.
Debugging PVS specifications of control logics via event-driven
simulation.
In Computation Tools 2010, Lisbon, Portugal, November 21-26
2010. IARIA.
[ bib ]
Gianni Pucciani, Andrea Domenici, Flavia Donno, and Heinz Stockinger.
A performance study on the synchronisation of heterogeneous grid
databases using CONStanza.
Future Generation Computer Systems, 2010(26):820-834, 2010.
[ bib |
DOI |
http ]
F. Calzolari, S. Arezzini, A. Ciampa, E. Mazzoni, A. Domenici, and G. Vaglini.
High availability using virtualization.
Journal of Physics: Conference Series, vol. 219, 2010.
[ bib |
http ]
Flavia Donno and Andrea Domenici.
Experiences in testing a Grid service in a production environment.
In 12th European Workshop on Dependable Computing (EWDC 2009),
Toulouse, France, May 14-15, 2009. LAAS-CNRS.
[ bib |
slides |
http ]
Cinzia Bernardeschi and Andrea Domenici.
Extended matchmaking with availability metrics in the WLCG/EGEE
production Grid.
In Parallel and Distributed Computing and Networks (PDCN 2009),
pages 83-90, Innsbruck, Austria, February 17-18, 2009. Acta Press.
[ bib ]
A. Domenici and F. Donno.
Static and dynamic data models for the Storage Resource Manager
v2.2.
Journal of Grid Computing, 7(1):115-133, March 2008.
[ bib |
DOI |
http]
Andrea Domenici, Flavia Donno, Gianni Pucciani, and Heinz Stockinger.
Consistency of replicated datasets in grid computing.
In Emmanuel Udoh and Frank Zhigang Wang, editors, Handbook of
Research on Grid Technologies and Utility Computing: Concepts for Managing
Large-Scale Applications, pages 49-58. IGI Global, 2008.
[ bib |
DOI |
http]
A. Domenici and F. Donno.
A model for the Storage Resource Manager.
In International Symposium on Grid Computing (ISGC 2007), pages
90-105, Taipei, ROC, 2007.
[ bib |
DOI |
preprint]
Andrea Domenici, Flavia Donno, Gianni Pucciani, and Heinz Stockinger.
Relaxed Data Consistency with CONStanza.
In CCGRID '06: Proceedings of the Sixth IEEE International
Symposium on Cluster Computing and the Grid, pages 425-429, Washington,
DC, USA, 2006. IEEE Computer Society.
[ bib |
DOI |
http]
Dirk Duellmann et al.
LCG 3D Project Status and Production Plans.
In Computing in High Energy and Nuclear Physics 2006 (CHEP06),
Mumbai, India, 2006.
[ bib |
http]
Andrea Domenici.
Experiences in grid architectures.
In Parallel and Distributed Computing and Networks (PDCN 2005),
pages 264-269, Innsbruck, Austria, 2005. Acta Press.
[ bib ]
Cinzia Bernardeschi, Gianluca Dini, and Andrea Domenici.
FACT: A Tool for Code Generation from Communicating Automata.
In Peter Kokol, editor, IASTED International Conference on
Software Engineering, part of the 23rd Multi-Conference on Applied
Informatics, Innsbruck, Austria, February 15-17, 2005, pages 313-318.
IASTED/ACTA Press, 2005.
[ bib ]
Andrea Domenici, Flavia Donno, Gianni Pucciani, Heinz Stockinger, and Kurt
Stockinger.
Replica consistency in a data grid.
Nuclear Instruments and Methods in Physics Research Section A:
Accelerators, Spectrometers, Detectors and Associated Equipment,
534(1-2):24-28, 2004.
Proceedings of the IXth International Workshop on Advanced Computing
and Analysis Techniques in Physics Research.
[ bib |
DOI |
http ]
D. Cameron, J. Casey, L. Guy, P. Kunszt, S. Lemaitre, G. McCance,
H. Stockinger, K. Stockinger, G. Andronico, W. Bell, I. Ben-Akiva, D. Bosio,
R. Chytracek, A. Domenici, F. Donno, W. Hoscheck, L. Lucio, P. Millar,
L. Salconi, B. Segal, and M. Silander.
Replica Management in the European DataGrid Project.
Journal of Grid Computing, 2(1):341-351, 2004.
[ bib |
DOI |
http]
A. Domenici.
Grid Architectures and the European DataGrid.
In Int'l Conference on Advances in the Internet, Processing,
Systems, and Interdisciplinary Research (IPSI-2003). Sveti Stefan,
Montenegro (SCG), Oct. 4 - 11, 2003.
[ bib ]
A. Domenici, F. Donno, K. Paschen, G. Pucciani, H. Stockinger, and
K. Stockinger.
Replica consistency in a Data Grid.
In IX International Workshop on Advanced Computing and Analysis
Techniques in Physics Research (ACAT03). Tsukuba, Japan, Dec. 1 - 5, 2003.
[ bib |
http]
S. Mazzini, M. D'Alessandro, M. Di Natale, A. Domenici, G. Lipari, and
T. Vardanega.
HRT-UML: Taking HRT-HOOD onto UML.
Lecture Notes in Computer Science, 2655:405-416, 2003.
Reliable Software Technologies Ada-Europe.
[ bib ]
Andrea Domenici.
Internet and object-oriented design methods.
In Advances in Infrastructure for E-Business on the Internet
(YUINFO-2000). Kopaonik (FRY), March 27 - 31, 2000.
(Invited talk)
[ bib |
http]
Andrea Domenici.
Tutorial on internet and object-oriented design methods.
In Advances in Infrastructure for E-Business on the Internet
(YUINFO-2000). Kopaonik (FRY), March 27 - 31, 2000.
(Invited tutorial)
[ bib |
http]
Andrea Domenici.
Object-oriented techniques for distributed computation.
In International Conference on Advances in Infrastructure for
Electronic Business, Science, and Education on the Internet (SSGRR 2000).
SSGRR, l'Aquila, 2000.
(Invited paper).
[ bib ]
Marco Di Natale and A. Domenici.
The DASE tool: an environment for the development of real-time
applications.
In DIPES '98: Proceedings of the IFIP WG10.3/WG10.5
international workshop on Distributed and parallel embedded systems,
pages 169-179, Norwell, MA, USA, 1999. Kluwer Academic Publishers.
[ bib ]
M. Di Natale, A. Domenici, and P. Ancilotti.
The DASE design environment for distributed real-time analysis.
In IIIS SCI-ISAS Conference. Orlando (USA), August 3-5, 1999.
[ bib ]
Andrea Domenici.
Object-oriented thinking for the internet.
In Festival Informatičkih Dostignuća (INFOFEST-99). Budva
(FRY), Sept. 25 - Oct. 2, 1999.
(Invited tutorial)
[ bib ]
A. Domenici and C. A. Prete.
Macchina Astratta di Warren e compilatore Prolog.
In G. Levi and F. Patricelli, editors, Prolog: Linguaggio,
Applicazioni ed Implementazioni, pages 435-466. SSGRR, L'Aquila, 1993.
[ bib ]
Andrea Domenici.
Gondor: Gödel on Andorra.
In D. Saccà, editor, Ottavo Convegno sulla Programmazione
Logica GULP-93, pages 585-599, 1993.
[ bib |
http]
Andrea Domenici.
Un'implementazione parallela del linguaggio Gödel.
PhD thesis, Dip. di Ingegneria dell'Informazione: Elettronica,
Informatica, Telecomunicazioni, U. di Pisa, 1992.
[ bib ]
Andrea Domenici.
Strumenti per lo studio di reti di Petri basati sulla
programmazione logica.
In Quinto Convegno sulla Programmazione Logica GULP-90, pages
143-152, 1990.
[ bib |
http]
A Domenici, B Lazzerini, and CA Prete.
Introduction to Prolog computation model and its implementation.
Information and Software Technology, 32(6):423 - 431, 1990.
[ bib |
DOI |
http ]
Andrea Domenici.
Petri nets in logic.
Microprocessing and Microprogramming, 30(1-5):193 - 198, 1990.
Proceedings Euromicro 90: Hardware and Software in System
Engineering.
[ bib |
DOI |
http ]
A. Domenici, B. Lazzerini, and C.A. Prete.
An abstract Prolog machine.
The International Journal of Mini and Microcomputers,
11(2):31-37, 1989.
[ bib ]
Andrea Domenici, Beatrice Lazzerini, and Cosimo Antonio Prete.
A protocol for resource locking and deadlock detection in a
multi-user environment.
Microprocessing and Microprogramming, 27(1-5):431 - 437, 1989.
Fifteenth EUROMICRO Symposium on Microprocessing and
Microprogramming.
[ bib |
DOI |
http ]
Andrea Domenici.
Debugging logic programs at the implementation level.
In Proceedings of the Third International Symposium on
Multimicroprocessor Systems MMPS 89, Stralsund, pages 275-283, 1989.
[ bib ]
A. Domenici, B. Lazzerini, and C.A. Prete.
A synthetic trace generator for multiprocessor performance
evaluation.
In Proceedings of the Third International Symposium on
Multimicroprocessor Systems MMPS 89, Stralsund, pages 242-253, 1989.
[ bib ]
Andrea Domenici.
Compiling Prolog with a C compiler.
In Proceedings of the Fourth International Symposium on Computer
and Information Sciences 1989, Çesme, pages 771-781,
1989.
[ bib ]
A. Domenici and B. Lazzerini.
Unificazione in Prolog: costi e valutazioni.
In Proceedings of the Congresso Annuale AICA '88,
Cagliari, pages 11-20, 1988.
[ bib ]
A. Domenici and B. Lazzerini.
Variables' lifetime, mode declarations and clause indexing in
Prolog implementations.
In Proceedings of the Third International Symposium on Computer
and Information Sciences 1988, Çesme, pages 213-224, 1988.
[ bib ]
A. Domenici, B. Lazzerini, and C.A. Prete.
A general model for an Abstract Prolog Machine.
In Proceedings of the ISMM International Conference MINI AND
MICROCOMPUTERS, Miami Beach, pages 351-354. Acta Press, 1988.
[ bib ]
A. Domenici, B. Lazzerini, and C.A. Prete.
A Prolog environment within the Unix operating system.
In Proceedings of the IASTED International Conference on EXPERT
SYSTEMS, Geneva, pages 60-64. Acta Press, 1987.
[ bib ]