Sara Corfini

According to our database, Sara Corfini authored at least 19 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

A comprehensive framework for the analysis of automotive systems.

Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2010

Analysing the Behaviour of Peer Specifications for mobile P2P applications.

Antonio Brogi, Sara Corfini

Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009

A Net-based Approach to Web Services Publication and Replaceability.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

Fundam. Informaticae, 2009

A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems.

Antonio Brogi, Sara Corfini, Thaizel Fuentes

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Composition-oriented Web Service Discovery.

Sara Corfini

PhD thesis, 2008

Semantics-based composition-oriented discovery of Web services.

Antonio Brogi, Sara Corfini, Razvan Popescu

ACM Trans. Internet Techn., 2008

Ontology- and Behavior-Aware Discovery of Web Service Compositions.

Antonio Brogi, Sara Corfini

Int. J. Cooperative Inf. Syst., 2008

On the Use of Behavioural Equivalences for Web Services' Development.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

Fundam. Informaticae, 2008

Tailoring service discovery to embedded P2P systems.

Antonio Brogi, Sara Corfini, Thaizel Fuentes

Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

Discovering service compositions that feature a desired behaviour.

Fabrizio Benigni, Antonio Brogi, Sara Corfini

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Behaviour-Aware Discovery of Web Service Compositions.

Antonio Brogi, Sara Corfini

Int. J. Web Serv. Res., 2007

SAM : A Semantic Web Service Discovery System.

Antonio Brogi, Sara Corfini

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

From OWL-S Descriptions to Petri Nets.

Antonio Brogi, Sara Corfini, Stefano Iardella

Proceedings of the Service-Oriented Computing, 2007

A Behavioural Congruence for Web Services.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

A Prototype for Discovering Compositions of Semantic Web Services.

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado

Proceedings of the SWAP 2006, 2006

Automated Discovery of Compositions of Services Described with Separate Ontologies.

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado

Proceedings of the Service-Oriented Computing, 2006

2005

Composition-Oriented Service Discovery.

Antonio Brogi, Sara Corfini, Razvan Popescu

Proceedings of the Software Composition - 4th International Workshop, 2005