E-LIB Suche - Ergebnisse für: Sevegnani, Michele

1

The Effect of Predictive Formal Modelling at Runtime on Per..:

, In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction,

Abioye, Ayodeji O. ; Hunt, William ; Gu, Yue... - p. 172-176 , 2024

Link: https://dl.acm.org/doi/1..

2

A Bigraphs Paper of Sorts:

, In: Graph Transformation; Lecture Notes in Computer Science,

Archibald, Blair ; Sevegnani, Michele - p. 21-38 , 2024

Link: https://doi.org/10.1007/..

3

Quantitative modelling and analysis of BDI agents:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Software and Systems Modeling. 23 (2023) 2 - p. 343-367 , 2023

Link: https://doi.org/10.1007/..

4

Quantitative Verification and Strategy Synthesis for BDI Ag..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 241-259 , 2023

Link: https://doi.org/10.1007/..

5

Successful Swarms: Operator Situational Awareness with Mode..:

, In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Gu, Yue ; Hunt, William ; Archibald, Blair... - p. 541-548 , 2023

Link: https://doi.org/10.1109/..

6

CAN-verify: A Verification Tool For BDI Agents:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Xu, Mengwei ; Rivoalen, Thibault ; Archibald, Blair. - p. 364-373 , 2023

Link: https://doi.org/10.1007/..

7

Modelling and verifying BDI agents with bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Science of Computer Programming. 215 (2022) - p. 102760 , 2022

Link: https://doi.org/10.1016/..

8

Probabilistic Bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele
Formal Aspects of Computing. 34 (2022) 2 - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

9

Run-Time Probabilistic Model Checking for Failure Predictio..:

, In: 2022 IEEE 8th World Forum on Internet of Things (WF-IoT),

Xin, Xin ; Keoh, Sye Loong ; Sevegnani, Michele. - p. 1-7 , 2022

Link: https://doi.org/10.1109/..

10

Adaptive Model Verification for Modularized Industry 4.0 Ap..:

Xin, Xin ; Keoh, Sye Loong ; Sevegnani, Michele..
IEEE Access. 10 (2022) - p. 125353-125364 , 2022

Link: https://doi.org/10.1109/..

11

A tale of two graph models: a case study in wireless sensor..:

Archibald, Blair ; Kulcsár, Géza ; Sevegnani, Michele
Formal Aspects of Computing. 33 (2021) 6 - p. 1249-1277 , 2021

Link: https://doi.org/10.1007/..

12

Probabilistic BDI Agents: Actions, Plans, and Intentions:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 262-281 , 2021

Link: https://doi.org/10.1007/..

13

Dynamic Probabilistic Model Checking for Sensor Validation ..:

, In: 2020 IEEE International Conference on Smart Internet of Things (SmartIoT),

Xin, Xin ; Keoh, Sye Loong ; Sevegnani, Michele. - p. 43-50 , 2020

Link: https://doi.org/10.1109/..

14

Conditional Bigraphs:

, In: Graph Transformation; Lecture Notes in Computer Science,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele - p. 3-19 , 2020

Link: https://doi.org/10.1007/..

15

Stochastic Model Checking for Predicting Component Failures..:

Calder, Muffy ; Sevegnani, Michele
IEEE Transactions on Dependable and Secure Computing. 16 (2019) 1 - p. 174-187 , 2019

Link: https://doi.org/10.1109/..