Sara Corfini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2006–2023
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | EVA: a Tool for the Compositional Verification of AUTOSAR Models. | Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2009 | ICSOC | A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. | Antonio Brogi, Sara Corfini, Thaizel Fuentes |
| 2008 | Mobiquitous | Tailoring service discovery to embedded P2P systems. | Antonio Brogi, Sara Corfini, Thaizel Fuentes |
| 2007 | ICSOC | Discovering Service Compositions That Feature a Desired Behaviour. | Fabrizio Benigni, Antonio Brogi, Sara Corfini |
| 2007 | ICSOC | From OWL-S Descriptions to Petri Nets. | Antonio Brogi, Sara Corfini, Stefano Iardella |
| 2007 | KES | SAM : A Semantic Web Service Discovery System. | Antonio Brogi, Sara Corfini |
| 2006 | ICSOC | Automated Discovery of Compositions of Services Described with Separate Ontologies. | Antonio Brogi, Sara Corfini, Jos Francisco Aldana-Montes, Ismael Navas-Delgado |