default search action
Sara Corfini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c14]Alessandro Cimatti
, Luca Cristoforetti
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) 2023: 3-10 - 2022
- [c13]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: 379-389
2010 – 2019
- 2010
- [c12]Antonio Brogi, Sara Corfini:
Analysing the Behaviour of Peer Specifications for mobile P2P applications. CIbSE 2010: 65-78
2000 – 2009
- 2009
- [j5]Filippo Bonchi
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [c11]Antonio Brogi
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. ICSOC/ServiceWave 2009: 68-82 - 2008
- [b1]Sara Corfini:
Composition-oriented Web Service Discovery. University of Pisa, Italy, 2008 - [j4]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [j3]Antonio Brogi
Ontology- and Behavior-Aware Discovery of Web Service Compositions. Int. J. Cooperative Inf. Syst. 17(3): 319-347 (2008) - [j2]Antonio Brogi
Semantics-based composition-oriented discovery of Web services. ACM Trans. Internet Techn. 8(4): 19:1-19:39 (2008) - [c10]Filippo Bonchi
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71 - [c9]Fabrizio Benigni, Antonio Brogi, Sara Corfini:
Discovering service compositions that feature a desired behaviour. CIbSE 2008: 4-16 - [c8]Antonio Brogi, Sara Corfini, Thaizel Fuentes:
Tailoring service discovery to embedded P2P systems. MobiQuitous 2008 - 2007
- [j1]Antonio Brogi
Behaviour-Aware Discovery of Web Service Compositions. Int. J. Web Serv. Res. 4(3): 1-25 (2007) - [c7]Filippo Bonchi
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - [c6]Fabrizio Benigni, Antonio Brogi
Discovering Service Compositions That Feature a Desired Behaviour. ICSOC 2007: 56-68 - [c5]Antonio Brogi
From OWL-S Descriptions to Petri Nets. ICSOC Workshops 2007: 427-438 - [c4]Antonio Brogi
SAM : A Semantic Web Service Discovery System. KES (3) 2007: 703-710 - 2006
- [c3]Antonio Brogi
Automated Discovery of Compositions of Services Described with Separate Ontologies. ICSOC 2006: 509-514 - [c2]Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado:
A Prototype for Discovering Compositions of Semantic Web Services. SWAP 2006 - 2005
- [c1]Antonio Brogi
Composition-Oriented Service Discovery. SC@ETAPS 2005: 15-30
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: