Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

11 résultats

	Pour les 11 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Automated Composition, Analysis and Deployment of IoT Applications Francisco Durán , Gwen Salaün , Ajay Krishna TOOLS 2019 - 51st International Conference on Software Technology: Methods and Tools, Oct 2019, Innopolis, Russia. pp.252-268, ⟨10.1007/978-3-030-29852-4_21⟩ Communication dans un congrès hal-02345865v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Models and analysis for user-driven reconfiguration of rule-based IoT applications Francisco Durán , Ajay Krishna , Michel Le Pallec , Radu Mateescu , Gwen Salaün Internet of Things, 2022, 19, pp.100515. ⟨10.1016/j.iot.2022.100515⟩ Article dans une revue hal-03781473v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		R-MOZART: A Reconfiguration Tool for WebThings Applications Francisco Durán , Ajay Krishna , Michel Le Pallec , Radu Mateescu , Gwen Salaün 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2021, Madrid / Virtual, Spain. pp.41-44, ⟨10.1109/ICSE-Companion52605.2021.00031⟩ Communication dans un congrès hal-03157158v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Rigorous Design and Deployment of IoT Applications Ajay Krishna , Michel Le Pallec , Radu Mateescu , Ludovic Noirie , Gwen Salaün FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩ Communication dans un congrès hal-02146553v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		VBPMN: Automated Verification of BPMN Processes Ajay Krishna , Pascal Poizat , Gwen Salaün 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy Communication dans un congrès hal-01591665v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Checking Business Process Evolution Ajay Krishna , Pascal Poizat , Gwen Salaün Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩ Article dans une revue hal-01920273v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		MOZART: Design and Deployment of Advanced IoT Applications Ajay Krishna , Michel Le Pallec , Alejandro Martinez , Radu Mateescu , Gwen Salaün WWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩ Communication dans un congrès hal-02554029v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated Analysis of Industrial Workflow-based Models Mario Cortes-Cornax , Ajay Krishna , Adrian Mos , Gwen Salaün SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩ Communication dans un congrès hal-01781315v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		IoT Composer: Composition and Deployment of IoT Applications Ajay Krishna , Michel Le Pallec , Radu Mateescu , Ludovic Noirie , Gwen Salaün ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩ Communication dans un congrès hal-02146569v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Design and Deployment of Expressive and Correct Web of Things Applications Ajay Krishna , Michel Le Pallec , Radu Mateescu , Gwen Salaün ACM Transactions on Internet of Things, 2022, 3, pp.1 - 30. ⟨10.1145/3475964⟩ Article dans une revue hal-03495593v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Checking Business Process Evolution Pascal Poizat , Gwen Salaün , Ajay Krishna 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France Communication dans un congrès hal-01366641v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More