Elvinia Riccobene

Available identifiers

zbMath Open riccobene.elviniaDBLP60/2903WikidataQ60647596 ScholiaQ60647596MaRDI QIDQ315282

List of research outcomes

Publication	Date of Publication	Type
The ASMETA approach to safety assurance of software systems	2022-03-22	Paper
ASM-based formal design of an adaptivity component for a cloud system	2016-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417839	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4413681	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413684	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413689	2003-07-21	Paper
Proving invariants of I/O automata with TAME	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2767182	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2753710	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q2753715	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4520535	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4878775	1996-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4288282	1995-01-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elvinia Riccobene