Zobrazeno 1 - 10
of 159
pro vyhledávání: '"Andre Scedrov"'
Autor:
Tajana Ban Kirigin, Abraão Aires Urquiza, Max I. Kanovich, Carolyn L. Talcott, Vivek Nigam, Andre Scedrov, Musab A. Alturki
Publikováno v:
Journal of Computer Security. 29:299-340
Protocol security verification is one of the best success stories of formal methods. However, some aspects important to protocol security, such as time and resources, are not covered by many formal models. While timing issues involve e.g., network de
Publikováno v:
Journal of Logic, Language and Information. 30:31-88
We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill’s calculi, and focus on their fragments includi
Publikováno v:
Tajana Ban Kirigin
We develop a Multiset Rewriting language with explicit time for the specification and analysis of various properties of Time-Sensitive Distributed Systems (TSDS). In particular, we focus on a class of systems called Progressing Timed Systems (PTS), w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b0ff386d5f586f623b0b28a3bfdeb63
https://www.bib.irb.hr/1219021
https://www.bib.irb.hr/1219021
Publikováno v:
Automated Reasoning ISBN: 9783031107689
Adding multi-modalities (called subexponentials) to linear logic enhances its power as a logical framework, which has been extensively used in the specification of e.g. proof systems, programming languages and bigraphs. Initially, subexponentials all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c048724e034eb053cb677681fa888aa5
https://doi.org/10.1007/978-3-031-10769-6_27
https://doi.org/10.1007/978-3-031-10769-6_27
Autor:
Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031177149
Cyber-Physical Systems (CPS) are used to perform complex, safety-critical missions autonomously. Examples include applications of autonomous vehicles and drones. Given the complexity of these systems, CPS must be able to adapt to possible changes dur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ce78838fc2254a0732468112117aeb8
https://doi.org/10.1007/978-3-031-17715-6_8
https://doi.org/10.1007/978-3-031-17715-6_8
Autor:
Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott
Recent years have seen a tremendous increase in the reliance of industrial systems on a variety of interconnected components ranging in complexity from simple sensors to more complex cyber-physical and Internet of Things (IoT) devices, a class of sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f217061b627b04f495e0be18a77c95d5
https://www.bib.irb.hr/1195978
https://www.bib.irb.hr/1195978
Publikováno v:
Journal of Logic and Computation. 30:239-256
The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e. the antecedent of any provable sequent shoul
Publikováno v:
Studies in Computational Intelligence ISBN: 9783030901370
Studies in Computational Intelligence
Studies in Computational Intelligence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef986af83b745049eb9a77ed79d38609
https://doi.org/10.1007/978-3-030-90138-7_1
https://doi.org/10.1007/978-3-030-90138-7_1
Publikováno v:
Journal of Cryptology. 32:324-360
Autor:
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Musab A. Alturki, Carolyn L. Talcott
Publikováno v:
ICISSP
Development of automated technological systems has seen the increase in interconnectivity among its components. This includes Internet of Things (IoT) and Industry 4.0 (I4.0) and the underlying communication between sensors and controllers. This pape
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad82a839c3a9e9ce820287c1daae47e3
https://doi.org/10.5220/0010195100430054
https://doi.org/10.5220/0010195100430054