Zobrazeno 1 - 10
of 122
pro vyhledávání: '"ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification"'
Publikováno v:
This is the author (and slightly extended) version of the manuscript of the same name published in the proceedings of the 12th ACM/IEEE International Conference on Cyber-Physical Systems
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021)
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021)
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS
Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled discrete-time signals, while real behaviors are continuous-time signals.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0dd007efd6ada2c9409e6e94a4c7cba7
https://hal.archives-ouvertes.fr/hal-03142412
https://hal.archives-ouvertes.fr/hal-03142412
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Publikováno v:
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
International audience; Nous étudions le problème du maintien de connexion dans les réseaux de robots mobiles. On considère un robot incontrôlable (la « cible ») et une flotte de robots volumiques autonomes se déplaçant dans le plan réel et
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cbbedaf1127760303a32ad9d43c018f4
https://hal.archives-ouvertes.fr/hal-03219933
https://hal.archives-ouvertes.fr/hal-03219933
Autor:
Assalé Adjé, Pierre-Loïc Garoche
Publikováno v:
Computer Languages, Systems and Structures
Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.12.002⟩
Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.12.002⟩
Among the various critical systems that are worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop in which simple computations update internal states and produce com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41629700abd894857b5b1ebad63d98b9
https://doi.org/10.1016/j.cl.2015.12.002
https://doi.org/10.1016/j.cl.2015.12.002
Autor:
Tim Felgentreff, Olivier ZENDRA
Publikováno v:
13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
Tim Felgentreff; Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
HAL
Tim Felgentreff; Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
HAL
International audience; The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems and research directions as w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::84a52cd2e738af189ad645e88f5e598c
https://hal.inria.fr/hal-02314731
https://hal.inria.fr/hal-02314731
Autor:
Paskevich, Andrei, Wies, Thomas
Publikováno v:
Lecture Notes in Computer Science
VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments
VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩
VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments
VSTTE 2017-9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩
International audience; This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3034a3900bc5311235e651b77a1437f1
https://hal.inria.fr/hal-01670145
https://hal.inria.fr/hal-01670145
Publikováno v:
Proceedings of AVOCS 2017
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS)
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Lecture Notes in Computer Science ISBN: 9783319671123
FMICS-AVoCS
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS)
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Lecture Notes in Computer Science ISBN: 9783319671123
FMICS-AVoCS
International audience; Swarms of mobile robots recently attracted the focus of the Distributed Computing community. One of the fundamental problems in this context is that of gathering the robots: the robots must joint a common location, not known b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::373b506a02b939ddebd564b2c4bd4f3d
https://hal.sorbonne-universite.fr/hal-01549942
https://hal.sorbonne-universite.fr/hal-01549942
Publikováno v:
Information Systems
Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩
Information Systems, 2017, ⟨10.1016/j.is.2017.08.002⟩
Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩
Information Systems, 2017, ⟨10.1016/j.is.2017.08.002⟩
International audience; Artifact-centric workflows describe possible executions of a business process through constraints expressed from the point of view of the documents exchanged between principals. A sequence of manipulations is deemed valid as l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3619cfcfe68a396e42508373681c23a9
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf
Autor:
Marc Shapiro
Publikováno v:
Communications of the ACM
Communications of the ACM, Association for Computing Machinery, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Communications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Communications of the ACM, Association for Computing Machinery, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Communications of the ACM, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
To improve program performance on today's clusters, clouds and multicore computers requires the developer to pay serious attention to scalability. When a thread updates some shared datum, and another thread wants to read or write the most recent vers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c804aa36d0f6d29c1c7dbb07e8405e88
https://hal.inria.fr/hal-01570845
https://hal.inria.fr/hal-01570845
Autor:
Antoine El-Hokayem, Yliès Falcone
Publikováno v:
ISSTA 2017
ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
ISSTA
ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
ISSTA
International audience; We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e6a1cc029cc609bfcf2acac1c8399fe
https://hal.science/hal-01653725
https://hal.science/hal-01653725
Autor:
Yliès Falcone, Antoine El-Hokayem
Publikováno v:
ISSTA 2017
ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
ISSTA
ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
ISSTA
International audience; THEMIS is a tool to facilitate the design, development, and analysis of decentralized monitoring algorithms; developed using Java and AspectJ. It consists of a library and command-line tools. THEMIS provides an API, data struc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8e72274c5271779d67d2d24bbea78a4
https://hal.science/hal-01653727
https://hal.science/hal-01653727