Sara Corfini

20 papers A 4B 1C 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2023 — conf
EVA: a Tool for the Compositional Verification of AUTOSAR Models.
TACAS (2)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
2022 A conf
A comprehensive framework for the analysis of automotive systems.
MoDELS
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
2010 — conf
Analysing the Behaviour of Peer Specifications for mobile P2P applications.
CIbSE
Antonio Brogi, Sara Corfini
2009 J jnl
A Net-based Approach to Web Services Publication and Replaceability.
Fundam. Informaticae
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2009 — conf
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems.
ICSOC/ServiceWave
Antonio Brogi, Sara Corfini, Thaizel Fuentes
2008 — —
Composition-oriented Web Service Discovery.
Sara Corfini
2008 B conf
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.
Petri Nets
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008 — conf
Discovering service compositions that feature a desired behaviour.
CIbSE
Fabrizio Benigni, Antonio Brogi, Sara Corfini
2008 J jnl
On the Use of Behavioural Equivalences for Web Services' Development.
Fundam. Informaticae
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008 J jnl
Ontology- and Behavior-Aware Discovery of Web Service Compositions.
Int. J. Cooperative Inf. Syst.
Antonio Brogi, Sara Corfini
2008 J jnl
Semantics-based composition-oriented discovery of Web services.
ACM Trans. Internet Techn.
Antonio Brogi, Sara Corfini, Razvan Popescu
2008 C conf
Tailoring service discovery to embedded P2P systems.
MobiQuitous
Antonio Brogi, Sara Corfini, Thaizel Fuentes
2007 — conf
A Behavioural Congruence for Web Services.
FSEN
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2007 J jnl
Behaviour-Aware Discovery of Web Service Compositions.
Int. J. Web Serv. Res.
Antonio Brogi, Sara Corfini
2007 A conf
Discovering Service Compositions That Feature a Desired Behaviour.
ICSOC
Fabrizio Benigni, Antonio Brogi, Sara Corfini
2007 — conf
From OWL-S Descriptions to Petri Nets.
ICSOC Workshops
Antonio Brogi, Sara Corfini, Stefano Iardella
2007 — conf
SAM : A Semantic Web Service Discovery System.
KES (3)
Antonio Brogi, Sara Corfini
2006 — conf
A Prototype for Discovering Compositions of Semantic Web Services.
SWAP
Antonio Brogi, Sara Corfini, José Francisco Aldana-Montes, Ismael Navas-Delgado
2006 A conf
Automated Discovery of Compositions of Services Described with Separate Ontologies.
ICSOC
Antonio Brogi, Sara Corfini, José Francisco Aldana-Montes, Ismael Navas-Delgado
2005 A conf
Composition-Oriented Service Discovery.
SC
Antonio Brogi, Sara Corfini, Razvan Popescu