Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Ferrante, Orlando"'
Autor:
Binchi, Jacopo, Mangeruca, Leonardo, Rucco, Matteo, Ferrante, Orlando, Minissale, Alfio, Abbà, Fabio Francesco
Publikováno v:
In Procedia CIRP 2021 97:533-538
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper we describe Formal Specs Verifier Automatic Test Generation, a tool generating high coverage test suites for embedded systems. Our tool implements a test case synthesis algorithm using a combination of model checking and optimization te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::772e8b0d55dae73c0bb6e7674f687ad0
https://hal.archives-ouvertes.fr/hal-01289412
https://hal.archives-ouvertes.fr/hal-01289412
As process technology downscales, testing difficulties and susceptibility of circuits to random hardware faults arise. This trend, combined with increasing complexity of functions to be performed by Systems-on-Chip, poses crucial concerns when system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::122f65a43612c68c74e28752eb7e619d
https://hal.archives-ouvertes.fr/hal-02271312
https://hal.archives-ouvertes.fr/hal-02271312
Publikováno v:
IEEE Transactions on Industrial Informatics; Jan2018, Vol. 14 Issue 1, p360-369, 10p
We propose a novel language for the formal description of heterogeneous embedded systems (DesyreML). As the main contribution, the language is formally described in terms of semantics and concrete syntax based on the SysML language. We define the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::87368fc64f3b17787d1b8e8c6e0c93da
https://hal.archives-ouvertes.fr/hal-02263394
https://hal.archives-ouvertes.fr/hal-02263394
Publikováno v:
Applications in Electronics Pervading Industry, Environment & Society: APPLEPIES 2014; 2016, p203-210, 8p
Autor:
Carloni, Marco, Ferrante, Orlando, Ferrari, Alberto, Massaroli, Gianpaolo, Orazzo, Antonio, Velardi, Luigi
Publikováno v:
Algorithmic Game Theory: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings; 2015, p178-189, 12p
Autor:
Carloni, Marco, Ferrante, Orlando, Ferrari, Alberto, Massaroli, Gianpaolo, Orazzo, Antonio, Petrone, Ida, Velardi, Luigi
Publikováno v:
Computer Safety, Reliability & Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings; 2014, p137-146, 10p