default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Muffy Calder
@article{DBLP:journals/sosym/ArchibaldCSX24,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
title = {Quantitative modelling and analysis of {BDI} agents},
journal = {Softw. Syst. Model.},
volume = {23},
number = {2},
pages = {343--367},
year = {2024},
url = {https://doi.org/10.1007/s10270-023-01121-5},
doi = {10.1007/S10270-023-01121-5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ArchibaldCSX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-20745,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani},
title = {Practical Modelling with Bigraphs},
journal = {CoRR},
volume = {abs/2405.20745},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.20745},
doi = {10.48550/ARXIV.2405.20745},
eprinttype = {arXiv},
eprint = {2405.20745},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-20745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ArchibaldCSX23,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Quantitative Verification and Strategy Synthesis for {BDI} Agents},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {241--259},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_15},
doi = {10.1007/978-3-031-33170-1\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/ArchibaldCSX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01656,
author = {Oana Andrei and
Muffy Calder and
Matthew Chalmers and
Alistair Morrison},
title = {Probabilistic Formal Modelling to Uncover and Interpret Interaction
Styles},
journal = {CoRR},
volume = {abs/2305.01656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01656},
doi = {10.48550/ARXIV.2305.01656},
eprinttype = {arXiv},
eprint = {2305.01656},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ArchibaldCS22,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani},
title = {Probabilistic Bigraphs},
journal = {Formal Aspects Comput.},
volume = {34},
number = {2},
pages = {1--27},
year = {2022},
url = {https://doi.org/10.1145/3545180},
doi = {10.1145/3545180},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ArchibaldCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArchibaldCSX22,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
title = {Modelling and verifying {BDI} agents with bigraphs},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102760},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102760},
doi = {10.1016/J.SCICO.2021.102760},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArchibaldCSX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArchibaldCSX22,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Verifying {BDI} Agents in Dynamic Environments},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {136--141},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-149},
doi = {10.18293/SEKE2022-149},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ArchibaldCSX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ArchibaldCSX21,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Probabilistic {BDI} Agents: Actions, Plans, and Intentions},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {262--281},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_15},
doi = {10.1007/978-3-030-92124-8\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ArchibaldCSX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-12579,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
editor = {Marie Farrell and
Matt Luckcuck},
title = {Observable and Attention-Directing {BDI} Agents for Human-Autonomy
Teaming},
booktitle = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2021, Virtual, October 21-22, 2021},
series = {{EPTCS}},
volume = {348},
pages = {167--175},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.348.12},
doi = {10.4204/EPTCS.348.12},
timestamp = {Tue, 16 Aug 2022 14:39:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02559,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani},
title = {Probablistic Bigraphs},
journal = {CoRR},
volume = {abs/2105.02559},
year = {2021},
url = {https://arxiv.org/abs/2105.02559},
eprinttype = {arXiv},
eprint = {2105.02559},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02578,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani and
Mengwei Xu},
title = {Modelling and Verifying {BDI} Agents with Bigraphs},
journal = {CoRR},
volume = {abs/2105.02578},
year = {2021},
url = {https://arxiv.org/abs/2105.02578},
eprinttype = {arXiv},
eprint = {2105.02578},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/ArchibaldCS20,
author = {Blair Archibald and
Muffy Calder and
Michele Sevegnani},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {Conditional Bigraphs},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12150},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51372-6\_1},
doi = {10.1007/978-3-030-51372-6\_1},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/ArchibaldCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/CalderS19,
author = {Muffy Calder and
Michele Sevegnani},
title = {Stochastic Model Checking for Predicting Component Failures and Service
Availability},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {16},
number = {1},
pages = {174--187},
year = {2019},
url = {https://doi.org/10.1109/TDSC.2017.2650901},
doi = {10.1109/TDSC.2017.2650901},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/CalderS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/CalderDFM18,
author = {Muffy Calder and
Simon Dobson and
Michael Fisher and
Julie A. McCann},
title = {Making Sense of the World: Framing Models for Trustworthy Sensor-Driven
Systems},
journal = {Comput.},
volume = {7},
number = {4},
pages = {62},
year = {2018},
url = {https://doi.org/10.3390/computers7040062},
doi = {10.3390/COMPUTERS7040062},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/CalderDFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AndreiC18,
author = {Oana Andrei and
Muffy Calder},
title = {Data-driven modelling and probabilistic analysis of interactive software
usage},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {195--214},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.07.003},
doi = {10.1016/J.JLAMP.2018.07.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AndreiC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SevegnaniKCM18,
author = {Michele Sevegnani and
Milan Kab{\'{a}}c and
Muffy Calder and
Julie A. McCann},
title = {Modelling and Verification of Large-Scale Sensor Network Infrastructures},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {71--81},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00016},
doi = {10.1109/ICECCS2018.2018.00016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SevegnaniKCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10478,
author = {Muffy Calder and
Simon Dobson and
Michael Fisher and
Julie A. McCann},
title = {Making Sense of the World: Models for Reliable Sensor-Driven Systems},
journal = {CoRR},
volume = {abs/1803.10478},
year = {2018},
url = {http://arxiv.org/abs/1803.10478},
eprinttype = {arXiv},
eprint = {1803.10478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AndreiC17,
author = {Oana Andrei and
Muffy Calder},
editor = {Antonio Cerone and
Marco Roveri},
title = {Temporal Analytics for Software Usage Models},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {9--24},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_1},
doi = {10.1007/978-3-319-74781-1\_1},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AndreiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/BenfordCRS16,
author = {Steve Benford and
Muffy Calder and
Tom Rodden and
Michele Sevegnani},
title = {On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual
Spaces},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {23},
number = {2},
pages = {9:1--9:56},
year = {2016},
url = {https://doi.org/10.1145/2882784},
doi = {10.1145/2882784},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tochi/BenfordCRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SevegnaniC16,
author = {Michele Sevegnani and
Muffy Calder},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {BigraphER: Rewriting and Analysis Engine for Bigraphs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {494--501},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_27},
doi = {10.1007/978-3-319-41540-6\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SevegnaniC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AndreiCCMR16,
author = {Oana Andrei and
Muffy Calder and
Matthew Chalmers and
Alistair Morrison and
Mattias Rost},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Probabilistic Formal Analysis of App Usage to Inform Redesign},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {115--129},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_8},
doi = {10.1007/978-3-319-33693-0\_8},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AndreiCCMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/CalderGU15,
author = {Muffy Calder and
Philip D. Gray and
Chris Unsworth},
title = {Is my configuration any good: checking usability in an interactive
sensor-based activity monitor},
journal = {Innov. Syst. Softw. Eng.},
volume = {11},
number = {2},
pages = {131--142},
year = {2015},
url = {https://doi.org/10.1007/s11334-013-0203-1},
doi = {10.1007/S11334-013-0203-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/CalderGU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SevegnaniC15,
author = {Michele Sevegnani and
Muffy Calder},
title = {Bigraphs with sharing},
journal = {Theor. Comput. Sci.},
volume = {577},
pages = {43--73},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.02.011},
doi = {10.1016/J.TCS.2015.02.011},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SevegnaniC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CalderBCP15,
author = {Muffy Calder and
Valerie Barr and
Suw Charman{-}Anderson and
Murray Pittock},
title = {Enchantress of Abstraction, Bride of Science: must Ada Lovelace be
a superheroine?},
booktitle = {Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer
Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2867731.2867732},
doi = {10.1145/2867731.2867732},
timestamp = {Tue, 06 Nov 2018 16:58:33 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CalderBCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndreiCCMR15,
author = {Oana Andrei and
Muffy Calder and
Matthew Chalmers and
Alistair Morrison and
Mattias Rost},
title = {Probabilistic Formal Analysis of App Usage to Inform Redesign},
journal = {CoRR},
volume = {abs/1510.07898},
year = {2015},
url = {http://arxiv.org/abs/1510.07898},
eprinttype = {arXiv},
eprint = {1510.07898},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndreiCCMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CalderS14,
author = {Muffy Calder and
Michele Sevegnani},
title = {Modelling {IEEE} 802.11 {CSMA/CA} {RTS/CTS} with stochastic bigraphs
with sharing},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {537--561},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0270-3},
doi = {10.1007/S00165-012-0270-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CalderS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CalderKSS14,
author = {Muffy Calder and
Alexandros Koliousis and
Michele Sevegnani and
Joseph S. Sventek},
title = {Real-time verification of wireless home networks using bigraphs with
sharing},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {288--310},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.08.004},
doi = {10.1016/J.SCICO.2013.08.004},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CalderKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CalderS14,
author = {Muffy Calder and
Michele Sevegnani},
title = {Do {I} Need to Fix a Failed Component Now, or Can {I} Wait Until Tomorrow?},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {70--81},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.15},
doi = {10.1109/EDCC.2014.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/CalderS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AndreiCHG14,
author = {Oana Andrei and
Muffy Calder and
Matthew Higgs and
Mark A. Girolami},
editor = {Gethin Norman and
William H. Sanders},
title = {Probabilistic Model Checking of {DTMC} Models of User Activity Patterns},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {138--153},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_11},
doi = {10.1007/978-3-319-10696-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AndreiCHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndreiCHG14,
author = {Oana Andrei and
Muffy Calder and
Matthew Higgs and
Mark A. Girolami},
title = {Probabilistic Model Checking of {DTMC} Models of User Activity Patterns},
journal = {CoRR},
volume = {abs/1403.6678},
year = {2014},
url = {http://arxiv.org/abs/1403.6678},
eprinttype = {arXiv},
eprint = {1403.6678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndreiCHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DegasperiC13,
author = {Andrea Degasperi and
Muffy Calder},
title = {A process algebra framework for multi-scale modelling of biological
systems},
journal = {Theor. Comput. Sci.},
volume = {488},
pages = {15--45},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.03.018},
doi = {10.1016/J.TCS.2013.03.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DegasperiC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DonaldsonC12,
author = {Robin Donaldson and
Muffy Calder},
title = {Modular modelling of signalling pathways and their cross-talk},
journal = {Theor. Comput. Sci.},
volume = {456},
pages = {30--50},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.07.003},
doi = {10.1016/J.TCS.2012.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DonaldsonC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/AndreiC12,
author = {Oana Andrei and
Muffy Calder},
title = {Trend-Based Analysis of a Population Model of the {AKAP} Scaffold
Protein},
journal = {Trans. Comp. Sys. Biology},
volume = {14},
pages = {1--25},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35524-0\_1},
doi = {10.1007/978-3-642-35524-0\_1},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/AndreiC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CalderS12,
author = {Muffy Calder and
Michele Sevegnani},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Process Algebra for Event-Driven Runtime Verification: {A} Case Study
of Wireless Network Management},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {21--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_2},
doi = {10.1007/978-3-642-30729-4\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CalderS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DegasperiC11,
author = {Andrea Degasperi and
Muffy Calder},
editor = {Fran{\c{c}}ois Fages},
title = {Multi-scale modelling of biological systems in process algebra with
multi-way synchronisation},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {195--208},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037537},
doi = {10.1145/2037509.2037537},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DegasperiC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CalderADD10,
author = {Muffy Calder and
Oana Andrei and
Andrea Degasperi and
Robin Donaldson},
editor = {Paola Quaglia},
title = {From species to pathway and tissue as process},
booktitle = {Computational Methods in Systems Biology, 8th International Conference,
{CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
pages = {1--2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839764.1839765},
doi = {10.1145/1839764.1839765},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/CalderADD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DonaldsonTKC10,
author = {Robin Donaldson and
Carolyn L. Talcott and
Merrill Knapp and
Muffy Calder},
editor = {Paola Quaglia},
title = {Understanding signalling networks as collections of signal transduction
pathways},
booktitle = {Computational Methods in Systems Biology, 8th International Conference,
{CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
pages = {86--95},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839764.1839775},
doi = {10.1145/1839764.1839775},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DonaldsonTKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CalderGMU10,
author = {Muffy Calder and
Philip D. Gray and
Alice Miller and
Chris Unsworth},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {An Introduction to Pervasive Interface Automata},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {71--87},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_5},
doi = {10.1007/978-3-642-27269-1\_5},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CalderGMU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-4062,
author = {Robin Donaldson and
Muffy Calder},
editor = {Emanuela Merelli and
Paola Quaglia},
title = {Modelling and Analysis of Biochemical Signalling Pathway Cross-talk},
booktitle = {Proceedings Third Workshop From Biology To Concurrency and back, {FBTC}
2010, Paphos, Cyprus, 27th March 2010},
series = {{EPTCS}},
volume = {19},
pages = {40--54},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.19.3},
doi = {10.4204/EPTCS.19.3},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-4062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiC10,
author = {Oana Andrei and
Muffy Calder},
editor = {Jean Krivine and
Angelo Troina},
title = {A Model and Analysis of the {AKAP} Scaffold},
booktitle = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
pages = {3--15},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.002},
doi = {10.1016/J.ENTCS.2010.12.002},
timestamp = {Thu, 09 Mar 2023 16:02:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DegasperiC10,
author = {Andrea Degasperi and
Muffy Calder},
editor = {Jean Krivine and
Angelo Troina},
title = {Process Algebra with Hooks for Models of Pattern Formation},
booktitle = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
pages = {31--47},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.004},
doi = {10.1016/J.ENTCS.2010.12.004},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DegasperiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DegasperiC10a,
author = {Andrea Degasperi and
Muffy Calder},
editor = {Jean Krivine and
Angelo Troina},
title = {Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of
Concentration},
booktitle = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
pages = {49--59},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.005},
doi = {10.1016/J.ENTCS.2010.12.005},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DegasperiC10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ArapinisCDFGKMRRSUY09,
author = {Myrto Arapinis and
Muffy Calder and
Louise A. Dennis and
Michael Fisher and
Philip D. Gray and
Savas Konur and
Alice Miller and
Eike Ritter and
Mark Ryan and
Sven Schewe and
Chris Unsworth and
Rehana Yasmin},
title = {Towards the Verification of Pervasive Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.315},
doi = {10.14279/TUJ.ECEASST.22.315},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CalderGU09,
author = {Muffy Calder and
Philip D. Gray and
Chris Unsworth},
title = {Tightly coupled verification of pervasive systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.320},
doi = {10.14279/TUJ.ECEASST.22.320},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CalderGU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CalderH09,
author = {Muffy Calder and
Jane Hillston},
title = {Process Algebra Modelling Styles for Biomolecular Processes},
journal = {Trans. Comp. Sys. Biology},
volume = {11},
pages = {1--25},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04186-0\_1},
doi = {10.1007/978-3-642-04186-0\_1},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/CalderH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avocs/2008,
editor = {Alice Miller and
Muffy Calder},
title = {Proceedings of the Eighth International Workshop on Automated Verification
of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/250/issue/2},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avocs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalderM08,
author = {Muffy Calder and
Alice Miller},
title = {An automatic abstraction technique for verifying featured, parameterised
systems},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {235--255},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.034},
doi = {10.1016/J.TCS.2008.03.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CalderM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalderG08,
author = {Muffy Calder and
Stephen Gilmore},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
pages = {3},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.003},
doi = {10.1016/J.TCS.2008.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CalderG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MillerC09,
author = {Alice Miller and
Muffy Calder},
editor = {Alice Miller and
Muffy Calder},
title = {Preface},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification
of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.013},
doi = {10.1016/J.ENTCS.2009.08.013},
timestamp = {Fri, 24 Feb 2023 13:53:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MillerC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiocchettaDHC09,
author = {Federica Ciocchetta and
Andrea Degasperi and
Jane Hillston and
Muffy Calder},
editor = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Some Investigations Concerning the {CTMC} and the {ODE} Model Derived
From Bio-PEPA},
booktitle = {Proceedings of the Second Workshop From Biology to Concurrency and
Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {1},
pages = {145--163},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.010},
doi = {10.1016/J.ENTCS.2009.02.010},
timestamp = {Fri, 24 Feb 2023 11:25:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiocchettaDHC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/MillerCD07,
author = {Alice Miller and
Muffy Calder and
Alastair F. Donaldson},
title = {A template-based approach for the generation of abstractable and reducible
models of featured networks},
journal = {Comput. Networks},
volume = {51},
number = {2},
pages = {439--455},
year = {2007},
url = {https://doi.org/10.1016/j.comnet.2006.08.009},
doi = {10.1016/J.COMNET.2006.08.009},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/MillerCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrahamCM09,
author = {Douglas Graham and
Muffy Calder and
Alice Miller},
editor = {Michael Goldsmith and
Bill Roscoe},
title = {An Inductive Technique for Parameterised Model Checking of Degenerative
Distributed Randomised Protocols},
booktitle = {Proceedings of the Seventh International Workshop on Automated Verification
of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {1},
pages = {87--103},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.08.007},
doi = {10.1016/J.ENTCS.2009.08.007},
timestamp = {Fri, 24 Feb 2023 13:48:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrahamCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2007,
editor = {Muffy Calder and
Stephen Gilmore},
title = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3},
doi = {10.1007/978-3-540-75140-3},
isbn = {978-3-540-75139-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MillerDC06,
author = {Alice Miller and
Alastair F. Donaldson and
Muffy Calder},
title = {Symmetry in temporal logic model checking},
journal = {{ACM} Comput. Surv.},
volume = {38},
number = {3},
pages = {8},
year = {2006},
url = {https://doi.org/10.1145/1132960.1132962},
doi = {10.1145/1132960.1132962},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/MillerDC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CalderM06,
author = {Muffy Calder and
Alice Miller},
title = {Feature interaction detection by pairwise analysis of {LTL} properties
- {A} case study},
journal = {Formal Methods Syst. Des.},
volume = {28},
number = {3},
pages = {213--261},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0002-5},
doi = {10.1007/S10703-006-0002-5},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CalderM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CalderVGO06,
author = {Muffy Calder and
Vladislav Vyshemirsky and
David R. Gilbert and
Richard J. Orton},
title = {Analysis of Signalling Pathways Using Continuous Time Markov Chains},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {44--67},
year = {2006},
url = {https://doi.org/10.1007/11880646\_3},
doi = {10.1007/11880646\_3},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/CalderVGO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CalderGH06,
author = {Muffy Calder and
Stephen Gilmore and
Jane Hillston},
title = {Modelling the Influence of {RKIP} on the {ERK} Signalling Pathway
Using the Stochastic Process Algebra {PEPA}},
journal = {Trans. Comp. Sys. Biology},
volume = {7},
pages = {1--23},
year = {2006},
url = {https://doi.org/10.1007/11905455\_1},
doi = {10.1007/11905455\_1},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/CalderGH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CalderDGH06,
author = {Muffy Calder and
Adam Duguid and
Stephen Gilmore and
Jane Hillston},
editor = {Corrado Priami},
title = {Stronger Computational Modelling of Signalling Pathways Using Both
Continuous and Discrete-State Methods},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
pages = {63--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191\_5},
doi = {10.1007/11885191\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CalderDGH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/MillerC05,
author = {Alice Miller and
Muffy Calder},
editor = {Stephan Reiff{-}Marganiec and
Mark Ryan},
title = {A Generic Approach for the Automatic Verification of Featured, Parameterised
Systems},
booktitle = {Feature Interactions in Telecommunications and Software Systems VIII,
ICFI'05, 28-30 June 2005, Leicester, {UK}},
pages = {217--235},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fiw/MillerC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Calder04,
author = {Muffy Calder},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Abstraction for Safety, Induction for Liveness},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_4},
doi = {10.1007/978-3-540-27815-3\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Calder04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SaffreyC04,
author = {Peter Saffrey and
Muffy Calder},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Optimising Communication Structure for Model Checking},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {310--323},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_23},
doi = {10.1007/978-3-540-24721-0\_23},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/SaffreyC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CalderM04,
author = {Muffy Calder and
Alice Miller},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Verifying parametrized, featured networks by abstraction},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {227--234},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CalderM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DonaldsonMC05a,
author = {Alastair F. Donaldson and
Alice Miller and
Muffy Calder},
editor = {Irek Ulidowski},
title = {Spin-to-Grape: {A} Tool for Analysing Symmetry in Promela Models},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.007},
doi = {10.1016/J.ENTCS.2005.09.007},
timestamp = {Tue, 13 Dec 2022 08:56:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DonaldsonMC05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DonaldsonMC05,
author = {Alastair F. Donaldson and
Alice Miller and
Muffy Calder},
editor = {Michael Huth},
title = {Finding Symmetry in Models of Concurrent Systems by Static Channel
Diagram Analysis},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification
of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {6},
pages = {161--177},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.04.010},
doi = {10.1016/J.ENTCS.2005.04.010},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DonaldsonMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CalderKMR03,
author = {Muffy Calder and
Mario Kolberg and
Evan H. Magill and
Stephan Reiff{-}Marganiec},
title = {Feature interaction: a critical review and considered forecast},
journal = {Comput. Networks},
volume = {41},
number = {1},
pages = {115--141},
year = {2003},
url = {https://doi.org/10.1016/S1389-1286(02)00352-3},
doi = {10.1016/S1389-1286(02)00352-3},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/CalderKMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CalderM03,
author = {Muffy Calder and
Alice Miller},
title = {Using {SPIN} to Analyse the Tree Identification Phase of the {IEEE}
1394 High-Performance Serial Bus (FireWire) Protocol},
journal = {Formal Aspects Comput.},
volume = {14},
number = {3},
pages = {247--266},
year = {2003},
url = {https://doi.org/10.1007/s001650300004},
doi = {10.1007/S001650300004},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CalderM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CalderM03,
author = {Muffy Calder and
Alice Miller},
editor = {Mark Dermot Ryan and
John{-}Jules Ch. Meyer and
Hans{-}Dieter Ehrich},
title = {Detecting Feature Interactions: How Many Components Do We Need?},
booktitle = {Objects, Agents, and Features, International Seminar, Dagstuhl Castle,
Germany, February 2003, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2975},
pages = {45--66},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25930-5\_4},
doi = {10.1007/978-3-540-25930-5\_4},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CalderM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/CalderM03,
author = {Muffy Calder and
Alice Miller},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Generalising Feature Interactions in Email},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {187--204},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fiw/CalderM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/CalderKMMR03,
author = {Muffy Calder and
Mario Kolberg and
Evan H. Magill and
Dave Marples and
Stephan Reiff{-}Marganiec},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Hybrid Solutions to the Feature Interaction Problem},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {295--312},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/CalderKMMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CalderMS02,
author = {Muffy Calder and
Savi Maharaj and
Carron Shankland},
title = {A Modal Logic for Full {LOTOS} based on Symbolic Transition Systems},
journal = {Comput. J.},
volume = {45},
number = {1},
pages = {55--61},
year = {2002},
url = {https://doi.org/10.1093/comjnl/45.1.55},
doi = {10.1093/COMJNL/45.1.55},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CalderMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CalderM02,
author = {Muffy Calder and
Alice Miller},
title = {Automatic Verification of any Number of Concurrent, Communicating
Processes},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {227--230},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115017},
doi = {10.1109/ASE.2002.1115017},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CalderM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CalderMS01,
author = {Muffy Calder and
Savi Maharaj and
Carron Shankland},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {An Adequate Logic for Full {LOTOS}},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {384--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_21},
doi = {10.1007/3-540-45251-6\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CalderMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CalderS01,
author = {Muffy Calder and
Carron Shankland},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {A Symbolic Semantics and Bisimulation for Full {LOTOS}},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {185--200},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/CalderS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CalderM01,
author = {Muffy Calder and
Alice Miller},
editor = {Matthew B. Dwyer},
title = {Using {SPIN} for Feature Interaction Analysis - {A} Case Study},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {143--162},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_9},
doi = {10.1007/3-540-45139-0\_9},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/CalderM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fiw/2000,
editor = {Muffy Calder and
Evan H. Magill},
title = {Feature Interactions in Telecommunications and Software Systems VI,
May 17-19, 2000, Glasgow, Scotland, {UK}},
publisher = {{IOS} Press},
year = {2000},
isbn = {1-58603-065-5},
timestamp = {Tue, 16 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CalderMM99,
author = {Muffy Calder and
Evan H. Magill and
Dave Marples},
title = {Hybrid approach to software interworking problems: managing interactions
between legacy and evolving telecommunications software},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {3},
pages = {167--176},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990613},
doi = {10.1049/IP-SEN:19990613},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/CalderMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AitkenGMT98,
author = {J. Stuart Aitken and
Philip D. Gray and
Thomas F. Melham and
Muffy Thomas},
title = {Interactive Theorem Proving: An Empirical Study of User Activity},
journal = {J. Symb. Comput.},
volume = {25},
number = {2},
pages = {263--284},
year = {1998},
url = {https://doi.org/10.1006/jsco.1997.0175},
doi = {10.1006/JSCO.1997.0175},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AitkenGMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Calder98,
author = {Muffy Calder},
editor = {Kristofer Kimbler and
Wiet Bouma},
title = {What Use are Formal Design and Analysis Methods to Telecommunications
Services?},
booktitle = {Feature Interactions in Telecommunications and Software Systems V,
September 29 - October 1, 1998, Malm{\"{o}}, Sweden},
pages = {23--31},
publisher = {{IOS} Press},
year = {1998},
timestamp = {Tue, 16 Nov 2004 09:41:16 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Calder98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ShanklandT97,
author = {Carron Shankland and
Muffy Thomas},
editor = {Michael Johnson},
title = {Symbolic Bisimulation for Full {LOTOS}},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {479--493},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000491},
doi = {10.1007/BFB0000491},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ShanklandT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Calder97,
author = {Muffy Calder},
editor = {Petre Dini and
Raouf Boutaba and
Luigi Logrippo},
title = {Modelling and Analysing User Views of Telecommunications Services},
booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19,
1997, Montr{\'{e}}al, Canada},
pages = {168--182},
publisher = {{IOS} Press},
year = {1997},
timestamp = {Tue, 16 Nov 2004 10:38:12 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Calder97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/HamiltonCKKTFSMSCM95,
author = {David Hamilton and
Richard Covington and
John Kelly and
Carron Kirkwood and
Muffy Thomas and
Alan R. Flora{-}Holmquist and
Mark G. Staskauskas and
Steven P. Miller and
Mandayam K. Srivas and
George Cleland and
Donald MacKenzie},
title = {Experiences in applying formal methods to the analysis of software
and system requirements},
booktitle = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
1995, Boca Raton, Florida, USA, April 5-8, 1995},
pages = {30--43},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WIFT.1995.515477},
doi = {10.1109/WIFT.1995.515477},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wift/HamiltonCKKTFSMSCM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/KirkwoodT95,
author = {Carron Kirkwood and
Muffy Thomas},
title = {Experiences with specification and verification in {LOTOS:} a report
on two case studies},
booktitle = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
1995, Boca Raton, Florida, USA, April 5-8, 1995},
pages = {159--171},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WIFT.1995.515487},
doi = {10.1109/WIFT.1995.515487},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wift/KirkwoodT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MartinT94,
author = {Ursula Martin and
Muffy Thomas},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Verification Techniques for {LOTOS}},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {83--92},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_89},
doi = {10.1007/3-540-58555-9\_89},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MartinT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ThomasW93,
author = {Muffy Thomas and
Phil Watson},
title = {Solving Divergence in Knuth-Bendix Completion by Enriching Signatures},
journal = {Theor. Comput. Sci.},
volume = {112},
number = {1},
pages = {145--185},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90241-K},
doi = {10.1016/0304-3975(93)90241-K},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ThomasW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Thomas92,
author = {Muffy Thomas},
editor = {Michel Diaz and
Roland Groz},
title = {A translator for {ASN.1} into {LOTOS}},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {37--52},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/Thomas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ThmoasW91,
author = {Muffy Thomas and
Phil Watson},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Solving Divergence in Knuth-Bendix Completion by Enriching Signatures},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {377--390},
publisher = {Springer},
year = {1991},
timestamp = {Wed, 18 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/ThmoasW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ThomasW90,
author = {Muffy Thomas and
Phil Watson},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Generalising Diverging Sequences of Rewrite Rules by Synthesising
New Sorts},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {268--273},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_23},
doi = {10.1007/978-1-4471-3810-5\_23},
timestamp = {Mon, 24 Jun 2019 15:54:03 +0200},
biburl = {https://dblp.org/rec/conf/fp/ThomasW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/ThomasJ89,
author = {Muffy Thomas and
Klaus P. Jantke},
editor = {Klaus P. Jantke},
title = {Inductive Inference for Solving Divergence in Knuth-Bendix Completion},
booktitle = {Analogical and Inductive Inference, International Workshop {AII} '89,
Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {397},
pages = {288--303},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51734-0\_69},
doi = {10.1007/3-540-51734-0\_69},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/ThomasJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Thomas89,
author = {Muffy Thomas},
editor = {Son T. Vuong},
title = {From 1 Notation to Another One: An {ACT-ONE} Semantics for {ASN.1}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {517--531},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Thomas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Thomas88a,
author = {Muffy Thomas},
title = {The imperative implementation of algebraic data types},
school = {University of St Andrews, {UK}},
year = {1988},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.741852},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Thomas88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Thomas88,
author = {Muffy Thomas},
editor = {Hartmut Ehrig},
title = {Towards a Termination Ordering for Loop Programs},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/Thomas88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Thomas87,
author = {Muffy Thomas},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Implementing Algebraically Specified Abstract Data Types in an Imperative
Programming Language},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {197--211},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014982},
doi = {10.1007/BFB0014982},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Thomas87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Thomas86,
author = {Muffy Thomas},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {The Storage and Access Structure of Algebraically Specified Data Types},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Thomas86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
