Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Francesco Spegni"'
Autor:
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame
Publikováno v:
Computer Security. ESORICS 2022 International Workshops ISBN: 9783031254598
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e031129c288798f09a9173818f28110
https://doi.org/10.1007/978-3-031-25460-4_24
https://doi.org/10.1007/978-3-031-25460-4_24
Implementation of processes in facility management asks for coordination and collaboration among several factors, each implementing its own sub-process. This goal must cope with several challenges caused by the fragmentation of the AEC (architectural
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42a983eee1149e882ca0767aca4ecc31
https://doi.org/10.5772/intechopen.106186
https://doi.org/10.5772/intechopen.106186
Publikováno v:
Proceedings of the 38th International Symposium on Automation and Robotics in Construction (ISARC).
Construction management can be grouped into two different levels: strategic early planning, that provides the baseline for project monitoring, and short time initiatives, based on objectives and selforganization from actors who are involved in on-sit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a7dadfad46702a0fedf3e2af1237aed
https://doi.org/10.22260/isarc2021/0118
https://doi.org/10.22260/isarc2021/0118
Publikováno v:
Software Quality Journal. 28:695-744
Many Java programs encode temporal behaviors in their source code, typically mixing three features provided by the Java language: (1) pausing the execution for a limited amount of time, (2) waiting for an event that has to occur before a deadline exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46789f2e4012b34f758d3f6517e15b8f
https://doi.org/10.1007/s11219-019-09488-9
https://doi.org/10.1007/s11219-019-09488-9
Autor:
Francesco Spegni, Luca Spalazzi
Publikováno v:
Theoretical Computer Science. 813:248-269
Parameterized model checking is a formal verification technique for verifying that some specifications hold in systems consisting of many similar cooperating but indistinguishable processes. The problem is known to be undecidable in general, even whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97f66db92eafdc537df8665c65bfbc3e
https://doi.org/10.1016/j.tcs.2019.12.026
https://doi.org/10.1016/j.tcs.2019.12.026
Publikováno v:
Concurrency and Computation: Practice and Experience.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6881c18faa42d1af74e95fc28373a686
https://doi.org/10.1002/cpe.6740
https://doi.org/10.1002/cpe.6740
Automated program repair has the potential to reduce the developers’ effort to fix errors in their code. In particular, modern programming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32ed761e749ab5afb1868a37eb770522
Publikováno v:
Sustainability; Volume 14; Issue 20; Pages: 13239
This paper contributes to a sustainable construction design management approach to increase the successful renovation rate of existing residential building stock. Indeed, coupling BIM with mixed reality can speed up and improve the quality of the ren
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a2b5d353f81d422163c0918f88f8037
https://doi.org/10.3390/su142013239
https://doi.org/10.3390/su142013239
Publikováno v:
Proceedings of the 2021 European Conference on Computing in Construction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec8cd87a8a8c8f8e3d9142f0880ce2f2
https://doi.org/10.35490/ec3.2021.204
https://doi.org/10.35490/ec3.2021.204
Publikováno v:
Distributed Computing
Parameterized model checking is the problem of deciding if a given formula holds irrespective of the number of participating processes. A standard approach for solving the parameterized model checking problem is to reduce it to model checking finitel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce74519729b5f7a4e7b3939b0c2c359a
https://doi.org/10.1007/s00446-017-0302-6
https://doi.org/10.1007/s00446-017-0302-6