Zobrazeno 1 - 10
of 164
pro vyhledávání: '"Stephan Merz"'
Publikováno v:
Theoretical Computer Science. 942:200-212
Autor:
Leslie Lamport, Stephan Merz
Publikováno v:
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
International audience; Prophecy variables were introduced in the article “The Existence of Refinement Mappings” by Abadi and Lamport. They were difficult to use in practice. We describe a new kind of prophecy variable that we find much easier to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e264bd617dcc78a45a0ee8602fa1f74
https://inria.hal.science/hal-03636686/document
https://inria.hal.science/hal-03636686/document
Publikováno v:
Stabilization, Safety, and Security of Distributed Systems
23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021)
23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021), Colette Johnen and Elad Michael Schiller and Stefan Schmid, Nov 2021, Gothenburg / online, Sweden. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
LNCS-Lecture notes in computer science
SSS 2021-International Symposium on Stabilizing, Safety, and Security of Distributed Systems
SSS 2021-International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual Event, France. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
Lecture Notes in Computer Science ISBN: 9783030910808
23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021)
23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021), Colette Johnen and Elad Michael Schiller and Stefan Schmid, Nov 2021, Gothenburg / online, Sweden. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
LNCS-Lecture notes in computer science
SSS 2021-International Symposium on Stabilizing, Safety, and Security of Distributed Systems
SSS 2021-International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual Event, France. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
Lecture Notes in Computer Science ISBN: 9783030910808
International audience; We define the mod k-synchronization problem as a weakening of the Firing Squad problem, where all nodes fire not at the same round, but at rounds that are all equal modulo k. We propose an algorithm that achieves mod k-synchro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a12cf3e41305996267438ce9008b4f70
https://hal.archives-ouvertes.fr/hal-03451085
https://hal.archives-ouvertes.fr/hal-03451085
Publikováno v:
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning, Wiley, 2021, 978-1-119-67550-1. ⟨10.1002/9781119675525.ch12⟩
Schnepf, N, Badonnel, R, Lahmadi, A & Merz, S 2021, Automated Orchestration of Security Chains Driven by Process Learning . in N Zincir-Heywood, Y Diao & M Mellia (eds), Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning . Wiley-IEEE press, IEEE Press Series on Networks and Service Management, pp. 289-320 .
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning, Wiley, 2021, 978-1-119-67550-1. ⟨10.1002/9781119675525.ch12⟩
Schnepf, N, Badonnel, R, Lahmadi, A & Merz, S 2021, Automated Orchestration of Security Chains Driven by Process Learning . in N Zincir-Heywood, Y Diao & M Mellia (eds), Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning . Wiley-IEEE press, IEEE Press Series on Networks and Service Management, pp. 289-320 .
International audience; Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d39463f14dd820fdfe6ee96dc149471b
https://inria.hal.science/hal-03518390
https://inria.hal.science/hal-03518390
Publikováno v:
Hearing Research. 345:52-56
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
Journal of Automated Reasoning, 62(2), 169-170. Springer Netherlands
Journal of Automated Reasoning, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
Blanchette, J C & Merz, S 2019, ' Selected Extended Papers of ITP 2016 : Preface ', Journal of Automated Reasoning, vol. 62, no. 2, pp. 169-170 . https://doi.org/10.1007/s10817-018-9470-8
Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
Journal of Automated Reasoning, 62(2), 169-170. Springer Netherlands
Journal of Automated Reasoning, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
Blanchette, J C & Merz, S 2019, ' Selected Extended Papers of ITP 2016 : Preface ', Journal of Automated Reasoning, vol. 62, no. 2, pp. 169-170 . https://doi.org/10.1007/s10817-018-9470-8
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63ce92d090aa8abe378e634754ca1a40
https://hal.inria.fr/hal-02395177/file/editorial.pdf
https://hal.inria.fr/hal-02395177/file/editorial.pdf
Autor:
Stephan Merz
Publikováno v:
Concurrency: the Works of Leslie Lamport
Dahlia Malkhi. Concurrency: the Works of Leslie Lamport, 29, Association for Computing Machinery, pp.103-129, 2019, ACM Books, ⟨10.1145/3335772.3335780⟩
Dahlia Malkhi. Concurrency: the Works of Leslie Lamport, 29, Association for Computing Machinery, pp.103-129, 2019, ACM Books, ⟨10.1145/3335772.3335780⟩
International audience; Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2718611db34b68cc6941035653757124
https://inria.hal.science/hal-02387780/file/lamport-book-only-formal.pdf
https://inria.hal.science/hal-02387780/file/lamport-book-only-formal.pdf
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩
Science of Computer Programming, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩
Science of Computer Programming, Elsevier, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩
Science of Computer Programming, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩
International audience; Protocols implemented on overlay networks in a peer-to-peer (P2P) setting promise flexibility, performance, and scalability due to the possibility for nodes to join and leave the network while the protocol is running. These pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a63906d6ce671cc3fb62cfd85e756e0
https://hal.inria.fr/hal-01768758/document
https://hal.inria.fr/hal-01768758/document
Autor:
Stephan Merz, Hernán Vanzetto
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2018, 158, pp.3-20. ⟨10.1016/j.scico.2017.09.004⟩
Science of Computer Programming, 2018, 158, pp.3-20. ⟨10.1016/j.scico.2017.09.004⟩
Science of Computer Programming, Elsevier, 2018, 158, pp.3-20. ⟨10.1016/j.scico.2017.09.004⟩
Science of Computer Programming, 2018, 158, pp.3-20. ⟨10.1016/j.scico.2017.09.004⟩
International audience; TLA+ is a specification language designed for the verification of concurrent and distributed algorithms and systems. We present an encoding of a non-temporal fragment of TLA+ into (unsorted) first-order logic and many-sorted f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24da12b2363dd3cdcf7f887977dc76a3
https://hal.inria.fr/hal-01768750
https://hal.inria.fr/hal-01768750
Publikováno v:
NOMS 2018-IEEE/IFIP Network Operations and Management Symposium
NOMS 2018-IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406122⟩
NOMS
NOMS 2018-IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406122⟩
NOMS
International audience; Software-defined networking offers new opportunities for protecting end users by designing dynamic security policies. In particular, security chains can be built by combining security functions, such as firewalls, intrusion de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3be0801a1faadb875bc65e52230d384d
https://hal.archives-ouvertes.fr/hal-01892397/document
https://hal.archives-ouvertes.fr/hal-01892397/document