Search - IFIP - Lecture Notes in Computer Science

6 results

Deposit type : Fulltext

labStructName_s : Inria Sophia Antipolis - Méditerranée

labStructName_s : Laboratoire de Recherche en Informatique

	For these 6 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Dynamic Choreographies Safe Runtime Updates of Distributed Applications Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩ Conference papers hal-01227612v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Painless Support for Static and Runtime Verification of Component-Based Applications Nuno Gaspar , Ludovic Henrio , Eric Madelaine 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩ Conference papers hal-01168757v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Applicative Bisimulation and Quantum λ-Calculi Ugo Dal Lago , Alessandro Rioli 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩ Conference papers hal-01231800v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Behavioural Theory for a π-calculus with Preorders Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩ Conference papers hal-01246094v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Guiding testers' hands in monitoring tools : application of testing approaches on SIP Xiaoping Che , Huu Nghia Nguyen , Stephane Maag , Fatiha Zaidi 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩ Conference papers hal-01263247v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Comparison of Automatic Seed Generation Methods for Breast Tumor Detection Using Region Growing Technique Ahlem Melouah 5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.119-128, ⟨10.1007/978-3-319-19578-0_10⟩ Conference papers hal-01789934v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More