Sara Corfini

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Main Contribution

Computer Systems

Top Venues

Publications

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