Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Eugenio Moggi"'
Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for pr
Publikováno v:
Acta Cybernetica. 24:269-285
Safety analysis of high confidence systems requires guaranteed bounds on the probabilities of events of interest. Establishing the correctness of algorithms that aim to compute such bounds is challenging. We address this problem in three steps. First
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e450e165147a4f53e49cdbe25a747456
https://doi.org/10.14232/actacyb.24.3.2020.2
https://doi.org/10.14232/actacyb.24.3.2020.2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030223472
ICTCS
Scopus-Elsevier
ICTCS
Scopus-Elsevier
Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyber-physical systems needs to blend discrete mathematic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dfe6908fbcbe9b1fc70cfde97805aed
https://eprints.nottingham.ac.uk/57139/1/2019-Moggi_Farjudian_Taha-System_Analysis_and_Robustness.pdf
https://eprints.nottingham.ac.uk/57139/1/2019-Moggi_Farjudian_Taha-System_Analysis_and_Robustness.pdf
Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of reachability -
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::190d805bb983783d46c933d3f7c74be7
http://hdl.handle.net/11567/920280
http://hdl.handle.net/11567/920280
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319952451
Principles of Modeling
Principles of Modeling
Hybrid systems are a powerful formalism for modeling cyber-physical systems. Reachability analysis is a general method for checking safety properties, especially in the presence of uncertainty and non-determinism. Rigorous simulation is a convenient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::506bfb61780257a301484abc882e968e
http://hdl.handle.net/11567/914208
http://hdl.handle.net/11567/914208
Autor:
Shyam B. Mehta, Kevin Atkinson, Adam Duracz, Paul Brauner, Marcia K. O'Malley, Anita Pinheiro Sant'Anna, Eugenio Moggi, Pererik Andreasson, Ferenc Bartha, Michal Konečný, Jun Inoue, Fei Xu, Robert Cartwright, Christian Grante, Jawad Masood, Lise Hvatum, Roland Philippsen, Alexandre Chapoutot, Jan Duracz, Henrik Eriksson, Verónica Gaspes, Walid Taha, Aaron D. Ames, Yingfu Zeng
Publikováno v:
Internet of Things. IoT Infrastructures ISBN: 9783319470627
IoT 360 (1)
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
International Internet of Things Summit
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
IoT 360 (1)
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
International Internet of Things Summit
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ed5b59d2584ae6293b70daf6a056513
https://doi.org/10.1007/978-3-319-47063-4_11
https://doi.org/10.1007/978-3-319-47063-4_11
Autor:
Masahito Hasegawa, Pierre-Louis Curien, P. Selinger, Glynn Winskel, H. Ehrig, Jean-Yves Girard, M. Barr, Abbas Edalat, Benjamin C. Pierce, T. Ehrhard, Giuseppe Longo, T. Paul, R. A. G. Seely, R. De Nicola, Catuscia Palamidessi, J. Tiuryn, S. Lack, Michael W. Mislove, Robin Milner, Andre Scedrov, Gordon Plotkin, Ugo Montanari, Andrew M. Pitts, Eugenio Moggi, Martín Hötzel Escardó, Alex Simpson, G. Berry, Philip J. Scott, Thierry Coquand, Furio Honsell, Dana Scott, M. Kanovitch, E. Asarin, Martin Hyland
Publikováno v:
Mathematical Structures in Computer Science. 19:1-4
Have you ever seen the Citation Indexes (CIs) for the year 1600? At that time, a very active community was working on the reconstruction of planetary movements by means of epicycles. In principle, any ellipse around the Sun may be approximated by suf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a288b0206c08fcc0c3da50fca2bfaf6f
https://doi.org/10.1017/s0960129508007391
https://doi.org/10.1017/s0960129508007391
Autor:
Eugenio Moggi
Publikováno v:
Electronic Notes in Theoretical Computer Science. 172:479-497
The paper describes a language consisting of two layers, terms and computation rules, whose operational semantics is given in terms of two relations: simplification and computation. Simplification is induced by confluent rewriting on terms. Computati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fcdb893e6a3f60cb10b1f528644561c
Autor:
Amr Sabry, Eugenio Moggi
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 38:375-400
This paper proposes an operational semantics for value recursion in the context of monadic metalanguages. Our technique for combining value recursion with computational effects works uniformly for all monads. The operational nature of our approach is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5c3972f58073a9dc55d0ac7e44eca3b
https://doi.org/10.1051/ita:2004018
https://doi.org/10.1051/ita:2004018
Publikováno v:
Mathematical Structures in Computer Science. 14:367-395
This paper describes the design and semantics of METAKLAIM, which is a higher order distributed process calculus equipped with staging mechanisms. METAKLAIM integrates METAML (an extension of SML for multi-stage programming) and KLAIM (a Kernel Langu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dc0f33c73ed5100493ad275d5081c21
https://doi.org/10.1017/s0960129504004165
https://doi.org/10.1017/s0960129504004165