Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Semini, Laura"'
Publikováno v:
EPTCS 188, 2015, pp. 75-83
Bike-sharing systems are a means of smart transportation in urban environments with the benefit of a positive impact on urban mobility. In this paper we are interested in studying and modeling the behavior of features that permit the end user to acce
Externí odkaz:
http://arxiv.org/abs/1508.03906
Autor:
Montangero, Carlo, Semini, Laura
We introduce a temporal logic to reason on global applications in an asynchronous setting. First, we define the Distributed States Logic (DSL), a modal logic for localities that embeds the local theories of each component into a theory of the distrib
Externí odkaz:
http://arxiv.org/abs/cs/0304046
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Groote, Jan Friso, de Vink, Erik P., ter Beek, Maurice H., Fantechi, Alessandro, Semini, Laura
Publikováno v:
From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back, 449-463
STARTPAGE=449;ENDPAGE=463;TITLE=From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back, 449-463
STARTPAGE=449;ENDPAGE=463;TITLE=From Software Engineering to Formal Methods and Tools, and Back
In the setting of a simple process language featuring non-deterministic choice and a parallel operator on the one hand and probabilistic choice on the other hand, we propose an axiomatization capturing strong distribution bisimulation. Contrary to ot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e84f5137c7d27828182d1f4d404d567e
https://doi.org/10.1007/978-3-030-30985-5_26
https://doi.org/10.1007/978-3-030-30985-5_26
Autor:
Bliudze, Simon, Semini, Laura
Publikováno v:
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Simon Bliudze; Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2021, Madrid, IEEE, 2021, ⟨10.1109/FormaliSE52586.2021⟩
Simon Bliudze; Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2021, Madrid, IEEE, 2021, ⟨10.1109/FormaliSE52586.2021⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e2cdd7652ee8afb05d5a118eb589242
https://hal.science/hal-03321958
https://hal.science/hal-03321958
Autor:
Semini, Laura, Montangero, Carlo
Publikováno v:
In Science of Computer Programming 1999 34(2):79-140