Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Dal Zilio, Silvano"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng
We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94afdeddba9f4b7edccf24c5ba909d3a
Autor:
Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng
We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d58019f31fe0778ba1e1a848ab6c4fc
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This is an extended version (including the Minnie RMP440 experiment) of a paper currently under review; Validation and Verification (V&V) of autonomous robotics system software is becoming a critical issue. Among the V&V techniques at our disposal, f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4074::be740e270944640531655a561de55d03
https://hal.laas.fr/hal-03683044v1/file/main_rob.pdf
https://hal.laas.fr/hal-03683044v1/file/main_rob.pdf
Publikováno v:
International Journal on Software Tools for Technology Transfer; Feb2023, Vol. 25 Issue 1, p95-114, 20p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lubat, Éric, Dal Zilio, Silvano
Publikováno v:
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020)
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOV
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e8a91f6a47d74fa5133054173f93221
https://hal.science/hal-02899522
https://hal.science/hal-02899522