Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Benjamin Lion"'
Autor:
Benjamin Lion
An extension of the Treo compiler to Promela for verification of temporal properties.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89ad111a6c754a826c458a64f379df90
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 128, 100794.1-100794.19
Journal of Logical and Algebraic Methods in Programming, 128:100794. ELSEVIER SCIENCE INC
Journal of Logical and Algebraic Methods in Programming, 128:100794. ELSEVIER SCIENCE INC
In this paper, we study a subclass of constraint automata with local variables. The fragment denotes an executable subset of constraint automata for which synchronization and data constraints are expressed in an imperative guarded command style, inst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1c7858717c929a32b3daa3697178e1a
https://hdl.handle.net/1887/3485524
https://hdl.handle.net/1887/3485524
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 128, 100795.1-100795.14
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system. Usually,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d2e93928a94aed7b92444a5edcbdf9c
https://ir.cwi.nl/pub/31985
https://ir.cwi.nl/pub/31985
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 129, 100807.1-100807.25
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally observable beh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fc1402c52d03fa75816d6607db437be
https://doi.org/10.1016/j.jlamp.2022.100807
https://doi.org/10.1016/j.jlamp.2022.100807
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 118
We revise soft constraint automata, wherein transitions are weighted and each action has an associated preference value. We first relax the underlying algebraic structure to allow bipolar preferences. We then equip automata with memory locations, tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::934f3ba7fa59531be3f800f8aa6526f4
https://ir.cwi.nl/pub/30243
https://ir.cwi.nl/pub/30243
Publikováno v:
Science of Computer Programming, 183
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a system that meaningfully exhibits their collective behavior. We propose an automaton-based paradigm for compositional design of such sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d11c87abca0fed5b696f87f28ae7ed3
https://ir.cwi.nl/pub/28853
https://ir.cwi.nl/pub/28853
Autor:
Benjamin Lion, Marc Barthelemy
Random planar graphs appear in a variety of context and it is important for many different applications to be able to characterize their structure. Local quantities fail to give interesting information and it seems that path-related measures are able
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::235245fc105a9f4b1890790346d7a777