Search - IFIP Open Digital Library

7 results

Sub-domain level 1 : info.info-ni

labStructName_s : IBM Austin Research Lab [Austin]

labStructName_s : Laboratoire Bordelais de Recherche en Informatique

	For these 7 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

		Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts Omer Nguena Timo , Dimitri Prestat , Antoine Rollet 31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France Conference papers hal-02341856v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Benchmarking Cryptographic Schemes for Securing Public Cloud Storages Stefan Contiu , Emmanuel Leblond , Laurent Réveillère 17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.163-176, ⟨10.1007/978-3-319-59665-5_12⟩ Conference papers hal-01800117v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair 13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩ Conference papers hal-00991376v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		GREP: Games for the Runtime Enforcement of Properties Matthieu Renard , Antoine Rollet , Yliès Falcone 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩ Conference papers hal-01678960v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Co-managing Software and Hardware Modules through the Juggle Middleware Jan S. Rellermeyer , Ramon Küpfer 12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.431-450, ⟨10.1007/978-3-642-25821-3_22⟩ Conference papers hal-01597778v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Virtualizing Stream Processing Michael Duller , Jan S. Rellermeyer , Gustavo Alonso , Nesime Tatbul 12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.269-288, ⟨10.1007/978-3-642-25821-3_14⟩ Conference papers hal-01597774v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		EZ: Towards Efficient Asynchronous Protocol Gateway Construction Yérom-David Bromberg , Floréal Morandat , Laurent Réveillère , Gaël Thomas 13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩ Conference papers hal-00991335v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More