More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

John S. Fitzgerald

> Home > Persons

Person information

affiliation: Newcastle University

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldGJKLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldGJKLW24
John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock:
Digital Twin Engineering. ISoLA (5) 2024: 3-8
2023
[c55]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/annsim/OakesGLDDCF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/OakesGLDDCF23
Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald:
Examining Model Qualities and Their Impact on Digital Twins. ANNSIM 2023: 220-232
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenEFF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenEFF23
Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri:
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Applicable Formal Methods for Safe Industrial Products 2023: 222-236
2022
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/aei/LiFS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aei/LiFS22
Beidi Li, John S. Fitzgerald, Carl Schultz:
Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement. Adv. Eng. Informatics 51: 101452 (2022)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMWG22
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BogomolovFSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BogomolovFSS22
Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) 2022: 139-158
2021
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/WeynsBCCFGNPRRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/WeynsBCCFGNPRRS21
Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl:
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 2021: 198-203
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07261
John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo:
Proceedings of the 18th International Overture Workshop. CoRR abs/2101.07261 (2021)
2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FitzgeraldIL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FitzgeraldIL20
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen:
Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. 19(3): 579-580 (2020)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldLMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldLMW20
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/LarsenMFPBTMVSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/LarsenMFPBTMVSG20
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu:
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) 2020: 90-110
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/LarsenMFPBTMGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/LarsenMFPBTMGS20
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH 2020: 263-270
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-02449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02449
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR abs/2005.02449 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GnesiCFH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GnesiCFH19
Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer:
Editorial. Formal Aspects Comput. 31(2): 131-132 (2019)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BuresWSFABCCCDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BuresWSFABCCCDL19
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala:
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes 44(4): 11-13 (2019)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FitzgeraldLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FitzgeraldLP19
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce:
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. From Software Engineering to Formal Methods and Tools, and Back 2019: 40-55
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/LarsenMGETFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/LarsenMGETFP19
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce:
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE 2019: 196-213
[e11]
- view
- export record
  dblp key:
  - conf/icse/2019sescps
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2019sescps
Tomás Bures, Bradley R. Schmerl, John S. Fitzgerald, Danny Weyns:
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC, Canada, May 28, 2019. IEEE / ACM 2019, ISBN 978-1-7281-2282-3 [contents]
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BuresWSF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BuresWSF18
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald:
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. ACM SIGSOFT Softw. Eng. Notes 43(4): 42-44 (2018)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BuresWSF18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BuresWSF18a
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald:
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. ACM SIGSOFT Softw. Eng. Notes 43(4): 54 (2018)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HallerstedeLF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HallerstedeLF18
Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald:
A Non-unified View of Modelling, Specification and Programming. ISoLA (1) 2018: 52-68
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GibsonLPFW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GibsonLPFW18
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock:
Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) 2018: 407-410
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/2018sescps
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018sescps
Tomás Bures, John S. Fitzgerald, Bradley R. Schmerl, Danny Weyns:
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018. ACM 2018, ISBN 978-1-4503-5728-9 [contents]
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BuresWSF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BuresWSF17
Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald:
SEsCPS 2017 Workshop Summary. SEsCPS@ICSE 2017: 1
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/JacksonF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/JacksonF17
Mark Jackson, John S. Fitzgerald:
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. SEFM Workshops 2017: 361-376
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LarsenFWGPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LarsenFWGPP17
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops 2017: 377-390
[c40]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FaldikPFB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FaldikPFB17
Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova:
Modelling System of Systems Interface Contract Behaviour. FESCA@ETAPS 2017: 1-15
[i5]
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/IshikawaGF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaGF17
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald:
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. 2017 (2017)
2016
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LarsenF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LarsenF16
Peter Gorm Larsen, John S. Fitzgerald:
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. J. Log. Algebraic Methods Program. 85(5): 985-998 (2016)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/LarsenFWFBKLPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh:
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 2016: 1-6
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenFWNGF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenFWNGF16
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) 2016: 171-186
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2016
John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou:
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9 [contents]
2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NielsenLFWP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NielsenLFWP15
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska:
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. 48(2): 18:1-18:41 (2015)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/McGoughAGWBFMAT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/McGoughAGWBFMAT15
Andrew Stephen McGough, Budi Arief, Carl Gamble, David Wall, John Brennan, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis, Georgios Theodoropoulos, Ed Ruck-Keene:
Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 6(4): 3-46 (2015)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/McGoughWBTRAGFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/McGoughWBTRAGFM15
Andrew Stephen McGough, David Wall, John Brennan, Georgios Theodoropoulos, Ed Ruck-Keene, Budi Arief, Carl Gamble, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis:
Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). MIST@CCS 2015: 1-12
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FitzgeraldGLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FitzgeraldGLPW15
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE 2015: 40-46
2014
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/FitzgeraldBLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/FitzgeraldBLS14
John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim:
Collaborative Systems of Systems Need Collaborative Design. PRO-VE 2014: 16-23
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WoodcockCFFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WoodcockCFFL14
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. ISoLA (2) 2014: 54-73
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FitzgeraldPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FitzgeraldPL14
John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen:
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. SoSE 2014: 67-72
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/BryansFPMK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/BryansFPMK14
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen:
SysML contracts for systems of systems. SoSE 2014: 73-78
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FosterMWCFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FosterMWCFL14
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen:
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE 2014: 113-118
[p10]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/FitzgeraldP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/FitzgeraldP14
John S. Fitzgerald, Kenneth Pierce:
Co-modelling and Co-simulation in Embedded Systems Design. Collaborative Design for Embedded Systems 2014: 15-25
[p9]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/LarsenFVP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/LarsenFVP14
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce:
Discrete-Event Modelling in VDM. Collaborative Design for Embedded Systems 2014: 61-95
[p8]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/PierceLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/PierceLF14
Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald:
Co-model Structuring and Design Patterns. Collaborative Design for Embedded Systems 2014: 115-137
[p7]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/GamblePFB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/GamblePFB14
Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos:
Co-modelling of Faults and Fault Tolerance Mechanisms. Collaborative Design for Embedded Systems 2014: 185-197
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/FitzgeraldLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/FitzgeraldLV14
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
From Embedded to Cyber-Physical Systems: Challenges and Future Directions. Collaborative Design for Embedded Systems 2014: 293-303
[e8]
- view
  authority control:
- export record
  dblp key:
  - books/sp/FLV2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/FLV2014
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer 2014, ISBN 978-3-642-54117-9 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/IngramRFAA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/IngramRFAA14
Claire Ingram, Steve Riddle, John S. Fitzgerald, Sakina A. H. J. Al-Lawati, Afra Alrbaiyan:
SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study. CoRR abs/1404.7778 (2014)
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/FitzgeraldLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FitzgeraldLV14
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
System Development: The DESTECS/Crescendo Technology. ERCIM News 2014(97) (2014)
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/FitzgeraldRCK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FitzgeraldRCK14
John S. Fitzgerald, Steve Riddle, Paolo Casoto, Klaus E. Kristensen:
Dependable System of Systems Engineering: the COMPASS Project. ERCIM News 2014(97) (2014)
2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FitzgeraldLPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FitzgeraldLPV13
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef:
A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4): 726-750 (2013)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/csdm/FitzgeraldLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csdm/FitzgeraldLW13
John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock:
Foundations for Model-Based Engineering of Systems of Systems. CSDM 2013: 1-19
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/AndrewsFPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/AndrewsFPR13
Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky:
Fault modelling for systems of systems. ISADS 2013: 1-8
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/FitzgeraldBLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13
John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock:
Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods 2013: 123-143
2012
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/FitzgeraldPG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/FitzgeraldPG12
John S. Fitzgerald, Ken G. Pierce, Carl Gamble:
A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops 2012: 1-6
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/FitzgeraldBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/FitzgeraldBP12
John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne:
A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE 2012: 53-62
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/WoodcockCFLMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/WoodcockCFLMP12
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry:
Features of CML: A formal modelling language for Systems of Systems. SoSE 2012: 445-450
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/PayneBFR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/PayneBFR12
Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle:
Interface specification for system-of-systems architectures. SoSE 2012: 567-572
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2012
John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents]
2011
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BryansFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BryansFM11
Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon:
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. PRO-VE 2011: 314-321
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1204-5796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-5796
Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Third Workshop on Formal Aspects of Virtual Organisations, FAVO 2011, Sao Paolo, Brazil, 18th October 2011. EPTCS 83, 2011 [contents]
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LarsenBFFLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LarsenBFFLV10
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef:
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35(1): 1-6 (2010)
[c23]
- view
- export record
  dblp key:
  - conf/fmam/LarsenFW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmam/LarsenFW10
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BryansFRR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BryansFRR10
Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FitzgeraldLPVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FitzgeraldLPVW10
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff:
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM 2010: 12-26
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SerugendoFR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SerugendoFR10
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky:
MetaSelf: an architecture and a development method for dependable self-* systems. SAC 2010: 457-461
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/2010
Giovanna Di Marzo Serugendo, John S. Fitzgerald:
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. ACM 2010, ISBN 978-1-4503-0289-0 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0022944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0022944
John S. Fitzgerald, Peter Gorm Larsen:
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009, ISBN 978-0-521-89911-6, pp. I-XVI, 1-288
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/WoodcockLBF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/WoodcockLBF09
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald:
Formal methods: Practice and experience. ACM Comput. Surv. 41(4): 19:1-19:36 (2009)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenFR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LarsenFR09
Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle:
Practice-oriented courses in formal methods using VDM⁺⁺. Formal Aspects Comput. 21(3): 245-257 (2009)
[j7]
- view
  - electronic edition @ ijsi.org
  - no references & citations available
