Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Sub-domain level 1 : info.info-se
publicationDateY_i : 2020
Page :
sorted by

Coordination Models and Languages

 Simon Bliudze , Laura Bocchi
Simon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Books hal-03168525v1
Image document

Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL

 Flavio Oquendo
2nd IFIP International Internet of Things Conference (IFIP-IoT 2019), Oct 2019, Tampa, United States. pp.3-20, ⟨10.1007/978-3-030-43605-6_1⟩
Conference papers hal-02570221v1
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Book sections hal-03048336v1
Image document

Using an enterprise architecture model for GDPR compliance principles

 Gaëlle Blanco-Lainé , Jean-Sébastien Sottet , Sophie Dupuy-Chessa
12th IFIP Conference on Practice of Entreprise Modeling, POEM'2019, Nov 2020, Luxembourg, Luxembourg
Conference papers hal-02482761v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

 Jesus Gorroñogoitia Cruz , Andrey Sadovykh , Dragos Truscan , Hugo Bruneliere , Pierluigi Pierini , et al.
The 16th International Conference on Open Source Systems (OSS 2020), May 2020, Innopolis, Russia. pp.183-189, ⟨10.1007/978-3-030-47240-5_18⟩
Conference papers hal-02524402v1
Image document

CSI based indoor localization using Ensemble Neural Networks

 Abdallah Sobehy , Eric Renault , Paul Mühlethaler
MLN 2019 : 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.367-378, ⟨10.1007/978-3-030-45778-5_25⟩
Conference papers hal-02334588v1
Image document

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Conference papers hal-02947787v1
Image document

Combining SLiVER with CADP to Analyze Multi-agent Systems

 Luca Di Stefano , Frédéric Lang , Wendelin Serwe
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers hal-02890401v1
Page :