statistiche ricercatore

Nome	#
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling	137
Modeling the Environment in Software-Intensive Systems	132
Automated Compositional Proofs for Real-Time Systems	130
Automated Compositional Proofs for Real-Time Systems	124
MTL with Bounded Variability: Decidability and Complexity	122
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models	120
Comments on temporal logics for real-time system specification	119
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms	113
A Tile-based Approach for Self-assembling Service Compositions	109
A Compositional Framework for Formally Verifying Modular Systems	109
On the Expressiveness of MTL Variants over Dense Time	108
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems	106
Comments on “An Interval Logic for Real-Time System Specification”	100
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components	96
SCORE: the first student contest on software engineering	88
A theory of sampling for continuous-time metric temporal logic	85
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation	80
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators	45
Modeling Time in Computing: a taxonomy and a comparative survey	42
Totale	1.965

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	238	0	0	0	0	0	0	0	0	0	51	102	85
2019/2020	526	39	32	11	49	65	63	67	54	68	19	49	10
2020/2021	264	26	12	25	17	29	20	17	20	22	28	21	27
2021/2022	207	9	42	32	16	10	9	13	9	7	9	23	28
2022/2023	293	37	39	5	28	27	41	0	21	53	25	11	6
2023/2024	118	9	20	10	23	12	32	11	0	0	1	0	0
Totale													1.965

RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano