Travelled to:1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:M.Sevegnani P.Saffrey A.Miller S.Maharaj C.Shankland
Talks about:communic (2) process (2) bigraph (2) verif (2) wireless (1) structur (1) optimis (1) network (1) concurr (1) automat (1)
Person: Muffy Calder
DBLP: Calder:Muffy
Contributed to:
2012
2004
2002
2001
2016Wrote 5 papers:
- IFM-2012-CalderS #algebra #case study #network #process #runtime #verification
- Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
- FASE-2004-SaffreyC #communication #model checking #optimisation
- Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.
- ASE-2002-CalderM #automation #communication #concurrent #process #verification
- Automatic Verification of any Number of Concurrent, Communicating Processes (MC, AM), pp. 227–230.
- FME-2001-CalderMS #logic
- An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
- CAV-2016-SevegnaniC #analysis #graph #named
- BigraphER: Rewriting and Analysis Engine for Bigraphs (MS, MC), pp. 494–501.