E-LIB Suche - Ergebnisse für: Calder, Muffy

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

Data-driven modelling and probabilistic analysis of interac..:

Andrei, Oana ; Calder, Muffy
Journal of Logical and Algebraic Methods in Programming. 100 (2018) - p. 195-214 , 2018

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

9

Making Sense of the World: Framing Models for Trustworthy S..:

Calder, Muffy ; Dobson, Simon ; Fisher, Michael.
Computers. 7 (2018) 4 - p. 62 , 2018

Link: https://doi.org/10.3390/..

10

On Lions, Impala, and Bigraphs: Modelling Interactions in P..:

Benford, Steve ; Calder, Muffy ; Rodden, Tom.
ACM Transactions on Computer-Human Interaction. 23 (2016) 2 - p. 1-56 , 2016

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

11

On Lions, Impala, and Bigraphs : Modelling Interactions ..:

Benford, Steve ; Calder, Muffy ; Rodden, Tom.
ACM Transactions on Computer-Human Interaction (TOCHI). 23 (2016) 2 - p. 1-56 , 2016

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

12

Bigraphs with sharing:

Sevegnani, Michele ; Calder, Muffy
Theoretical Computer Science. 577 (2015) - p. 43-73 , 2015

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

13

Enchantress of Abstraction, Bride of Science: must Ada Love..:

, In: Ada Lovelace Symposium 2015- Celebrating 200 Years of a Computer Visionary,

Calder, Muffy ; Barr, Valerie ; Charman-Anderson, Suw. - p. 1 ff. , 2015

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

14

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigra..:

Calder, Muffy ; Sevegnani, Michele
Formal Aspects of Computing. 26 (2014) 3 - p. 537-561 , 2014

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

15

Real-time verification of wireless home networks using bigr..:

Calder, Muffy ; Koliousis, Alexandros ; Sevegnani, Michele.
Science of Computer Programming. 80 (2014) - p. 288-310 , 2014

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