Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Dennis Dams"'
Publikováno v:
Runtime Verification ISBN: 9783031171956
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2353fc07ab66c6c0ff2063ef0a67e42
https://doi.org/10.1007/978-3-031-17196-3_15
https://doi.org/10.1007/978-3-031-17196-3_15
Publikováno v:
SANER
25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. 20 March 2018 through 23 March 2018, 2018-March, 552-556
25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. 20 March 2018 through 23 March 2018, 2018-March, 552-556
The high-tech industry is faced with ever growing amounts of software to be maintained and extended. To keep the associated costs under control, there is a demand for more human overview and for large-scale code restructurings. Language technology su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9a6b9e87fe86367a68c74af4ff3a3a5
http://resolver.tudelft.nl/uuid:b9de9e36-7541-4aa0-b67c-d38532016c26
http://resolver.tudelft.nl/uuid:b9de9e36-7541-4aa0-b67c-d38532016c26
Autor:
Orna Grumberg, Dennis Dams
Publikováno v:
Handbook of Model Checking ISBN: 9783319105741
Handbook of Model Checking
Handbook of Model Checking
ion, in the context of model checking, is aimed at reducing the state space of the system by omitting details that are irrelevant to the property being verified. Many successful approaches to the "state explosion problem," some of them described in o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fbc6f7f88c2081f3c8a0e780a7f13fe
https://doi.org/10.1007/978-3-319-10575-8_13
https://doi.org/10.1007/978-3-319-10575-8_13
Autor:
Dennis Dams, Hans van Herreweghe, Koen Willaert, Sigurd Van Broeck, Marc Van Den Broeck, Senka Zubic, Jan Alfons Albert Bouwen, Wolfgang Van Raemdonck, Zhe Lou
Publikováno v:
Bell Labs Technical Journal. 16:219-242
The shift toward more horizontal and distributed organizations has presented communication challenges for individuals and institutions that are physically separated from one another. Video communication platforms such as Skype, Jabber, and the Cisco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a0673da8c5e40de43f44db8c103b83f
https://doi.org/10.1002/bltj.20543
https://doi.org/10.1002/bltj.20543
Autor:
Dennis Dams
Publikováno v:
Logic Journal of the IGPL, 7(1), 55-78. Oxford University Press
We study both the expressive and the distinguishing powers of at temporal logics. These are fragments obtained by restricting the ??rst argument of the Until operator to propositional formulae. Both the linear-time and the branching-time cases are co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4089241440e399c43e26a6b83b59f5c2
https://doi.org/10.1093/jigpal/7.1.55
https://doi.org/10.1093/jigpal/7.1.55
Publikováno v:
Formal Aspects of Computing, 10(5-6), 469-482. Springer
One of the most common problems in instance-based learning of text categorization is high dimensionality of feature space and problem of deciding which instances to store for use during generalization. These problems can be solved with use of reducti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::177cc6c13944911edeadca08f3e99ec3
https://doi.org/10.1007/s001650050028
https://doi.org/10.1007/s001650050028
Publikováno v:
Concurrency, Compositionality, and Correctness ISBN: 9783642115110
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::815221e3d2fef6a705f47ff6e24fbc21
https://doi.org/10.1007/978-3-642-11512-7_1
https://doi.org/10.1007/978-3-642-11512-7_1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642115110
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4214f01d55aad3d3b38528d1ad0f0e78
https://doi.org/10.1007/978-3-642-11512-7
https://doi.org/10.1007/978-3-642-11512-7
Autor:
Ana Cavalcanti, Dennis Dams
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642050886
FM 2009: Formal Methods
FM 2009: Formal Methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d7ba12994bc3374339dbb21e36b73f3
https://doi.org/10.1007/978-3-642-05089-3
https://doi.org/10.1007/978-3-642-05089-3
Publikováno v:
Static Analysis ISBN: 9783540691631
SAS
SAS
It is well known that the use of points-to information can substantially improve the accuracy of a static program analysis. Commonly used algorithms for computing points-to information are known to be sound only for memory-safe programs. Thus, it app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50f4d99f070b1b3d91e1759c44e9d5ff
https://doi.org/10.1007/978-3-540-69166-2_5
https://doi.org/10.1007/978-3-540-69166-2_5