- export record
  dblp key:
  - journals/ijsi/LarsenFW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/LarsenFW09
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Softw. Informatics 3(2-3): 305-341 (2009)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BicarreguiFLW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BicarreguiFLW09
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock:
Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BryansFRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BryansFRR09
Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77
[c17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1001-4411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-4411
Igor Mozolevsky, John S. Fitzgerald:
Common Representation of Information Flows for Dynamic Coalitions. FAVO 2009: 15-25
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1001-5310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-5310
Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Second Workshop on Formal Aspects of Virtual Organisations, FAVO 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 16, 2009 [contents]
2008
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FitzgeraldJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FitzgeraldJ08
John S. Fitzgerald, Cliff B. Jones:
The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FitzgeraldLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FitzgeraldLS08
John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara:
VDMTools: advances in support for formal modeling in VDM. ACM SIGPLAN Notices 43(2): 3-11 (2008)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MacedoLF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MacedoLF08
Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald:
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM 2008: 181-197
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BhattacharyyaF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BhattacharyyaF08
Anirban Bhattacharyya, John S. Fitzgerald:
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. SERENE 2008: 67-72
[p4]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/FitzgeraldLV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/FitzgeraldLV08
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef:
Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2008
John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün:
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, ISBN 978-3-540-85761-7 [contents]
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/SerugendoFRG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SerugendoFRG08
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi:
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization 2008
2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FitzgeraldL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FitzgeraldL07
John S. Fitzgerald, Peter Gorm Larsen:
Balancing Insight and Effort: The Industrial Uptake of Formal Methods. Formal Methods and Hybrid Real-Time Systems 2007: 237-254
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/FitzgeraldTLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/FitzgeraldTLV07
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef:
Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BryansF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BryansF07
Jeremy W. Bryans, John S. Fitzgerald:
Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SerugendoFRG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SerugendoFRG07
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi:
A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572
2006
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FitzgeraldGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FitzgeraldGM06
John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli:
The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. 8(4-5): 301-302 (2006)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldL06
John S. Fitzgerald, Peter Gorm Larsen:
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM⁺⁺ Experience (Abstract). ISoLA 2006: 1-4
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BryansFJM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BryansFJM06
Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky:
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98
2005
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2005
John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki:
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582, Springer 2005, ISBN 3-540-27882-6 [contents]
2004
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Fitzgerald04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Fitzgerald04
John S. Fitzgerald:
Formal Methods Europe Update. Formal Aspects Comput. 16(1): 2-3 (2004)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fidji/Fitzgerald04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fidji/Fitzgerald04
John S. Fitzgerald:
Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. FIDJI 2004: 123

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/Fitzgerald99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/Fitzgerald99
John S. Fitzgerald:
Formality in specification and modeling: developments in software engineering practice. Adv. Comput. 49: 69-94 (1999)
1998
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/98/FitzgeraldJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/98/FitzgeraldJ98
John S. Fitzgerald, Cliff B. Jones:
Proof in the Analysis of a Model of a Tracking System. Proof in VDM 1998: 1-29
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/98/MukherjeeF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/98/MukherjeeF98
Paul Mukherjee, John S. Fitzgerald:
The Ammunition Control System. Proof in VDM 1998: 31-64
1997
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1997
John S. Fitzgerald, Cliff B. Jones, Peter Lucas:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, ISBN 3-540-63533-5 [contents]
1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/software/LarsenFB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/LarsenFB96
Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes:
Applying Formal Specification in Industry. IEEE Softw. 13(3): 48-56 (1996)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Fitzgerald96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Fitzgerald96
John S. Fitzgerald:
Two Industrial Trials of Formal Specification. AMAST 1996: 1-8
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BrookesFL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BrookesFL96
T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen:
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wift/BarrocaFS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wift/BarrocaFS95
Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer:
The architectural specification of an avionic subsystem. WIFT 1995: 17-29
1994
[b2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0072824
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0072824
Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie:
Proof in VDM: A Practitioner's Guide. Formal approaches to computing and information technology, Springer 1994, ISBN 978-3-540-19813-0, pp. 1-341
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FitzgeraldBGL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FitzgeraldBGL94
John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen:
Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sosl/FitzgeraldM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosl/FitzgeraldM93
John S. Fitzgerald, R. Moore:
Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages 1993: 101-117
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AndersonLFS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AndersonLFS92
Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed:
On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/92/Fitzgerald92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/92/Fitzgerald92
John S. Fitzgerald:
Reasoning about a Modular Model-Oriented Formal Specification. Specifications of Database Systems 1992: 106-134
1991
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0018701
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0018701
John S. Fitzgerald:
Modularity in model-oriented formal specifications and its interaction with formal reasoning. University of Manchester, UK, Technical report series : UMCS 91-11-2, 1991, pp. 1-171
1990
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FitzgeraldJ90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FitzgeraldJ90
John S. Fitzgerald, Cliff B. Jones:
Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210

Coauthor Index

see FAQ

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.