Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John S. Fitzgerald
@inproceedings{DBLP:conf/annsim/OakesGLDDCF23,
author = {Bentley James Oakes and
Cl{\'{a}}udio Gomes and
Peter Gorm Larsen and
Joachim Denil and
Julien Deantoni and
Jo{\~{a}}o Cambeiro and
John S. Fitzgerald},
editor = {Mar{\'{\i}}a Julia Blas and
Gonzalo Alvarez},
title = {Examining Model Qualities and Their Impact on Digital Twins},
booktitle = {Annual Modeling and Simulation Conference, {ANNSIM} 2023, Hamilton,
ON, Canada, May 23-26, 2023},
pages = {220--232},
publisher = {{IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10155350},
timestamp = {Tue, 11 Jul 2023 11:40:10 +0200},
biburl = {https://dblp.org/rec/conf/annsim/OakesGLDDCF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LarsenEFF23,
author = {Peter Gorm Larsen and
Lukas Esterle and
John S. Fitzgerald and
Mirgita Frasheri},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Fault Injection in Co-simulation and Digital Twins for Cyber-Physical
Robotic Systems},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {222--236},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_14},
doi = {10.1007/978-3-031-40132-9\_14},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenEFF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/LiFS22,
author = {Beidi Li and
John S. Fitzgerald and
Carl Schultz},
title = {Modelling the impacts of crowds on occupants in the built environment
- {A} static, rule-based approach to human perception and movement},
journal = {Adv. Eng. Informatics},
volume = {51},
pages = {101452},
year = {2022},
url = {https://doi.org/10.1016/j.aei.2021.101452},
doi = {10.1016/J.AEI.2021.101452},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/LiFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FitzgeraldLMWG22,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Tiziana Margaria and
Jim Woodcock and
Cl{\'{a}}udio Gomes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Engineering of Digital Twins for Cyber-Physical Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {3--8},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_1},
doi = {10.1007/978-3-031-19762-8\_1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FitzgeraldLMWG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BogomolovFSS22,
author = {Sergiy Bogomolov and
John S. Fitzgerald and
Sadegh Soudjani and
Paulius Stankaitis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Data-Driven Reachability Analysis of Digital Twin {FMI} Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {139--158},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_10},
doi = {10.1007/978-3-031-19762-8\_10},
timestamp = {Thu, 12 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BogomolovFSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/WeynsBCCFGNPRRS21,
author = {Danny Weyns and
Tom{\'{a}}s Bures and
Radu Calinescu and
Barnaby Craggs and
John S. Fitzgerald and
David Garlan and
Bashar Nuseibeh and
Liliana Pasquale and
Awais Rashid and
Ivan Ruchkin and
Bradley R. Schmerl},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Six Software Engineering Principles for Smarter Cyber-Physical Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {198--203},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00058},
doi = {10.1109/ACSOS-C52956.2021.00058},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsos/WeynsBCCFGNPRRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07261,
author = {John S. Fitzgerald and
Tomohiro Oda and
Hugo Daniel Macedo},
title = {Proceedings of the 18th International Overture Workshop},
journal = {CoRR},
volume = {abs/2101.07261},
year = {2021},
url = {https://arxiv.org/abs/2101.07261},
eprinttype = {arXiv},
eprint = {2101.07261},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FitzgeraldIL20,
author = {John S. Fitzgerald and
Fuyuki Ishikawa and
Peter Gorm Larsen},
title = {Editorial to the theme section on model-based engineering of smart
systems},
journal = {Softw. Syst. Model.},
volume = {19},
number = {3},
pages = {579--580},
year = {2020},
url = {https://doi.org/10.1007/s10270-019-00758-5},
doi = {10.1007/S10270-019-00758-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FitzgeraldIL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FitzgeraldLMW20,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Tiziana Margaria and
Jim Woodcock},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Engineering of Digital Twins for Cyber-Physical Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {49--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_4},
doi = {10.1007/978-3-030-83723-5\_4},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FitzgeraldLMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/LarsenMFPBTMVSG20,
author = {Peter Gorm Larsen and
Hugo Daniel Macedo and
John S. Fitzgerald and
Holger Pfeifer and
Martin Benedikt and
Stefano Tonetta and
Angelo Marguglio and
Giuseppe Veneziano and
Lorenzo Sutton and
Sergio Gusmeroli and
George Suciu},
editor = {Mohammad S. Obaidat and
Tuncer I. {\"{O}}ren and
Floriano De Rango},
title = {{HUBCAP:} {A} Novel Collaborative Approach to Model-Based Design of
Cyber-Physical Systems},
booktitle = {Simulation and Modeling Methodologies, Technologies and Applications
- 10th International Conference, {SIMULTECH} 2020, Lieusaint - Paris,
France, July 8-10, 2020 Revised Selected Papers},
series = {Lecture Notes in Networks and Systems},
volume = {306},
pages = {90--110},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-84811-8\_5},
doi = {10.1007/978-3-030-84811-8\_5},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/LarsenMFPBTMVSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/LarsenMFPBTMGS20,
author = {Peter Gorm Larsen and
Hugo Daniel Macedo and
John S. Fitzgerald and
Holger Pfeifer and
Martin Benedikt and
Stefano Tonetta and
Angelo Marguglio and
Sergio Gusmeroli and
George Suciu Jr.},
editor = {Floriano De Rango and
Tuncer I. {\"{O}}ren and
Mohammad S. Obaidat},
title = {A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical
Systems},
booktitle = {Proceedings of the 10th International Conference on Simulation and
Modeling Methodologies, Technologies and Applications, {SIMULTECH}
2020, Lieusaint, Paris, France, July 8-10, 2020},
pages = {263--270},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009892802630270},
doi = {10.5220/0009892802630270},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/LarsenMFPBTMGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02449,
author = {Peter Gorm Larsen and
Hugo Daniel Macedo and
John S. Fitzgerald and
Holger Pfeifer and
Martin Benedikt and
Stefano Tonetta and
Angelo Marguglio and
Sergio Gusmeroli and
George Suciu Jr.},
title = {A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2005.02449},
year = {2020},
url = {https://arxiv.org/abs/2005.02449},
eprinttype = {arXiv},
eprint = {2005.02449},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GnesiCFH19,
author = {Stefania Gnesi and
Ana Cavalcanti and
John S. Fitzgerald and
Constance L. Heitmeyer},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {31},
number = {2},
pages = {131--132},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00481-4},
doi = {10.1007/S00165-019-00481-4},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/GnesiCFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWSFABCCCDL19,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Bradley R. Schmerl and
John S. Fitzgerald and
Adina Aniculaesei and
Christian Berger and
Jo{\~{a}}o Cambeiro and
Jan Carlson and
Shafiul Azam Chowdhury and
Marian Daun and
Nianyu Li and
Matthias Markthaler and
Claudio Menghi and
Birgit Penzenstadler and
Aedan D. Pettit and
Robert G. Pettit IV and
Luca Sabatucci and
Christos Tranoris and
Hans Vangheluwe and
Sebastian Voss and
Edith Zavala},
title = {Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018)
- Workshop Report},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {11--13},
year = {2019},
url = {https://doi.org/10.1145/3364452.3364465},
doi = {10.1145/3364452.3364465},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BuresWSFABCCCDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FitzgeraldLP19,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Ken G. Pierce},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Multi-modelling and Co-simulation in the Engineering of Cyber-Physical
Systems: Towards the Digital Twin},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {40--55},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_4},
doi = {10.1007/978-3-030-30985-5\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FitzgeraldLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/LarsenMGETFP19,
author = {Peter Gorm Larsen and
Hugo Daniel Macedo and
Cl{\'{a}}udio Goncalves Gomes and
Lukas Esterle and
Casper Thule and
John S. Fitzgerald and
Kenneth Pierce},
editor = {Jean{-}Michel Bruel and
Alfredo Capozucca and
Manuel Mazzara and
Bertrand Meyer and
Alexandr Naumchev and
Andrey Sadovykh},
title = {Collaborative Modelling and Co-simulation in Engineering and Computing
Curricula},
booktitle = {Frontiers in Software Engineering Education - First International
Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {12271},
pages = {196--213},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57663-9\_13},
doi = {10.1007/978-3-030-57663-9\_13},
timestamp = {Mon, 05 Feb 2024 20:35:26 +0100},
biburl = {https://dblp.org/rec/conf/fisee/LarsenMGETFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019sescps,
editor = {Tom{\'{a}}s Bures and
Bradley R. Schmerl and
John S. Fitzgerald and
Danny Weyns},
title = {Proceedings of the 5th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC,
Canada, May 28, 2019},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8812309/proceeding},
isbn = {978-1-7281-2282-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019sescps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWSF18,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Bradley R. Schmerl and
John S. Fitzgerald},
title = {Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment
Boundary, and Social Aspects},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {42--44},
year = {2018},
url = {https://doi.org/10.1145/3282517.3302401},
doi = {10.1145/3282517.3302401},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BuresWSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWSF18a,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Bradley R. Schmerl and
John S. Fitzgerald},
title = {Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment
Boundary, and Social Aspects},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {54},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282542},
doi = {10.1145/3282517.3282542},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BuresWSF18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HallerstedeLF18,
author = {Stefan Hallerstede and
Peter Gorm Larsen and
John S. Fitzgerald},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Non-unified View of Modelling, Specification and Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {52--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_4},
doi = {10.1007/978-3-030-03418-4\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HallerstedeLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GibsonLPFW18,
author = {J. Paul Gibson and
Peter Gorm Larsen and
Marc Pantel and
John S. Fitzgerald and
Jim Woodcock},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Cyber-Physical Systems Engineering: An Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {407--410},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_27},
doi = {10.1007/978-3-030-03424-5\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GibsonLPFW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018sescps,
editor = {Tom{\'{a}}s Bures and
John S. Fitzgerald and
Bradley R. Schmerl and
Danny Weyns},
title = {Proceedings of the 4th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, {ICSE} 2018, Gothenburg, Sweden,
May 27, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196478},
doi = {10.1145/3196478},
isbn = {978-1-4503-5728-9},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018sescps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BuresWSF17,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Bradley R. Schmerl and
John S. Fitzgerald},
title = {SEsCPS 2017 Workshop Summary},
booktitle = {3rd {IEEE/ACM} International Workshop on Software Engineering for
Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina,
May 21, 2017},
pages = {1},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SEsCPS.2017.13},
doi = {10.1109/SESCPS.2017.13},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/BuresWSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacksonF17,
author = {Mark Jackson and
John S. Fitzgerald},
editor = {Antonio Cerone and
Marco Roveri},
title = {Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical
Systems},
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 = {361--376},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_25},
doi = {10.1007/978-3-319-74781-1\_25},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JacksonF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LarsenFWGPP17,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Carl Gamble and
Richard John Payne and
Kenneth Pierce},
editor = {Antonio Cerone and
Marco Roveri},
title = {Features of Integrated Model-Based Co-modelling and Co-simulation
Technology},
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 = {377--390},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_26},
doi = {10.1007/978-3-319-74781-1\_26},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LarsenFWGPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FaldikPFB17,
author = {Oldrich Faldik and
Richard John Payne and
John S. Fitzgerald and
Barbora Buhnova},
editor = {Jan Kofron and
Jana Tumova},
title = {Modelling System of Systems Interface Contract Behaviour},
booktitle = {Proceedings International Workshop on Formal Engineering approaches
to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
Sweden, 22nd April 2017},
series = {{EPTCS}},
volume = {245},
pages = {1--15},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.245.1},
doi = {10.4204/EPTCS.245.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FaldikPFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshikawaGF17,
author = {Fuyuki Ishikawa and
Peter Gorm Larsen and
John S. Fitzgerald},
title = {Model-Based Design for Smart Products and Systems: Advanced Capabilities
and Challenging Applications {(NII} Shonan Meeting 2017-18)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/124/},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshikawaGF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LarsenF16,
author = {Peter Gorm Larsen and
John S. Fitzgerald},
title = {The evolution of {VDM} tools from the 1990s to 2015 and the influence
of {CAMILA}},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {985--998},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.001},
doi = {10.1016/J.JLAMP.2015.10.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LarsenF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cspdata/LarsenFWFBKLPGB16,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Peter Fritzson and
J{\"{o}}rg Brauer and
Christian Kleijn and
Thierry Lecomte and
Markus Pfeil and
Ole Green and
Stylianos Basagiannis and
Andrey Sadovykh},
title = {Integrated tool chain for model-based design of Cyber-Physical Systems:
The {INTO-CPS} project},
booktitle = {2016 2nd International Workshop on Modelling, Analysis, and Control
of Complex CPS, {CPS} Data 2016, Vienna, Austria, April 11, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSData.2016.7496424},
doi = {10.1109/CPSDATA.2016.7496424},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenFWNGF16,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Ren{\'{e}} A. Nilsson and
Carl Gamble and
Simon Foster},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Semantically Integrated Models and Tools for Cyber-Physical
Systems Design},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {171--186},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_13},
doi = {10.1007/978-3-319-47169-3\_13},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LarsenFWNGF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6},
doi = {10.1007/978-3-319-48989-6},
isbn = {978-3-319-48988-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NielsenLFWP15,
author = {Claus Ballegaard Nielsen and
Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Jan Peleska},
title = {Systems of Systems Engineering: Basic Concepts, Model-Based Techniques,
and Research Directions},
journal = {{ACM} Comput. Surv.},
volume = {48},
number = {2},
pages = {18:1--18:41},
year = {2015},
url = {https://doi.org/10.1145/2794381},
doi = {10.1145/2794381},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/NielsenLFWP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/McGoughAGWBFMAT15,
author = {Andrew Stephen McGough and
Budi Arief and
Carl Gamble and
David Wall and
John Brennan and
John S. Fitzgerald and
Aad P. A. van Moorsel and
Sujeewa Alwis and
Georgios Theodoropoulos and
Ed Ruck{-}Keene},
title = {Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems
Using Beneficial Intelligent Software},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {6},
number = {4},
pages = {3--46},
year = {2015},
url = {https://doi.org/10.22667/JOWUA.2015.12.31.003},
doi = {10.22667/JOWUA.2015.12.31.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jowua/McGoughAGWBFMAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/McGoughWBTRAGFM15,
author = {Andrew Stephen McGough and
David Wall and
John Brennan and
Georgios Theodoropoulos and
Ed Ruck{-}Keene and
Budi Arief and
Carl Gamble and
John S. Fitzgerald and
Aad P. A. van Moorsel and
Sujeewa Alwis},
editor = {Elisa Bertino and
Ilsun You},
title = {Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous
Systems Using Beneficial Intelligent Software (Ben-ware)},
booktitle = {Proceedings of the 7th {ACM} {CCS} International Workshop on Managing
Insider Security Threats, {MIST} 2015, Denver, Colorado, USA, October
16, 2015},
pages = {1--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808783.2808785},
doi = {10.1145/2808783.2808785},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/McGoughWBTRAGFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FitzgeraldGLPW15,
author = {John S. Fitzgerald and
Carl Gamble and
Peter Gorm Larsen and
Kenneth Pierce and
Jim Woodcock},
editor = {Stefania Gnesi and
Nico Plat},
title = {Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated
Tool Chains},
booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
FormaliSE 2015, Florence, Italy, May 18, 2015},
pages = {40--46},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FormaliSE.2015.14},
doi = {10.1109/FORMALISE.2015.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FitzgeraldGLPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/FitzgeraldBLS14,
author = {John S. Fitzgerald and
Jeremy W. Bryans and
Peter Gorm Larsen and
Hansen Salim},
editor = {Luis M. Camarinha{-}Matos and
Hamideh Afsarmanesh},
title = {Collaborative Systems of Systems Need Collaborative Design},
booktitle = {Collaborative Systems for Smart Networked Environments - 15th {IFIP}
{WG} 5.5 Working Conference on Virtual Enterprises, {PRO-VE} 2014,
Amsterdam, The Netherlands, October 6-8, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {434},
pages = {16--23},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44745-1\_2},
doi = {10.1007/978-3-662-44745-1\_2},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/FitzgeraldBLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WoodcockCFFL14,
author = {Jim Woodcock and
Ana Cavalcanti and
John S. Fitzgerald and
Simon Foster and
Peter Gorm Larsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Contracts in {CML}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {54--73},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_5},
doi = {10.1007/978-3-662-45231-8\_5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WoodcockCFFL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/FitzgeraldPL14,
author = {John S. Fitzgerald and
Ken G. Pierce and
Peter Gorm Larsen},
title = {Co-modelling and co-simulation in the engineering of systems of cyber-physical
systems},
booktitle = {9th International Conference on System of Systems Engineering, SoSE
2014, Glenelg, Australia, June 9-13, 2014},
pages = {67--72},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SYSOSE.2014.6892465},
doi = {10.1109/SYSOSE.2014.6892465},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/sysose/FitzgeraldPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/BryansFPMK14,
author = {Jeremy W. Bryans and
John S. Fitzgerald and
Richard John Payne and
Alvaro Miyazawa and
Klaus E. Kristensen},
title = {SysML contracts for systems of systems},
booktitle = {9th International Conference on System of Systems Engineering, SoSE
2014, Glenelg, Australia, June 9-13, 2014},
pages = {73--78},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SYSOSE.2014.6892466},
doi = {10.1109/SYSOSE.2014.6892466},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/BryansFPMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/FosterMWCFL14,
author = {Simon Foster and
Alvaro Miyazawa and
Jim Woodcock and
Ana Cavalcanti and
John S. Fitzgerald and
Peter Gorm Larsen},
title = {An approach for managing semantic heterogeneity in Systems of Systems
Engineering},
booktitle = {9th International Conference on System of Systems Engineering, SoSE
2014, Glenelg, Australia, June 9-13, 2014},
pages = {113--118},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SYSOSE.2014.6892473},
doi = {10.1109/SYSOSE.2014.6892473},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sysose/FosterMWCFL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/FitzgeraldP14,
author = {John S. Fitzgerald and
Kenneth Pierce},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Co-modelling and Co-simulation in Embedded Systems Design},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {15--25},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_2},
doi = {10.1007/978-3-642-54118-6\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/14/FitzgeraldP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/LarsenFVP14,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Marcel Verhoef and
Kenneth Pierce},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Discrete-Event Modelling in {VDM}},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {61--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_4},
doi = {10.1007/978-3-642-54118-6\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/LarsenFVP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/PierceLF14,
author = {Kenneth Pierce and
Peter Gorm Larsen and
John S. Fitzgerald},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Co-model Structuring and Design Patterns},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {115--137},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_6},
doi = {10.1007/978-3-642-54118-6\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/PierceLF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/GamblePFB14,
author = {Carl Gamble and
Kenneth Pierce and
John S. Fitzgerald and
Bert Bos},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Co-modelling of Faults and Fault Tolerance Mechanisms},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {185--197},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_9},
doi = {10.1007/978-3-642-54118-6\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/14/GamblePFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/FitzgeraldLV14,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {From Embedded to Cyber-Physical Systems: Challenges and Future Directions},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {293--303},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_14},
doi = {10.1007/978-3-642-54118-6\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/FitzgeraldLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/FLV2014,
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6},
doi = {10.1007/978-3-642-54118-6},
isbn = {978-3-642-54117-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/FLV2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IngramRFAA14,
author = {Claire Ingram and
Steve Riddle and
John S. Fitzgerald and
Sakina A. H. J. Al{-}Lawati and
Afra Alrbaiyan},
title = {SoS Fault Modelling at the Architectural Level in an Emergency Response
Case Study},
journal = {CoRR},
volume = {abs/1404.7778},
year = {2014},
url = {http://arxiv.org/abs/1404.7778},
eprinttype = {arXiv},
eprint = {1404.7778},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IngramRFAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FitzgeraldLV14,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {System Development: The DESTECS/Crescendo Technology},
journal = {{ERCIM} News},
volume = {2014},
number = {97},
year = {2014},
url = {http://ercim-news.ercim.eu/en97/special/system-development-the-destecs-crescendo-technology},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FitzgeraldLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FitzgeraldRCK14,
author = {John S. Fitzgerald and
Steve Riddle and
Paolo Casoto and
Klaus E. Kristensen},
title = {Dependable System of Systems Engineering: the {COMPASS} Project},
journal = {{ERCIM} News},
volume = {2014},
number = {97},
year = {2014},
url = {http://ercim-news.ercim.eu/en97/special/dependable-system-of-systems-engineering-the-compass-project},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FitzgeraldRCK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FitzgeraldLPV13,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Ken G. Pierce and
Marcel Verhoef},
title = {A formal approach to collaborative modelling and co-simulation for
embedded systems},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {726--750},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000242},
doi = {10.1017/S0960129512000242},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FitzgeraldLPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/FitzgeraldLW13,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Jim Woodcock},
editor = {Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
Clotilde Marchal},
title = {Foundations for Model-Based Engineering of Systems of Systems},
booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fourth
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2013, Paris, France, December 4-6, 2013},
pages = {1--19},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02812-5\_1},
doi = {10.1007/978-3-319-02812-5\_1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csdm/FitzgeraldLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/AndrewsFPR13,
author = {Zoe Andrews and
John S. Fitzgerald and
Richard John Payne and
Alexander B. Romanovsky},
title = {Fault modelling for systems of systems},
booktitle = {11th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2013, Mexico City, Mexico, 6-8 March 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISADS.2013.6513445},
doi = {10.1109/ISADS.2013.6513445},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/AndrewsFPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/FitzgeraldBLW13,
author = {John S. Fitzgerald and
Juan Bicarregui and
Peter Gorm Larsen and
Jim Woodcock},
editor = {Alexander B. Romanovsky and
Martyn Thomas},
title = {Industrial Deployment of Formal Methods: Trends and Challenges},
booktitle = {Industrial Deployment of System Engineering Methods},
pages = {123--143},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-33170-1\_10},
doi = {10.1007/978-3-642-33170-1\_10},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FitzgeraldPG12,
author = {John S. Fitzgerald and
Ken G. Pierce and
Carl Gamble},
title = {A rigorous approach to the design of resilient cyber-physical systems
through co-simulation},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops, {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSNW.2012.6264663},
doi = {10.1109/DSNW.2012.6264663},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/FitzgeraldPG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/FitzgeraldBP12,
author = {John S. Fitzgerald and
Jeremy W. Bryans and
Richard John Payne},
editor = {Luis M. Camarinha{-}Matos and
Lai Xu and
Hamideh Afsarmanesh},
title = {A Formal Model-Based Approach to Engineering Systems-of-Systems},
booktitle = {Collaborative Networks in the Internet of Services - 13th {IFIP} {WG}
5.5 Working Conference on Virtual Enterprises, {PRO-VE} 2012, Bournemouth,
UK, October 1-3, 2012. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {380},
pages = {53--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32775-9\_6},
doi = {10.1007/978-3-642-32775-9\_6},
timestamp = {Thu, 02 Dec 2021 17:27:17 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/FitzgeraldBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/WoodcockCFLMP12,
author = {Jim Woodcock and
Ana Cavalcanti and
John S. Fitzgerald and
Peter Gorm Larsen and
Alvaro Miyazawa and
Simon Perry},
title = {Features of {CML:} {A} formal modelling language for Systems of Systems},
booktitle = {7th International Conference on System of Systems Engineering, SoSE
2012, Genova, Italy, July 16-19, 2012},
pages = {445--450},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SYSoSE.2012.6384144},
doi = {10.1109/SYSOSE.2012.6384144},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sysose/WoodcockCFLMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/PayneBFR12,
author = {Richard John Payne and
Jeremy W. Bryans and
John S. Fitzgerald and
Steve Riddle},
title = {Interface specification for system-of-systems architectures},
booktitle = {7th International Conference on System of Systems Engineering, SoSE
2012, Genova, Italy, July 16-19, 2012},
pages = {567--572},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SYSoSE.2012.6384154},
doi = {10.1109/SYSOSE.2012.6384154},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/PayneBFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2012,
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7},
doi = {10.1007/978-3-642-30885-7},
isbn = {978-3-642-30884-0},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/BryansFM11,
author = {Jeremy W. Bryans and
John S. Fitzgerald and
Tom McCutcheon},
editor = {Luis M. Camarinha{-}Matos and
Alexandra A. Pereira Klen and
Hamideh Afsarmanesh},
title = {Refinement-Based Techniques in the Analysis of Information Flow Policies
for Dynamic Virtual Organisations},
booktitle = {Adaptation and Value Creating Collaborative Networks - 12th {IFIP}
{WG} 5.5 Working Conference on Virtual Enterprises, {PRO-VE} 2011,
S{\~{a}}o Paulo, Brazil, October 17-19, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {362},
pages = {314--321},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23330-2\_35},
doi = {10.1007/978-3-642-23330-2\_35},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/BryansFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1204-5796,
editor = {Jeremy W. Bryans and
John S. Fitzgerald},
title = {Proceedings Third Workshop on Formal Aspects of Virtual Organisations,
{FAVO} 2011, Sao Paolo, Brazil, 18th October 2011},
series = {{EPTCS}},
volume = {83},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.83},
doi = {10.4204/EPTCS.83},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LarsenBFFLV10,
author = {Peter Gorm Larsen and
Nick Battle and
Miguel Alexandre Ferreira and
John S. Fitzgerald and
Kenneth Lausdahl and
Marcel Verhoef},
title = {The overture initiative integrating tools for {VDM}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {35},
number = {1},
pages = {1--6},
year = {2010},
url = {https://doi.org/10.1145/1668862.1668864},
doi = {10.1145/1668862.1668864},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LarsenBFFLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmam/LarsenFW10,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Sune Wolff},
editor = {Stefan Gruner and
Bernhard Rumpe},
title = {Are Formal Methods Ready for Agility? {A} Reality Check},
booktitle = {{FM+AM} 2010 - Second International Workshop on Formal Methods and
Agile Methods, 17 September 2010, Pisa (Italy)},
series = {{LNI}},
volume = {{P-179}},
pages = {13--25},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19657},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmam/LarsenFW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BryansFRR10,
author = {Jeremy W. Bryans and
John S. Fitzgerald and
Alexander B. Romanovsky and
Andreas Roth},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {Patterns for Modelling Time and Consistency in Business Information
Systems},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {105--114},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.43},
doi = {10.1109/ICECCS.2010.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BryansFRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FitzgeraldLPVW10,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Ken G. Pierce and
Marcel Verhoef and
Sune Wolff},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Collaborative Modelling and Co-simulation in the Development of Dependable
Embedded Systems},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {12--26},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_2},
doi = {10.1007/978-3-642-16265-7\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FitzgeraldLPVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SerugendoFR10,
author = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald and
Alexander B. Romanovsky},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {MetaSelf: an architecture and a development method for dependable
self-* systems},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {457--461},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774184},
doi = {10.1145/1774088.1774184},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SerugendoFR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2010,
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736},
doi = {10.1145/2401736},
isbn = {978-1-4503-0289-0},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022944,
author = {John S. Fitzgerald and
Peter Gorm Larsen},
title = {Modelling Systems - Practical Tools and Techniques in Software Development
{(2.} ed.)},
publisher = {Cambridge University Press},
year = {2009},
isbn = {978-0-521-89911-6},
timestamp = {Wed, 09 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0022944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WoodcockLBF09,
author = {Jim Woodcock and
Peter Gorm Larsen and
Juan Bicarregui and
John S. Fitzgerald},
title = {Formal methods: Practice and experience},
journal = {{ACM} Comput. Surv.},
volume = {41},
number = {4},
pages = {19:1--19:36},
year = {2009},
url = {https://doi.org/10.1145/1592434.1592436},
doi = {10.1145/1592434.1592436},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/WoodcockLBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LarsenFR09,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Steve Riddle},
title = {Practice-oriented courses in formal methods using VDM\({}^{\mbox{++}}\)},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {245--257},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0068-5},
doi = {10.1007/S00165-008-0068-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LarsenFR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/LarsenFW09,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Sune Wolff},
title = {Methods for the Development of Distributed Real-Time Embedded Systems
Using {VDM}},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {2-3},
pages = {305--341},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=305\&\#38;flag=1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/LarsenFW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BicarreguiFLW09,
author = {Juan Bicarregui and
John S. Fitzgerald and
Peter Gorm Larsen and
J. C. P. Woodcock},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Industrial Practice in Formal Methods: {A} Review},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {810--813},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_52},
doi = {10.1007/978-3-642-05089-3\_52},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/BicarreguiFLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BryansFRR09,
author = {Jeremy W. Bryans and
John S. Fitzgerald and
Alexander B. Romanovsky and
Andreas Roth},
title = {Formal Modelling and Analysis of Business Information Applications
with Fault Tolerant Middleware},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.29},
doi = {10.1109/ICECCS.2009.29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BryansFRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1001-4411,
author = {Igor Mozolevsky and
John S. Fitzgerald},
editor = {Jeremy W. Bryans and
John S. Fitzgerald},
title = {Common Representation of Information Flows for Dynamic Coalitions},
booktitle = {Proceedings Second Workshop on Formal Aspects of Virtual Organisations,
{FAVO} 2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {16},
pages = {15--25},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.16.2},
doi = {10.4204/EPTCS.16.2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1001-5310,
editor = {Jeremy W. Bryans and
John S. Fitzgerald},
title = {Proceedings Second Workshop on Formal Aspects of Virtual Organisations,
{FAVO} 2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {16},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.16},
doi = {10.4204/EPTCS.16},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-5310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FitzgeraldJ08,
author = {John S. Fitzgerald and
Cliff B. Jones},
title = {The connection between two ways of reasoning about partial functions},
journal = {Inf. Process. Lett.},
volume = {107},
number = {3-4},
pages = {128--132},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.02.005},
doi = {10.1016/J.IPL.2008.02.005},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FitzgeraldJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FitzgeraldLS08,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Shin Sahara},
title = {VDMTools: advances in support for formal modeling in {VDM}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {2},
pages = {3--11},
year = {2008},
url = {https://doi.org/10.1145/1361213.1361214},
doi = {10.1145/1361213.1361214},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FitzgeraldLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MacedoLF08,
author = {Hugo Daniel Macedo and
Peter Gorm Larsen and
John S. Fitzgerald},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Incremental Development of a Distributed Real-Time Model of a Cardiac
Pacing System Using {VDM}},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {181--197},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_14},
doi = {10.1007/978-3-540-68237-0\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/MacedoLF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BhattacharyyaF08,
author = {Anirban Bhattacharyya and
John S. Fitzgerald},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Development of a formalism for modelling and analysis of dynamic reconfiguration
of dependable real-time systems: a technical diary},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {67--72},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479785},
doi = {10.1145/1479772.1479785},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BhattacharyyaF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/FitzgeraldLV08,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
editor = {Benjamin W. Wah},
title = {Vienna Development Method},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse447},
doi = {10.1002/9780470050118.ECSE447},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/FitzgeraldLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2008,
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4},
doi = {10.1007/978-3-540-85762-4},
isbn = {978-3-540-85761-7},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SerugendoFRG08,
author = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald and
Alexander B. Romanovsky and
Nicolas Guelfi},
editor = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
title = {A Generic Framework for the Engineering of Self-Adaptive and Self-Organising
Systems},
booktitle = {Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1563/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SerugendoFRG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FitzgeraldL07,
author = {John S. Fitzgerald and
Peter Gorm Larsen},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Balancing Insight and Effort: The Industrial Uptake of Formal Methods},
booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {237--254},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_10},
doi = {10.1007/978-3-540-75221-9\_10},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FitzgeraldL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FitzgeraldTLV07,
author = {John S. Fitzgerald and
Simon Tjell and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Validation Support for Distributed Real-Time Embedded Systems in {VDM++}},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {331--340},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.26},
doi = {10.1109/HASE.2007.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FitzgeraldTLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BryansF07,
author = {Jeremy W. Bryans and
John S. Fitzgerald},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {Formal Engineering of {XACML} Access Control Policies in {VDM++}},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {37--56},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_4},
doi = {10.1007/978-3-540-76650-6\_4},
timestamp = {Sat, 19 Oct 2019 20:19:23 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BryansF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SerugendoFRG07,
author = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald and
Alexander B. Romanovsky and
Nicolas Guelfi},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {A metadata-based architectural model for dynamically resilient systems},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {566--572},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244132},
doi = {10.1145/1244002.1244132},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SerugendoFRG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FitzgeraldGM06,
author = {John S. Fitzgerald and
Stefania Gnesi and
Dino Mandrioli},
title = {The industrialization of formal methods},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {301--302},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0208-7},
doi = {10.1007/S10009-005-0208-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FitzgeraldGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FitzgeraldL06,
author = {John S. Fitzgerald and
Peter Gorm Larsen},
title = {Triumphs and Challenges for Model-Oriented Formal Methods: The VDM\({}^{\mbox{++}}\)
Experience (Abstract)},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.33},
doi = {10.1109/ISOLA.2006.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FitzgeraldL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BryansFJM06,
author = {Jeremy W. Bryans and
John S. Fitzgerald and
Cliff B. Jones and
Igor Mozolevsky},
title = {Formal Modelling of Dynamic Coalitions, with an Application in Chemical
Engineering},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.21},
doi = {10.1109/ISOLA.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BryansFJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b27882},
doi = {10.1007/B27882},
isbn = {3-540-27882-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fitzgerald04,
author = {John S. Fitzgerald},
title = {Formal Methods Europe Update},
journal = {Formal Aspects Comput.},
volume = {16},
number = {1},
pages = {2--3},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0030-0},
doi = {10.1007/S00165-004-0030-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fitzgerald04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fidji/Fitzgerald04,
author = {John S. Fitzgerald},
editor = {Nicolas Guelfi and
Gianna Reggio and
Alexander B. Romanovsky},
title = {Dependability-Explicit Computing: Applications in e-Science and Virtual
Organisations},
booktitle = {Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop,
{FIDJI} 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3409},
pages = {123},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31869-9\_12},
doi = {10.1007/978-3-540-31869-9\_12},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fidji/Fitzgerald04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/Fitzgerald99,
author = {John S. Fitzgerald},
title = {Formality in specification and modeling: developments in software
engineering practice},
journal = {Adv. Comput.},
volume = {49},
pages = {69--94},
year = {1999},
url = {https://doi.org/10.1016/S0065-2458(08)60283-1},
doi = {10.1016/S0065-2458(08)60283-1},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/Fitzgerald99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/98/FitzgeraldJ98,
author = {John S. Fitzgerald and
Cliff B. Jones},
editor = {Juan Bicarregui},
title = {Proof in the Analysis of a Model of a Tracking System},
booktitle = {Proof in {VDM:} Case Studies},
series = {Formal Approaches to Computing and Information Technology {(FACIT)}},
pages = {1--29},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4471-1532-8\_1},
doi = {10.1007/978-1-4471-1532-8\_1},
timestamp = {Mon, 15 Jun 2020 16:48:22 +0200},
biburl = {https://dblp.org/rec/books/sp/98/FitzgeraldJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/98/MukherjeeF98,
author = {Paul Mukherjee and
John S. Fitzgerald},
editor = {Juan Bicarregui},
title = {The Ammunition Control System},
booktitle = {Proof in {VDM:} Case Studies},
series = {Formal Approaches to Computing and Information Technology {(FACIT)}},
pages = {31--64},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4471-1532-8\_2},
doi = {10.1007/978-1-4471-1532-8\_2},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/98/MukherjeeF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1997,
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5},
doi = {10.1007/3-540-63533-5},
isbn = {3-540-63533-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LarsenFB96,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
T. M. Brookes},
title = {Applying Formal Specification in Industry},
journal = {{IEEE} Softw.},
volume = {13},
number = {3},
pages = {48--56},
year = {1996},
url = {https://doi.org/10.1109/52.493020},
doi = {10.1109/52.493020},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LarsenFB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fitzgerald96,
author = {John S. Fitzgerald},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Two Industrial Trials of Formal Specification},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {1--8},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014302},
doi = {10.1007/BFB0014302},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fitzgerald96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BrookesFL96,
author = {T. M. Brookes and
John S. Fitzgerald and
Peter Gorm Larsen},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Formal and Informal Specifications of a Secure System Component: Final
Results in a Comparative Study},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {214--227},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_89},
doi = {10.1007/3-540-60973-3\_89},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BrookesFL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/BarrocaFS95,
author = {Leonor Maria Melo Torcato Barroca and
John S. Fitzgerald and
L. Spencer},
title = {The architectural specification of an avionic subsystem},
booktitle = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
1995, Boca Raton, Florida, USA, April 5-8, 1995},
pages = {17--29},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WIFT.1995.515476},
doi = {10.1109/WIFT.1995.515476},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wift/BarrocaFS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072824,
author = {Juan Bicarregui and
John S. Fitzgerald and
Peter A. Lindsay and
Richard C. Moore and
Brian Ritchie},
title = {Proof in {VDM:} {A} Practitioner's Guide},
series = {Formal approaches to computing and information technology},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-2033-9},
doi = {10.1007/978-1-4471-2033-9},
isbn = {978-3-540-19813-0},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0072824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FitzgeraldBGL94,
author = {John S. Fitzgerald and
T. M. Brookes and
M. A. Green and
Peter Gorm Larsen},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Formal and Informal Specifications of a Secure System Component: first
results in a comparative study},
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 = {35--44},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_85},
doi = {10.1007/3-540-58555-9\_85},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FitzgeraldBGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosl/FitzgeraldM93,
author = {John S. Fitzgerald and
R. Moore},
editor = {D. J. Andrews and
Jan Friso Groote and
Cornelis A. Middelburg},
title = {Experiences in Developing a Proof Theory for {VDM} Specifications},
booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International
Workshop on Semantics of Specification Languages, Utrecht, The Netherlands,
25-27 October 1993},
series = {Workshops in Computing},
pages = {101--117},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3229-5\_6},
doi = {10.1007/978-1-4471-3229-5\_6},
timestamp = {Mon, 02 Dec 2019 18:09:28 +0100},
biburl = {https://dblp.org/rec/conf/sosl/FitzgeraldM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AndersonLFS92,
author = {Tom Anderson and
Rog{\'{e}}rio de Lemos and
John S. Fitzgerald and
Amer Saeed},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {On Foraml Support for Industrial-Scale Requirements Analysis},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {426--451},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_39},
doi = {10.1007/3-540-57318-6\_39},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AndersonLFS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/Fitzgerald92,
author = {John S. Fitzgerald},
editor = {David J. Harper and
Moira C. Norrie},
title = {Reasoning about a Modular Model-Oriented Formal Specification},
booktitle = {Specifications of Database Systems},
series = {Workshops in Computing},
pages = {106--134},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3864-8\_6},
doi = {10.1007/978-1-4471-3864-8\_6},
timestamp = {Wed, 10 Jul 2019 14:02:37 +0200},
biburl = {https://dblp.org/rec/books/sp/92/Fitzgerald92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0018701,
author = {John S. Fitzgerald},
title = {Modularity in model-oriented formal specifications and its interaction
with formal reasoning},
school = {University of Manchester, {UK}},
year = {1991},
timestamp = {Tue, 18 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0018701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FitzgeraldJ90,
author = {John S. Fitzgerald and
Cliff B. Jones},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Modularizing the Formal Description of a Database System},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {189--210},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_11},
doi = {10.1007/3-540-52513-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FitzgeraldJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-02-06 23:41 CET 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:
