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

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

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

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

5

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

6

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

7

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

8

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

9

Bigraphs with sharing:

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

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

10

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

11

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

12

Is my configuration any good: checking usability in an inte..:

Calder, Muffy ; Gray, Phil ; Unsworth, Chris
Innovations in Systems and Software Engineering. 11 (2013) 2 - p. 131-142 , 2013

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

13

Modular modelling of signalling pathways and their cross-ta..:

Donaldson, Robin ; Calder, Muffy
Theoretical Computer Science. 456 (2012) - p. 30-50 , 2012

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

14

Process Algebra with Hooks for Models of Pattern Formation:

Degasperi, Andrea ; Calder, Muffy
Electronic Notes in Theoretical Computer Science. 268 (2010) - p. 31-47 , 2010

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

15

A Model and Analysis of the AKAP Scaffold:

Andrei, Oana ; Calder, Muffy
Electronic Notes in Theoretical Computer Science. 268 (2010) - p. 3-15 , 2010

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