Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Corfini, Sara
9  Ergebnisse:
Personensuche X
?
1

EVA: a Tool for the Compositional Verification of AUTOSAR M..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Cimatti, Alessandro ; Cristoforetti, Luca ; Griggio, Alberto... - p. 3-10 , 2023
Link: https://doi.org/10.1007/..
 
?
2

A comprehensive framework for the analysis of automotive sy..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,
Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca... - p. 379-389 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Semantics-based composition-oriented discovery of Web servi..:

Brogi, Antonio ; Corfini, Sara ; Popescu, Razvan
ACM Transactions on Internet Technology.  8 (2008)  4 - p. 1-39 , 2008
Link: https://doi.org/10.1145/..
 
?
4

Semantics-based composition-oriented discovery of Web servi..:

Brogi, Antonio ; Corfini, Sara ; Popescu, Razvan
ACM Transactions on Internet Technology (TOIT).  8 (2008)  4 - p. 1-39 , 2008
Link: https://dl.acm.org/doi/1..
 
?
5

Compositional Specification of Web Services Via Behavioural..:

, In: Applications and Theory of Petri Nets; Lecture Notes in Computer Science,
Bonchi, Filippo ; Brogi, Antonio ; Corfini, Sara. - p. 52-71 , 2008
Link: https://doi.org/10.1007/..
 
?
6

A behavioural congruence for web services:

, In: Proceedings of the 2007 international conference on Fundamentals of software engineering,
Bonchi, Filippo ; Brogi, Antonio ; Corfini, Sara. - p. 240-256 , 2007
Link: https://dl.acm.org/doi/1..
 
?
7

A Behavioural Congruence for Web Services:

, In: Lecture Notes in Computer Science; International Symposium on Fundamentals of Software Engineering,
Bonchi, Filippo ; Brogi, Antonio ; Corfini, Sara. - p. 240-256 ,
Link: https://doi.org/10.1007/..
 
?
8

Compositional Specification of Web Services via Behavioural..:

Bonchi, Filippo ; Brogi, Antonio ; Corfini, Sara.
http://eprints.adm.unipi.it/2194/1/TR-08-01.pdf.gz.  , 2008
Link: http://eprints.adm.unipi..
 
?
9

Behaviour-aware discovery of Web service compositions:

Brogi, Antonio ; Corfini, Sara
http://eprints.adm.unipi.it/2161/1/TR-06-08.pdf.gz.  , 2006
Link: http://eprints.adm.unipi..
 
1-9