Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mark Lawford
@article{DBLP:journals/tse/FormicaFRPLM24,
author = {Federico Formica and
Tony Fan and
Akshay Rajhans and
Vera Pantelic and
Mark Lawford and
Claudio Menghi},
title = {Simulation-Based Testing of Simulink Models With Test Sequence and
Test Assessment Blocks},
journal = {{IEEE} Trans. Software Eng.},
volume = {50},
number = {2},
pages = {239--257},
year = {2024},
url = {https://doi.org/10.1109/TSE.2023.3343753},
doi = {10.1109/TSE.2023.3343753},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/FormicaFRPLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10226,
author = {Stefan Ramdhan and
Winnie Trandinh and
Sathurshan Arulmohan and
Xiayong Hu and
Spencer Deevy and
Victor Bandur and
Vera Pantelic and
Mark Lawford and
Alan Wassyng},
title = {Simulation-based Analysis of a Novel Loop-based Road Topology for
Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2402.10226},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10226},
doi = {10.48550/ARXIV.2402.10226},
eprinttype = {arXiv},
eprint = {2402.10226},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JaskolkaPWPL23,
author = {Monika Jaskolka and
Vera Pantelic and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
title = {Repository mining for changes in Simulink and Stateflow models},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1713--1732},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01113-5},
doi = {10.1007/S10270-023-01113-5},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JaskolkaPWPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SiavashiRPLPJHV23,
author = {Faezeh Siavashi and
Horacio Hoyos Rodriguez and
Vera Pantelic and
Mark Lawford and
Richard F. Paige and
Monika Jaskolka and
Guanrui Hou and
Alessandro Verde},
title = {Bridging the Gap Between System Architecture and Software Design using
Model Transformation},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {51--56},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00046},
doi = {10.1109/ISSREW60843.2023.00046},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/SiavashiRPLPJHV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AnnableCLPW23,
author = {Nicholas Annable and
Thomas Chiang and
Mark Lawford and
Richard F. Paige and
Alan Wassyng},
title = {Lessons Learned Building a Tool for Workflow\({}^{\mbox{+}}\)},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {140--150},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00032},
doi = {10.1109/MODELS58315.2023.00032},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/AnnableCLPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezMSPBLP23,
author = {Horacio Hoyos Rodriguez and
Naveen Ganesh Muralidharan and
Faezeh Siavashi and
Vera Pantelic and
Victor Bandur and
Mark Lawford and
Richard F. Paige},
title = {An Automotive Architecture Product Line for {E/E} Powertrain Architectures},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {715--719},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00115},
doi = {10.1109/MODELS-C59198.2023.00115},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/RodriguezMSPBLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BandurLMPPW23,
author = {Victor Bandur and
Mark Lawford and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Vera Pantelic and
Alan Wassyng},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Using Assurance Cases to Prevent Malicious Behaviour from Targeting
Safety Vulnerabilities},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
pages = {5--14},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0\_1},
doi = {10.1007/978-3-031-40953-0\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BandurLMPPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KapinskiPBWL23,
author = {Ryan Kapinski and
Vera Pantelic and
Victor Bandur and
Alan Wassyng and
Mark Lawford},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Assurance Cases for Timing Properties of Automotive {TSN} Networks},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
pages = {26--31},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0\_3},
doi = {10.1007/978-3-031-40953-0\_3},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KapinskiPBWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FormicaPBPLM23,
author = {Federico Formica and
Nicholas Petrunti and
Lucas Bruck and
Vera Pantelic and
Mark Lawford and
Claudio Menghi},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Test Case Generation for Drivability Requirements of an Automotive
Cruise Controller: An Experience with an Industrial Simulator},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1949--1960},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3613894},
doi = {10.1145/3611643.3613894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FormicaPBPLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02524,
author = {Sajid Rahim and
Kourosh Sabri and
Anna Ells and
Alan Wassyng and
Mark Lawford and
Linyang Chu and
Wenbo He},
title = {Novel Fundus Image Preprocessing for Retcam Images to Improve Deep
Learning Classification of Retinopathy of Prematurity},
journal = {CoRR},
volume = {abs/2302.02524},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02524},
doi = {10.48550/ARXIV.2302.02524},
eprinttype = {arXiv},
eprint = {2302.02524},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18608,
author = {Federico Formica and
Nicholas Petrunti and
Lucas Bruck and
Vera Pantelic and
Mark Lawford and
Claudio Menghi},
title = {Test Case Generation for Drivability Requirements of an Automotive
Cruise Controller: An Experience with an Industrial Simulator},
journal = {CoRR},
volume = {abs/2305.18608},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18608},
doi = {10.48550/ARXIV.2305.18608},
eprinttype = {arXiv},
eprint = {2305.18608},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LesiutaBL22,
author = {Eric Lesiuta and
Victor Bandur and
Mark Lawford},
editor = {Sokratis K. Katsikas and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Christos Kalloniatis and
John Mylopoulos and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Jorge Maestre Vidal and
Marco Antonio Sotelo Monge and
Massimiliano Albanese and
Basel Katt and
Sandeep Pirbhulal and
Ankur Shukla},
title = {{SLIME:} State Learning in the Middle of Everything for Tool-Assisted
Vulnerability Detection},
booktitle = {Computer Security. {ESORICS} 2022 International Workshops - CyberICPS
2022, {SECPRE} 2022, {SPOSE} 2022, {CPS4CIP} 2022, CDT{\&}SECOMANE
2022, {EIS} 2022, and SecAssure 2022, Copenhagen, Denmark, September
26-30, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13785},
pages = {686--704},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25460-4\_39},
doi = {10.1007/978-3-031-25460-4\_39},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/LesiutaBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnnableCLPW22,
author = {Nicholas Annable and
Thomas Chiang and
Mark Lawford and
Richard F. Paige and
Alan Wassyng},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Generating Assurance Cases Using Workflow\({}^{\mbox{+}}\) Models},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {97--110},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_7},
doi = {10.1007/978-3-031-14835-4\_7},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AnnableCLPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MooreL22,
author = {Nicholas Moore and
Mark Lawford},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {A Case Study in the Automated Translation of {BSV} Hardware to {PVS}
Formal Logic with Subsequent Verification},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {65--72},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_5},
doi = {10.1007/978-3-031-10363-6\_5},
timestamp = {Thu, 07 Jul 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/tase/MooreL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11589,
author = {Federico Formica and
Tony Fan and
Akshay Rajhans and
Vera Pantelic and
Mark Lawford and
Claudio Menghi},
title = {Simulation-based Testing of Simulink Models with Test Sequence and
Test Assessment Blocks},
journal = {CoRR},
volume = {abs/2212.11589},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11589},
doi = {10.48550/ARXIV.2212.11589},
eprinttype = {arXiv},
eprint = {2212.11589},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/SinghLMW21,
author = {Neeraj Kumar Singh and
Mark Lawford and
Thomas Stephen Edward Maibaum and
Alan Wassyng},
title = {A formal approach to rigorous development of critical systems},
journal = {J. Softw. Evol. Process.},
volume = {33},
number = {4},
year = {2021},
url = {https://doi.org/10.1002/smr.2334},
doi = {10.1002/SMR.2334},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/SinghLMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/BandurSPL21,
author = {Victor Bandur and
Gehan M. K. Selim and
Vera Pantelic and
Mark Lawford},
title = {Making the Case for Centralized Automotive {E/E} Architectures},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {70},
number = {2},
pages = {1230--1245},
year = {2021},
url = {https://doi.org/10.1109/TVT.2021.3054934},
doi = {10.1109/TVT.2021.3054934},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/BandurSPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BandurPTL21,
author = {Victor Bandur and
Vera Pantelic and
Timofey Tomashevskiy and
Mark Lawford},
title = {A Safety Architecture for Centralized {E/E} Architectures},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2021, Taipei, Taiwan, June
21-24, 2021},
pages = {67--70},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN-W52860.2021.00022},
doi = {10.1109/DSN-W52860.2021.00022},
timestamp = {Mon, 09 Aug 2021 15:02:12 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BandurPTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JaskolkaPWLP21,
author = {Monika Jaskolka and
Vera Pantelic and
Alan Wassyng and
Mark Lawford and
Richard F. Paige},
title = {Repository Mining for Changes in Simulink Models},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {46--57},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00014},
doi = {10.1109/MODELS50736.2021.00014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/JaskolkaPWLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-14324,
author = {Mehrnoosh Askarpour and
Alan Wassyng and
Mark Lawford and
Richard F. Paige and
Zinovy Diskin},
title = {Is the Rush to Machine Learning Jeopardizing Safety? Results of a
Survey},
journal = {CoRR},
volume = {abs/2111.14324},
year = {2021},
url = {https://arxiv.org/abs/2111.14324},
eprinttype = {arXiv},
eprint = {2111.14324},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-14324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DiskinKL20,
author = {Zinovy Diskin and
Harald K{\"{o}}nig and
Mark Lawford},
title = {Correction to: Multiple model synchronization with multiary delta
lenses with amendment and K-Putput},
journal = {Formal Aspects Comput.},
volume = {32},
number = {1},
pages = {153},
year = {2020},
url = {https://doi.org/10.1007/s00165-019-00502-2},
doi = {10.1007/S00165-019-00502-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DiskinKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JaskolkaSPWL20,
author = {Monika Jaskolka and
Stephen Scott and
Vera Pantelic and
Alan Wassyng and
Mark Lawford},
title = {Applying Modular Decomposition in Simulink},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {31--36},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00033},
doi = {10.1109/ISSREW51248.2020.00033},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/JaskolkaSPWL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChowdhuryWPL20,
author = {Thomas Chowdhury and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Systematic Evaluation of (Safety) Assurance Cases},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {18--33},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_2},
doi = {10.1007/978-3-030-54549-9\_2},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChowdhuryWPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MackenziePMWSLW20,
author = {Bennett Mackenzie and
Vera Pantelic and
Gordon Marks and
Stephen Wynn{-}Williams and
Gehan M. K. Selim and
Mark Lawford and
Alan Wassyng and
Moustapha Diab and
Feisel Weslati},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Change impact analysis in Simulink designs of embedded systems},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1274--1284},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417060},
doi = {10.1145/3368089.3417060},
timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MackenziePMWSLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10120,
author = {Monika Jaskolka and
Vera Pantelic and
Alan Wassyng and
Mark Lawford},
title = {Supporting Modularity in Simulink Models},
journal = {CoRR},
volume = {abs/2007.10120},
year = {2020},
url = {https://arxiv.org/abs/2007.10120},
eprinttype = {arXiv},
eprint = {2007.10120},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11163,
author = {Guy Meyer and
Alan Wassyng and
Mark Lawford and
Kourosh Sabri and
Shahram Shirani},
title = {Literature Review of Computer Tools for the Visually Impaired: a focus
on Search Engines},
journal = {CoRR},
volume = {abs/2010.11163},
year = {2020},
url = {https://arxiv.org/abs/2010.11163},
eprinttype = {arXiv},
eprint = {2010.11163},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DiskinKL19,
author = {Zinovy Diskin and
Harald K{\"{o}}nig and
Mark Lawford},
title = {Multiple model synchronization with multiary delta lenses with amendment
and K-Putput},
journal = {Formal Aspects Comput.},
volume = {31},
number = {5},
pages = {611--640},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00493-0},
doi = {10.1007/S00165-019-00493-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DiskinKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Wynn-WilliamsDP19,
author = {Stephen Wynn{-}Williams and
Zinovy Diskin and
Vera Pantelic and
Mark Lawford and
Gehan M. K. Selim and
Curtis Milo and
Moustapha Diab and
Feisel Weslati},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {{SL2SF:} Refactoring Simulink to Stateflow},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {264--281},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_15},
doi = {10.1007/978-3-030-16722-6\_15},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/Wynn-WilliamsDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChowdhuryWPL19,
author = {Thomas Chowdhury and
Alan Wassyng and
Richard F. Paige and
Mark Lawford},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Criteria to Systematically Evaluate (Safety) Assurance Cases},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {380--390},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00045},
doi = {10.1109/ISSRE.2019.00045},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChowdhuryWPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PantelicSWBL19,
author = {Vera Pantelic and
Alexander Schaap and
Alan Wassyng and
Victor Bandur and
Mark Lawford},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Something is Rotten in the State of Documenting Simulink Models},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {503--510},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007586005050512},
doi = {10.5220/0007586005050512},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/PantelicSWBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11302,
author = {Zinovy Diskin and
Harald K{\"{o}}nig and
Mark Lawford},
title = {Multiple Model Synchronization with Multiary Delta Lenses with Amendment
and K-Putput},
journal = {CoRR},
volume = {abs/1911.11302},
year = {2019},
url = {http://arxiv.org/abs/1911.11302},
eprinttype = {arXiv},
eprint = {1911.11302},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09912,
author = {Zinovy Diskin and
Nicholas Annable and
Alan Wassyng and
Mark Lawford},
title = {Assurance via workflow+ modelling and conformance},
journal = {CoRR},
volume = {abs/1912.09912},
year = {2019},
url = {http://arxiv.org/abs/1912.09912},
eprinttype = {arXiv},
eprint = {1912.09912},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NewellPTWL18,
author = {Josh Newell and
Linna Pang and
David Tremaine and
Alan Wassyng and
Mark Lawford},
title = {Translation of {IEC} 61131-3 Function Block Diagrams to {PVS} for
Formal Verification with Real-Time Nuclear Application},
journal = {J. Autom. Reason.},
volume = {60},
number = {1},
pages = {63--84},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9415-7},
doi = {10.1007/S10817-017-9415-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NewellPTWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PantelicPLJMKBO18,
author = {Vera Pantelic and
Steven M. Postma and
Mark Lawford and
Monika Jaskolka and
Bennett Mackenzie and
Alexandre Korobkine and
Marc Bender and
Jeff Ong and
Gordon Marks and
Alan Wassyng},
title = {Software engineering practices and Simulink: bridging the gap},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {1},
pages = {95--117},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0450-9},
doi = {10.1007/S10009-017-0450-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/PantelicPLJMKBO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DiskinKL18,
author = {Zinovy Diskin and
Harald K{\"{o}}nig and
Mark Lawford},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Multiple Model Synchronization with Multiary Delta Lenses},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {21--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_2},
doi = {10.1007/978-3-319-89363-1\_2},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/DiskinKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SchaapMPLSWP18,
author = {Alexander Schaap and
Gordon Marks and
Vera Pantelic and
Mark Lawford and
Gehan M. K. Selim and
Alan Wassyng and
Lucian M. Patcas},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {Documenting Simulink designs of embedded systems},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {47--51},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270115},
doi = {10.1145/3270112.3270115},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/SchaapMPLSWP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinMWWL18,
author = {Zinovy Diskin and
Tom Maibaum and
Alan Wassyng and
Stephen Wynn{-}Williams and
Mark Lawford},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Assurance via model transformations and their hierarchical refinement},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {426--436},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3239413},
doi = {10.1145/3239372.3239413},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/models/DiskinMWWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChowdhuryLRLKKS18,
author = {Thomas Chowdhury and
Eric Lesiuta and
Kerianne Rikley and
Chung{-}Wei Lin and
Eunsuk Kang and
BaekGyu Kim and
Shinichi Shiraishi and
Mark Lawford and
Alan Wassyng},
editor = {Barbara Gallina and
Amund Skavhaug and
Friedemann Bitsch},
title = {Safe and Secure Automotive Over-the-Air Updates},
booktitle = {Computer Safety, Reliability, and Security - 37th International Conference,
{SAFECOMP} 2018, V{\"{a}}ster{\aa}s, Sweden, September 19-21,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11093},
pages = {172--187},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99130-6\_12},
doi = {10.1007/978-3-319-99130-6\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChowdhuryLRLKKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MooreL17,
author = {Nicholas Moore and
Mark Lawford},
title = {Correct Safety Critical Hardware Descriptions via Static Analysis
and Theorem Proving},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {58--64},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.11},
doi = {10.1109/FORMALISE.2017.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MooreL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChowdhuryLKLSW17,
author = {Thomas Chowdhury and
Chung{-}Wei Lin and
BaekGyu Kim and
Mark Lawford and
Shinichi Shiraishi and
Alan Wassyng},
title = {Principles for Systematic Development of an Assurance Case Template
from {ISO} 26262},
booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
pages = {69--72},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSREW.2017.14},
doi = {10.1109/ISSREW.2017.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/ChowdhuryLKLSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/SinghLMW17,
author = {Neeraj Kumar Singh and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Yassine Ouhammou and
Mirjana Ivanovic and
Alberto Abell{\'{o}} and
Ladjel Bellatreche},
title = {Use of Tabular Expressions for Refinement Automation},
booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10563},
pages = {167--182},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66854-3\_13},
doi = {10.1007/978-3-319-66854-3\_13},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/SinghLMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KokalySCLM17,
author = {Sahar Kokaly and
Rick Salay and
Marsha Chechik and
Mark Lawford and
Tom Maibaum},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Safety Case Impact Assessment in Automotive Software Systems: An Improved
Model-Based Approach},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {69--85},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_5},
doi = {10.1007/978-3-319-66266-4\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KokalySCLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/DiskinKLM17,
author = {Zinovy Diskin and
Harald K{\"{o}}nig and
Mark Lawford and
Tom Maibaum},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Toward Product Lines of Mathematical Models for Software Model Management},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {200--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_19},
doi = {10.1007/978-3-319-74730-9\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/DiskinKLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NewellPTWL16,
author = {Josh Newell and
Linna Pang and
David Tremaine and
Alan Wassyng and
Mark Lawford},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Formal Translation of {IEC} 61131-3 Function Block Diagrams to {PVS}
with Nuclear Application},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {206--220},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_16},
doi = {10.1007/978-3-319-40648-0\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NewellPTWL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MallyaPALW16,
author = {Archana Mallya and
Vera Pantelic and
Morayo Adedjouma and
Mark Lawford and
Alan Wassyng},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Using {STPA} in an {ISO} 26262 Compliant Process},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {117--129},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_10},
doi = {10.1007/978-3-319-45477-1\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MallyaPALW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Lawford16,
author = {Mark Lawford},
editor = {Sandrine Blazy and
Marsha Chechik},
title = {Stupid Tool Tricks for Smart Model Based Design},
booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9971},
pages = {1--7},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48869-1\_1},
doi = {10.1007/978-3-319-48869-1\_1},
timestamp = {Wed, 25 Sep 2019 18:03:08 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Lawford16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3},
doi = {10.1007/978-3-319-47846-3},
isbn = {978-3-319-47845-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/WassyngSGPWLM15,
author = {Alan Wassyng and
Neeraj Kumar Singh and
Mischa Geven and
Nicholas Proscia and
Hao Wang and
Mark Lawford and
Tom Maibaum},
title = {Can Product-Specific Assurance Case Templates Be Used as Medical Device
Standards?},
journal = {{IEEE} Des. Test},
volume = {32},
number = {5},
pages = {45--55},
year = {2015},
url = {https://doi.org/10.1109/MDAT.2015.2462720},
doi = {10.1109/MDAT.2015.2462720},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/WassyngSGPWLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PatcasLM15,
author = {Lucian M. Patcas and
Mark Lawford and
Tom Maibaum},
title = {Implementability of requirements in the four-variable model},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {339--362},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.05.007},
doi = {10.1016/J.SCICO.2015.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PatcasLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenderLLPKOMBP15,
author = {Marc Bender and
Karen Laurin and
Mark Lawford and
Vera Pantelic and
Alexandre Korobkine and
Jeff Ong and
Bennett Mackenzie and
Monika Bialy and
Steven M. Postma},
title = {Signature required: Making Simulink data flow and interfaces explicit},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {29--50},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.07.005},
doi = {10.1016/J.SCICO.2015.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BenderLLPKOMBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PangWLW15,
author = {Linna Pang and
Chen{-}Wei Wang and
Mark Lawford and
Alan Wassyng},
title = {Formal verification of function blocks applied to {IEC} 61131-3},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {149--190},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.005},
doi = {10.1016/J.SCICO.2015.10.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PangWLW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghLMW15,
author = {Neeraj Kumar Singh and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Vincent G. Duffy},
title = {Formalizing the Cardiac Pacemaker Resynchronization Therapy},
booktitle = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
and Risk Management: Ergonomics and Health - 6th International Conference,
{DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
CA, USA, August 2-7, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9185},
pages = {374--386},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21070-4\_38},
doi = {10.1007/978-3-319-21070-4\_38},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/SinghLMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW15,
author = {Neeraj Kumar Singh and
Hao Wang and
Mark Lawford and
Thomas Stephen Edward Maibaum and
Alan Wassyng},
editor = {Vincent G. Duffy},
title = {Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements},
booktitle = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
and Risk Management: Ergonomics and Health - 6th International Conference,
{DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
CA, USA, August 2-7, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9185},
pages = {387--398},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21070-4\_39},
doi = {10.1007/978-3-319-21070-4\_39},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/SinghWLMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BialyLPW15,
author = {Monika Bialy and
Mark Lawford and
Vera Pantelic and
Alan Wassyng},
editor = {Stefania Gnesi and
Nico Plat},
title = {A Methodology for the Simplification of Tabular Designs in Model-Based
Development},
booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
FormaliSE 2015, Florence, Italy, May 18, 2015},
pages = {47--53},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FormaliSE.2015.15},
doi = {10.1109/FORMALISE.2015.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BialyLPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/PantelicPLKMOB15,
author = {Vera Pantelic and
Steven M. Postma and
Mark Lawford and
Alexandre Korobkine and
Bennett Mackenzie and
Jeff Ong and
Marc Bender},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Philippe Desfray and
Joaquim Filipe},
title = {A Toolset for Simulink - Improving Software Engineering Practices
in Development with Simulink},
booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
on Model-Driven Engineering and Software Development, ESEO, Angers,
Loire Valley, France, 9-11 February, 2015},
pages = {50--61},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005236100500061},
doi = {10.5220/0005236100500061},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/PantelicPLKMOB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,
author = {Valentin Cassano and
Silviya Grigorova and
Neeraj Kumar Singh and
Morayo Adedjouma and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Is Current Incremental Safety Assurance Sound?},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {397--408},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_34},
doi = {10.1007/978-3-319-24249-1\_34},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/CassanoGSALMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/SinghLMW15,
author = {Neeraj Kumar Singh and
Mark Lawford and
Thomas Stephen Edward Maibaum and
Alan Wassyng},
editor = {Huynh Quyet Thang and
Le Anh Phuong and
Luc De Raedt and
Yves Deville and
Marc Bui and
Truong Thi Dieu Linh and
Thi{-}Oanh Nguyen and
Dinh Viet Sang and
Nguyen Ba Ngoc},
title = {Stateflow to Tabular Expressions},
booktitle = {Proceedings of the Sixth International Symposium on Information and
Communication Technology, Hue City, Vietnam, December 3-4, 2015},
pages = {312--319},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2833258.2833285},
doi = {10.1145/2833258.2833285},
timestamp = {Mon, 16 Jan 2023 17:00:33 +0100},
biburl = {https://dblp.org/rec/conf/soict/SinghLMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PangWLWNCT15,
author = {Linna Pang and
Chen{-}Wei Wang and
Mark Lawford and
Alan Wassyng and
Josh Newell and
Vera Chow and
David Tremaine},
editor = {Jun Pang and
Yang Liu and
Sjouke Mauw},
title = {Formal Verification of Real-Time Function Blocks Using {PVS}},
booktitle = {Proceedings 4th International Workshop on Engineering Safety and Security
Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {184},
pages = {65--79},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.184.5},
doi = {10.4204/EPTCS.184.5},
timestamp = {Thu, 23 Sep 2021 11:46:10 +0200},
biburl = {https://dblp.org/rec/journals/corr/PangWLWNCT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW14,
author = {Neeraj Kumar Singh and
Hao Wang and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Vincent G. Duffy},
title = {Formalizing the Glucose Homeostasis Mechanism},
booktitle = {Digital Human Modeling. Applications in Health, Safety, Ergonomics
and Risk Management - 5th International Conference, {DHM} 2014, Held
as Part of {HCI} International 2014, Heraklion, Crete, Greece, June
22-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8529},
pages = {460--471},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07725-3\_46},
doi = {10.1007/978-3-319-07725-3\_46},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/SinghWLMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PatcasLM14,
author = {Lucian M. Patcas and
Mark Lawford and
Tom Maibaum},
editor = {Elvira Albert and
Emil Sekerinski},
title = {A Separation Principle for Embedded System Interfacing},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {373--388},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_23},
doi = {10.1007/978-3-319-10181-1\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PatcasLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BenderLLOPP14,
author = {Marc Bender and
Karen Laurin and
Mark Lawford and
Jeff Ong and
Steven M. Postma and
Vera Pantelic},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Signature Required - Making Simulink Data Flow and Interfaces Explicit},
booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
on Model-Driven Engineering and Software Development, Lisbon, Portugal,
7 - 9 January, 2014},
pages = {119--131},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004716001190131},
doi = {10.5220/0004716001190131},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/BenderLLOPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicLP14,
author = {Vera Pantelic and
Mark Lawford and
Steven M. Postma},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Framework for Supervisory Control of Probabilistic Discrete Event
Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {477--484},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00073},
doi = {10.3182/20140514-3-FR-4046.00073},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PantelicLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PatcasLM13,
author = {Lucian M. Patcas and
Mark Lawford and
Tom Maibaum},
title = {From System Requirements to Software Requirements in the Four-Variable
Model},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.887},
doi = {10.14279/TUJ.ECEASST.66.887},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/PatcasLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/ChenLWW13,
author = {Yihai Chen and
Mark Lawford and
Hao Wang and
Alan Wassyng},
editor = {Jeremy Gibbons and
Wendy MacCaull},
title = {Insulin Pump Software Certification},
booktitle = {Foundations of Health Information Engineering and Systems - Third
International Symposium, {FHIES} 2013, Macau, China, August 21-23,
2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8315},
pages = {87--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53956-5\_7},
doi = {10.1007/978-3-642-53956-5\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/ChenLWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PangWLW13,
author = {Linna Pang and
Chen{-}Wei Wang and
Mark Lawford and
Alan Wassyng},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formalizing and Verifying Function Blocks Using Tabular Expressions
and {PVS}},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {125--141},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_9},
doi = {10.1007/978-3-319-05416-2\_9},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/PangWLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CoferHHL13,
author = {Darren D. Cofer and
John Hatcliff and
Michaela Huhn and
Mark Lawford},
title = {Software Certification: Methods and Tools (Dagstuhl Seminar 13051)},
journal = {Dagstuhl Reports},
volume = {3},
number = {1},
pages = {111--148},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.1.111},
doi = {10.4230/DAGREP.3.1.111},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CoferHHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/PantelicL12,
author = {Vera Pantelic and
Mark Lawford},
title = {A pseudometric in supervisory control of probabilistic discrete event
systems},
journal = {Discret. Event Dyn. Syst.},
volume = {22},
number = {4},
pages = {479--510},
year = {2012},
url = {https://doi.org/10.1007/s10626-011-0126-7},
doi = {10.1007/S10626-011-0126-7},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/PantelicL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/PantelicL12,
author = {Vera Pantelic and
Mark Lawford},
title = {Optimal Supervisory Control of Probabilistic Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {57},
number = {5},
pages = {1110--1124},
year = {2012},
url = {https://doi.org/10.1109/TAC.2011.2173420},
doi = {10.1109/TAC.2011.2173420},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/PantelicL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12a,
author = {Wen Chen and
Asif Iqbal and
Akbar Abdrakhmanov and
Jay Parlar and
Chris George and
Mark Lawford and
Tom Maibaum and
Alan Wassyng},
editor = {Jos{\'{e}} Cordeiro and
Leszek A. Maciaszek and
Joaquim Filipe},
title = {Large-Scale Enterprise Systems: Changes and Impacts},
booktitle = {Enterprise Information Systems - 14th International Conference, {ICEIS}
2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {141},
pages = {274--290},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40654-6\_17},
doi = {10.1007/978-3-642-40654-6\_17},
timestamp = {Thu, 05 Jan 2023 17:08:55 +0100},
biburl = {https://dblp.org/rec/conf/iceis/ChenIAPGLMW12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12,
author = {Wen Chen and
Asif Iqbal and
Akbar Abdrakhmanov and
Jay Parlar and
Chris George and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {Change Impact Analysis for Large-scale Enterprise Systems},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {359--368},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 24 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/ChenIAPGLMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/WassyngLM12,
author = {Alan Wassyng and
Mark Lawford and
Tom Maibaum},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Separating Safety and Control Systems to Reduce Complexity},
booktitle = {Conquering Complexity},
pages = {85--102},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_4},
doi = {10.1007/978-1-4471-2297-5\_4},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/WassyngLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/BenderL11,
author = {Marc Bender and
Mark Lawford},
title = {A low-power, low-cost automotive touchscreen with real controls},
booktitle = {Proceedings of the 24th Canadian Conference on Electrical and Computer
Engineering, {CCECE} 2011, Niagara Falls, Ontario, Canada, 8-11 May,
2011},
pages = {1416--1419},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CCECE.2011.6030696},
doi = {10.1109/CCECE.2011.6030696},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/ccece/BenderL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WassyngLM11,
author = {Alan Wassyng and
Mark Lawford and
T. S. E. Maibaum},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Software certification experience in the canadian nuclear industry:
lessons for the future},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {219--226},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038676},
doi = {10.1145/2038642.2038676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/WassyngLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ElesL11,
author = {Colin Eles and
Mark Lawford},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Tabular Expression Toolbox for Matlab/Simulink},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {494--499},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_38},
doi = {10.1007/978-3-642-20398-5\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ElesL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/WassyngLMWH10,
author = {Alan Wassyng and
Mark Lawford and
T. S. E. Maibaum and
Jens H. Weber and
John Hatcliff},
editor = {Joanna W. Ng and
Christian Couturier and
Hausi A. M{\"{u}}ller and
Arthur G. Ryman and
Anatol W. Kark},
title = {Software certification consortium: certification methods for safety-critical
software},
booktitle = {Proceedings of the 2010 conference of the Centre for Advanced Studies
on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada},
pages = {434--436},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1923947.1924033},
doi = {10.1145/1923947.1924033},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/WassyngLMWH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LawfordMW10,
author = {Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Certification of Software-Driven Medical Devices},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {293--295},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_29},
doi = {10.1007/978-3-642-16561-0\_29},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/LawfordMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngMLB10,
author = {Alan Wassyng and
T. S. E. Maibaum and
Mark Lawford and
Hans Bherer},
editor = {Radu Calinescu and
Ethan K. Jackson},
title = {Software Certification: Is There a Case against Safety Cases?},
booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
March 31- April 2, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6662},
pages = {206--227},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21292-5\_12},
doi = {10.1007/978-3-642-21292-5\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/WassyngMLB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicL10,
author = {Vera Pantelic and
Mark Lawford},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Use of a metric in supervisory control of probabilistic discrete event
systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {217--222},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00037},
doi = {10.3182/20100830-3-DE-4013.00037},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PantelicL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/PantelicPL09,
author = {Vera Pantelic and
Steven M. Postma and
Mark Lawford},
title = {Probabilistic Supervisory Control of Probabilistic Discrete Event
Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {54},
number = {8},
pages = {2013--2018},
year = {2009},
url = {https://doi.org/10.1109/TAC.2009.2024376},
doi = {10.1109/TAC.2009.2024376},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/PantelicPL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HuLW08,
author = {Xiayong Hu and
Mark Lawford and
Alan Wassyng},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Formal Verification of the Implementability of Timing Requirements},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {119--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_12},
doi = {10.1007/978-3-642-03240-0\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HuLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngML08,
author = {Alan Wassyng and
T. S. E. Maibaum and
Mark Lawford},
editor = {Christine Choppy and
Oleg Sokolsky},
title = {On Software Certification: We Need Product-Focused Approaches},
booktitle = {Foundations of Computer Software. Future Trends and Techniques for
Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
24-26, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6028},
pages = {250--274},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-12566-9\_13},
doi = {10.1007/978-3-642-12566-9\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/WassyngML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HatcliffHLMWW09,
author = {John Hatcliff and
Mats Per Erik Heimdahl and
Mark Lawford and
T. S. E. Maibaum and
Alan Wassyng and
Fred L. Wurden},
editor = {Michaela Huhn and
Hardi Hungar},
title = {A Software Certification Consortium and its Top 9 Hurdles},
booktitle = {Proceedings of the First Workshop on Certification of Safety-Critical
Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary,
April 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {4},
pages = {11--17},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.09.002},
doi = {10.1016/J.ENTCS.2009.09.002},
timestamp = {Fri, 24 Feb 2023 13:19:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HatcliffHLMWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/PetersLT07,
author = {Dennis K. Peters and
Mark Lawford and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Bruce Spencer and
Margaret{-}Anne D. Storey and
Darlene A. Stewart},
title = {An {IDE} for software development using tabular expressions},
booktitle = {Proceedings of the 2007 conference of the Centre for Advanced Studies
on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario,
Canada},
pages = {248--251},
publisher = {{IBM}},
year = {2007},
url = {https://doi.org/10.1145/1321211.1321238},
doi = {10.1145/1321211.1321238},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cascon/PetersLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArbuckleBPL07,
author = {Tom Arbuckle and
Adam Balaban and
Dennis K. Peters and
Mark Lawford},
title = {Software Documents: Comparison and Measurement},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {740},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/ArbuckleBPL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LawfordPZ06,
author = {Mark Lawford and
Vera Pantelic and
Hong Zhang},
title = {Towards Integrated Verification of Timed Transition Models},
journal = {Fundam. Informaticae},
volume = {70},
number = {1-2},
pages = {75--110},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LawfordPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WassyngL06,
author = {Alan Wassyng and
Mark Lawford},
title = {Software tools for safety-critical software development},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {337--354},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0209-6},
doi = {10.1007/S10009-005-0209-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WassyngL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/LeducLD06,
author = {Ryan J. Leduc and
Mark Lawford and
Pengcheng Dai},
title = {Hierarchical interface-based supervisory control of a flexible manufacturing
system},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {14},
number = {4},
pages = {654--668},
year = {2006},
url = {https://doi.org/10.1109/TCST.2006.876635},
doi = {10.1109/TCST.2006.876635},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/LeducLD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/PantelicJLP06,
author = {Vera Pantelic and
Xiao{-}Hui Jin and
Mark Lawford and
David Lorge Parnas},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Inspection of Concurrent Systems: Combining Tables, Theorem Proving
and Model Checking},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice {\&} Conference on Programming Languages
and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
Volume 2},
pages = {629--635},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Wed, 17 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serp/PantelicJLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LeducBLW05,
author = {Ryan J. Leduc and
Bertil A. Brandin and
Mark Lawford and
Walter Murray Wonham},
title = {Hierarchical interface-based supervisory Control-part {I:} serial
case},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {9},
pages = {1322--1335},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.854586},
doi = {10.1109/TAC.2005.854586},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LeducBLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LeducLW05,
author = {Ryan J. Leduc and
Mark Lawford and
Walter Murray Wonham},
title = {Hierarchical interface-based supervisory control-part {II:} parallel
case},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {9},
pages = {1336--1348},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.854612},
doi = {10.1109/TAC.2005.854612},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LeducLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LeducBLW05a,
author = {Ryan J. Leduc and
Bertil A. Brandin and
Mark Lawford and
Walter Murray Wonham},
title = {Erratum to "Hierarchical Interface-Based Supervisory Control
- Part {I:} Serial Case"},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {11},
pages = {1916},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.860413},
doi = {10.1109/TAC.2005.860413},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LeducBLW05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BourdonLW05,
author = {Sean E. Bourdon and
Mark Lawford and
Walter Murray Wonham},
title = {Robust nonblocking supervisory control of discrete-event systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {50},
number = {12},
pages = {2015--2021},
year = {2005},
url = {https://doi.org/10.1109/TAC.2005.860237},
doi = {10.1109/TAC.2005.860237},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BourdonLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WassyngLH05,
author = {Alan Wassyng and
Mark Lawford and
Xiayong Hu},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Timing Tolerances in Safety-Critical Software},
booktitle = {{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},
pages = {157--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_12},
doi = {10.1007/11526841\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/WassyngLH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LawfordZ04,
author = {Mark Lawford and
Hong Zhang},
title = {Equivalence Verification of Timed Transition Models},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {155--164},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309128},
doi = {10.1109/CSD.2004.1309128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LawfordZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ParnasL03,
author = {David Lorge Parnas and
Mark Lawford},
title = {Guest Editors' Introduction: Inspection's Role in Software Quality
Assurance},
journal = {{IEEE} Softw.},
volume = {20},
number = {4},
pages = {16--20},
year = {2003},
url = {https://doi.org/10.1109/MS.2003.1207449},
doi = {10.1109/MS.2003.1207449},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/ParnasL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParnasL03,
author = {David Lorge Parnas and
Mark Lawford},
title = {The Role of Inspection in Software Quality Assurance},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {8},
pages = {674--676},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1223642},
doi = {10.1109/TSE.2003.1223642},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParnasL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WassyngL03,
author = {Alan Wassyng and
Mark Lawford},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Lessons Learned from a Successful Implementation of Formal Methods
in an Industrial Project},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {133--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_9},
doi = {10.1007/978-3-540-45236-2\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/WassyngL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BourdonLW02,
author = {Sean E. Bourdon and
Mark Lawford and
W. M. Wonham},
title = {Robust nonblocking supervisory control of discrete-event systems},
booktitle = {American Control Conference, {ACC} 2002, Anchorage, Alaska, USA, May
8-10 2002},
pages = {730--735},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ACC.2002.1024900},
doi = {10.1109/ACC.2002.1024900},
timestamp = {Wed, 27 Jul 2022 14:28:37 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BourdonLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LeducBWL01,
author = {Ryan J. Leduc and
Bertil A. Brandin and
Walter Murray Wonham and
Mark Lawford},
title = {Hierarchical interface-based supervisory control: serial case},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {4116--4121},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980825},
doi = {10.1109/.2001.980825},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LeducBWL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LawfordMFM00,
author = {Mark Lawford and
Jeff McDougall and
Peter Froebel and
Greg Moum},
editor = {Teodor Rus},
title = {Practical Application of Functional and Relational Methods for the
Specification and Verification of Safety Critical Software},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {73--88},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_8},
doi = {10.1007/3-540-45499-3\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/LawfordMFM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LawfordOW96,
author = {Mark Lawford and
Jonathan S. Ostroff and
Walter Murray Wonham},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Model Reduction of Modules for State-Even Temporal Logics},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {263--278},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LawfordOW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LawfordW95,
author = {Mark Lawford and
Walter Murray Wonham},
title = {Equivalence preserving transformations for timed transition models},
journal = {{IEEE} Trans. Autom. Control.},
volume = {40},
number = {7},
pages = {1167--1179},
year = {1995},
url = {https://doi.org/10.1109/9.400494},
doi = {10.1109/9.400494},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/LawfordW95.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-04-25 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
